Diffeological space

In mathematics, a diffeology on a set generalizes the concept of a smooth atlas of a differentiable manifold, by declaring only what constitutes the "smooth parametrizations" into the set. A diffeological space is a set equipped with a diffeology. Many of the standard tools of differential geometry extend to diffeological spaces, which beyond manifolds include arbitrary quotients of manifolds, arbitrary subsets of manifolds, and spaces of mappings between manifolds.

Introduction

Calculus on "smooth spaces"

The differential calculus on $\mathbb^n$, or, more generally, on finite dimensional vector spaces, is one of the most impactful successes of modern mathematics. Fundamental to its basic definitions and theorems is the linear structure of the underlying space.

The field of differential geometry establishes and studies the extension of the classical differential calculus to non-linear spaces. This extension is made possible by the definition of a smooth manifold, which is also the starting point for diffeological spaces.

A smooth $n$-dimensional manifold is a set $M$ equipped with a maximal smooth atlas, which consists of injective functions, called charts, of the form $\phi:U \to M$, where $U$ is an open subset of $\mathbb^n$, satisfying some mutual-compatibility relations. The charts of a manifold perform two distinct functions, which are often syncretized:
* They dictate the local structure of the manifold. The chart $\phi:U \to M$ identifies its image in $M$ with its domain $U$. This is convenient because the latter is simply an open subset of a Euclidean space.
* They define the class of smooth maps between manifolds. These are the maps to which the differential calculus extends. In particular, the charts determine smooth functions (smooth maps $M \to \mathbb$), smooth curves (smooth maps $\mathbb \to M$), smooth homotopies (smooth maps $\mathbb^2 \to M$), etc.

A diffeology generalizes the structure of a smooth manifold by abandoning the first requirement for an atlas, namely that the charts give a local model of the space, while retaining the ability to discuss smooth maps into the space.

Informal definition

A diffeological space is a set $X$ equipped with a diffeology: a collection of maps$\,$whose members are called plots, that satisfies some axioms. The plots are not required to be injective, and can (indeed, must) have as domains the open subsets of arbitrary Euclidean spaces.

A smooth manifold can be viewed as a diffeological space which is locally diffeomorphic to $\mathbb^n$. In general, while not giving local models for the space, the axioms of a diffeology still ensure that the plots induce a coherent notion of smooth functions, smooth curves, smooth homotopies, etc. Diffeology is therefore suitable to treat objects more general than manifolds.

Motivating example

Let $M$ and $N$ be smooth manifolds. A smooth homotopy of maps $M \to N$ is a smooth map $H:\mathbb \times M \to N$. For each $t \in \mathbb$, the map $H_t := H(t, \cdot):M \to N$ is smooth, and the intuition behind a smooth homotopy is that it is a smooth curve into the space of smooth functions $\mathcal^\infty(M,N)$ connecting, say, $H_0$ and $H_1$. But $\mathcal^\infty(M,N)$ is not a finite-dimensional smooth manifold, so formally we cannot yet speak of smooth curves into it.

On the other hand, the collection of maps
$\$
is a diffeology on $\mathcal^\infty(M,N)$. With this structure, the smooth curves (a notion which is now rigorously defined) correspond precisely to the smooth homotopies.

History

The concept of diffeology was first introduced by Jean-Marie Souriau in the 1980s under the name ''espace différentiel.'' Souriau's motivating application for diffeology was to uniformly handle the infinite-dimensional groups arising from his work in geometric quantization. Thus the notion of diffeological group preceded the more general concept of a diffeological space. Souriau's diffeological program was taken up by his students, particularly Paul Donato and Patrick Iglesias-Zemmour, who completed early pioneering work in the field.

A structure similar to diffeology was introduced by Kuo-Tsaï Chen (陳國才, ''Chen Guocai'') in the 1970s, in order to formalize certain computations with path integrals. Chen's definition used convex sets instead of open sets for the domains of the plots. The similarity between diffeological and "Chen" structures can be made precise by viewing both as concrete sheaves over the appropriate concrete site.

Formal definition

A diffeology on a set ''$X$'' consists of a collection of maps, called plots or parametrizations, from open subsets of $\mathbb^n$ (for all ''$n \geq 0$'') to ''$X$'' such that the following axioms hold:

* Covering axiom: every constant map is a plot.
* Locality axiom: for a given map ''$p: U \to X$'', if every point in ''$U$'' has a neighborhood ''$V \subset U$'' such that ''$p, _V$'' is a plot, then ''$p$'' itself is a plot.
* Smooth compatibility axiom: if ''$p$'' is a plot, and ''$F$'' is a smooth function from an open subset of some $\mathbb^m$ into the domain of ''$p$'', then the composite ''$p \circ F$'' is a plot.

