higher geometry / derived geometry
geometric little (∞,1)-toposes
geometric big (∞,1)-toposes
function algebras on ∞-stacks?
derived smooth geometry
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. For a general discussion see at manifold.
Differential and smooth manifolds are the basis for much of differential geometry. They are the analogs in differential geometry of what schemes are in algebraic geometry.
If one relaxes the condition from being locally isomorphic to a Euclidean space to admitting local smooth maps from a Euclidean space, then one obtains the concept of diffeological spaces or even smooth sets, see at generalized smooth space for more on this.
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.
Smooth manifolds form a category, SmoothManifolds.
For the traditional definition see at differentiable manifold.
In an exercise of his 1973 Perugia lectures F. William Lawvere reported a somewhat surprising observation:
In the case of smooth manifolds the process of piecing together the local data can be elegantly summed up as splitting of idempotents in a category of open subsets of Euclidean spaces. More precisely:
Let $Diff$ be the category of smooth manifolds and smooth maps, where by a “smooth manifold”, we mean a finite-dimensional, second-countable, Hausdorff, $C^\infty$ manifold without boundary. Let $i: Open \hookrightarrow Diff$ be the full subcategory whose objects are the open subspaces of finite-dimensional Cartesian spaces.
The subcategory $i: Open \hookrightarrow Diff$ exhibits $Diff$ as an idempotent-splitting completion of $Open$.
By a general lemma for idempotent splittings, it suffices to prove that
Every smooth manifold is a smooth retract of an open set in Euclidean space;
If $p : U \to U$ is a smooth idempotent on an open set $U \subseteq \mathbb{R}^n$, then the subset $Fix(p) \hookrightarrow U$ is an embedded submanifold.
For the first statement, we use the fact that any manifold $M$ can be realized as a closed submanifold of some $\mathbb{R}^n$, and every closed submanifold has a tubular neighborhood $U \subseteq \mathbb{R}^n$. In this case $U$ carries a structure of vector bundle over $M$ in such a way that the inclusion $M \hookrightarrow U$ is identified with the zero section, so that the bundle projection $U \to M$ provides a retraction, with right inverse given by the zero section.
For the second statement, assume that the origin $0$ is a fixed point of $p$, and let $T_0(U) \cong \mathbb{R}^n$ be its tangent space (observe the presence of a canonical isomorphism to $\mathbb{R}^n$). Thus we have idempotent linear maps $d p(0), Id-d p(0): T_0(U) \to T_0(U)$ where the latter factors through the inclusion $\ker \; d p(0) \hookrightarrow T_0(U)$ via a projection map $\pi: T_0(U) \to \ker \; d p(0)$. We have a map $f: U \to \mathbb{R}^n$ that takes $x \in U$ to $x - p(x)$; let $g$ denote the composite
Now we make some easy observations:
$Fix(p) \subseteq g^{-1}(0)$.
The map $p: U \to U$ restricts to a map $p: g^{-1}(0) \to g^{-1}(0)$, by idempotence of $p$.
The derivative $d g(0): T_0(U) \to T_0(\ker \; d p(0)) \cong \ker \; d p(0)$ is $\pi$ again since $Id - d p(0)$ is idempotent. Thus $d g(0)$ has full rank ($m$ say), and so the restriction of $g$ to some neighborhood $V$ has $0$ as a regular value, and $g^{-1}(0) \cap V$ is a manifold of dimension $m$ by the implicit function theorem. The tangent space $T_0(g^{-1}(0) \cap V)$ is canonically identified with $im(d p(0))$.
There are smaller neighborhoods $V'' \subseteq V' \subseteq V$ so that $p$ restricts to maps $p_1, p_2$ as in the following diagram ($i, i', i''$ are inclusion maps, all taking a domain element $x$ to itself):
and such that $p_1, p_2$ are diffeomorphisms by the inverse function theorem (noting here that $d p_i(0): im(d p(0)) \to im(d p(0))$ is the identity map, by idempotence of $p$).
Letting $q: g^{-1}(0) \cap V' \to g^{-1}(0) \cap V''$ denote the smooth inverse to $p_2$, we calculate $i' = p \circ i'' \circ q$, and
so that $p_1(x) = x$ for every $x \in g^{-1}(0) \cap V'$. Hence $g^{-1}(0) \cap V' \subseteq Fix(p)$.
From all this it follows that $Fix(p) \cap V' = g^{-1}(0) \cap V'$, meaning $Fix(p)$ is locally diffeomorphic to $\mathbb{R}^m$, and so $Fix(p)$ is an embedded submanifold of $\mathbb{R}^n$.
Another proof of this result may be found here.
Lawvere comments on this fact as follows:
“This powerful theorem justifies bypassing the complicated considerations of charts, coordinate transformations, and atlases commonly offered as a ”basic“ definition of the concept of manifold. For example the 2-sphere, a manifold but not an open set of any Euclidean space, may be fully specified with its smooth structure by considering any open set $A$ in 3-space $E$ which contains it but not its center (taken to be $0$) and the smooth idempotent endomap of $A$ given by $e(x) = x/{|x|}$. All general constructions (i.e., functors into categories which are Cauchy complete) on manifolds now follow easily (without any need to check whether they are compatible with coverings, etc.) provided they are known on the opens of Euclidean spaces: for example, the tangent bundle on the sphere is obtained by splitting the idempotent $e'$ on the tangent bundle $A \times V$ of $A$ ($V$ being the vector space of translations of $E$) which is obtained by differentiating $e$. The same for cohomology groups, etc.” (Lawvere 1989, p.267)
There is a fundamental and general abstract way to think of smooth manifolds, which realizes their theory as a special case of general constructions in higher geometry.
In this context one specifies for instance $\mathcal{G}$ a geometry (for structured (∞,1)-toposes) and then plenty of geometric notions are defined canonically in terms of $\mathcal{G}$. The theory of smooth manifolds appears if one takes $\mathcal{G} =$ CartSp.
Alternatively one can specify differential cohesion and proceed as discussed at differential cohesion – structures - Cohesive manifolds (separated).
This is discussed in The geometry CartSp below.
Let CartSp be the category of Cartesian spaces and smooth functions between them. This has finite products and is in fact (the syntactic category) of a Lawvere theory: the theory of smooth algebras.
Moreover, $CartSp$ is naturally equipped with the good open cover coverage that makes it a site.
Both properties together make it a pregeometry (for structured (∞,1)-toposes) (if the notion of Grothendieck topology is relaxed to that of coverage in StrSp).
For $\mathcal{X}$ a topos, a product-preserving functor
is a $\mathcal{G}$-algebra in $\mathcal{X}$. This makes $\mathcal{X}$ is $\mathcal{G}$-ringed topos. For $\mathcal{G} =$ CartSp this algebra is a smooth algebra in $\mathcal{X}$. If $\mathcal{X}$ has a site of definition $X$, then this is a sheaf of smooth algebras on $X$.
If $\mathcal{O}$ sends covering families $\{U_i \to U\}$ in $\mathcal{G}$ to effective epimorphism $\coprod_i \mathcal{O}(U_i) \to \mathcal{O}(U)$ we say that it is a local $\mathcal{G}$-algebra in $\mathcal{X}$, making $\mathcal{X}$ a $\mathcal{G}$-locally ringed topos.
The big topos $Sh(\mathcal{G})$ itself is canonically equipped with such a local $\mathcal{G}$-algebra, given by the Yoneda embedding $j$ followed by sheafification $L$
It is important in the context of locally representable locally ringed toposes that we regard $Sh(\mathcal{G})$ as equipped with this local $\mathcal{G}$-algebra. This is what remembers the site and gives a notion of local representability in the first place.
The big topos $Sh(CartSp)$ is a cohesive topos of generalized smooth spaces. Its concrete sheaves are precisely the diffeological spaces. See there for more details. We now discuss how with $Sh(CartSp)$ regarded as a $CartSp$-structured topos, smooth manifolds are precisely its locally representable objects.
The representables themselves should evidently be locally representable and canonically have the structure of $CartSp$-structured toposes.
Indeed, every object $U \in \mathrm{CartSp}$ is canonically a CartSp-ringed space, meaning a topological space equipped with a local sheaf of smooth algebras. More generally: every object $U \in CartSp$ is canonically incarnated as the $CartSp$-structured (∞,1)-topos
given by the over-(∞,1)-topos of the big (∞,1)-sheaf (∞,1)-topos over $CartSp$ and the structure sheaf given by the composite of the (∞,1)-Yoneda embedding and the inverse image of the etale geometric morphism induced by $U$.
Say a concrete object $X$ in the sheaf topos $Sh(CartSp)$ – a diffeological space – is locally representable if there exists a family of open embeddings $\{U_i \hookrightarrow X\}_{i \in X}$ with $U_i \in CartSp \stackrel{j}{\hookrightarrow} Sh(CartSp)$ such that the canonical morphism out of the coproduct
is an effective epimorphism in $Sh(CartSp)$.
Let $LocRep(CartSp) \hookrightarrow Sh(CartSp)$ be the full subcategory on locally representable sheaves.
There is an equivalence of categories
of the category Diff of smooth manifolds with that of locally representable sheaves for the pre-geometry $CartSp$.
Define a functor $Diff \to LocRep(CartSp)$ by sending each smooth manifold to the sheaf over $CartSp$ that it naturally represents. By definition of manifold there is an open cover $\{U_i \hookrightarrow X\}$. We claim that $\coprod_i U_i \to X$ is an effective epimorphism, so that this functor indeed lands in $LocRep(CartSp)$. (This is a standard argument of sheaf theory in Diff, we really only need to observe that it goes through over CartSp, too.)
For that we need to show that
is a coequalizer diagram in $Sh(CartSp)$ (that the Cech groupoid of the cover is equivalent to $X$.). Notice that the fiber product here is just the intersection in $X$ $U_i \times_X U_j \simeq U_i \cap U_j$. By the fact that the sheaf topos $Sh(CartSp)$ is by definition a reflective subcategory of the presheaf topos $PSh(CartSp)$ we have that colimits in $Sh(CartSp)$ are computed as the sheafification of the corresponding colimit in $PSh(CartSp)$. The colimit in $PSh(CartSp)$ in turn is computed objectwise. Using this, we see that that we have a coequalizer diagram
in $PSh(CartSp)$, where $S(\{U_i\})$ is the sieve corresponding to the cover: the subfunctor $S(\{U_i\}) \hookrightarrow X$ of the functor $X : CartSp^{op} \to Set$ which assigns to $V \in CartSp$ the set of smooth functions $V \to X$ that have the property that they factor through any one of the $U_i$.
Essentially by the definition of the coverage on $CartSp$, it follows that sheafification takes this subfunctor inclusion to an isomorphism. This shows that $X$ is indeed the tip of the coequalizer in $Sh(CartSp)$ as above, and hence that it is a locally representable sheaf.
Conversely, suppose that for $X \in Conc(Sh(CartSp)) \hookrightarrow Sh(CartSp)$ there is a family of open embeddings $\{U_i \hookrightarrow X\}$ such that we have a coequalizer diagram
in $Sh(CartSp)$, which is the sheafification of the corresponding coequalizer in $PSh(CartSp)$. By evaluating this on the point, we find that the underlying set of $X$ is the coequalizer of the underlying set of the $U_i$ in $Set$. Since every plot of $X$ factors locally through one of the $U_i$ it follows that $X$ is a diffeological space.
It follows that in the pullback diagrams
the object $U_i \cap U_j$ is the diffeological space whose underlying topological space is the intersection of $U_i$ and $U_j$ in the topological space underlying $X$. In particular the inclusions $U_i \times_X U_j \hookrightarrow U_i$ are open embeddings.
We may switch from regarding smooth manifolds as objects in the big topos $X \in Sh(CartSp)$ to regrading them as toposes themselves, by passing to the over-topos $Sh(CartSp)/X$. This remembers the extra (smooth) structure on the topological space $X$ by being canonically a locally ringed topos with the structure sheaf of smooth functions on $X$: a CartSp-structured (∞,1)-toposes
For every choice of geometry (for structured (∞,1)-toposes) there is a notion of $\mathcal{G}$-locally representable structured (∞,1)-topos (StrSp).
Smooth manifolds are equivalently the 0-localic CartSp-generalized schemes of locally finite presentation.
The statement says that a smooth manifold $X$ may be identified with an ∞-stack on CartSp (an ∞-Lie groupoid) which is represented by a CartSp-structured (∞,1)-topos $(\mathcal{X}, \mathcal{O}_{\mathcal{X}})$ such that
$\mathcal{X}$ is a 0-localic (∞,1)-topos;
There exists a family of objects $\{U_i \in \mathcal{X}\}$ such that the canonical morphism $\coprod_i U_i \to *_{\mathcal{X}}$ to the terminal object in $\mathcal{X}$ is a regular epimorphism;
For every $i \in I$ there is an equivalence
The second and third condition say in words that $(\mathcal{X}, \mathcal{O}_{\mathcal{X}})$ is locally equivalent to the ordinary cannonically CartSp-locally ringed space $\mathbb{R}^n$ (for $n \in \mathbb{N}$ the dimension. The first condition then says that these local identifications cover $\mathcal{X}$.
(…)
(…)
(Milnor’s exercise)
The functor
(from the category of smooth manifolds to the opposite category of commutative algebras over the real numbers) that sends a smooth manifold $X$ to its commutative $\mathbb{R}$-algebra of smooth functions $X \to \mathbb{R}$ is a fully faithful functor, hence exhibits $SmthMfd$ as a full subcategory of $cAlg^{op}$.
(Kolar-Slovak-Michor 93, lemma 35.8, corollaries 35.9, 35.10)
For more see at embedding of smooth manifolds into formal duals of R-algebras.
The original works include
VeblenWhitehead1931?
VeblenWhitehead1932?
Whitney1936?
Early account with an eye towards cobordism theory and the Pontrjagin-Thom isomorphism:
Textbook accounts:
John Milnor, James Stasheff, Section 1 of: Characteristic Classes, Annals of Mathematics Studies, Princeton University Press 1974 (ISBN:9780691081229)
Ivan Kolar, Jan Slovak and Peter Michor, Natural operations in differential geometry, 1993, 1999 (web)
Antoni Kosinski, Differential manifolds, Academic Press 1993 (pdf)
John Lee, Introduction to Smooth Manifolds, Springer 2012 (doi:10.1007/978-1-4419-9982-5, book webpage pdf)
Theodore Frankel, chapter 1 of The Geometry of Physics - An Introduction, Cambridge University Press (1997, 2004, 2012)
Jet Nestruev, Smooth Manifolds and Observables , Springer LNM 220 Heidelberg 2003 (doi:10.1007/b98871)
With an eye towards application in mathematical physics:
Smooth manifolds are defined as locally ringed spaces in
Discussion of smooth manifolds as colimits of the Cech nerves of their good open covers is also at
The general abstract framework of higher geometry referred to above is discussed in
The proof that idempotents split in the category of smooth manifolds was adapted from this MO answer:
Which provides a solution to exercise 3.21 in
The above comment by Lawvere is taken from
Last revised on February 20, 2021 at 11:47:26. See the history of this page for a list of all contributions to it.