nLab Kriegl and Michor's cartesian closed category of manifolds

Kriegl and Michors Cartesian Closed Category of Smooth Manifolds

Kriegl and Michor’s Cartesian Closed Category of Smooth Manifolds

Introduction

In (Michor 1984a) and (Michor 1984b), Michor gives a description of a category of “smooth manifolds” due to himself and Kriegl which is cartesian closed. The key to achieving this is to replace charts and atlases by notions based on smooth curves. The resulting objects have a considerable amount of structure built in, but nonetheless replicate ordinary smooth manifolds in the finite dimensional situation. This is also true in the Banach space situation; which is not stated in the paper, but follows readily from the finite dimensional situation.

Definition

The final data of a “smooth manifold” is the following:

  1. Two sets, MM and TMT M, and a mapping π M:TMM\pi _{M} \colon T M \to M such that each fibre is a locally convex space of a certain type.

  2. A set 𝒮(,M)\mathcal{S} (\mathbb{R},M) of curves in MM, closed under C C^\infty–reparametrisations and containing all constants.

  3. For each tt \in \mathbb{R} , a mapping δ t:𝒮(,M)TM\delta _{t} \colon \mathcal{S} (\mathbb{R},M) \to T M such that:

    1. π Mδ t=ev t\pi _{M} \circ \delta _{t} = \ev_{t},

    2. δ t(cf)=f(t)δ f(t)c\delta _{t} (c \circ f) = f'(t) \delta _{f(t)} c,

    3. cc is constant if for all tt then δ tc=0\delta _{t} c = 0.

  4. A mapping Pt TM=Pt:𝒮(,M)×(TM,TM)\Pt^{T M} = \Pt\colon \mathcal{S} (\mathbb{R},M) \times \mathbb{R} \to \mathcal{L} (T M, T M) such that:

    1. Pt(c,t):T c(0)MT c(t)M\Pt(c,t) \colon T_{c(0)} M \to T_{c(t)} M is linear and continuous,

    2. Pt(c,0)=Id\Pt(c,0) = \Id,

    3. Pt(c,f(t))=Pt(cf,t)Pt(c,f(0))\Pt(c,f(t)) = Pt(c \circ f,t) \Pt(c,f(0)).

  5. tPt(c,t) 1(δ tc)t \mapsto \Pt(c,t)^{-1} (\delta _{t} c) is a C C^\infty–curve in the locally convex space T c(0)MT_{c(0)} M.

  6. A mapping Geo M=Geo:TM𝒮(,M)\Geo^{M} = \Geo\colon T M \to \mathcal{S} (\mathbb{R},M) such that:

    1. Geo(tv)(s)=Geo(v)(ts)\Geo(t \cdot v)(s) = \Geo(v)(t s),

    2. δ t(Geov)=Pt(Geo(v),t)v\delta _{t}( \Geov) = \Pt(\Geo(v),t) \cdot v,

    3. Geo(δ tGeo(v))(s)=Geo(v)(t+s)\Geo(\delta _{t} \Geo(v))(s) = \Geo(v)(t + s).

  7. Pt:𝒮(,M)×L(TM,TM)\Pt\colon \mathcal{S} (\mathbb{R},M) \times \mathbb{R} \to L(T M, T M) is smooth.

  8. Geo:TM𝒮(,M)\Geo\colon T M \to \mathcal{S} (\mathbb{R},M) is smooth.

There is a notion of a smooth map between such objects (and in which the last two conditions must be interpreted). The resulting category is cartesian closed.

In Details

The actual definition is built up in stages. The first definition given is that of a pre-manifold. This consists of the first six conditions in the above, to wit:

Definition