Note that the domains of different plots can be subsets of $\mathbb^n$ for different values of ''$n$''; in particular, any diffeology contains the elements of its underlying set as the plots with ''$n = 0$''. A set together with a diffeology is called a diffeological space.

More abstractly, a diffeological space is a concrete sheaf on the site of open subsets of $\mathbb^n$, for all ''$n \geq 0$'', and open covers.

Morphisms

A map between diffeological spaces is called smooth if and only if its composite with any plot of the first space is a plot of the second space. It is called a diffeomorphism if it is smooth, bijective, and its inverse is also smooth. Equipping the open subsets of Euclidean spaces with their standard diffeology (as defined in the next section), the plots into a diffeological space ''$X$'' are precisely the smooth maps from ''$U$'' to ''$X$''.

Diffeological spaces constitute the objects of a category, denoted by $\mathsf$, whose morphisms are smooth maps. The category $\mathsf$ is closed under many categorical operations: for instance, it is Cartesian closed, complete and cocomplete, and more generally it is a quasitopos.

D-topology

Any diffeological space is a topological space when equipped with the D-topology: the final topology such that all plots are continuous (with respect to the Euclidean topology on $\mathbb^n$).

In other words, a subset $U \subset X$ is open if and only if $p^(U)$ is open for any plot $p$ on $X$. Actually, the D-topology is completely determined by smooth curves, i.e. a subset $U \subset X$ is open if and only if $c^(U)$ is open for any smooth map $c: \mathbb \to X$. The D-topology is automatically locally path-connected

A smooth map between diffeological spaces is automatically continuous between their D-topologies. Therefore we have the functor $D:\mathsf \to \mathsf$, from the category of diffeological spaces to the category of topological spaces, which assigns to a diffeological space its D-topology. This functor realizes $\mathsf$ as a concrete category over $\mathsf$.

Additional structures

A Cartan-De Rham calculus can be developed in the framework of diffeologies, as well as a suitable adaptation of the notions of fiber bundles, homotopy, etc. However, there is not a canonical definition of tangent spaces and tangent bundles for diffeological spaces.

Examples

First examples

Any set carries at least two diffeologies:
* the coarse (or trivial, or indiscrete) diffeology, consisting of every map into the set. This is the largest possible diffeology. The corresponding D-topology is the trivial topology.
* the discrete (or fine) diffeology, consisting of the locally constant maps into the set. This is the smallest possible diffeology. The corresponding D-topology is the discrete topology.

Any topological space can be endowed with the continuous diffeology, whose plots are the continuous maps.

The Euclidean space $\mathbb^n$admits several diffeologies beyond those listed above.

* The standard diffeology on $\mathbb^n$ consists of those maps $p:U \to \mathbb^n$ which are smooth in the usual sense of multivariable calculus.
* The wire (or spaghetti) diffeology on $\mathbb^n$ is the diffeology whose plots factor locally through $\mathbb$. More precisely, a map $p: U \to \mathbb^n$ is a plot if and only if for every $u \in U$ there is an open neighbourhood $V \subseteq U$ of $u$ such that $p, _V = q \circ F$ for two smooth functions $F: V \to \mathbb$ and $q: \mathbb \to \mathbb^n$. This diffeology does not coincide with the standard diffeology on $\mathbb^n$ when $n\geq 2$: for instance, the identity $\mathbb^n \to X= \mathbb^n$ is not a plot for the wire diffeology.
* The previous example can be enlarged to diffeologies whose plots factor locally through $\mathbb^r$, yielding the rank-$r$-restricted diffeology on a smooth manifold $M$: a map $U \to M$ is a plot if and only if it is smooth and the rank of its differential is less than or equal than $r$. For $r=1$ one recovers the wire diffeology.

Relation to other smooth spaces

Diffeological spaces generalize manifolds, but they are far from the only mathematical objects to do so. For instance manifolds with corners, orbifolds, and infinite-dimensional Fréchet manifolds are all well-established alternatives. This subsection makes precise the extent to which these spaces are diffeological.

We view $\mathsf$ as a concrete category over the category of topological spaces $\mathsf$ via the D-topology functor $D:\mathsf \to \mathsf$. If $U:\mathsf \to \mathsf$ is another concrete category over $\mathsf$, we say that a functor $E:\mathsf \to \mathsf$ is an embedding (of concrete categories) if it is injective on objects and faithful, and $D \circ E = U$. To specify an embedding, we need only describe it on objects; it is necessarily the identity map on arrows.

