nLab
Fréchet manifold

Context

Functional analysis

Differential geometry

differential geometry

synthetic differential geometry

Axiomatics

Models

Concepts

Theorems

Applications

Manifolds and cobordisms

Contents

Idea

A kind of infinite-dimensional manifold. In analogy to how a smooth manifold is a manifold modeled on a Cartesian space n\mathbb{R}^n in CartSp, a Fréchet manifold is a manifold modeled on a Fréchet space.

Definition

Fréchet manifolds

It is possible to define, analog to the finite dimensional case, the notion of smooth functions of Fréchet spaces, see there. Therefore, the usual definition of a manifold carries over word by word:

Definition

A Fréchet manifold is a Hausdorff topological space with an atlas of coordinate charts taking their value in Fréchet spaces, such that the coordinate transition functions are all smooth functions between Fréchet spaces.

It is possible to generalize some concepts of differential geometry from the finite case to the Fréchet case, one has to be careful, however:

  1. The dual of a Fréchet space that is not a Banach space is never a Fréchet space, therefore one cannot e.g. define both the tangent and the cotangent bundle as Fréchet manifolds. More serious is however

  2. The existence and uniqueness theorems for ordinary differential equations fail in infinite dimensions, so that theorems depending on that from finite dimensional differential geometry cannot be transscribed to the infinite situation in general. It is possible to do this on a case by case basis however.

Tangent Vectors

There are several definitions of tangent vectors that are equivalent in the finite dimensional setting, but may be different in infinite dimensions. Tangent vectors can be defined to be derivations on germs of functions (algebraic definition), or as equivalence classes of smooth curves (kinematic definition). For the time being we settle with the kinematic definition:

Definition

kinematic tangent vector

The kinematic tangent vector space of a Fréchet manifold MM at a point pp consists of all pairs (p,c(0))(p, c'(0)) where cc is a smooth curve

c:Mwithc(0)=p c: \mathbb{R} \to M \; \text{with} \; c(0) = p

As usual, the set of pairs (p,c(0)),pM(p, c'(0)), p \in M forms a Fréchet manifold, the tangent bundle TMTM.

The last sentence makes use of the notion of vector bundle, which can be defined exactly as in the finite dimensional setting:

Vector bundles

Definition

vector bundle

A Fréchet manifold VV is a Fréchet vector bundle over MM with projection π\pi, if for every point pMp \in M there are charts of MM and VV such that VV is mapped locally to UF×GU \subset F \times G for Fréchet spaces F,GF, G, the projection π\pi corresponds to the projection of U×GU \times G to UU, and the vector space structure on each fibre is that induces by the vector space structure on GG.

Since, as mentioned before, the dual space of a Fréchet space that is not a Banach space is itself not a Fréchet space, we cannot define the cotangent space canonically as the dual space of the tangent space. Instead we define it directly:

Differential forms

Definition

differential form

A differential form (a one form) α\alpha is a smooth map

α:TM \alpha: T M \to \mathbb{R}

where TMTM is the tangent bundle.

Properties

Embedding of Fréchet manifolds into diffeological spaces

We discuss how Fréchet manifolds form a full subcategory of that of diffeological spaces.

Definition

Define a functor

ι:FrechetManifoldsDiffeologicalSpaces \iota \colon FrechetManifolds \to DiffeologicalSpaces

from Fréchet manifolds to diffeological spaces (and hence to smooth spaces and smooth stacks) in the evident way by taking for XX a Fréchet manifold for any UU \in CartSp the set of UU-plots of ι(X)\iota(X) to be the set of smooth functions UXU \to X.

Proposition

The functor ι:FrechetManifoldsDiffeologicalSpaces\iota \colon FrechetManifolds \hookrightarrow DiffeologicalSpaces is a full and faithful functor.

This appears as (Losik, theorem 3.1.1).

Proposition

Let X,YSMoothManifoldX, Y \in SMoothManifold with XX a compact manifold.

Then under this embedding, the diffeological mapping space structure C (X,Y) diffC^\infty(X,Y)_{diff} on the mapping space coincides with the Fréchet manifold structure C (X,Y) FrC^\infty(X,Y)_{Fr}:

ι(C (X,Y) Fr)C (X,Y) diff. \iota(C^\infty(X,Y)_{Fr}) \simeq C^\infty(X,Y)_{diff} \,.

This appears as (Waldorf, lemma A.1.7).

Examples

Standard examples of Fréchet manifolds are smooth mapping spaces such as the

References

For instance

  • V.I. Arnold, ; B.A. Khesin: Topological methods in hydrodynamics. (Springer 1998, ZMATH)

  • Boris Khesin, Robert Wendt: The geometry of infinite-dimensional groups. (Springer 2009, ZMATH)

The embedding into diffeological spaces is due to

  • M. V. Losik, Fréchet manifolds as diffeological spaces, Soviet. Math. 5 (1992)

and reviewed in section 3 of

  • M. V. Losik, Categorical Differential Geometry Cah. Topol. Géom. Différ. Catég., 35(4):274–290, 1994. (pdf)

The preservation of mapping spaces under this embedding is due to

Revised on September 15, 2014 10:54:52 by Urs Schreiber (185.26.182.29)