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)
$(\esh \dashv \flat \dashv \sharp )$
dR-shape modality$\dashv$ dR-flat modality
$\esh_{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)
In the context of synthetic differential geometry a differential form $\omega$ of degree $k$ on a manifold $X$ is literally a function on the space of infinitesimal cubes or infinitesimal simplices in $X$.
We give the definition as available in the literature and then interpret this in a more unified way in terms of the Chevalley-Eilenberg algebra of the infinitesimal singular simplicial complex.
missing here are details on what axioms the space we are working on has to satisfy for the following to make sense. See the case distinction at infinitesimal singular simplicial complex.
An infinitesimal $k$-simplex in a synthetic differential space $X$ is a collection of $k+1$-points in $X$ that are pairwise infinitesimal neighbours.
The spaces $X^{\Delta^k_{diff}}$ of infinitesimal $k$-simplices arrange to form the infinitesimal singular simplicial complex $X^{\Delta^\bullet_{diff}}$.
The functions on the space of infinitesimal $k$-simplices form a generalized smooth algebra $C^\infty(X^{\Delta^k_{inf}})$.
A differential $k$-form (often called simplicial $k$-form or, less accurately, combinatorial $k$-form to distinguish it from similar but cubical definitions) on $X$ is an element in this function algebra that has the property that it vanishes on degenerate infinitesimal simplices.
See definition 3.1.1 in
for this simplicial definition. A detailed account of this is in the entry infinitesimal object in the section Spaces of infinitesimal simplices.
This is a very simple-looking statement. The reason is the topos-theoretic language at work in the background, which takes care that we may talk about infinitesimal objects as if they were just plain ordinary sets. For a very detailed account of how the above statement is implemented concretely in terms of concrete models for synthetic differential spaces see section 1 of
There are also cubical variants of the above definition
See also section 4.1 of
for a realization of the cubical version in models based on sheaves on generalized smooth algebras.
We may characterize the object $\Omega^k(X) \subset C^\infty(X^{\Delta^k_{inf}})$ as follows:
for $k \geq 1$ there are the obvious images
of the degeneracy maps. As one can see, these act by restricting a function on infinitesimal $k$-simplices to the degenerate ones and regarding these then as a $(k-1)$-simplex.
Therefore we may characterize the subobject $\Omega^k(X) \hookrightarrow C^\infty(X^{\Delta^k_{inf}})$ as the joint kernel of the degeneracy maps
According to section 3.2 of Andres Kock’s book, the coboundary operator $d : \Omega^k(X) \to \Omega^{k+1}(X)$ sends a differential $k$-form $\omega$ to the $(k+1)$-form $d \omega$ that on an infinitesimal $(k+1)$-simplex $(x_0, x_1, \cdots, x_{k+1})$ in $X$ evaluates to
where the hat indicates that the corresponding variable is omitted, as usual.
We recognize this as the alternating sum of the face maps $\partial_i^*$ of the cosimplicial object $C^\infty(X^{\Delta_{inf}^\bullet})$.
These constructions remind one and should be compared with the Dold-Kan correspondence. In particular with its dual (cosimplicial) version as recalled in section 4 of CastiglioniCortinas
In total this should show the following
Let $X$ be a synthetic differential space and $C^\infty(X^{\Delta_{inf}^\bullet})$ the cosimplicial object of generalized smooth algebras of functions on the spaces of infinitesimal $k$-simplices in $X$.
Then the deRham complex $(\Omega^\bullet(X), d)$ of differential forms on $X$ is the normalized Moore complex of the cosimplicial object $C^\infty(X^{\Delta_{inf}^\bullet})$.
In other words, in as far as the Dold-Kan correspondence is an equivalence, we find that:
the object of differential forms on $X$ is the cosimplicial generalized smooth algebra $C^\infty(X^{\Delta_{inf}^k})$.
Anders Kock, Synthetic geometry of manifolds (pdf)
Moerdijk-Reyes, Models for Smooth Infinitesimal Analysis
Castiglioni, Cortinas, Cosimplicial versus DG-rings: a version of the Dold-Kan correspondence (pdf)