nLab
Frölicher space

Skip the Navigation Links | Home Page | All Pages | Recently Revised | Authors | Feeds | Export |

Idea

A Frölicher space is one flavour of a generalized smooth space.

Frölicher smooth spaces are determined by a rule for

  • how to map the real line smoothly into it,

  • and how to map out of the space smoothly to the real line.

In the general context of space and quantity, Frölicher spaces take an intermediate symmetric position: they are both presheaves as well as copresheaves on their test domain (which here is the full subcategory of manifolds on the real line) and both of these structures determine each other.

The general abstract idea behind this is described at Isbell envelope.

Goal

The intention for these pages is to develop the basic tools of differential topology for Frölicher spaces. This means taking the basic pieces of “ordinary” differential topology and considering what they might look like for Frölicher spaces; including what looks the same and what looks different.

This project will both record existing structure and develop new ideas. It is intentionally in the main area of the n-Lab to encourage contributions.

Basics

Definition

A Frölicher Space is a triple (X,C X,F X) where

  1. X is a set;
  2. C X is a set of curves in X; that is, C X⊆Set(ℝ,X);
  3. F X is a set of functionals on X; that is, F X⊆Set(X,ℝ);

subject to the following saturation conditions

  1. if c:ℝ→X is a set map with the property that fc∈C ∞(ℝ,ℝ) for all f∈F X then c∈C X, and
  2. if f:X→ℝ is a set map with the property that fc∈C ∞(ℝ,ℝ) for all c∈C X then f∈F X.

A morphism of Frölicher spaces, say (X,C X,F X)→(Y,C Y,F Y) is a set map g:X→Y satisfying the following (equivalent) conditions:

  1. gc∈C Y for all c∈C X,
  2. fg∈F X for all f∈F Y,
  3. fgc∈C ∞(ℝ,ℝ) for all f∈F Y and c∈C X.

Frölicher spaces and their morphisms form a category with an obvious faithful functor to the category of sets. The properties of this category are as follows.

Theorem

The category of Frölicher spaces is complete, cocomplete, and cartesian closed. It is topological over Set. It is an amnestic, transportable construct.

To its eternal shame, the category of Frölicher spaces is not locally cartesian closed.

References

The notion goes back to Alfred Frölicher.

A detailed discussion of the category of Frölicher spaces and their relation to other notions of generalized smooth spaces is given in

  • Andrew Stacey, Comparative Smootheology Theory and Applications of Categories, Vol. 25, 2011, No. 4, pp 64-117. (tac)

This also lists all the relevant further references.

A discussion of Lie algebras on Frölicher groups (group objects internal to the category of Frölicher spaces) is in

  • Martin Laubinger, A Lie algebra for Frölicher groups (arXiv)

See also the unpublished thesis of Andreas Cap:

  • Andres Cap: K-theory for convenient algebras (univie)

