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)
typical contexts
In a context of synthetic differential geometry or D-geometry, the de Rham space of a space is the quotient of that identifies infinitesimally close points.
It is the coreduced reflection of .
Let CRing be the category of commutative rings. For , write for the nilradical of , the ideal consisting of the nilpotent elements. The canonical projection to the quotient by the ideal corresponds in the opposite category to the inclusion
of the reduced part of .
If is a smooth scheme then the canonical morphism
is an epimorphism (hence an epimorphism over each ) and therefore in this case is the quotient of the relation “being infinitesimally close” between points of : we have that is the coequalizer
of the two projections out of the formal neighbourhood of the diagonal.
For a bundle over , its direct image under base change along the projection map yields its jet bundle. See there for more.
In terms of differential homotopy type theory this means that forming “jet types” of dependent types over is the dependent product operation along the unit of the infinitesimal shape modality
For a scheme, the big site of , is the crystalline site of .
Morphisms encode flat higher connections: local systems.
Accordingly, descent for de Rham spaces – sometimes called de Rham descent encodes flat 1-connections. This is described at Grothendieck connection,
The category of D-modules on a space is equivalent to that of quasicoherent sheaves on the corresponding de Rham space (Lurie, above theorem 0.4).
The term de Rham space or de Rham stack apparently goes back to
But actually there it just has the notation “” and then the functor it co-represents is called the “de Rham shape” of .
A review of the constructions is on the first two pages of
The de Rham space construction on spaces (schemes) is described in section 3, p. 7
which goes on to assert the existence of its derived functor on the homotopy category of ∞-stacks in proposition 3.3. on the same page.
Similar discussion in a context of derived algebraic geometry is in
The characterization of formally smooth scheme as above is also on that page.
See also online comments by David Ben-Zvi here and here on the Café. and here on MO.
Last revised on May 4, 2023 at 12:00:22. See the history of this page for a list of all contributions to it.