We will say that a diffeological space $X$ is locally modeled by a collection of diffeological spaces $\mathcal$ if around every point $x \in X$, there is a D-open neighbourhood $U$, a D-open subset $V$ of some $E \in \mathcal$, and a diffeological diffeomorphism $U \to V$.

Manifolds

The category of finite-dimensional smooth manifolds (allowing those with connected components of different dimensions) fully embeds into $\mathsf$. The embedding $y$ assigns to a smooth manifold $M$ the canonical diffeology$\.$In particular, a diffeologically smooth map between manifolds is smooth in the usual sense, and the D-topology of $y(M)$ is the original topology of $M$. The essential image of this embedding consists of those diffeological spaces that are locally modeled by the collection $\$, and whose D-topology is Hausdorff and second-countable.

Manifolds with boundary or corners

The category of finite-dimensional smooth manifolds with boundary (allowing those with connected components of different dimensions) similarly fully embeds into $\mathsf$. The embedding is defined identically to the smooth case, except "smooth in the usual sense" refers to the standard definition of smooth maps between manifolds with boundary. The essential image of this embedding consists of those diffeological spaces that are locally modeled by the collection $\$, and whose D-topology is Hausdorff and second-countable. The same can be done in more generality for manifolds with corners, using the collection $\$.

Fréchet and Banach manifolds

The category of Fréchet manifolds similarly fully embeds into $\mathsf$. Once again, the embedding is defined identically to the smooth case, except "smooth in the usual sense" refers to the standard definition of smooth maps between Fréchet spaces. The essential image of this embedding consists of those diffeological spaces that are locally modeled by the collection $\$, and whose D-topology is Hausdorff.

The embedding restricts to one of the category of Banach manifolds. Historically, the case of Banach manifolds was proved first, by Hain, and the case of Fréchet manifolds was treated later, by Losik. The category of manifolds modeled on convenient vector spaces also similarly embeds into $\mathsf$.

Orbifolds

A (classical) orbifold $X$ is a space that is locally modeled by quotients of the form $\mathbb^n/\Gamma$, where $\Gamma$ is a finite subgroup of linear transformations. On the other hand, each model $\mathbb^n/\Gamma$ is naturally a diffeological space (with the quotient diffeology discussed below), and therefore the orbifold charts generate a diffeology on $X$. This diffeology is uniquely determined by the orbifold structure of $X$.

Conversely, a diffeological space that is locally modeled by the collection $\$ (and with Hausdorff D-topology) carries a classical orbifold structure that induces the original diffeology, wherein the local diffeomorphisms are the orbifold charts. Such a space is called a diffeological orbifold.

Whereas diffeological orbifolds automatically have a notion of smooth map between them (namely diffeologically smooth maps in $\mathsf$), the notion of a smooth map between classical orbifolds is not standardized.

If orbifolds are viewed as differentiable stacks presented by étale proper Lie groupoids, then there is a functor from the underlying 1-category of orbifolds, and equivalent maps-of-stacks between them, to $\mathsf$. Its essential image consists of diffeological orbifolds, but the functor is neither faithful nor full.

Constructions

Intersections

If a set ''$X$'' is given two different diffeologies, their intersection is a diffeology on ''$X$'', called the intersection diffeology, which is finer than both starting diffeologies. The D-topology of the intersection diffeology is finer than the intersection of the D-topologies of the original diffeologies.

Products

If ''$X$'' and ''$Y$'' are diffeological spaces, then the product diffeology on the Cartesian product ''$X \times Y$'' is the diffeology generated by all products of plots of ''$X$'' and of ''$Y$''. Precisely, a map $p:U \to X \times Y$ necessarily has the form $p(u) = (x(u),y(u))$ for maps $x:U \to X$ and $y:U \to Y$. The map $p$ is a plot in the product diffeology if and only if $x$ and $y$ are plots of $X$ and $Y$, respectively. This generalizes to products of arbitrary collections of spaces.

The D-topology of ''$X \times Y$'' is the coarsest delta-generated topology containing the product topology of the D-topologies of ''$X$'' and ''$Y$''; it is equal to the product topology when ''$X$'' or ''$Y$'' is locally compact, but may be finer in general.

Pullbacks

Given a map ''$f: X \to Y$'' from a set $X$ to a diffeological space $Y$, the pullback diffeology on ''$X$'' consists of those maps ''$p:U \to X$'' such that the composition ''$f \circ p$'' is a plot of ''$Y$''. In other words, the pullback diffeology is the smallest diffeology on ''$X$'' making ''$f$'' smooth.