A pre-manifold consists of the following data.

 

  1. Two sets, MM and TMT M, and a mapping π M:TMM\pi _{M} \colon T M \to M such that each fibre is a locally convex space of a certain type.

  2. A set 𝒮(,M)\mathcal{S} (\mathbb{R},M) of curves in MM, closed under C C^{\infty } –reparametrisations and containing all constants.

  3. For each tt \in \mathbb{R} , a mapping δ t:𝒮(,M)TM\delta _{t} \colon \mathcal{S} (\mathbb{R},M) \to T M such that:  

    1. π Mδ t=ev t\pi _{M} \circ \delta _{t} = \ev_{t},

    2. δ t(cf)=f(t)δ f(t)c\delta _{t} (c \circ f) = f'(t) \delta _{f(t)} c,

    3. cc is constant if for all tt then δ tc=0\delta _{t} c = 0.

  4. A mapping Pt TM=Pt:𝒮(,M)×(TM,TM)\Pt^{T M} = \Pt\colon \mathcal{S} (\mathbb{R},M) \times \mathbb{R} \to \mathcal{L} (T M, T M) such that:  

    1. Pt(c,t):T c(0)MT c(t)M\Pt(c,t) \colon T_{c(0)} M \to T_{c(t)} M is linear and continuous,

    2. Pt(c,0)=Id\Pt(c,0) = \Id,

    3. Pt(c,f(t))=Pt(cf,t)Pt(c,f(0))\Pt(c,f(t)) = Pt(c \circ f,t) \Pt(c,f(0)).

  5. tPt(c,t) 1(δ tc)t \mapsto \Pt(c,t)^{-1} (\delta _{t} c) is a C C^{\infty } –curve in the locally convex space T c(0)MT_{c(0)} M.

  6. A mapping Geo M=Geo:TM𝒮(,M)\Geo^{M} = \Geo\colon T M \to \mathcal{S} (\mathbb{R},M) such that:  

    1. Geo(tv)(s)=Geo(v)(ts)\Geo(t \cdot v)(s) = \Geo(v)(t s),

    2. δ t(Geov)=Pt(Geo(v),t)v\delta _{t}( \Geov) = \Pt(\Geo(v),t) \cdot v,

    3. Geo(δ tGeo(v))(s)=Geo(v)(t+s)\Geo(\delta _{t} \Geo(v))(s) = \Geo(v)(t + s).

There is an auxiliary concept of a pre-vector bundle over a pre-manifold which is also introduced. A pre-manifold defines a pre-vector bundle in a natural way, modelling the fact that the tangent bundle of an ordinary manifold is a vector bundle. The initial reason for introducing pre-vector bundles is that it can be shown that the total space of a pre-vector bundle is again a pre-manifold, and thus if MM is a pre-manifold then we can define an associated pre-manifold TMT M and so on.

The next important concept is that of a smooth map, and this leads to a category of pre-manifolds. In fact, two definitions of morphisms between pre-manifolds are given in the two papers. The main one is that of a smooth map. The second, called S 1S^{1} in the papers, is a truncated version.

Definition

Let MM and NN be pre-manifolds. A set map f:MNf \colon M \to N is smooth if there is a sequence of maps T nf:T nMT nNT^{n} f \colon T^{n} M \to T^{n} N with the property that for each nn, (T nf) *:𝒮(,M)𝒮(,N)(T^{n} f)_{*} \colon \mathcal{S} (\mathbb{R},M) \to \mathcal{S} (\mathbb{R},N) makes sense and satisfies (T nf) *δ 0=δ 0(T n1f) *(T^{n} f)_{*} \delta _{0} = \delta _{0} (T^{n-1} f)_{*}.

An S 1S^{1} map is simply a map f:MNf \colon M \to N for which f *:𝒮(,M)𝒮(,N)f_{*} \colon \mathcal{S} (\mathbb{R},M) \to \mathcal{S} (\mathbb{R},N) is defined.

Relationship to Other Theories

Underneath the structure of a pre-manifold is a notion of a generalized smooth space which fits in with the scheme defined in (Stacey 2011). It is formed by taking the category of test spaces to be the one-object category associated to the monoid C (,)C^{\infty } (\mathbb{R},\mathbb{R}), the underlying category to be Set\Set, the input forcing condition is the input terminal condition (all constant maps are smooth), and the output forcing condition is saturation (whence output functions can be safely ignored).

Definition

Let 𝒦ℳ\mathcal{KM} be the category of generalised smooth spaces so described.

The input forcing condition is extremely weak. This means that it sits far to the left in the diagram at generalized smooth spaces. However, the fact that the category of test objects is extremely small means that there is less potential for variation than with those categories where the test category is somewhat larger.

In the literature, Chen’s first (1973) definition comes closest to this in terms of forcing condition but the category of Frölicher spaces is closest in terms of underlying category and test category.

There is an inclusion functor ℱ𝓇𝒦ℳ\mathcal{Fr} \to \mathcal{KM} and this has a left adjoint which is found by saturating the smooth curves with respect to the smooth functions to \mathbb{R} .

For Chen spaces and diffeological spaces, the story is similar. Each category has a functor to 𝒦ℳ\mathcal{KM} but it is no longer an inclusion (for example, 2\mathbb{R} ^{2} with the standard diffeology and with the wire diffeology give the same object in 𝒦ℳ\mathcal{KM} ). These functors have left adjoints where a plot is smooth if it locally factors through one of the original smooth curves. Note that this means that for 2\mathbb{R} ^{2} we recover the wire diffeology and not the standard one.

References

Last revised on August 24, 2021 at 05:15:37. See the history of this page for a list of all contributions to it.