∞-Lie theory (higher geometry)
An $\infty$-Lie algebroid is a smooth ∞-groupoid (or rather a synthetic-differential ∞-groupoid) all whose k-morphisms for all $k$ have infinitesimal extension (are infinitesimal neighbours of an identity $k$-morphism).
$\infty$-Lie algebroids are to ∞-Lie groupoids as Lie algebras are to Lie groups:
∞-Lie groupoid - $\infty$-Lie algebroid .
We discuss $\infty$-Lie algebroids in the cohesive (∞,1)-topos $\mathbf{H}_{th} :=$SynthDiff∞Grpd of synthetic differential ∞-groupoids. This is an infinitesimal cohesive neigbourhood of the cohesive $(\infty,1)$-topos $\mathbf{H} :=$ Smooth∞Grpd of smooth ∞-groupoids, which is exhibited by the infinitesimal path (∞,1)-geometric morphism
We consider presentations of the general abstract definition of $\infty$-Lie algebroids by constructing in the standard model structure-presentation of $SynthDiff\infty Grpd$ by simplicial presheaves on CartSp${}_{synthdiff}$ certain classes of simplicial presheaves in the image of semi-free differential graded algebras under the monoidal Dold-Kan correspondence. This amounts to identifying the traditional description of of Lie algebras, Lie algebroids and L-∞ algebras by their Chevalley-Eilenberg algebras as a convenient characterization of the corresponding cosimplicial algebras whose formal dual simplicial presheaves are manifest presentations of infinitesimal smooth ∞-groupoids.
Let
be the full subcategory on the opposite category of cochain dg-algebras over $\mathbb{R}$ on those dg-algebras that are
graded-commutative;
concentrated in non-negative degree (the differential being of degree +1 );
in degree 0 of the form $C^\infty(X)$ for $X \in$ SmoothMfd;
semifree: their underlying graded algebra is isomorphic to an exterior algebra on a $\mathbb{N}$-graded locally free projective $C^\infty(X)$-module
of finite rank;
We call this the category of $L_\infty$-algebroids.
More in detail, an object $\mathfrak{a} \in L_\infty Algd$ may be identified (non-canonically) with a pair $(CE(\mathfrak{a}), X)$, where
$X \in SmoothMfd$ is a smooth manifold – called the base space of the $L_\infty$-algebroid ;
$\mathfrak{a}$ is the module of smooth sections of an $\mathbb{N}$-graded vector bundle of degreewise finite rank;
$CE(\mathfrak{a}) = (\wedge^\bullet_{C^\infty(X)} \mathfrak{a}^*, d_{\mathfrak{a}})$ is a semifree dga on $\mathfrak{a}^*$ – a Chevalley-Eilenberg algebra – where
with the $k$th summand on the right being in degree $k$.
An $L_\infty$-algebroid with base space $X = *$ the point is an L-∞ algebra $\mathfrak{g}$, or rather is the delooping of an $L_\infty$-algebra. We write $b \mathfrak{g}$ for $L_\infty$-algebroids over the point. They form the full subcategory
We now construct an embedding of $L_\infty Algs$ into $SynthDiff\infty Grpd$.
The functor
of the Dold-Kan correspondence from non-negatively graded cochain complexes of vector spaces to cosimplicial vector spaces is a lax monoidal functor and hence induces (see monoidal Dold-Kan correspondence) a functor (which we shall denote by the same symbol)
from non-negatively graded cochain dg-algebras to cosimplicial algebras (over $\mathbb{R}$).
Write
for the restriction of the above $\Xi$ along the inclusion $L_\infty Algd \hookrightarrow dgAlg^{op}_{\mathbb{R}}$:
for $\mathfrak{a} \in L_\infty Algd$ the underlying cosimplicial vector space of $\Xi \mathfrak{a}$ is given by
and the product of the $\mathbb{R}$-algebra structure on the right is given on homogeneous elements $(\omega,x), (\lambda,y) \in CE(\mathfrak{a})_i \otimes \wedge^i \mathbb{R}^n$ in the tensor product by
(Notice that $\Xi \mathfrak{a}$ is indeed a commutative cosimplicial algebra, since $\omega$ and $x$ in $(\omega,x)$ are by definition in the same degree.)
To define the cosimplicial structure, let $\{e_j\}_{j = 0}^n$ be the canonical basis for $\mathbb{R}^n$ and consider also the basis $\{v_j\}_{j = 0}^n$ given by
Then for $\alpha : [k] \to [l]$ a morphism in the simplex category, set
and extend this skew-multilinearly to a map $\alpha : \wedge^\bullet \mathbb{R}^k \to \wedge^\bullet \mathbb{R}^l$. In terms of all this the action of $\alpha$ on homogeneous elements $(\omega,x)$ in the cosimplicial algebra is defined by
This is due to (CastiglioniCortinas, (1), (2), (20), (22)).
We shall refine the image of $\Xi$ to cosimplicial smooth algebras. Let $T :=$CartSp${}_{smooth}$ be the category of Cartesian spaces and smooth functions between them, regarded as a Lawvere theory. Write
for its category of algebras: these are the smooth algebras.
Notice that there is a canonical forgetful functor
to the category of comutative associative algebras over the real numbers.
There is a unique factorization of the functor $\Xi : L_\infty Algd \to (CAlg_{\mathbb{R}}^\Delta)^{op}$ from def. through the forgetful functor $(SmoothAlg_{\mathbb{R}}^\Delta)^{op} \to (CAlg_{\mathbb{R}}^\Delta)^{op}$ such that for any $\mathfrak{a}$ over base space $X$ the degree-0 algebra of smooth functions $C^\infty(X)$ lifts to its canonical structure as a smooth algebra
Observe that for each $n$ the algebra $(\Xi \mathfrak{a})_n$ is a finite nilpotent extension of $C^\infty(X)$. The claim then follows with using Hadamard's lemma to write every smooth function of sums as a finite Taylor expansion with a smooth rest term. See the examples at smooth algebra for more details on this kind of argument.
Write $i : L_\infty Algd \to SynthDiff\infty Grpd$ for the composite (∞,1)-functor
where the first morphism is the monoidal Dold-Kan correspondence as in prop. , the second is the external degreewise Yoneda embedding and $P Q$ is any fibrant-cofibrant resolution functor in the local model structure on simplicial presheaves. The last equivalence holds as discussed there and at models for ∞-stack (∞,1)-toposes.
We do not consider the standard model structure on dg-algebras and do not consider $L_\infty Algd$ itself as a model category and do not consider an (∞,1)-category spanned by it. Instead, the functor $i : L_\infty Algd \to SynthDiff\infty Grpd$ only serves to exhibit a class of objects in $SynthDiff\infty Grpd$, which below in the section Models for the abstract axioms we show are indeed $\infty$-Lie algebroids by the general abstract definition, . All the homotopy theory of objects in $L_\infty Algd$ is that of $SynthDiff\infty Grpd$ after this embedding.
We may abstractly formalize this in an (infinity,1)-topos $\mathbf{H}$ with differential cohesion as follows.
Recall that a groupoid object in an (infinity,1)-category is equivalently an 1-epimorphism $X \longrightarrow \mathcal{G}$, thought of as exhibiting an atlas $X$ for the groupoid $\mathcal{G}$.
Now an $\infty$-Lie algebroid is supposed to be an $\infty$-groupoid which is only infinitesimally extended over its base space $X$. Hence:
A groupoid object $p \colon X \longrightarrow \mathcal{G}$ is infinitesimal if under the reduction modality $\Re$ (equivalently under the infinitesimal shape modality $\Im$) the atlas becomes an equivalence: $\Re(p), \Im(p) \in Equiv$.
For example the tangent $\infty$-Lie algebroid $T X$ of any $X$ is the unit of the infinitesimal shape modality.
It follows that every such $\infty$-Lie algebroid $X \to \mathcal{G}$ canonically maps to the tangent $\infty$-Lie algebroid of $X$ – the anchor map. The naturality square of the unit $\eta^{\Im}_{p}$ exhibits the morphism:
The full subcategory category $L_\infty Alg \hookrightarrow L_\infty Algd$ from def. is equivalent to the traditional definition of the category of L-∞ algebras and “weak morphisms” / “sh-maps” between them.
The full subcategory $LieAlgd \hookrightarrow L_\infty Algd$ on the 1-truncated objects is equivalent to the traditional category of Lie algebroids (over smooth manifolds).
In particular the joint intersection $Lie Alg \hookrightarrow L_\infty Alg$ on the 1-truncated $L_\infty$-algebras is equivalent to the category of ordinary Lie algebras.
This is discussed in detail at L-∞ algebra and Lie algebroid.
Above we have given a general abstract definition, def. , of $\infty$-Lie algebroids, and then a concrete construction in terms of dg-algebras, def. . Here we discuss that this concrete construction is indeed a presentation for objects satisfying the abstract axioms.
As in the discussion at SynthDiff∞Grpd we now present this cohesive (∞,1)-topos by the hypercompletion of the model structure on simplicial presheaves $[FSmoothDiff^{op}, sSet]_{proj,loc}$ of formal smooth manifolds.
For $\mathfrak{a} \in L_\infty Algd$ and $i(\mathfrak{a}) \in [FSmoothMfd^{op}, sSet]_{proj,loc}$ its image in the standard presentation for SynthDiff∞Grpd, we have that
is a cofibrant resolution, where $\mathbf{\Delta} : \Delta \to sSet$ is the fat simplex.
We have
The fat simplex is cofibrant in $[\Delta, sSet_{Quillen}]_{proj}$.
The canonical morphism $\mathbf{\Delta} \to Delta$ is a weak equivalence between cofibrant objects in the Reedy model structure $[\Delta, sSet_{Quillen}]_{Reedy}$.
Because every representable $FSmoothMfd \hookrightarrow [FSmoothMfd^{op}, sSet]_{proj,loc}$ is cofibrant, the object $i(\mathfrak{a})_\bullet \in [\Delta^{op}, [FSmoothMfd^{op}, sSet]_{proj,loc} ]_{inj}$ is cofibrant.
Every simplicial presheaf is cofibrant regarded as an object Reedy model structure $[\Delta^{op}, [FSmoothMfd^{op}, sSet]_{inj}]_{Reedy}$.
Now the coend over the tensoring
is a Quillen bifunctor (as discussed there) for the projective and injective global model structure on functors on the simplex category and its opposite as indicated. This implies the cofibrancy.
It is also a Quillen bifunctor (as discussed there) for the Reedy model structures
Using the factorization lemma this implies the weak equivalence (this is the argument of the Bousfield-Kan map).
Let $\mathfrak{g}$ be an L-∞ algebra, regarded as an $L_\infty$-algebroid $b \mathfrak{g} \in L_\infty Algd$ over the point by the embedding of def. .
Then $i(b \mathfrak{g}) \in$ SynthDiff∞Grpd is an infinitesimal cohesive object, in that it is geometrically contractible
and has as underlying discrete ∞-groupoid the point
We present now SynthDiff∞Grpd by the model structure on simplicial presheaves $[CartSp_{synthdiff}^{op}, sSet]_{proj,loc}$. Since CartSp${}_{synthdiff}$ is an ∞-cohesive site we have by the discussion there that $\Pi$ is presented by the left derived functor $\mathbb{L} \lim\to$ of the degreewise colimit and $\Gamma$ is presented by the left derived functor of evaluation on the point.
because each $(b \mathfrak{g})_n \in InfPoint \hookrightarrow CartSp_{smooth}$ is an infinitesimally thickened point, hence representable and hence sent to the point by the colimit functor.
That this is equivalent to the point follows from the fact that $\emptyset \to \mathbf{\Delta}$ is an acylic cofibration in $[\Delta, sSet_{Quillen}]_{proj}$, and that
is a Quillen bifunctor, using that $* \in [\Delta^{op}, sSet_{Quillen}]_{inj}$ is cofibrant.
Similarily, we have degreewise that
by the fact that an infinitesimally thickened point has a single global point. Therefore the claim for $\Gamma$ follows analogously.
Let $(\mathfrak{a} \to T X) \in L_\infty Algd \hookrightarrow [CartSp_{synthdiff}, sSet]$ be an $L_\infty$-algebroid, def. , over a smooth manifold $X$, regarded as a simplicial presheaf and hence as a presentation for an object in $SynthDiff \infty Grpd$ according to def. .
We have an equivalence
Let first $X = U \in CartSp_{synthdiff}$ be a representable. Then according to prop. we have that
is cofibrant in $[CartSp_{synthdiff}^{op}, sSet]_{proj}$ . Therefore by this proposition on the presentation of infinitesimal neighbourhoods by simplicial presheaves over infinitesimal neighbourhood sites we compute the derived functor
with the notation as used there.
In view of def. we have for all $k \in \mathbb{N}$ that $\mathfrak{a}_k = X \times D$ where $D$ is an infinitesimally thickened point. Therefore $((-) \circ i p ) \mathfrak{a}_k = ((-) \circ i p ) X$ for all $k$ and hence $((-) \circ i p ) \hat \mathfrak{a} \simeq \mathbf{\Pi}_{inf}(X)$.
For general $X$ choose first a cofibrant resolution by a split hypercover that is degreewise a coproduct of representables (which always exists, by the discussion at model structure on simplicial presheaves), then pull back the above discussion to these covers.
Every $L_\infty$-algebroid in the sense of def. under the embedding of def. is indeed a formal cohesive ∞-groupoid in the sense of def. .
We discuss the relation between the intrinsic cohomology of $L_\infty$-algebroids when regarded as objects of $SynthDiff\infty Grpd$, and the ordinary cohomology of their Chevalley-Eilenberg algebras. For more on this see ∞-Lie algebroid cohomology.
Let $\mathfrak{a} \in L_\infty Algd$ be an $L_\infty$-algebroid. Then its intrinsic real cohomoloogy in SynthDiff∞Grpd
coincides with its ordinary L-∞ algebra cohomology: the cochain cohomology of its Chevalley-Eilenberg algebra
By this discussion at SynthDiff∞Grpd we have that
Observe that $\mathcal{O}(\mathfrak{a})_\bullet$ is cofibrant in the Reedy model structure $[\Delta^{op}, (SmoothAlg^{\Delta_{proj}})^{op}]_{Reedy}$ relative to the opposite of the projective model structure on cosimplicial algebras: the map from the latching object in degree $n$ in $SmoothAlg^\Delta)^{op}$ is dually in $SmoothAlg \hookrightarrow SmoothAlg^\Delta$ the projection
hence is a surjection, hence a fibration in $SmoothAlg^\Delta_{proj}$ and therefore indeed a cofibration in $(SmoothAlg^\Delta_{proj})^{op}$.
Therefore using the Quillen bifunctor property of the coend over the tensoring in reverse to lemma the above is equivalent to
with the fat simplex replaced again by the ordinary simplex. But in brackets this is now by definition the image under the monoidal Dold-Kan correspondence of the Chevalley-Eilenberg algebra
By the Dold-Kan correspondence we have hence
a $\infty$-Lie algebroid over the point, $\mathfrak{a} = *$ is an L-∞-algebra;
an $n$-truncated $\infty$-Lie algebroid is a Lie $n$-algebroid;
an $\infty$-Lie algebroid the differential of whose Chevalley-Eilenberg algebra is “co-binary”, i.e. $d : \mathfrak{a}^* \to a^* \oplus a^* \wedge g^*$, is strict.
So in particular
a 1-Lie algebroid is a Lie algebroid;
a 1-Lie algebroid over the point is a Lie algebra;
a Lie $n$-algebroid over a point is a Lie n-algebra.
a BRST-complex is the Chevalley-Eilenberg algebra of an action-$\infty$-Lie algebroid of the action of an $L_\infty$-algebra, see Lie ∞-algebroid representation;
more generally, the complexes appearing in BV-BRST formalism are derived $\infty$-Lie algebroids, whose Chevalley-Eilenberg algebra may have generators in negative degree.
a symplectic Lie n-algebroid is a Lie $n$-algebroid equipped with a non-degrenerate bilinear invariant polynomial of degree $n+2$. For low $n$ this is
$n = 0$: a symplectic manifold;
$n = 1$: a Poisson Lie algebroid;
$n = 2$: a Courant algebroid
We discuss the traditional notion of Lie algebroids in view of their role as presentations for infinitesimal synthetic differential 1-groupoids.
In this section we characterize ordinary Lie algebroids $E \to T X$ as precisely those synthetic differential $\infty$-groupoids that under the above presentation are locally on any chart $U \to X$ of their base space given by simplicial smooth loci of the form
where $\tilde D(k,n)$ is the smooth locus of infinitesimal k-simplices based at the origin in $\mathbb{R}^n$. (These smooth loci have been considered in (Kock, section 1.2)).
The following definition may be either taken as an informal but instructive definition – in which case the next definition is to be taken as the precise one – or in fact it may be already itself be taken as the fully formal and precise definition if one reads it in the internal logic of any smooth topos with line object $R$ – which for the present purpose is the Cahiers topos with line object $\mathbb{R}$. (For an exposition of the latter perspective see (Kock)).
For $k,n \in \mathbb{N}$, an infinitesimal $k$-simplex in $R^n$ based at the origin is a collection $(\vec \epsilon_a \in R^n)_{a = 1}^k$ of points in $R^n$, such that each is an infinitesimal neighbour of the origin
and such that all are infinitesimal neighbours of each other
Write $\tilde D(k,n) \subset R^{k \cdot n}$ for the space of all such infinitesimal $k$-simplices in $R^n$.
Equivalently:
For $k,n \in \mathbb{N}$, the smooth algebra
is the unique lift through the forgetful functor $U : SmoothAlg \to CAlg_{\mathbb{R}}$ of the commutative $\mathbb{R}$-algebra generated from $k \times n$ many generators
subject to the relations
and
In the above form these relations are the manifest analogs of the conditions $\vec \epsilon_a \sim 0$ and $(\vec \epsilon_a - \vec \epsilon_{a'}) \sim 0$. But by multiplying out the latter set of relations and using the former, we find that jointly they are equivalent to the single set of relations
In this expression the roles of the two sets of indices is manifestly symmetric. Hence another equivalent way to state the relations is to say
and
This appears as (Kock, (1.2.1)).
Since $C^\infty(\tilde D(k,n))$ is a Weil algebra in the sense of synthetic differential geometry, its structure as an $\mathbb{R}$-algebra extends uniquely to the structure of a smooth algebra (as discussed there) and we may think of $\tilde D(k,n)$ as an infinitesimal smooth locus.
For $n = 2$ and $k = 2$ we have that $C^\infty(\tilde D(2,2))$ consists of elements of the form
for $f \in \mathbb{R}$ and $(a, b, \omega, \lambda \in (\mathbb{R}^n)^*)$ a collection of ordinary covectors and with “$\cdot$” denoting the evident contraction, and where in the last step we used the above relations.
It is noteworthy here that the coefficient of the term which is multilinear in each of the $\epsilon_i$ is the wedge product of two covectors $\omega$ and $\lambda$: we may naturally identify the subspace of $C^\infty(\tilde D(2,2))$ on those elements that vanish if either $\epsilon_1$ or $\epsilon_2$ are set to 0 as the space $\wedge^2 T_0^* \mathbb{R}^2$ of 2-forms at the origin of $\mathbb{R}^2$.
Of course for this identification to be more than a coincidence we need that this is the beginning of a pattern that holds more generally. But this is indeed the case.
Let $E$ be the set of square submatrices of the $k \times n$-matrix $(\epsilon_i^j)$. As a set this is isomorphic to the set of pairs of subsets of the same size of $\{1, \cdots, k\}$ and $\{1, \cdots , n\}$, respectively. For instance the square submatrix labeled by $\{2,3,4\}$ and $\{1,4,5\}$ is
For $e \in E$ an $r\times r$ submatrix, we write
for the corresponding determinant, given as a product of generators in $C^\infty(\tilde D(k,n))$. Here the sum runs over all permutations $\sigma$ of $\{1, \cdots, r\}$ and $sgn(\sigma) \in \{+1, -1\} \subset \mathbb{R}$ is the signature of the permutation $\sigma$.
The elements $f \in C^\infty(\tilde D(k,n))$ are precisely of the form
for unique $\{f_e \in \mathbb{R} | e \in E\}$. In other words, the map of vector spaces
given by
is an isomorphism.
This is a direct extension of the argument in the above example: a general product of $r$ generators in $C^\infty(\tilde D(k,n))$ is
By the relations in $C^\infty(\tilde D(k,n))$, this is non-vanishing precisely if none of the $i$-indices repeats and none of the $j$-indices repeats. Furthermore by the relations, for any permutation $\sigma$ of $r$ elements, this is equal to
It follows that each such element may be written as
where $e$ is the $r \times r$ sub-determinant given by the subset $\{i_1, \cdots, i_r\}$ and $(\{j_1, \cdots, j_r\})$ as discussed above.
In (Kock, section 1.3) effectively this proposition appears as the “Kock-Lawvere axiom scheme for $\tilde D(k,n)$” when $\tilde D(k,n)$ is regarded as an object of a suitable smooth topos.
For any $k,n \in \mathbb{N}$ we have a natural isomorphism of real commutative and hence of smooth algebras
where on the right we have the algebras that appear degreewise in def. , where the product is given on homogeneous elements by
Let $\{t_a\}$ be the canonical basis for $\mathbb{R}^k$ and $\{e^i\}$ the canonical basis for $\mathbb{R}^n$. We claim that an isomorphism is given by the assignment
To see that this defines indeed an algebra homomorphism we need to check that it respects the relations on the generators. For this compute:
The inverse clearly exists, given on generators by
For $\mathfrak{a} \in L_\infty Alg$ a 1-truncated object, hence an ordinary Lie algebroid of rank $k$ over a base manifold $X$, its image under the map $i : L_\infty Alg \to (SmoothAlg^\Delta)^{op}$, def. , is such that its restriction to any chart $U \to X$ is, up to isomorphism, of the form
Apply prop. in def. , using that by definition $CE(\mathfrak{a})$ is given by the exterior algebra on locally free $C^\infty(X)$ modules, so that
For $X$ any smooth manifold, there is a standard notion of the Lie algebroid which is the tangent Lie algebroid
of $X$. We discuss this from the perspective of infinitesimal groupoids.
For $U \in CartSp_{synthdiff}$, the infinitesimal singular simplicial complex $X^{(\Delta^\bullet_{inf})}$ is the simplicial smooth locus which in terms in degree $n$ is the space of $(k+1)$-tuples of pairwise infinitesimal neighbour points in $U$
and whose face and degeneracy maps are as for the finite singular simplicial complex.
More explicitly, in terms of the spaces from def. we may identify
where in degree $n$ a generalized element $(x, (\vec \epsilon_a)_{a = 1, \cdots, dim U})$ of $U \times \tilde D(dim U, n)$ is thought of as a base point $x$ and $dim U$ infinitesimal paths starting at that basepoint
The dual cosimplicial algebra is read off from this,
For instance for $f \in C^\infty(U)$ we have $d_1^* f = f$ and $(d_2^* f)(x,\epsilon_1) = f(x + \epsilon_1) = f(x) + \frac{\partial f}{\partial x^i} \epsilon^i_1$.
The object $X^{(\Delta^\bullet_{inf})}$ is not objectwise a Kan complex: in general the composite of two first order neighbours produces a second order infinitesimal neighbour. Its Kan fibrant replacement may be thought of as the infinitesikmal $\infty$-groupoid whose morphisms are paths of a finite number of first order infinitesimal steps.
The image of $T X$ under the embedding $i$ from def. is the simplicial smooth locus given by the infinitesimal singular simplicial complex
of $X$.
Moreover, the intrinsic real cohomology of $i(T X) \in$ SynthDiff∞Grpd is the de Rham cohomology of $X$
The first statement may be checked locally on any chart $U \to X$ where it follows from prop. . Since the Chevalley-Eilenberg algebra of the tangent Lie algebroid is the de Rham complex
Let $G$ be a Lie group with Lie algebra $\mathfrak{g}$. We describe how $\mathfrak{g}$ looks when regarded as a special case of an $\infty$-Lie algebroid.
Write
for the delooping groupoid of $G$, regarded as an an ∞-Lie groupoid modeled by a simplicial smooth space.
We claim that a morphism
from the tangent Lie algebroid of some $U \in$ CartSp is flat Lie-algebra valued form and how that can be used to find the Lie algebra $\mathfrak{g}$ as the infinitesimal sub-$\infty$-groupoid
inside $\mathbf{B}G$.
Since $\mathbf{B}G$ is 2-coskeletal (being the nerve of a groupoid) a morphism $T U \to \mathbf{B}G$ is fixed already under its 2-truncation
It is clear that $\omega_1$ factors through the inclusion $\tilde D(1,dim(G)) \hookrightarrow G$ that sends the unique point of $\tilde D(1, dim(G))$ to the neutral element (by respect for the degeneracy maps). Then from that one finds that $\omega_2$ factors through the inclusion $\tilde D(2, dim(G)) \hookrightarrow G \times G$ that sends the unique point of $\tilde D(2,dim(G))$ to $(e,e) \in G \times G$. And evidently these two factorizations are universal, in that every other factorization will uniquely factor through these
The universal object found this way we claim is the Lie algebra $\mathfrak{g}$ in its incarnation as an infinitesimal $\infty$-Lie groupoid
The normalized cochain complex of the cosimplicial alghebra of functions on this $b \mathfrak{g}$ is isomorphic to the ordinary Chevalley-Eilenberg algebra $(\wedge^\bullet \mathfrak{g}^*, [-,-]^*)$ of $\mathfrak{g}$.
By the above discussion we have that for $C^\infty(\tilde D(k,dim(G)))_{top} \subset C^\infty(\tilde D(k,n))$ the subspace of those functions that are in the joint kernel of the co-degeneracy maps is naturally isomorpic to $\wedge^k (\mathbb{R}^{dim(G)})^*$, so that we have a natural isomorphism of vector spaces
By the fact that everything is 2-coskeletal it suffices to check that the differential in first degree
is indeed the dual of the Lie bracket. But the product $\cdot_G : G \times G \to G$ restricted along $\tilde D(2,dim(G)) \hookrightarrow G \times G$ to the infinitesimal space $\tilde D(2, dim(G))$ linearizes in each of its arguments: for $(\vec x,\vec y) \in \tilde D(2,dim(G))$ we have
Since the origin here corresponds to the neutral element of $G$ and since with one of its arguments the neutral element the operaton $\cdot_G$ is the identity, and since the double derivative produces the Lie bracket (keeping in mind that $x^i y^j + x^j y^i = 0$ in $\tilde D(2,dim(G))$), this is
Accordingly the alternating sum of co-face maps is
as it should be for the Chevalley-Eilenberg algebra of a Lie algebra.
The infinitesimal reasoning involved in this proof is discussed in (Kock, section 6.8).
The term “Lie $\infty$-algebroid” or “$L_\infty$-algebroid” as such is not as yet established in the literature, as most authors working with these objects think of them entirely in terms of dg-algebras or NQ-supermanifolds and either ignore the relation to Lie theory or take it more or less for granted.
Possibly the first explicit appearance of the idea of $\infty$-Lie algebroids recognized in their full Lie theoretic meaning is
which uses “NQ-supermanifolds”. Of course, as this article also points out, in hindsight one finds that much of this is already implicit in the much older theory of Sullivan models in rational homotopy theory, which is concerned with modelling topological spaces by dg-algebras. That these spaces can be regarded as ∞-groupoids and as ∞-Lie groupoids in particular is clear in hindsight, but was possibly first explicitly realized in the above reference. See also Lie integration, rational homotopy theory in an (∞,1)-topos and function algebras on ∞-stacks.
The explicit term $\infty$-Lie algebroid / $L_\infty$-algebroid as such appears in
The term also appears in
The dual monoidal Dold-Kan correspondence is discussed in
The smooth spaces of infinitesimal simplices $\tilde D(k,n)$ are considered in section 1.2 of
Last revised on September 18, 2019 at 14:47:57. See the history of this page for a list of all contributions to it.