If ''$X$'' is a subset of the diffeological space ''$Y$'', then the subspace diffeology on ''$X$'' is the pullback diffeology induced by the inclusion $X \hookrightarrow Y$. In this case, the D-topology of ''$X$'' is equal to the subspace topology of the D-topology of ''$Y$'' if ''$Y$'' is open, but may be finer in general.

Pushforwards

Given a map ''$f: X \to Y$'' from diffeological space ''$X$'' to a set $Y$, the pushforward diffeology on ''$Y$'' is the diffeology generated by the compositions ''$f \circ p$'', for plots ''$p:U \to X$'' of ''$X$''. In other words, the pushforward diffeology is the smallest diffeology on ''$Y$'' making ''$f$'' smooth.

If ''$X$'' is a diffeological space and ''$\sim$'' is an equivalence relation on ''$X$'', then the quotient diffeology on the quotient set ''$X/$'' is the pushforward diffeology induced by the quotient map $X \to X/$. The D-topology on ''$X/$'' is the quotient topology of the D-topology of ''$X$''. Note that this topology may be trivial without the diffeology being trivial.

Quotients often give rise to non-manifold diffeologies. For example, the set of real numbers $\mathbb$ is a smooth manifold. The quotient $\mathbb/(\mathbb + \alpha \mathbb)$, for some irrational ''$\alpha$'', called the irrational torus, is a diffeological space diffeomorphic to the quotient of the regular 2-torus $\mathbb^2/\mathbb^2$ by a line of slope ''$\alpha$''. It has a non-trivial diffeology, although its D-topology is the trivial topology.

Functional diffeologies

The functional diffeology on the set $\mathcal^(X,Y)$ of smooth maps between two diffeological spaces $X$ and $Y$ is the diffeology whose plots are the maps $\phi: U \to \mathcal^(X,Y)$ such that$U \times X \to Y, \quad (u,x) \mapsto \phi(u)(x)$is smooth with respect to the product diffeology of $U \times X$. When ''$X$'' and ''$Y$'' are manifolds, the D-topology of $\mathcal^(X,Y)$ is the smallest locally path-connected topology containing the Whitney $C^\infty$ topology.

Taking the subspace diffeology of a functional diffeology, one can define diffeologies on the space of sections of a fibre bundle, or the space of bisections of a Lie groupoid, etc.

If $M$ is a compact smooth manifold, and $F \to M$ is a smooth fiber bundle over $M$, then the space of smooth sections $\Gamma(F)$ of the bundle is frequently equipped with the structure of a Fréchet manifold. Upon embedding this Fréchet manifold into the category of diffeological spaces, the resulting diffeology coincides with the subspace diffeology that $\Gamma(F)$ inherits from the functional diffeology on $\mathcal^\infty(M,F)$.

Distinguished maps between diffeological spaces

Analogous to the notions of submersions and immersions between manifolds, there are two special classes of morphisms between diffeological spaces. A subduction is a surjective function ''$f: X \to Y$'' between diffeological spaces such that the diffeology of ''$Y$'' is the pushforward of the diffeology of ''$X$''. Similarly, an induction is an injective function ''$f: X \to Y$'' between diffeological spaces such that the diffeology of ''$X$ ''is the pullback of the diffeology of ''$Y$''. Subductions and inductions are automatically smooth.

It is instructive to consider the case where ''$X$'' and ''$Y$'' are smooth manifolds.

* Every surjective submersion $f:X \to Y$ is a subduction.
* A subduction need not be a surjective submersion. One example is $f:\mathbb^2 \to \mathbb, \quad f(x,y) := xy.$
* An injective immersion need not be an induction. One example is the parametrization of the "figure-eight,"
$f:\left(-\frac, \frac\right) \to \mathbb, \quad f(t) := (2\cos(t), \sin(2t)).$
* An induction need not be an injective immersion. One example is the "semi-cubic,"
$f:\mathbb \to \mathbb^2, \quad f(t) := (t^2, t^3).$

In the category of diffeological spaces, subductions are precisely the strong epimorphisms, and inductions are precisely the strong monomorphisms. A map that is both a subduction and induction is a diffeomorphism.

References

External links

* Patrick Iglesias-Zemmour
Diffeology (many documents)

diffeology.net
Global hub on diffeology and related topics

{{Manifolds

Differential geometry
Functions and mappings
Chen, Guocai
Smooth manifolds