**synthetic differential geometry
## Axiomatics ##
* smooth topos
* infinitesimal space
* amazing right adjoint
* Kock-Lawvere axiom
* integration axiom
* microlinear space
* synthetic differential supergeometry
* super smooth topos
* . infinitesimal cohesion
* de Rham space
* formally smooth morphism
, formally unramified morphism
formally étale morphism
* jet bundle
## Models ##
* Models for Smooth Infinitesimal Analysis
* Fermat theory
* smooth algebra
* smooth locus
* smooth manifold
, formal smooth manifold
, derived smooth manifold
* smooth space
, diffeological space
, Frölicher space
* smooth natural numbers
* Cahiers topos
* smooth ∞-groupoid
* synthetic differential ∞-groupoid
* tangent bundle
* vector field
, tangent Lie algebroid
, chain rule
* differential forms
* differential equation
, variational calculus
* Euler-Lagrange equation
, de Donder-Weyl formalism
, variational bicomplex
, phase space
* connection on a bundle
, connection on an ∞-bundle
* Riemannian manifold
, Killing vector field
* Hadamard lemma
* Borel's theorem
* Boman's theorem
* Whitney extension theorem
* Steenrod-Wockel approximation theorem
* Poincare lemma
* Stokes theorem
* de Rham theorem
* Chern-Weil theory
* Lie theory
, ∞-Lie theory
* Chern-Weil theory
, ∞-Chern-Weil theory
* gauge theory
* ∞-Chern-Simons theory
* Klein geometry
, Klein 2-geometry
, higher Klein geometry
* Euclidean geometry
, Cartan geometry
, higher Cartan geometry
* Riemannian geometry
We give a description of the Chevalley–Eilenberg algebra of the Lie algebra of a Lie group as the ∞-quantity of functions on the simplicial space of infinitesimal neighbourhoods of the identity in the sense of synthetic differential geometry in the simplicial smooth space that is the Lie ∞-groupoid incarnation of the delooping of the Lie group.
The derivation is analogous to and usefully compared with how the deRham algebra of differential forms on a manifold is the ∞-quantity of functions on the infinitesimal singular simplicial complex of , as described at differential forms in synthetic differential geometry.
We proceed entirely by using theorems and propositions from the book
in particular section 6.8 combined with section 4.3. We effectively show that these statements are precisely the ones needed to unwrap what the normalized Moore cochain complex of the cosimplicial algebra in the monoidal Dold–Kan correspondence is like.
Definitions and setup
Let be a Lie group (by which we mean a finite dimensional Lie group). Write for the simplicial smooth space which in degree is the cartesian product with the standard face and degeneray map (see the examples at nerve for details).
Let be some topos that models the axioms of synthetic differential geometry and which has a full and faithful embedding Diff .
Consider then as a simplicial object in . As usual, we shall call objects in spaces in the following.
Let be the space that is the first infinitesimal neighbourhood of the neutral element in . By definition this space is ismorphic to the infinitesimal space
for the dimension of . By the log-exp bijection in synthetic differential geometry? this space is canonically identified with the vector space underlying the Lie algebra of .
Moreover, by the Kock-Lawvere axiom morphisms are necessarily linear , hence under the – bijection are nothing but elements in the dual vector space .
Recall that the ordinary Chevalley–Eilenberg algebra of is the differential graded algebra whose underlying graded-commutative algebra is the Grassmann algebra .
So the subset of that vanishes at 0 is naturally isomorphic to the degree- part of the Chevalley–Eilenberg algebra.
Notice now that the multiplication on the group does not restrict to a multiplication on because the sum of two elements that each square to 0 is does in general not square to 0, – but only its cube does. Therefore the group multiplication induces a composition
Consider therefore the space of “infinitesimal -cells of whose composite is again an infinitesimal -cell”, i.e. the pullback
By item 3) of theorem (6.8.1) this pullback is precisely the space of elements such that not only and are infinitesimal neighbours of the neutral element , but also of each other.
By the Kock-Lawvere axiom (entirely analogous to the similar step in the derivation of simplicial differential forms in synthetic differential geometry) it should follow from this that maps that vanish on degenerate elements are in bijection with antisymmetric maps that are canonically identified with elements in (need to say this in more detail…)
Continuing in this manner (…details for higher degrees to be filled in…) we define the simplicial space
The normalized Moore cochain complex of the cosimplicial algebra
is in degree given by the kernel of the joint degeneracy maps. As in the discussion at differential forms in synthetic differential geometry this picks out the functions that vanish on degenerate simplices. So from the above we get
Recall that the differential of the Chevalley–Eilenberg algebra is on just the dual of the Lie bracket .
We need to check that this is reproduced by the differential of the Moore cochain complex, which is the alternating sum of the face maps . Let . Then we find for all that
Now we use the crucial formula (6.8.2) from Anders Kock’s book, which says that the group product on the infinitesimal elements is given by
where the last term is the group commutator
So this is the term that remains in the formula for :
On that we apply theorem 6.6.1 of Kock’s book, which says (in its third item) that under the – bijection by which we identified the infinitesimal neighbourhood (and functions on it) with the tangent space (and linear functions on it) the group commutator maps to the Lie algebra commutator. So indeed under the identification of with an element in we find
This is indeed the differential of the Chevalley–Eilenberg algebra.
(discussion needs to be completed: situation in higher degree and cup-product mapping to wedge product needs to be discussed…)