Backround
Definition
Presentation over a site
Models
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
Models
differential equations, variational calculus
Chern-Weil theory, ∞-Chern-Weil theory
Cartan geometry (super, higher)
∞-Lie theory (higher geometry)
Background
Smooth structure
Higher groupoids
Lie theory
∞-Lie groupoids
∞-Lie algebroids
Formal Lie groupoids
Cohomology
Homotopy
Related topics
Examples
-Lie groupoids
-Lie groups
-Lie algebroids
-Lie algebras
A smooth -groupoid is an ∞-groupoid equipped with cohesion in the form of smooth structure. Examples include smooth manifolds, Lie groups, Lie groupoids and generally Lie infinity-groupoids, but also for instance moduli spaces of differential forms, moduli stacks of principal connections and generally of cocycles in differential cohomology.
The (∞,1)-topos of all smooth -groupoids is a cohesive (∞,1)-topos. It realizes a higher geometry version of differential geometry.
Many properties of smooth -groupoids are inherited from the underlying Euclidean-topological ∞-groupoids. See ETop∞Grpd for more.
There is a refinement of smooth -groupoids to synthetic differential ∞-groupoids. See SynthDiff∞Grpd for more on that.
For a smooth manifold, say an open cover is a differentiably good open cover if each non-empty finite intersection of the is diffeomorphic to a Cartesian space.
Every paracompact smooth manifold admits a differentiably good open cover.
This is mathematical folklore. A detailed proof is given at good open cover.
Let SmoothMfd be the large site of paracompact smooth manifolds with smooth functions between them and equipped with the coverage of differentiably good open covers.
This does indeed define a coverage. The Grothendieck topology that is generated from it is the standard open cover topology.
For any open cover of a paracompact manifold also is paracompact. Hence we may find a differentiably good open cover . This is then a refinement of the original open cover of .
Let CartSp be the site of Cartesian spaces with smooth functions between them and equipped with the coverage of differentiably good open covers.
The (∞,1)-topos of smooth -groupoids is the (∞,1)-category of (∞,1)-sheaves on CartSp:
(Brown-Gersten property)
The homotopy descent of simplicial presheaves on the above site may conveniently be checked by a Brown-Gersten property, see there.
is a cohesive (∞,1)-topos.
The site CartSp is (as discussed there) an ∞-cohesive site. See there for the implication.
Let SmoothMfd be the large site of paracompact smooth manifolds with smooth functions between them and equipped with the coverage whose covering families are differentiably good open covers : open covers where each non-empty open intersection is diffeomorphic to a Cartesian space.
This does indeed define a coverage and the Grothendieck topology generated by it is the standard open cover topology.
This is discussed in detail at good open cover.
The (∞,1)-topos is equivalent to the hypercompletion of the (∞,1)-category of (∞,1)-sheaves on the large site SmoothMfd
By the above we have that CartSp is a dense sub-site of SmoothMfd. With this the claim follows as in the analogous discussion at ETop∞Grpd.
The canonical embedding of smooth manifolds as 0-truncated objects in is a full and faithful (∞,1)-functor
We discuss the relation of to other cohesive (∞,1)-toposes.
The cohesive (∞,1)-topos ETop∞Grpd of Euclidean-topological ∞-groupoids has as site of definition CartSp. There is a canonical forgetful functor
The functor extends to an essential (∞,1)-geometric morphism
such that the (∞,1)-Yoneda embedding is factored through the induced inclusion SmoothMfd Mfd as
Using the observation that preserves coverings and pullbacks along morphism in covering families, the proof follows precisely the steps of the proof of this proposition.
(Both of these are special cases of a general statement about morphisms of (∞,1)-sites, which should eventually be stated in full generality somewhere).
The essential global section (∞,1)-geometric morphism of factors through that of ETop∞Grpd
This follows from the essential uniqueness of the global section (∞,1)-geometric morphism and of adjoint (∞,1)-functors.
The functor here is the forgetful functor that forgets smooth structure and only remembers Euclidean topology-structure.
Observe that CartSp is (the syntactic category of) a Lawvere theory: the algebraic theory of smooth algebras (-rings). Write for the category of its algebras. Let be the full subcategory on the infinitesimally thickened points.
Let CartSp be the full subcategory on the objects of the form with and . Write
for the canonical inclusion.
The inclusion exhibits an infinitesimal cohesive neighbourhood of
where SynthDiff∞Grpd is the cohesive (∞,1)-topos of synthetic differential ∞-groupoids: the (∞,1)-category of (∞,1)-sheaves over .
This follows as a special case of this proposition after observing that is an infinitesimal neighbourhood site of in the sense defined there.
In SynthDiff∞Grpd we have ∞-Lie algebras and ∞-Lie algebroids as actual infinitesimal objects. See there for more details.
The (1,1)-topos on the 0-truncated smooth -groupoids is
the sheaf topos on SmthMfd/CartSp discussed at smooth space.
The concrete objects in there
are precisely the diffeological spaces.
We discuss the general abstract structures in a cohesive (∞,1)-topos realized in .
This section is at
Smooth -groupoids and related cohesive structures play a central role in the discussion at
For standard references on differential geometry and Lie groupoids see there.
The -topos is discussed in section 3.3 of
A discussion of smooth -groupoids as -sheaves on and the presentaton of the -Chern-Weil homomorphism on these is in
For references on Chern-Weil theory in Smooth∞Grpd and connection on a smooth principal ∞-bundle, see there.
The results on differentiable Lie group cohomology used above are in
and
which parallels
A review is in section 4 of
Classification of topological principal 2-bundles is discussed in
Abel Symposia, 2009, Volume 4, 1-31 (arXiv:0801.3843)
and the generalization to classification of smooth principal 2-bundles is in
Further discussion of the shape modality on smooth -groupoids is in
On smooth ∞-groupoids (called “differentiable stacks” there) and the smooth Oka principle:
Adrian Clough, A Convenient Category for Geometric Topology, PhD thesis, UT Austin (2021) [pdf, pdf]
Adrian Clough, The homotopy theory of differentiable sheaves [arXiv:2309.01757]
Adrian Clough, The Homotopy Theory of Differentiable Sheaves, talk at Workshop on Homotopy Theory and Applications, CQTS (Oct 2023) [video:YT]
Last revised on December 11, 2023 at 21:59:27. See the history of this page for a list of all contributions to it.