The simplicial de Rham complex of a simplicial manifold is the analog of the de Rham complex of differential forms of an ordinary manifold: it is the complex whose elements in degree may be thought of as -forms on .
One useful conceptual way to think of this is to notice that a a simplicial manifold may be thought of as a degreewise representable simplicial presheaf on Diff and then to realize that by way of the standard model structure on simplicial presheaves such a simplicial presheaf presents an ∞-stack on Diff which we may think of as a Lie ∞-groupoid. From that perspective we expect that
Slogan. The simplicial de Rham complex is the complex of differential forms on a geometric ∞-Lie groupoid.
We shall discuss this in more detail below.
There are several definitions that are quasi-isomorphic. The first one we give is the conceptually most straightforward one. The second one we give is sometimes more useful in computations.
(simplicial de Rahm complex, first version)
for the cochain complex that is the total complex of the double complex on the degreewise de Rham complex with one differential the simplicial-degree-wise de Rham differential and the other one the de Rham-degree-wise alternating sum of pullback along the face maps
So an element in degree is a collection of ordinary differential forms.
(simplicial de Rahm complex, second version)
Say that a differential form is compatible if for each face map we have
(some condition, need to look something up…)
There is a decomposition
This defines a bidegree and is the obvious total complex of the obvious double complex here
will polish this up later
The following proposition says that and how these two complexes are related.
Consider the map between the two double complexes involved above which integrates each element in degree over . This induces a map on the corresponding total complexes
Dupont exhibits a Chern-Weil homomorphism
(which, in traditional simplicial group notation, reads – but recall that these are “Lie” simplicial groups here).
In the language uses there, the statement we establish is the following:
Let CartSp and the (∞,1)-category of (∞,1)-sheaves on CartSp, the (∞,1)-topos of Lie ∞-groupoids. This is a locally contractible (∞,1)-topos (as discussed there). Accordinly we have its path ∞-groupoid and infinitesimal path ∞-groupoid? .
The following discussion breaks this down and then describes the proof.
As a preparation, recall from the discussion at differential forms in synthetic differential geometry that if we pass from Diff to a smooth topos that models the axioms of synthetic differential geometry, then for sufficiently well-behaved objects there is the infinitesimal singular simplicial complex , the simplicial object that in degree is the space of infinitesimal -simplices in .
As discussed there, this is such that under the Dold-Kan correspondence the cosimplicial algebra maps to the de Rham complex (and under the monoidal Dold-Kan correspondence to the full de Rham dg-algebra):
It would be nice to have an analog of this statement for simplicial objects and the simplicial de Rham complex. I am thinking that the answer should be the following:
Let be a simplicial object that is degreewise of the sort such that the infinitesimal singular simplicial complex exists. Use that is canonically tensored over to find that simplicial objects in are canonically tensored over simplicial sets. Then consider the realization
the integrand is the tensor operatoin of simplicial objects by simplicial sets
the integral sign denotes the coend.
By the lemma expression in terms of simplicial realization at infinitesimal path ∞-groupoid? this is the same as .
The above proposition now reads in pedestrian terms:
We use the cosimplicial and the simplicial version of the Eilenberg-Zilber theorem together with the fact that for a bisimplicial set the diagonal is given by the realization (as discussed there) to compute
Here in the last step we used the following reasoning on the bisimplicial object . We know that
for fixed , the normalized Moore complex of the cosimplicial algebra is the de Rham complex of – this is the statement about combinatorial differential forms in synthetic differential geometry.
for fixed the Moore complex of the cosimplicial algebra is the complex of functions on simplices whose differential is the alternating sum of pullbacks along face maps – by the very definition of the Moore complex.
This means that the simplicial de Rham complex is (quasi-isomorphic to) the total complex of the bi-cosimplicial algebra
So it remains to show that this total complex is also (quasi-isomorphic to) the Moore complex of . For this use exercise 1.6 here which says (transported from Set to ) that this is the diagonal simplicial object of our bisimplicial object
This implies that the Moore complex of is the Moore complex of the diagonal of the bisimplicial algebra .
This way the desired statement recudes to the quasi-isomorphism
But this (even their chain-homotopy equivalence) is the content of the generalized Eilenberg-Zilber theorem.
Canonical references on simplicial de Rham cohomology are by Johan Louis Dupont. For instance
Johan Louis Dupont, Simplicial de Rham Cohomology and characteristic classes of flat bundles Topology 15 (1976)
chaper 3 in Curvature and Characteristic Classes
(I am still looking for the best survey reference…)
When restricted to low degree this is closely related to or synonymous to considerations of de Rham cohomology in the context of differentiable stacks.
(need to dig out references)
A de Rham theorem for simplicial manifolds was proven in the classical
In principle closely related is the discussion of a de Rham theorem for ∞-stacks as discussed in
though a simplicial de Rham complex is only somewhat implicit in that article.