Revised on April 11, 2013 00:53:26 by Urs Schreiber (131.174.41.18)
Edit | Back in time (58 revisions) | See changes | History | Views: Print | TeX | Source | Linked from: Lie groupoid, Lie theory, NQ-supermanifold, Lie's three theorems, Lie algebroid, Lie integration, BRST complex, differentiable stack, Lie algebra, BV-BRST formalism, L-infinity-algebra, Chevalley-Eilenberg algebra, Weil algebra, Diff, smooth infinity-groupoid, Lie infinity-algebroid, smooth algebra, CartSp, differential geometry, Klein 2-geometry, smooth Lorentzian space, Courant algebroid, generalized complex geometry, Maurer-Cartan equation, differential graded Lie algebra, diffeological space, Lie infinity-algebroid representation, path groupoid, synthetic differential geometry, Atiyah Lie groupoid, orbifold, Lie group, orbispace, 2009 July changes, smooth space, path n-groupoid, groupoid of Lie-algebra valued forms, differential form, diffeomorphism, Ehresmann connection, cotangent bundle, tangent bundle, Models for Smooth Infinitesimal Analysis, diffiety, Killing form, cartesian space, infinitesimal object, analysis, formal group, Lie 2-algebra, tangent Lie algebroid, de Rham complex, invariant polynomial, Riemannian manifold, de Rham space, de Rham theorem, isometry, super Lie algebra, super Poincare Lie algebra, String Lie 2-algebra, supergravity Lie 3-algebra, synthetic differential supergeometry, Kock-Lawvere axiom, amazing right adjoint, Euclidean geometry, microlinear space, synthetic differential geometry - contents, Tietze extension theorem, string 2-group, spin group, special orthogonal group, orthogonal group, Lie algebra cohomology, fivebrane 6-group, pseudo-Riemannian metric, symplectic groupoid, Poincare group, Lie algebra extension, Chern-Weil theory, Christoffel symbols, Maurer-Cartan form, Lie-Rinehart pair, symplectic Lie n-algebroid, Riemannian metric, vector field, Poisson Lie algebroid, Levi-Civita connection, pseudo-Riemannian manifold, Riemannian geometry, nonabelian Lie algebra cohomology, strict Lie 2-algebra, Riemann surface, infinity-Lie theory - contents, Banach manifold, Atiyah Lie algebroid, foliation, Fermat theory, smooth loop space, local Lie group, Lie operad, exotic smooth structure, geodesic, differentiable map, differential 2-crossed module, differential equation, 2-groupoid of Lie 2-algebra valued forms, LieAlg, Hadamard lemma, infinity-Lie algebra cohomology, tubular neighbourhood, division algebra and supersymmetry, spin connection, jet space, semisimple Lie algebra, ordinary differential equation, Hodge star operator, Klein geometry, Cartan geometry, normal bundle, local addition, manifold structure of mapping spaces, convenient vector space, smooth manifold, smooth map, linear mapping spaces, variational calculus, volume form, Poincare lemma, Lie 2-group, Cahiers topos, Lie 3-algebra, curvature characteristic form, infinity-Lie theory, Cartan calculus, automorphism infinity-Lie algebra, E8, Lie derivative, submersion, 3-groupoid of Lie 3-algebra valued forms, Lie 3-group, infinity-Lie group, complex geometry, Jacobi identity, orthogonal Lie algebra, function algebras on infinity-stacks, matrix Lie algebra, matrix Lie group, diffeological groupoid, Lie group cohomology, simple Lie algebra, abelian Lie algebra, bundle 2-gerbe, simple Lie group, infinity-Lie algebroid-valued differential form, Lie 2-groupoid, proper Lie groupoid, Chern-Simons element, ball, L-infinity operad, action Lie algebroid, classical Lie group, exceptional Lie group, inner derivation Lie 2-algebra, vielbein, fivebrane Lie 6-algebra, effective Lie groupoid, infinitesimally thickened point, Morita morphism, supergravity Lie 6-algebra, Stokes theorem, coisotropic submanifold, differentiation, chain rule, holonomy groupoid, general linear Lie algebra, Formal Moduli Problems and DG-Lie Algebras, model structure on dg-Lie algebras, Steenrod-Wockel approximation theorem, symmetric space, formal groupoid, Jacobian, Tannaka duality for Lie groupoids, formal cohesive infinity-groupoid, smooth infinity-groupoid -- structures, D-scheme, Boman's theorem, line Lie n-algebra, homotopy groups of a Lie groupoid, Deligne groupoid, synthetic differential infinity-groupoid, diffeomorphism group, endomorphism dg-Lie algebra, super L-infinity algebra, formal smooth manifold, Laplace operator, wave equation, differential calculus, jet bundle, complex manifold, critical point, complex structure, Quantization of Gauge Systems, semisimple Lie group, Gelfand-Fuks cohomology, local diffeomorphism, compact Lie algebra, tangent spaces of mapping spaces, timelike curve, concrete smooth infinity-groupoid, model structure for L-infinity algebras, orthogonal structure, C-infinity topology, infinite-dimensional manifold, Borel's theorem, reductive Lie algebra, Cauchy surface, Hausdorff series, Connections, Curvature, and Cohomology, Killing vector, Killing spinor, torsion of a metric connection, higher Klein geometry, gradient flow, foliation of a Lie algebroid, simplicial Lie algebra, kinematic tangent space, contents of contents, moduli space of Riemannian metrics, isometry group, Killing-Yano tensor, moment of inertia, special holonomy, Ricci flow, Morse homology, gradient, derivation Lie 2-algebra, bivector, angular velocity, Euler-Arnold equation, invariant differential form, G2, Heisenberg Lie algebra, divergence, curl, tensor, symplectic infinity-groupoid, geometric quantization of symplectic groupoids, on the manifold structure of singular loops, Killing tensor, differential graded manifold, Knizhnik-Zamolodchikov equation, current algebra, unitary Lie algebra, Lie bialgebra, derived differential geometry, higher differential geometry, exceptional generalized geometry, model structure on simplicial Lie algebras, Kac-Moody algebra, infinite-dimensional Lie group, bump function, integration of differential forms, immersion of smooth manifolds, Einstein tensor, E6, Hilbert's fifth problem, affine Lie algebra, convenient manifold, ILH manifold, smooth groupoid, generalized vielbein, special unitary Lie algebra, generalized tangent bundle, type II geometry, canonical bundle, Theta characteristic, Hilbert manifold, The Geometry of Physics - An Introduction, almost Hermitian structure, quantum affine algebra, synthetic differential super infinity-groupoid, maximal torus, pullback of a differential form, Riemann normal coordinates, geometry of physics, motivation for higher differential geometry, generalized G2-manifold, Dirac manifold, smooth superalgebra, bisection of a Lie groupoid, Lie-Poisson structure, PBW theorem, nonabelian Stokes theorem, Dolbeault complex, Berger's theorem, Bn-geometry, universal enveloping E-n algebra, singular foliation, smooth 2-group, Hitchin functional, associative 3-form, Cartan-Dirac structure on a Lie group, operational tangent space, Cartan subalgebra, coadjoint action, density, Lie differentiation, Weyl group, Bott connection, type II supergravity Lie 2-algebra, Poisson cohomology, double Lie algebroid, double Lie groupoid, Lie algebroid-groupoid, foliation of a Lie groupoid, synthetic tangent bundle