nLab
Frölicher space

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 nn-Lab to encourage contributions.

Basics

Definition

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

  1. XX is a set;
  2. C XC_X is a set of curves in XX; that is, C XSet(,X)C_X \subseteq Set(\mathbb{R},X);
  3. F XF_X is a set of functionals on XX; that is, F XSet(X,)F_X \subseteq Set(X, \mathbb{R});

subject to the following saturation conditions

  1. if c:Xc : \mathbb{R} \to X is a set map with the property that fcC (,)f c \in C^\infty(\mathbb{R}, \mathbb{R}) for all fF Xf \in F_X then cC Xc \in C_X, and
  2. if f:Xf : X \to \mathbb{R} is a set map with the property that fcC (,)f c \in C^\infty(\mathbb{R}, \mathbb{R}) for all cC Xc \in C_X then fF Xf \in F_X.

A morphism of Frölicher spaces, say (X,C X,F X)(Y,C Y,F Y)(X,C_X,F_X) \to (Y,C_Y,F_Y) is a set map g:XYg : X \to Y satisfying the following (equivalent) conditions:

  1. gcC Yg c \in C_Y for all cC Xc \in C_X,
  2. fgF Xf g \in F_X for all fF Yf \in F_Y,
  3. fgcC (,)f g c \in C^\infty(\mathbb{R}, \mathbb{R}) for all fF Yf \in F_Y and cC Xc \in 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 SetSet. 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)

Discussion in the context of applications to continuum mechanics is in

Revised on November 27, 2013 11:59:46 by Urs Schreiber (82.169.114.243)