synthetic differential geometry
Introductions
from point-set topology to differentiable manifolds
geometry of physics: coordinate systems, smooth spaces, manifolds, smooth homotopy types, supergeometry
Differentials
Tangency
The magic algebraic facts
Theorems
Axiomatics
(shape modality $\dashv$ flat modality $\dashv$ sharp modality)
$(ʃ \dashv \flat \dashv \sharp )$
dR-shape modality$\dashv$ dR-flat modality
$ʃ_{dR} \dashv \flat_{dR}$
(reduction modality $\dashv$ infinitesimal shape modality $\dashv$ infinitesimal flat modality)
$(\Re \dashv \Im \dashv \&)$
fermionic modality$\dashv$ bosonic modality $\dashv$ rheonomy modality
$(\rightrightarrows \dashv \rightsquigarrow \dashv Rh)$
Models
Models for Smooth Infinitesimal Analysis
smooth algebra ($C^\infty$-ring)
differential equations, variational calculus
Euler-Lagrange equation, de Donder-Weyl formalism?,
Chern-Weil theory, ∞-Chern-Weil theory
Cartan geometry (super, higher)
manifolds and cobordisms
cobordism theory, Introduction
A differentiable manifold is a topological space which is locally homeomorphic to a Euclidean space (a topological manifold) and such that the gluing functions which relate these Euclidean local charts to each other are differentiable functions, for a fixed degree of differentiability. If one considers arbitrary differentiablity then one speaks of smooth manifolds and if one demands analytic gluing functions then one speaks of analytic manifolds. For a general discussion see at manifold.
Accordingly, a differentiable manifold is a space to which the tools of (infinitesimal) analysis may be applied locally. Notably we may ask whether a continuous function between differentiable manifolds is differentiable by computing its derivatives pointwise in any of the Euclidean coordinate charts.
In particular one may consider smooth functions from the real line into any smooth manifold $X$, “smooth curves” in $X$. The equivalence classes of these that have the same first derivative at a given point capture the idea of “infinitsimal smooth paths” through that point in the manifold, called its tangent vectors. All the tangent vectors at one point $x \in X$ constitute the tangent space $T_x X$, and the collection of all these tangent spaces yields another differentiable manifold, called the tangent bundle $T X$. This happens to be a vector bundle which is associated to a principal bundle, called the frame bundle $Fr(X)$.
By equipping the tangent bundle or frame bundle of a differentiable manifold with extra properties or extra structure one encodes geometry on the manifold. For example equipping them with orthogonal structure encodes Riemannian geometry on manifolds. More generally one may consider any G-structure on the frame bundle and thereby equip the manifold with the corresponding Cartan geometry, for instance complex geometry, conformal geometry etc.
This way differential and smooth manifolds are the basis for differential geometry. They are the analogs in differential geometry of what schemes are in algebraic geometry. In fact both of these concepts are unified within synthetic differential geometry.
If one relaxes the condition on differentiable manifold from it being locally isomorphic to a Euclidean space to it just admitting local smooth maps from a Euclidean space, then one obtains the more general concept of diffeological spaces or even smooth sets, see at generalized smooth space for more on this. If one generalizes here differentiable functions to simplicial differentiable functions one obtains concepts of derived smooth manifold.
The generalization of differentiable manifolds to higher differential geometry are orbifolds and more generally differentiable stacks. If one combines this with the generalization to smooth sets then one obtains the concept of smooth stacks and eventually smooth infinity-stacks.
For convenience, we first recall the basic definition of
and of
and then turn to the actual definition of
For convenience, we first recall here some background on topological manifolds:
(topological manifold)
A topological manifold is a topological space which is
If the local Euclidean neighbourhoods $\mathbb{R}^n \overset{\simeq}{\to} U \subset X$ are all of dimension $n$ for a fixed $n \in \mathbb{N}$, then the topological manifold is said to be a $n$-dimensional manifold or $n$-fold. This is usually assumed to be the case.
(varying terminology)
Often a topological manifold (def. ) is required to be sigma-compact. But by this prop. this is not an extra condition as long as there is a countable set of connected components. Moreover, manifolds with uncountably many connected components are rarely considered in practice.
(local chart, atlas and gluing function)
Given an $n$-dimensional topological manifold $X$ (def. ), then
an open subset $U \subset X$ and a homeomorphism $\phi \colon \mathbb{R}^n \overset{\phantom{A}\simeq\phantom{A}}{\to} U$ is also called a local coordinate chart of $X$.
an open cover of $X$ by local charts $\left\{ \mathbb{R}^n \overset{\phi_i}{\to} U \subset X \right\}_{i \in I}$ is called an atlas of the topological manifold.
denoting for each $i,j \in I$ the intersection of the $i$th chart with the $j$th chart in such an atlas by
then the induced homeomorphism
is called the gluing function from chart $i$ to chart $j$.
graphics grabbed from Frankel
For convenience we recall the definition of differentiable functions between Euclidean spaces.
(differentiable functions between Euclidean spaces)
Let $n \in \mathbb{N}$ and let $U \subset \mathbb{R}^n$ be an open subset.
Then a function $f \;\colon\; U \longrightarrow \mathbb{R}$ is called differentiable at $x\in U$ if there exists a linear map $d f_x : \mathbb{R}^n \to \mathbb{R}$ such that the following limit exists as $h$ approaches zero “from all directions at once”:
This means that for all $\epsilon \in (0,\infty)$ there exists an open subset $V\subseteq U$ containing $x$ such that whenever $x+h\in V$ we have $\frac{f(x+h)-f(x) - d f_x(h)}{\Vert h\Vert} \lt \epsilon$.
We say that $f$ is differentiable on a subset $I$ of $U$ if $f$ is differentiable at every $x\in I$, and differentiable if $f$ is differentiable on all of $U$. We say that $f$ is continuously differentiable if it is differentiable and $d f$ is a continuous function.
The map $d f_x$ is called the derivative or differential of $f$ at $x$.
More generally, let $n_1, n_2 \in \mathbb{N}$ and let $U\subseteq \mathbb{R}^{n_1}$ be an open subset.
Then a function $f \;\colon\; U \longrightarrow \mathbb{R}^{n_2}$ is differentiable if for all $i \in \{1, \cdots, n_2\}$ the component function
is differentiable in the previous sense
In this case, the derivatives $d f_i \colon \mathbb{R}^n \to \mathbb{R}$ of the $f_i$ assemble into a linear map of the form
If the derivative exists at each $x \in U$, then it defines itself a function
to the space of linear maps from $\mathbb{R}^{n_1}$ to $\mathbb{R}^{n_2}$, which is canonically itself a Euclidean space. We say that $f$ is twice continuously differentiable if $d f$ is continuously differentiable.
Generally then, for $k \in \mathbb{N}$ the function $f$ is called $k$-fold continuously differentiable or of class $C^k$ if the $k$-fold differential $d^k f$ exists and is a continuous function.
Finally, if $f$ is $k$-fold continuously differentiable for all $k \in \mathbb{N}$ then it is called a smooth function or of class $C^\infty$.
Of the various properties satisfied by differentiation, the following plays a special role in the theory of differentiable manifolds (notably in the discussion of their tangent bundles):
(chain rule for differentiable functions between Euclidean spaces)
Let $n_1, n_2, n_3 \in \mathbb{N}$ and let
be two differentiable functions (def. ). Then the derivative of their composite is the composite of their derivatives:
hence for all $x \in \mathbb{R}^{n_1}$ we have
(differentiable manifold and smooth manifold)
For $p \in \mathbb{N} \cup \{\infty\}$ then a $p$-fold differentiable manifold or $C^p$-manifold for short is
a topological manifold $X$ (def. );
an atlas $\{\mathbb{R}^n \overset{\phi_i}{\to} X\}$ (def. ) all whose gluing functions are $p$ times continuously differentiable.
A $p$-fold differentiable function between $p$-fold differentiable manifolds
is
such that
for all $i \in I$ and $j \in J$ then
is a $p$-fold differentiable function between open subsets of Euclidean space.
(Notice that this in in general a non-trivial condition even if $X = Y$ and $f$ is the identity function. In this case the above exhibits a passage to a different, but equivalent, differentiable atlas.)
If a manifold is $C^p$ differentiable for all $p$, then it is called a smooth manifold. Accordingly a continuous function between differentiable manifolds which is $p$-fold differentiable for all $p$ is called a smooth function,
(category Diff of differentiable manifolds)
In analogy to remark there is a category called Diff${}_p$ (or similar) whose objects are $C^p$-differentiable manifolds and whose morphisms are $C^p$-differentiable functions, for given $p \in \mathbb{N} \cup \{\infty\}$.
The analog of the concept of homeomorphism (def. ) is now this:
Given smooth manifolds $X$ and $Y$ (def. ), then a smooth function
is called a diffeomorphism, if there is an inverse function
which is also a smooth function (hence if $f$ is an isomorphism in the category Diff${}_\infty$ from remark ).
Here it is important to note that while being a topological manifold is just a property of a topological space, a differentiable manifold carries extra structure encoded in the atlas:
Let $X$ be a topological manifold (def. ) and let
be two atlases (def. ), both making $X$ into a smooth manifold (def. ).
Then there is a diffeomorphism (def. ) of the form
precisely if the identity function on the underlying set of $X$ constitutes such a diffeomorphism. (Because if $f$ is a diffeomorphism, then also $f^{-1}\circ f = id_X$ is a diffeomorphism.)
That the identity function is a diffeomorphism between $X$ equipped with these two atlases means, by definition , that
Notice that the functions on the right may equivalently be written as
showing their analogy to the glueing functions within a single atlas spring.
Hence diffeomorphism induces an equivalence relation on the set of smooth atlases that exist on a given topological manifold $X$. An equivalence class with respect to this equivalence relation is called a smooth structure on $X$.
(Cartesian space as a smooth manifold)
For $n \in \mathbb{N}$ then the Cartesian space $\mathbb{R}^n$ equipped with the atlas consisting of the single chart $\mathbb{R}^n \overset{id}{\to} \mathbb{R}^n$ is a smooth manifold, in particularly a $p$-fold differentiable manifold for every $p \in \mathbb{N}$ according to def. .
Similarly the open disk $D^n$ becomes a smooth manifold when equipped with the atlas whose single chart is the homeomorphism $\mathbb{R}^n \to D^n$.
This defines a smooth structure (def. ) on $\mathbb{R}^n$ and $D^n$. Strikingly, precisely for $n = 4$ there are other smooth structures on $\mathbb{R}^4$, hence called exotic smooth structures.
(n-spheres as smooth manifolds)
For all $n \in \mathbb{N}$, the n-sphere $S^n$ becomes a smooth manfold, with atlas consisting of the two local charts that are given by the inverse functions of the stereographic projection from the two poles of the sphere onto the equatorial hyperplane
By the formulas given in this prop. the induced gluing function $\mathbb{R}^n \backslash \{0\} \to \mathbb{R}^n \backslash \{0\}$ is a rational function, and hence a smooth function.
Finally the $n$-sphere is a paracompact Hausdorff topological space. Ways to see this include:
$S^n \subset \mathbb{R}^{n+1}$ is a compact subspace by the Heine-Borel theorem. Compact spaces are evidently also paracompact. Moreover, Euclidean space, like any metric space, is Hausdorff, and subspaces of Hausdorff spaces are Hausdorff;
The $n$-sphere has an evident structure of a CW-complex and CW-complexes are paracompact Hausdorff spaces.
(real projective space and complex projective space)
For $n \in \mathbb{N}$
the real projective space $\mathbb{R}P^n$ has the structure of a smooth manifold of dimension $n$;
the complex projective space $\mathbb{C}P^n$ has the structure of a smooth manifold of (real) dimension $2n$.
where in both cases the atlas is given by the standard open cover (this def.).
By this prop..
We now discuss some general mechanisms by which new differentiable manifolds arise from given ones:
(product manifold)
Let $X$ any $Y$ be two differentiable manifolds with atlases $\{\mathbb{R}^n\underoverset{\simeq}{\phi_i}{\to} U_i \subset X\}$ and $\{\mathbb{R}^{n'}\underoverset{\simeq}{\psi_j}{\to} V_j \subset Y\}$. Then their product topological space $X \times Y$ becomes an differentiable manifold with respect to the atlas
(open subsets of differentiable manifolds are differentiable manifolds)
Let $X$ be a $k$-fold differentiable manifold and let $S \subset X$ be an open subset of the underlying topological space $(X,\tau)$.
Then $S$ carries the structure of a $k$-fold differentiable manifold such that the inclusion map $S \hookrightarrow X$ is an open embedding of differentiable manifolds.
Since the underlying topological space of $X$ is locally connected (this prop.) it is the disjoint union space of its connected components (this prop.).
Therefore we are reduced to showing the statement for the case that $X$ has a single connected component. By this prop this implies that $X$ is second-countable topological space.
Now a subspace of a second-countable Hausdorff space is clearly itself second countable and Hausdorff.
Similarly it is immediate that $S$ is still locally Euclidean: since $X$ is locally Euclidean every point $x \in S \subset X$ has a Euclidean neighbourhood in $X$ and since $S$ is open there exists an open ball in that (itself homeomorphic to Euclidean space) which is a Euclidean neighbourhood of $x$ contained in $S$.
For the differentiable structure we pick these Euclidean neighbourhoods from the given atlas. Then the gluing functions for the Euclidean charts on $S$ are $k$-fold differentiable follows since these are restrictions of the gluing functions for the atlas of $X$.
For $n \in \mathbb{N}$, the general linear group $Gl(n,\mathbb{R})$ is a smooth manifold (as an open subspace of Euclidean space $GL(n,\mathbb{R}) \subset Mat_{n \times n}(\mathbb{R}) \simeq \mathbb{R}^{(n^2)}$, via example and example ).
The group operations are smooth functions with respect to this smooth manifold structure, and thus $GL(n,\mathbb{R})$ is a Lie group.
Textbook accounts include
Antoni Kosinski, Differential manifolds, Academic Press 1993 (pdf)
Theodore Frankel, chapter 1 of The Geometry of Physics - An Introduction, Cambridge University Press (1997, 2004, 2012)
Lecture notes include
Claudio Gorodski, Notes on smooth manifolds, 2013 (pdf)
Henrik Schlichtkrull, Differentiable manifolds, 2008 (pdf)
See also
Last revised on September 16, 2018 at 05:04:25. See the history of this page for a list of all contributions to it.