The infinitesimal singular simplicial complex of a space in a smooth topos is the infinitesimal analogue of the singular simplicial complex (see interval object) that in degree is the space of -simplices in : the infinitesimal singular simplicial complex has in degree the infinitesimal -simplices in .
There are several ways to make the notion of “infinitesimal -simplex in ” precise. Here we describe a notion promoted by Anders Kock, where an “infinitesimal -simplex” in for a suitably locally linear space , is a -tuple of points in that are pairwise infinitesimal neighbours in .
One central application of the singular simplicial complex is in the definition of differential forms in synthetic differential geometry.
The basic definition applies to spaces of the form and is generalized from there to spaces that “locally look like” in one way or other.
Let here and in the following be a smooth topos.
Write, as usual
for the infinitesimal space of first order infinitesimal neighbours of the origin of , with its canonical inclusion into .
Two elements are called first order infinitesimal neighbours, denoted , if their difference is in the image of this inclusion.
This naturally forms a simplicial object . This is the infinitesimal simplicial singular complex of .
warning this section is as such not drawn from the literature, it seems
here is an ideal.
Declare that two generalized elements are infinitesimal neighbours if their image under the injection
is a pair of infinitesimal neighbour in . Then let
be the sub-simplicial object of infinitesimal neighbours in that are points in .
(linearity of space of infinitesimal neighbours)
If are infinitesimal neighbours in the smooth locus , then for all also the element formed by linear combination in is in and hence is an infinitesimal neighbour of there.
Consider the circle regarded as the smooth locus .
For an infinitesimal neighbour in is again a point on the circle, and hence an infinitesimal neighbour of in , if
which, due to is equivalent to
This is solved by of the form
for some fixed .
use that each manifold is locally isomorphic to an and that the neighbourhood relation only needs an infinitesimal neighbourhood. Proceed locally as above and then patch. See references below.
The lined topos also comes canonically for every object with the finite singular simplicial complex induced from regarding
as an interval object (see there for details).
(inclusion of infinitesimal into finite simplices)
For a smooth locus define for all a morphism
by defining it on generalized elements as
The morphisms constitute a morphism of simplicial objects
in that they respects the face and degenracy maps on each side.
The inner face maps on omit the th point in the -tuple of points, while on they act by pullback along . That means that in the sum above appears twice to yield
which indeed corresponds to omission of the th point .
The collection of first order infinitesimal neighbours of a space arranges itself into the infinitesimal path ∞-groupoid? . Various concepts derive from this one:
of differential forms may be understood in terms of functions on . This is described at
A deRham space is the colimit over a .
In the language of synthetic differential geometry the infinitesimal singular complex for “formal manifolds” (internally defined manifolds with an infinitesimal thickening to all orderes) is described (with the simplicial structure not made explicit) in
section I.18 of
and in section 2.8 of
Discussion of this that does make the simplicial structure explicit and relates it to the Dold-Kan correspondence is in
Herman Stel, Cosimplicial C-infinity rings and the de Rham complex of Euclidean space (arXiv:1310.7407)
to be discussed
As the title suggests, the infinitesimal singular simplicial complex is tightly related to differential forms in synthetic differential geometry: the deRham complex is the normalized Moore cochain complex of the cosimplicial algebra of functions on the spaces of infinitesimal simplices.
There is also
Dubuc, -schemes, Amer. J. of Math. 103 (1981)
Kumpera, Spencer, Lie Equations , Annals of Math. Studies 73 (1973)
There is also a version of the infinitesimal singular simplicial context in the context of nonstandard analysis. See