The notion of -Lie algebroid is a horizontal and vertical categorification of the notion of Lie algebra.
The Lie algebra of a Lie group is the infinitesimal neighbourhood of the neutral element in the Lie group . Equivalently, this is usefully thought of as the collection of morphisms of infinitesimal extension in the delooping Lie groupoid of : those infinitesimally close to the identity morphism on the single object.
For a general Lie groupoid , the collection of all morphisms infinitesimally close to any identity morphism forms the Lie algebroid of .
The notion of -Lie algebroid generalizes this from Lie theory to ∞-Lie theory where Lie groupoids are generalized to ∞-Lie groupoids.
An -Lie algebroid is an infinitesimal ∞-Lie groupoid: an -Lie groupoid all whose k-morphisms have infinitesimal extension.
The archetypical example of an -Lie algebroid is an infinitesimal path ∞-groupoid . For an ordinary manifold this is known as the tangent Lie algebroid of .
The fundamental definition of infinitesimal objects is at
Such objects exist in a context called a smooth topos
In sufficiently nice smooth toposes every object comes with its infinitesimal singular simplicial complex of infinitesimal simplices:
This simplicial object is usefully thought of as modelling the infinitesimal path -groupoid of :
And moreover, this may be thought of as the archetypical -Lie algebroid (namely the tangent Lie algebroid): an -Lie algebroid is an -Lie groupoid that is built from copies of s. See below.
In particular, the Chevalley-Eilenberg algebra of functions on any -Lie groupoid , happens to be garded commutative when is an -Lie algebroid:
Since moreover any graded-commutative dg-algebra is weakly equivalent to a semifree dg-algebra (a Sullivan algebra)
it follows that the Chevalley-Eilenberg algebra of any -Lie algebroid having a single 0-cell, is equivalent to (the formal dual of) an -algebra
Let be a smooth (∞,1)-topos presented by the local model structure on simplicial presheaves on a site .
Consider the operation
described at ∞-Lie differentiation and integration, that sends an ∞-Lie groupoid to its subobject of infinitesimal morphisms.
(-Lie algebroid)
We say that an ∞-Lie groupoid is an -Lie algebroid if the canonical morphism
is an isomorphism.
(graded commutativity of )
It follows – by the discussion at ∞-Lie differentiation and integration – that the Chevalley-Eilenberg algebra of an -Lie algebroid is graded commutative .
There is an intuitive way to see how the requirement that is (graded) commutative encodes that the cells of are infinitesimal: by the monoidal Dold-Kan correspondence the product on is the cup product on the cosimplicial algebra . The cup product multiplies two functions on simplices by evaluating them on different faces of a given simplex. If that simplex has a finite extension, then there is no way that the value of this evaluation will, in general, depend on the choice of faces just up to a sign. However, if the faces are infinitesimally small and infinitesimally close then we do know from the example of the infinitesimal path ∞-groupoid – discussed below – that exchanging the order of two faces on which two functions are evaluated will alter the result of taking their product only by a sign. This is essentially the Kock-Lawvere axiom for infinitesimal spaces at work.
Slogan. Graded commutativity of the cup product of functions on simplices encodes the infinitesimal extension of these simplices.
For an ordinary manifold the infinitesimal path ∞-groupoid is the tangent Lie algebroid of .
This means that the normalized Moore cochain complex of functions on is the deRham differential algebra of differential forms .
The proof is spelled out at ∞-quantity. For more background and literature see differential forms in synthetic differential geometry. It boils down to unwarpping the definition and noticing that it produces item-by-item the synthetic structure that Anders Kock has shown to yield the deRham complex.
For a Lie group, for its delooping regarded as an object of , let
be the sub--groupoid which in degree 1 is the first order infinitesimal neighbourhood of the neutral element .
Then the corresponding -quantity of functions is under the monoidal Dold-Kan correspondence the Chevalley-Eilenberg algebra of the Lie algebra :
The proof again turns out to involve unwrapping the definition of the left hand side and applying item by item various propositions and theorems by Anders Kock. Details are at Chevalley-Eilenberg algebra in synthetic differential geometry.
We have indeed
This is essentially the characterization of -valued differential forms by Anders Kock.
As an example of this consider additive group . The corresponding -Lie algebroid is the simplicial object
where
and where face maps are given by forgetting the first and last entry and by adding middle entries, while degeneracy maps are given by inserting 0s.
This is the object that corresponds to the odd line in supergeometry. Indeed, its Chevalley-Eilenberg algebra is the algebra of dual numbers but with the nilpotent generator in degree 1, not degree 0. This is a -grading refinement of the -graded object in supergeometry.
Concerning the terminology at Chevalley-Eilenberg algebra:
Jim Stasheff: This is a very unfortunate abuse of language since the classical Chevalley-Eilenberg algebra is by definition graded commutative. A more illuminating name is called for.
Urs Schreiber: I know what you mean. I was searching for a familiar term that, while necessarily imperfect, is as suggestive as possible. Do you have a suggestion for a better terminology?