nLab
Lie infinity-algebroid

Idea

An $\mathrm{\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).

$\mathrm{\infty }$-Lie algebroids are to ∞-Lie groupoids as Lie algebras are to Lie groups:

• Lie group - Lie algebra

• Lie groupoid - Lie algebroid

• ∞-Lie group - ∞-Lie algebra

• ∞-Lie groupoid - $\mathrm{\infty }$-Lie algebroid .

Definition

We discuss $\mathrm{\infty }$-Lie algebroids in the cohesive (∞,1)-topos $H_{\mathrm{th}}:=$SynthDiff∞Grpd of synthetic differential ∞-groupoids. This is an infinitesimal cohesive neigbourhood of the cohesive $(\mathrm{\infty },1)$-topos $H:=$ Smooth∞Grpd of smooth ∞-groupoids, which is exhibited by the infinitesimal path (∞,1)-geometric morphism

$$({\Pi }_{\inf }⊣{\mathrm{Disc}}_{\inf }⊣{\Gamma }_{\inf }):\mathrm{SynthDiff}\mathrm{\infty }\mathrm{Grpd}\to \mathrm{Smooth}\mathrm{\infty }\mathrm{Grpd}.$$(\Pi_{inf} \dashv Disc_{inf} \dashv \Gamma_{inf}) : SynthDiff\infty Grpd \to Smooth\infty Grpd \,.

General abstract definition

There is a general abstract definition of formal cohesive ∞-groupoids in infinitesimal cohesive neighbourhood contexts such as ${\Pi }_{\inf }:$ SynthDiff∞Grpd $\to$ Smooth∞Grpd:

Definition

An object $(𝔞\to {\Pi }_{\inf }(X))\in \mathrm{SynthDiff}\mathrm{\infty }\mathrm{Grpd}$ over the infinitesimal fundamental ∞-groupoid is a formal synthetic-differential $\mathrm{\infty }$-groupoid over $X$ if ${\Pi }_{\inf }𝔞\simeq {\Pi }_{\inf }X$.

An ∞-group object $𝔤\in \mathrm{SynthDiff}\mathrm{\infty }\mathrm{Grpd}$ such that its delooping $B𝔤$ is a formal ∞-groupoid we call a formal ∞-group .

An $\mathrm{\infty }$-Lie algebroid is supposed to be a formal cohesive ∞-groupoid whose infinitesimal extension is of first order. We now give an explicit presentation of such objects and then show that they do satisfy the abstract def. 1.

Presentation by dg-algebras and simplicial presheaves

We consider presentations of the general abstract definition 1 of $\mathrm{\infty }$-Lie algebroids by constructing in the standard model structure-presentation of $\mathrm{SynthDiff}\mathrm{\infty }\mathrm{Grpd}$ by simplicial presheaves on CartSp${}_{\mathrm{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.

Definition

Let

$$L_{\mathrm{\infty }}\mathrm{Algd}\hookrightarrow {\mathrm{dgCAlg}}_{ℝ}^{\mathrm{op}}$$L_\infty Algd \hookrightarrow dgCAlg_{\mathbb{R}}^{op}

be the full subcategory on the opposite category of cochain dg-algebras over $ℝ$ 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^{\mathrm{\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^{\mathrm{\infty }}(X)$-module

• of finite rank;

We call this the category of $L_{\mathrm{\infty }}$-algebroids.

More in detail, an object $𝔞\in L_{\mathrm{\infty }}\mathrm{Algd}$ may be identified (non-canonically) with a pair $(\mathrm{CE}(𝔞),X)$, where

• $X\in \mathrm{SmoothMfd}$ is a smooth manifold – called the base space of the $L_{\mathrm{\infty }}$-algebroid ;

• $𝔞$ is the module of smooth sections of an $\mathbb{N}$-graded vector bundle of degreewise finite rank;

• $\mathrm{CE}(𝔞)=({\wedge }_{C^{\mathrm{\infty }}(X)}^{•}{𝔞}^{*},d_{𝔞})$ is a semifree dga on ${𝔞}^{*}$ – a Chevalley-Eilenberg algebra – where

  $${\wedge }_{C^{\mathrm{\infty }}(X)}^{•}{𝔞}^{*}=C^{\mathrm{\infty }}(X)\oplus {𝔞}_0^{*}\oplus ({𝔞}_0^{*}{\wedge }_{C^{\mathrm{\infty }}(X)}{𝔞}_0^{*}\oplus {𝔞}_1^{*})\oplus \cdots$$\wedge^\bullet_{C^\infty(X)}\mathfrak{a}^* = C^\infty(X) \; \oplus \; \mathfrak{a}^*_0 \; \oplus \; ( \mathfrak{a}^*_0 \wedge_{C^\infty(X)} \mathfrak{a}^*_0 \oplus \mathfrak{a}^*_1 ) \; \oplus \; \cdots

  with the $k$th summand on the right being in degree $k$.

Definition

An $L_{\mathrm{\infty }}$-algebroid with base space $X=*$ the point is an L-∞ algebra $𝔤$, or rather is the delooping of an $L_{\mathrm{\infty }}$-algebra. We write $b𝔤$ for $L_{\mathrm{\infty }}$-algebroids over the point. They form the full subcategory

$$L_{\mathrm{\infty }}\mathrm{Alg}\hookrightarrow L_{\mathrm{\infty }}\mathrm{Algd}.$$L_\infty Alg \hookrightarrow L_\infty Algd \,.

We now construct an embedding of $L_{\mathrm{\infty }}\mathrm{Algs}$ into $\mathrm{SynthDiff}\mathrm{\infty }\mathrm{Grpd}$.

The functor

$$\Xi :{\mathrm{Ch}}_{+}^{•}(ℝ)\to {\mathrm{Vect}}_{ℝ}^{\Delta }$$\Xi : Ch^\bullet_+(\mathbb{R}) \to Vect_{\mathbb{R}}^{\Delta}

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)

$$\Xi :{\mathrm{dgAlg}}_{ℝ}^{+}\to {\mathrm{Alg}}_{ℝ}^{\Delta }$$\Xi : dgAlg_{\mathbb{R}}^+ \to Alg_{\mathbb{R}}^{\Delta}

from non-negatively graded cochain dg-algebras to cosimplicial algebras (over $mathbR$).

Definition

Write

$$\Xi :L_{\mathrm{\infty }}\mathrm{Algd}\to ({\mathrm{CAlg}}_{ℝ}^{\Delta }{)}^{\mathrm{op}}$$\Xi : L_\infty Algd \to (CAlg_{\mathbb{R}}^\Delta)^{op}

for the restriction of the above $\Xi$ along the inclusion $L_{\mathrm{\infty }}\mathrm{Algd}\hookrightarrow {\mathrm{dgAlg}}_{ℝ}^{\mathrm{op}}$:

for $𝔞\in L_{\mathrm{\infty }}\mathrm{Algd}$ the underlying cosimplicial vector space of $\Xi 𝔞$ is given by

$$\Xi 𝔞:[n]\mapsto \underset{i=0}{\overset{n}{⨁}}\mathrm{CE}(𝔞{)}_i\otimes {\wedge }^i{ℝ}^n$$\Xi \mathfrak{a} : [n] \mapsto \bigoplus_{i = 0}^{n} CE(\mathfrak{a})_i \otimes \wedge^i \mathbb{R}^n

and the product of the $ℝ$-algebra structure on the right is given on homogeneous elements $(\omega ,x),(\lambda ,y)\in \mathrm{CE}(𝔞{)}_i\otimes {\wedge }^i{ℝ}^n$ in the tensor product by

$$(\omega ,x)\cdot (\lambda ,y)=(\omega \wedge \lambda ,x\wedge y).$$(\omega , x)\cdot (\lambda ,y) = (\omega \wedge \lambda , x \wedge y) \,.

(Notice that $\Xi 𝔞$ 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 ${ℝ}^n$ and consider also the basis $\{v_j{\}}_{j=0}^n$ given by

$$v_j:=e_j-e_0.$$v_{j} := e_j - e_{0} \,.

Then for $\alpha :[k]\to [l]$ a morphism in the simplex category, set

$$\alpha v_j:=v_{\alpha (j)}-v_{\alpha (0)}$$\alpha v_j := v_{\alpha(j)} - v_{\alpha(0)}

and extend this skew-multilinearly to a map $\alpha :{\wedge }^{•}{ℝ}^k\to {\wedge }^{•}{ℝ}^l$. In terms of all this the action of $\alpha$ on homogeneous elements $(\omega ,x)$ in the cosimplicial algebra is defined by

$$\alpha :(\omega ,x)\mapsto (\omega ,\alpha x)+(d_{𝔞}\omega ,v_{\alpha (0)}\wedge \alpha (x))$$\alpha : (\omega, x) \mapsto (\omega, \alpha x) + (d_\mathfrak{a} \omega , v_{\alpha(0)}\wedge \alpha(x))

This is due to (CastiglioniCortinas, (1), (2), (20), (22)).

We shall refine the image of $\Xi$ to cosimplicial smooth algebras. Let $T:=$CartSp${}_{\mathrm{smooth}}$ be the category of Cartesian spaces and smooth functions between them, regarded as a Lawvere theory. Write

$$\mathrm{SmoothAlg}:=T\mathrm{Alg}$$SmoothAlg := T Alg

for its category of algebras: these are the smooth algebras.

Notice that there is a canonical forgetful functor

$$U:\mathrm{SmoothAlg}\to {\mathrm{CAlg}}_{ℝ}$$U : SmoothAlg \to CAlg_{\mathbb{R}}

to the category of comutative associative algebras over the real numbers.

Proposition

There is a unique factorization of the functor $\Xi :L_{\mathrm{\infty }}\mathrm{Algd}\to ({\mathrm{CAlg}}_{ℝ}^{\Delta }{)}^{\mathrm{op}}$ from def. 4 through the forgetful functor $({\mathrm{SmoothAlg}}_{ℝ}^{\Delta }{)}^{\mathrm{op}}\to ({\mathrm{CAlg}}_{ℝ}^{\Delta }{)}^{\mathrm{op}}$ such that for any $𝔞$ over base space $X$ the degree-0 algebra of smooth functions $C^{\mathrm{\infty }}(X)$ lifts to its canonical structure as a smooth algebra

$$\begin{array}{ccc}& & ({\mathrm{SmoothAlg}}^{\Delta }{)}^{\mathrm{op}}\\ & \nearrow & {\downarrow }^U\\ L_{\mathrm{\infty }}\mathrm{Algd}& \to & ({\mathrm{CAlg}}_{ℝ}^{\Delta }{)}^{\mathrm{op}}\end{array}.$$\array{ && (SmoothAlg^{\Delta})^{op} \\ & \nearrow & \downarrow^{\mathrlap{U}} \\ L_\infty Algd &\to& (CAlg_{\mathbb{R}}^\Delta)^{op} } \,.

Proof

Observe that for each $n$ the algebra $(\Xi 𝔞{)}_n$ is a finite nilpotent extension of $C^{\mathrm{\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.

Definition

Write $i:L_{\mathrm{\infty }}\mathrm{Algd}\to \mathrm{SynthDiff}\mathrm{\infty }\mathrm{Grpd}$ for the composite (∞,1)-functor

$$L_{\mathrm{\infty }}\mathrm{Algd}\stackrel{\Xi }{\to }({\mathrm{SmoothAlg}}^{\Delta }{)}^{\mathrm{op}}\stackrel{j}{\to }[{\mathrm{CartSp}}_{\mathrm{synthdiff}}^{\mathrm{op}},\mathrm{sSet}]\stackrel{PQ}{\to }([{\mathrm{CartSp}}_{\mathrm{synthdiff}}^{\mathrm{op}},\mathrm{sSet}{]}_{\mathrm{loc}}{)}^{\circ }\simeq \mathrm{SynthDiff}\mathrm{\infty }\mathrm{Grpd},$$L_\infty Algd \stackrel{\Xi}{\to} (SmoothAlg^{\Delta})^{op} \stackrel{j}{\to} [CartSp_{synthdiff}^{op}, sSet] \stackrel{P Q}{\to} ([CartSp_{synthdiff}^{op}, sSet]_{loc})^\circ \simeq SynthDiff\infty Grpd \,,

where the first morphism is the monoidal Dold-Kan correspondence as in prop. 1, the second is the external degreewise Yoneda embedding and $PQ$ 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.

Remark

We do not consider the standard model structure on dg-algebras and do not consider $L_{\mathrm{\infty }}\mathrm{Algd}$ itself as a model category and do not consider an (∞,1)-category spanned by it. Instead, the functor $i:L_{\mathrm{\infty }}\mathrm{Algd}\to \mathrm{SynthDiff}\mathrm{\infty }\mathrm{Grpd}$ only serves to exhibit a class of objects in $\mathrm{SynthDiff}\mathrm{\infty }\mathrm{Grpd}$, which below in the section Models for the abstract axioms we show are indeed $\mathrm{\infty }$-Lie algebroids by the general abstract definition, 1. All the homotopy theory of objects in $L_{\mathrm{\infty }}\mathrm{Algd}$ is that of $\mathrm{SynthDiff}\mathrm{\infty }\mathrm{Grpd}$ after this embedding.

Properties

General

Proposition

The full subcategory category $L_{\mathrm{\infty }}\mathrm{Alg}\hookrightarrow L_{\mathrm{\infty }}\mathrm{Algd}$ from def. 3 is equivalent to the traditional definition of the category of L-∞ algebras and “weak morphisms” / “sh-maps” between them.

The full subcategory $\mathrm{LieAlgd}\hookrightarrow L_{\mathrm{\infty }}\mathrm{Algd}$ on the 1-truncated objects is equivalent to the traditional category of Lie algebroids (over smooth manifolds).

In particular the joint intersection $\mathrm{Lie}\mathrm{Alg}\hookrightarrow L_{\mathrm{\infty }}\mathrm{Alg}$ on the 1-truncated $L_{\mathrm{\infty }}$-algebras is equivalent to the category of ordinary Lie algebras.

This is discussed in detail at L-∞ algebra and Lie algebroid.

Models for the abstract axioms

Above we have given a general abstract definition, def. 1, of $\mathrm{\infty }$-Lie algebroids, and then a concrete construction in terms of dg-algebras, def. 4. 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 $[{\mathrm{FSmoothDiff}}^{\mathrm{op}},\mathrm{sSet}{]}_{\mathrm{proj},\mathrm{loc}}$ of formal smooth manifolds.

Lemma

For $𝔞\in L_{\mathrm{\infty }}\mathrm{Algd}$ and $i(𝔞)\in [{\mathrm{FSmoothMfd}}^{\mathrm{op}},\mathrm{sSet}{]}_{\mathrm{proj},\mathrm{loc}}$ its image in the standard presentation for SynthDiff∞Grpd, we have that

$$({\int }^{[k]\in \Delta }\Delta [k]\cdot i(𝔞{)}_k)\stackrel{\simeq }{\to }i(𝔞)$$\left( \int^{[k]\in \Delta} \mathbf{\Delta}[k] \cdot i(\mathfrak{a})_k \right) \stackrel{\simeq}{\to} i(\mathfrak{a})

is a cofibrant resolution, where $\Delta :\Delta \to \mathrm{sSet}$ is the fat simplex.

Proof

We have

1. The fat simplex is cofibrant in $[\Delta ,{\mathrm{sSet}}_{\mathrm{Quillen}}{]}_{\mathrm{proj}}$.

2. The canonical morphism $\Delta \to \mathrm{Delta}$ is a weak equivalence between cofibrant objects in the Reedy model structure $[\Delta ,{\mathrm{sSet}}_{\mathrm{Quillen}}{]}_{\mathrm{Reedy}}$.

3. Because every representable $\mathrm{FSmoothMfd}\hookrightarrow [{\mathrm{FSmoothMfd}}^{\mathrm{op}},\mathrm{sSet}{]}_{\mathrm{proj},\mathrm{loc}}$ is cofibrant, the object $i(𝔞{)}_{•}\in [{\Delta }^{\mathrm{op}},[{\mathrm{FSmoothMfd}}^{\mathrm{op}},\mathrm{sSet}{]}_{\mathrm{proj},\mathrm{loc}}{]}_{\mathrm{inj}}$ is cofibrant.

4. Every simplicial presheaf is cofibrant regarded as an object Reedy model structure $[{\Delta }^{\mathrm{op}},[{\mathrm{FSmoothMfd}}^{\mathrm{op}},\mathrm{sSet}{]}_{\mathrm{inj}}{]}_{\mathrm{Reedy}}$.

Now the coend over the tensoring

$${\int }^{[k]\in \Delta }(-)\cdot (-):[\Delta ,{\mathrm{sSet}}_{\mathrm{Quillen}}{]}_{\mathrm{proj}}\times [{\Delta }^{\mathrm{op}},[{\mathrm{FSmoothMfd}}^{\mathrm{op}},\mathrm{sSet}{]}_{\mathrm{proj},\mathrm{loc}}{]}_{\mathrm{inj}}\to [{\mathrm{FSmoothMfd}}^{\mathrm{op}},\mathrm{sSet}{]}_{\mathrm{proj},\mathrm{loc}}$$\int^{[k] \in \Delta} (-)\cdot (-) : [\Delta, sSet_{Quillen}]_{proj} \times [\Delta^{op}, [FSmoothMfd^{op}, sSet]_{proj,loc} ]_{inj} \to [FSmoothMfd^{op}, sSet]_{proj,loc}

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

$${\int }^{[k]\in \Delta }(-)\cdot (-):[\Delta ,{\mathrm{sSet}}_{\mathrm{Quillen}}{]}_{\mathrm{Reedy}}\times [{\Delta }^{\mathrm{op}},[{\mathrm{FSmoothMfd}}^{\mathrm{op}},\mathrm{sSet}{]}_{\mathrm{inj}}{]}_{\mathrm{Reedy}}\to [{\mathrm{FSmoothMfd}}^{\mathrm{op}},\mathrm{sSet}{]}_{\mathrm{inj}}.$$\int^{[k] \in \Delta} (-)\cdot (-) : [\Delta, sSet_{Quillen}]_{Reedy} \times [\Delta^{op}, [FSmoothMfd^{op}, sSet]_{inj} ]_{Reedy} \to [FSmoothMfd^{op}, sSet]_{inj} \,.

Using the factorization lemma this implies the weak equivalence (this is the argument of the Bousfield-Kan map).

Proposition

Let $𝔤$ be an L-∞ algebra, regarded as an $L_{\mathrm{\infty }}$-algebroid $b𝔤\in L_{\mathrm{\infty }}\mathrm{Algd}$ over the point by the embedding of def. 3.

Then $i(b𝔤)\in$ SynthDiff∞Grpd is an infinitesimal cohesive object, in that it is geometrically contractible

$$\Pi b𝔤\simeq *$$\Pi b \mathfrak{g} \simeq *

and has as underlying discrete ∞-groupoid the point

$$\Gamma b𝔤\simeq *.$$\Gamma b \mathfrak{g} \simeq * \,.

Proof

We present now SynthDiff∞Grpd by the model structure on simplicial presheaves $[{\mathrm{CartSp}}_{\mathrm{synthdiff}}^{\mathrm{op}},\mathrm{sSet}{]}_{\mathrm{proj},\mathrm{loc}}$. Since CartSp${}_{\mathrm{synthdiff}}$ is an ∞-cohesive site we have by the discussion there that $\Pi$ is presented by the left derived functor $𝕃\lim \to$ of the degreewise colimit and $\Gamma$ is presented by the left derived functor of evaluation on the point.

With lemma 1 we can evaluate

$$\begin{array}{rl}(𝕃\underrightarrow{\lim })i(b𝔤)& \simeq \underrightarrow{\lim }{\int }^{[k]\in \Delta }\Delta [k]\cdot (b𝔤{)}_k\\ & \simeq {\int }^{[k]\in \Delta }\Delta [k]\cdot \underrightarrow{\lim }(b𝔤{)}_k\\ & ={\int }^{[k]\in \Delta }\Delta [k]\cdot *\end{array},$$\begin{aligned} (\mathbb{L} \lim_\to) i(b\mathfrak{g}) & \simeq \lim_\to \int^{[k] \in \Delta} \mathbf{\Delta}[k] \cdot (b \mathfrak{g})_{k} \\ & \simeq \int^{[k] \in \Delta} \mathbf{\Delta}[k] \cdot \lim_\to (b \mathfrak{g})_{k} \\ & = \int^{[k] \in \Delta} \mathbf{\Delta}[k] \cdot * \end{aligned} \,,

because each $(b𝔤{)}_n\in \mathrm{InfPoint}\hookrightarrow {\mathrm{CartSp}}_{\mathrm{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 $\varnothing \to \Delta$ is an acylic cofibration in $[\Delta ,{\mathrm{sSet}}_{\mathrm{Quillen}}{]}_{\mathrm{proj}}$, and that

$${\int }^{[k]\in \Delta }(-)\times (-):[\Delta ,{\mathrm{sSet}}_{\mathrm{Quillen}}{]}_{\mathrm{proj}}\times [{\Delta }^{\mathrm{op}},{\mathrm{sSet}}_{\mathrm{Qillen}}{]}_{\mathrm{inj}}\to {\mathrm{sSet}}_{\mathrm{Quillen}}$$\int^{[k] \in \Delta} (-)\times (-) : [\Delta, sSet_{Quillen}]_{proj} \times [\Delta^{op}, sSet_{Qillen}]_{inj} \to sSet_{Quillen}

is a Quillen bifunctor, using that $*\in [{\Delta }^{\mathrm{op}},{\mathrm{sSet}}_{\mathrm{Quillen}}{]}_{\mathrm{inj}}$ is cofibrant.

Similarily, we have degreewise that

$$\mathrm{Hom}(*,(b𝔤{)}_n)=*$$Hom(*, (b \mathfrak{g})_n) = *

by the fact that an infinitesimally thickened point has a single global point. Therefore the claim for $\Gamma$ follows analogously.

Proposition

Let $(𝔞\to TX)\in L_{\mathrm{\infty }}\mathrm{Algd}\hookrightarrow [{\mathrm{CartSp}}_{\mathrm{synthdiff}},\mathrm{sSet}]$ be an $L_{\mathrm{\infty }}$-algebroid, def. 2, over a smooth manifold $X$, regarded as a simplicial presheaf and hence as a presentation for an object in $\mathrm{SynthDiff}\mathrm{\infty }\mathrm{Grpd}$ according to def. 5.

We have an equivalence

$${\Pi }_{\inf }(𝔞)\simeq {\Pi }_{\inf }(X).$$\mathbf{\Pi}_{inf}(\mathfrak{a}) \simeq \mathbf{\Pi}_{inf}(X) \,.

Proof

Let first $X=U\in {\mathrm{CartSp}}_{\mathrm{synthdiff}}$ be a representable. Then according to prop. 1 we have that

$$\widehat{𝔞}:=({\int }^{k\in \Delta }\Delta [k]\cdot {𝔞}_k)\simeq 𝔞$$\hat \mathfrak{a} := \left( \int^{k \in \Delta} \mathbf{\Delta}[k] \cdot \mathfrak{a}_k \right) \simeq \mathfrak{a}

is cofibrant in $[{\mathrm{CartSp}}_{\mathrm{synthdiff}}^{\mathrm{op}},\mathrm{sSet}{]}_{\mathrm{proj}}$ . Therefore by this proposition on the presentation of infinitesimal neighbourhoods by simplicial presheaves over infinitesimal neighbourhood sites we compute the derived functor

$$\begin{array}{rl}{\Pi }_{\inf }(𝔞)& \simeq i_{*}{i}^{*}𝔞\\ & \simeq 𝕃((-)\circ p)𝕃((-)\circ i)𝔞\\ & \simeq ((-)\circ ip)\widehat{𝔞}\end{array}$$\begin{aligned} \mathbf{\Pi}_{inf}(\mathfrak{a}) & \simeq i_* i^* \mathfrak{a} \\ & \simeq \mathbb{L} ((-) \circ p) \mathbb{L} ((-) \circ i) \mathfrak{a} \\ & \simeq ((-) \circ i p ) \hat \mathfrak{a} \end{aligned}

with the notation as used there.

In view of def. 4 we have for all $k\in \mathbb{N}$ that ${𝔞}_k=X\times D$ where $D$ is an infinitesimally thickened point. Therefore $((-)\circ ip){𝔞}_k=((-)\circ ip)X$ for all $k$ and hence $((-)\circ ip)\widehat{𝔞}\simeq {\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.

Corollary

Every $L_{\mathrm{\infty }}$-algebroid in the sense of def. 2 under the embedding of def. 5 is indeed a formal cohesive ∞-groupoid in the sense of def. 1.

Cohomology of $\mathrm{\infty }$-Lie algebroids

We discuss the relation between the intrinsic cohomology of $L_{\mathrm{\infty }}$-algebroids when regarded as objects of $\mathrm{SynthDiff}\mathrm{\infty }\mathrm{Grpd}$, and the ordinary cohomology of their Chevalley-Eilenberg algebras. For more on this see ∞-Lie algebroid cohomology.

Proposition

Let $𝔞\in L_{\mathrm{\infty }}\mathrm{Algd}$ be an $L_{\mathrm{\infty }}$-algebroid. Then its intrinsic real cohomoloogy in SynthDiff∞Grpd

$$H^n(𝔞,ℝ):={\pi }_0\mathrm{SynthDiff}\mathrm{\infty }\mathrm{Grpd}(𝔞,B^nℝ)$$H^n(\mathfrak{a}, \mathbb{R}) := \pi_0 SynthDiff\infty Grpd(\mathfrak{a}, \mathbf{B}^n \mathbb{R})

coincides with its ordinary L-∞ algebra cohomology: the cochain cohomology of its Chevalley-Eilenberg algebra

$$H^n(𝔞,ℝ)\simeq H^n(\mathrm{CE}(𝔞)).$$H^n(\mathfrak{a}, \mathbb{R}) \simeq H^n(CE(\mathfrak{a})) \,.

Proof

By this discussion at SynthDiff∞Grpd we have that

$$H^n(𝔞,ℝ)\simeq H^n{N}^{•}(𝕃𝒪)(i(𝔞)).$$H^n(\mathfrak{a}, \mathbb{R}) \simeq H^n N^\bullet(\mathbb{L}\mathcal{O})(i(\mathfrak{a})) \,.

By lemma 1 this is

$$\cdots \simeq H^n{N}^{•}({\int }^{[k]\in \Delta }\Delta [k]\cdot 𝒪(i(𝔞{)}_k)).$$\cdots \simeq H^n N^\bullet \left( \int^{[k] \in \Delta} \mathbf{\Delta}[k] \cdot \mathcal{O}(i(\mathfrak{a})_k) \right) \,.

Observe that $𝒪(𝔞{)}_{•}$ 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 ${\mathrm{SmoothAlg}}^{\Delta }{)}^{\mathrm{op}}$ is dually in $\mathrm{SmoothAlg}\hookrightarrow {\mathrm{SmoothAlg}}^{\Delta }$ the projection

$${\oplus }_{i=0}^n\mathrm{CE}(𝔞{)}_i\otimes {\wedge }^i{ℝ}^n\to {\oplus }_{i=0}^{n-1}\mathrm{CE}(𝔞{)}_i\otimes {\wedge }^i{ℝ}^n$$\oplus_{i = 0}^n CE(\mathfrak{a})_i \otimes \wedge^i \mathbb{R}^n \to \oplus_{i = 0}^{n-1} CE(\mathfrak{a})_i \otimes \wedge^i \mathbb{R}^n

hence is a surjection, hence a fibration in ${\mathrm{SmoothAlg}}_{\mathrm{proj}}^{\Delta }$ and therefore indeed a cofibration in $({\mathrm{SmoothAlg}}_{\mathrm{proj}}^{\Delta }{)}^{\mathrm{op}}$.

Therefore using the Quillen bifunctor property of the coend over the tensoring in reverse to lemma 1 the above is equivalent to

$$\cdots \simeq H^n{N}^{•}({\int }^{[k]\in \Delta }\Delta [k]\cdot 𝒪(i(𝔞{)}_k))$$\cdots \simeq H^n N^\bullet \left( \int^{[k] \in \Delta} \Delta[k] \cdot \mathcal{O}(i(\mathfrak{a})_k) \right)

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

$$\cdots \simeq H^n(N^{•}\Xi \mathrm{CE}(𝔞)).$$\cdots \simeq H^n( N^\bullet \Xi CE(\mathfrak{a}) ) \,.

By the Dold-Kan correspondence we have hence

$$\cdots \simeq H^n(\mathrm{CE}(𝔞)).$$\cdots \simeq H^n(CE(\mathfrak{a})) \,.

Examples

Classes of examples

• a $\mathrm{\infty }$-Lie algebroid over the point, $𝔞=*$ is an L-∞-algebra;

• an $n$-truncated $\mathrm{\infty }$-Lie algebroid is a Lie $n$-algebroid;

• an $\mathrm{\infty }$-Lie algebroid the differential of whose Chevalley-Eilenberg algebra is “co-binary”, i.e. $d:{𝔞}^{*}\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-$\mathrm{\infty }$-Lie algebroid of the action of an $L_{\mathrm{\infty }}$-algebra, see Lie ∞-algebroid representation;

  more generally, the complexes appearing in BV-BRST formalism are derived $\mathrm{\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

Lie algebroids regarded as $\mathrm{\infty }$-Lie algebroids

We discuss the traditional notion of Lie algebroids in view of their role as presentations for infinitesimal synthetic differential 1-groupoids.

Smooth loci of infinitesimal simplices

In this section we characterize ordinary Lie algebroids $E\to TX$ as precisely those synthetic differential $\mathrm{\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

$$\cdots \overrightarrow{\overrightarrow{\overrightarrow{\to }}}U\times \tilde{D}(\mathrm{rank}E,2)\overrightarrow{\overrightarrow{\to }}U\times \tilde{D}(\mathrm{rank}E,1)\overrightarrow{\to }U,$$\cdots \stackrel{\to}{\stackrel{\to}{\stackrel{\to}{\to}}} U \times \tilde D(rank E,2)\stackrel{\to}{\stackrel{\to}{\to}} U \times \tilde D(rank E,1) \stackrel{\to}{\to} U \,,

where $\tilde{D}(k,n)$ is the smooth locus of infinitesimal k-simplices based at the origin in ${ℝ}^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 $ℝ$. (For an exposition of the latter perspective see (Kock)).

Definition

For $k,n\in \mathbb{N}$, an infinitesimal $k$-simplex in $R^n$ based at the origin is a collection $({\stackrel{\rightharpoonup }{ϵ}}_a\in R^n{)}_{a=1}^k$ of points in $R^n$, such that each is an infinitesimal neighbour of the origin

$$\forall a:{\stackrel{\rightharpoonup }{ϵ}}_a\sim 0$$\forall a : \;\; \vec \epsilon_a \sim 0

and such that all are infinitesimal neighbours of each other

$$\forall a,a\prime :({\stackrel{\rightharpoonup }{ϵ}}_a-{\stackrel{\rightharpoonup }{ϵ}}_{a\prime })\sim 0.$$\forall a,a': \;\; (\vec \epsilon_a - \vec \epsilon_{a'}) \sim 0 \,.

Write $\tilde{D}(k,n)\subset R^{k\cdot n}$ for the space of all such infinitesimal $k$-simplices in $R^n$.

Equivalently:

Definition

For $k,n\in \mathbb{N}$, the smooth algebra

$$C^{\mathrm{\infty }}(\tilde{D}(k,n))\in \mathrm{SmoothAlg}$$C^\infty(\tilde D(k,n)) \in SmoothAlg

is the unique lift through the forgetful functor $U:\mathrm{SmoothAlg}\to {\mathrm{CAlg}}_{ℝ}$ of the commutative $ℝ$-algebra generated from $k\times n$ many generators

$$({ϵ}_a^j{)}_{1\le j\le n,1\le a\le k}$$(\epsilon_a^j)_{1 \leq j \leq n, 1 \leq a \leq k}

subject to the relations

$$\forall a,j,j\prime :{ϵ}_a^j{ϵ}_a^{j\prime }=0$$\forall a, j,j' : \;\; \epsilon_a^{j} \epsilon_a^{j'} = 0

and

$$\forall a,a\prime ,j,j\prime :({ϵ}_a^j-{ϵ}_{a\prime }^j)({ϵ}_a^{j\prime }-{ϵ}_{a\prime }^{j\prime })=0.$$\forall a,a',j,j' : \;\;\; (\epsilon_a^j - \epsilon_{a'}^j) (\epsilon_a^{j'} - \epsilon_{a'}^{j'}) = 0 \,.

Remark

In the above form these relations are the manifest analogs of the conditions ${\stackrel{\rightharpoonup }{ϵ}}_a\sim 0$ and $({\stackrel{\rightharpoonup }{ϵ}}_a-{\stackrel{\rightharpoonup }{ϵ}}_{a\prime })\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

(1)$$\forall a,a\prime ,j,j\prime :{ϵ}_a^j{ϵ}_{a\prime }^{j\prime }+{ϵ}_{a\prime }^j{ϵ}_a^{j\prime }=0.$$\forall a,a',j,j' : \;\;\; \epsilon_a^j \epsilon_{a'}^{j'} + \epsilon_{a'}^j \epsilon_{a}^{j'} = 0 \,.

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

$$\forall a,a\prime ,j:{ϵ}_a^j{ϵ}_{a\prime }^j=0$$\forall a,a', j: \;\;\; \epsilon_a^{j} \epsilon_{a'}^j = 0

and

$$\forall a,a\prime ,j,j:({ϵ}_a^j-{ϵ}_a^{j\prime })({ϵ}_{a\prime }^j-{ϵ}_{a\prime }^{j\prime })=0$$\forall a,a',j,j : \;\;\; (\epsilon_a^j - \epsilon_a^{j'})(\epsilon_{a'}^j - \epsilon_{a'}^{j'}) = 0

This appears as (Kock, (1.2.1)).

Since $C^{\mathrm{\infty }}(\tilde{D}(k,n))$ is a Weil algebra in the sense of synthetic differential geometry, its structure as an $ℝ$-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.

Example

For $n=2$ and $k=2$ we have that $C^{\mathrm{\infty }}(\tilde{D}(2,2))$ consists of elements of the form

$$\begin{array}{rl}f+a\cdot {ϵ}_1+b\cdot {ϵ}_2+(\omega \cdot {ϵ}_1)(\lambda \cdot {ϵ}_2)& =f+a_1{ϵ}_1^1+a_2{ϵ}_1^2+b_1{ϵ}_2^1+b_2{ϵ}_1^2\\ & +({\omega }_1{\lambda }_2-{\omega }_2{\lambda }_1)\frac{1}{2}({ϵ}_1^1{ϵ}_2^2-{ϵ}_1^2{ϵ}_2^1)\end{array}$$\begin{aligned} f + a \cdot \epsilon_1 + b \cdot \epsilon _2 + (\omega \cdot \epsilon_1) (\lambda \cdot \epsilon_2) &= f + a_1 \epsilon_1^1 + a_2 \epsilon_1^2 + b_1 \epsilon_2^1 + b_2 \epsilon_1^2 \\ & + (\omega_1 \lambda_2 - \omega_2 \lambda_1) \frac{1}{2}(\epsilon_1^1 \epsilon_2^2 - \epsilon_1^2 \epsilon_2^1) \end{aligned}

for $f\in ℝ$ and $(a,b,\omega ,\lambda \in ({ℝ}^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 ${ϵ}_i$ is the wedge product of two covectors $\omega$ and $\lambda$: we may naturally identify the subspace of $C^{\mathrm{\infty }}(\tilde{D}(2,2))$ on those elements that vanish if either ${ϵ}_1$ or ${ϵ}_2$ are set to 0 as the space ${\wedge }^2{T}_0^{*}{ℝ}^2$ of 2-forms at the origin of ${ℝ}^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 $({ϵ}_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

$$e=\left(\begin{array}{ccc}{ϵ}_1^2& {ϵ}_4^2& {ϵ}_5^2\\ {ϵ}_1^3& {ϵ}_4^3& {ϵ}_5^3\\ {ϵ}_1^4& {ϵ}_4^4& {ϵ}_5^4\end{array}\right).$$e = \left( \array{ \epsilon_1^2 & \epsilon_4^2 & \epsilon_5^2 \\ \epsilon_1^3 & \epsilon_4^3 & \epsilon_5^3 \\ \epsilon_1^4 & \epsilon_4^4 & \epsilon_5^4 } \right) \,.

For $e\in E$ an $r\times r$ submatrix, we write

$$\det (e)=\sum _{\sigma }\mathrm{sgn}(\sigma ){ϵ}_1^{\sigma (1)}{ϵ}_2^{\sigma (2)}\cdots {ϵ}_r^{\sigma (r)}\in C^{\mathrm{\infty }}(\tilde{D}(k,n)).$$det(e) = \sum_{\sigma} sgn(\sigma) \epsilon_{1}^{\sigma(1)} \epsilon_2^{\sigma(2)} \cdots \epsilon_r^{\sigma(r)} \in C^\infty(\tilde D(k,n)) \,.

for the corresponding determinant, given as a product of generators in $C^{\mathrm{\infty }}(\tilde{D}(k,n))$. Here the sum runs over all permutations $\sigma$ of $\{1,\cdots ,r\}$ and $\mathrm{sgn}(\sigma )\in \{+1,-1\}\subset ℝ$ is the signature of the permutation $\sigma$.

Proposition

The elements $f\in C^{\mathrm{\infty }}(\tilde{D}(k,n))$ are precisely of the form

$$f=\sum _{e\in E}{f}_e\det (e)$$f = \sum_{e \in E} f_e \; det(e)

for unique $\{f_e\in ℝ\mid e\in E\}$. In other words, the map of vector spaces

$${ℝ}^{\mid E\mid }\to C^{\mathrm{\infty }}(\tilde{D}(k,n))$$\mathbb{R}^{|E|} \to C^\infty(\tilde D(k,n))

given by

$$(f_e{)}_{e\in E}\mapsto \sum _{e\in E}{f}_e\det (e)$$(f_e)_{e \in E} \mapsto \sum_{e \in E} f_e det(e)

is an isomorphism.

Proof

This is a direct extension of the argument in the above example: a general product of $r$ generators in $C^{\mathrm{\infty }}(\tilde{D}(k,n))$ is

$${ϵ}_{i_1}^{j_1}{ϵ}_{i_2}^{j_2}\cdots {ϵ}_{i_r}^{j_r}.$$\epsilon_{i_1}^{j_1} \epsilon_{i_2}^{j_2} \cdots \epsilon_{i_r}^{j_r} \,.

By the relations in $C^{\mathrm{\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

$$\cdots =\mathrm{sgn}(\sigma ){ϵ}_{i_1}^{j_{\sigma (1)}}{ϵ}_{i_1}^{j_{\sigma (2)}}\cdots {ϵ}_{i_1}^{j_{\sigma (r)}}.$$\cdots = sgn(\sigma) \epsilon_{i_1}^{j_{\sigma(1)}} \epsilon_{i_1}^{j_{\sigma(2)}} \cdots \epsilon_{i_1}^{j_{\sigma(r)}} \,.

It follows that each such element may be written as

$$\cdots =\frac{1}{r!}\det (e),$$\cdots = \frac{1}{r!} det(e) \,,

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.

Proposition

For any $k,n\in \mathbb{N}$ we have a natural isomorphism of real commutative and hence of smooth algebras

$$\varphi :C^{\mathrm{\infty }}(\tilde{D}(k,n))\stackrel{\simeq }{\to }{\oplus }_{i=0}^n({\wedge }^i{ℝ}^k)\otimes ({\wedge }^i{ℝ}^n),$$\phi : C^\infty(\tilde D(k,n)) \stackrel{\simeq}{\to} \oplus_{i = 0}^n (\wedge^i \mathbb{R}^k) \otimes (\wedge^i \mathbb{R}^n) \,,

where on the right we have the algebras that appear degreewise in def. 4, where the product is given on homogeneous elements by

$$(\omega ,x)\cdot (\lambda ,y)=(\omega \wedge \lambda ,x\wedge y).$$(\omega, x) \cdot (\lambda, y) = (\omega \wedge \lambda , x \wedge y) \,.

Proof

Let $\{t_a\}$ be the canonical basis for ${ℝ}^k$ and $\{e^i\}$ the canonical basis for ${ℝ}^n$. We claim that an isomorphism is given by the assignment

$$\varphi :{ϵ}_a^i\mapsto (t_a,e^i).$$\phi : \epsilon^i_a \mapsto (t_a , e^i) \,.

To see that this defines indeed an algebra homomorphism we need to check that it respects the relations on the generators. For this compute:

$$\begin{array}{rl}\varphi ({ϵ}_a^i{ϵ}_{a\prime }^{i\prime })& =(t_a\wedge t_{a\prime },e^i\wedge e^{i\prime })\\ & =-(t_{a\prime }\wedge t_a,e^i\wedge e^{i\prime })\\ & =-\varphi ({ϵ}_{a\prime }^i{ϵ}_a^{i\prime })\end{array}.$$\begin{aligned} \phi(\epsilon_a^i \epsilon_{a'}^{i'}) & = (t_a \wedge t_{a'}, e^i \wedge e^{i'}) \\ & = -(t_{a'} \wedge t_{a}, e^i \wedge e^{i'}) \\ & = -\phi(\epsilon_{a'}^i \epsilon_{a}^{i'}) \end{aligned} \,.

The inverse clearly exists, given on generators by

$${\varphi }^{-1}:(t_a,e^i)\mapsto {ϵ}_a^i.$$\phi^{-1} : (t_a, e^i) \mapsto \epsilon_a^i \,.

Corollary

For $𝔞\in L_{\mathrm{\infty }}\mathrm{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_{\mathrm{\infty }}\mathrm{Alg}\to ({\mathrm{SmoothAlg}}^{\Delta }{)}^{\mathrm{op}}$, def. 5, is such that its restriction to any chart $U\to X$ is, up to isomorphism, of the form

$$i(𝔞){\mid }_U:[n]\mapsto U\times \tilde{D}(k,n).$$i(\mathfrak{a})|_U : [n] \mapsto U \times \tilde D(k,n) \,.

Proof

Apply prop. 7 in def. 4, using that by definition $\mathrm{CE}(𝔞)$ is given by the exterior algebra on locally free $C^{\mathrm{\infty }}(X)$ modules, so that

$$\begin{array}{rl}\mathrm{CE}(𝔞{\mid }_U)& \simeq ({\wedge }_{C^{\mathrm{\infty }}(U)}^{•}\Gamma (U\times {ℝ}^k{)}^{*},d_{𝔞{\mid }_U})\\ & \simeq (C^{\mathrm{\infty }}(U)\otimes {\wedge }^{•}{ℝ}^k,d_{𝔞{\mid }_U})\end{array}.$$\begin{aligned} CE(\mathfrak{a}|_U) & \simeq (\wedge^\bullet_{C^\infty(U)} \Gamma(U\times \mathbb{R}^k)^*, d_{\mathfrak{a}|_U}) \\ & \simeq (C^\infty(U) \otimes \wedge^\bullet \mathbb{R}^k, d_{\mathfrak{a}|_U}) \end{aligned} \,.

Tangent Lie algebroid

For $X$ any smooth manifold, there is a standard notion of the Lie algebroid which is the tangent Lie algebroid

$$𝔞=TX$$\mathfrak{a} = T X

of $X$. We discuss this from the perspective of infinitesimal groupoids.

Definition

For $U\in {\mathrm{CartSp}}_{\mathrm{synthdiff}}$, the infinitesimal singular simplicial complex $X^{({\Delta }_{\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$

$$U^{({\Delta }_{\inf }^n)}=\{x_{i_0},\cdots x_{i_n}\in U\mid \forall r,s:x_{i_r}\sim x_{i_s}\}$$U^{(\Delta^n_{inf})} = \left\{ x_{i_0}, \cdots x_{i_n} \in U | \forall r,s : x_{i_r} \sim x_{i_s} \right\}

and whose face and degeneracy maps are as for the finite singular simplicial complex.

More explicitly, in terms of the spaces from def. 6 we may identify

$$U^{({\Delta }_{\inf }^{•})}=(\cdots U\times \tilde{D}(\dim U,2)\overrightarrow{\overrightarrow{\to }}U\tilde{\tilde{D}}(\dim U,1)\overrightarrow{\to }U),$$U^{(\Delta^\bullet_{inf})} = \left( \cdots U \times \tilde D(dim U, 2) \stackrel{\to}{\stackrel{\to}{\to}}U \tilde \tilde D(dim U, 1)\stackrel{\to}{\to} U \right) \,,

where in degree $n$ a generalized element $(x,({\stackrel{\rightharpoonup }{ϵ}}_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

$$(x_0,\cdots ,x_n)=(x,x+{ϵ}_1,\cdots ,x+{ϵ}_{\dim U}).$$(x_0, \cdots, x_n) = ( x, x + \epsilon_1, \cdots, x + \epsilon_{dim U} ) \,.

The dual cosimplicial algebra is read off from this,

$$C^{\mathrm{\infty }}(U^{({\Delta }_{\inf }^{•})})=(\cdots C^{\mathrm{\infty }}(U\times \tilde{D}(\dim U,1))\stackrel{\stackrel{d_0^{*}}{\leftarrow }}{\underset{d_1^{*}}{\leftarrow }}{C}^{\mathrm{\infty }}(U)).$$C^\infty(U^{(\Delta^\bullet_{inf})}) = \left( \cdots C^\infty(U \times \tilde D(dim U ,1)) \stackrel{\overset{d_0^*}{\leftarrow}}{\underset{d_1^*}{\leftarrow}} C^\infty(U) \right) \,.

For instance for $f\in C^{\mathrm{\infty }}(U)$ we have $d_1^{*}f=f$ and $(d_2^{*}f)(x,{ϵ}_1)=f(x+{ϵ}_1)=f(x)+\frac{\partial f}{\partial x^i}{ϵ}_1^i$.

Note

The object $X^{({\Delta }_{\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 $\mathrm{\infty }$-groupoid whose morphisms are paths of a finite number of first order infinitesimal steps.

Proposition

The image of $TX$ under the embedding $i$ from def. 5 is the simplicial smooth locus given by the infinitesimal singular simplicial complex

$$TX=\left(\cdots X^{({\Delta }_{\inf }^2)}\overrightarrow{\overrightarrow{\to }}{X}^{({\Delta }_{\inf }^1)}\overrightarrow{\to }X\right)$$T X = \left( \cdots X^{(\Delta^2_{inf})} \stackrel{\to}{\stackrel{\to}{\to}} X^{(\Delta^1_{inf})} \stackrel{\to}{\to} X \right)

of $X$.

Moreover, the intrinsic real cohomology of $i(TX)\in$ SynthDiff∞Grpd is the de Rham cohomology of $X$

$$H_{\mathrm{SynthDiff}}^n(i(TX),ℝ)\simeq H_{\mathrm{dR}}^n(X)$$H^n_{SynthDiff}(i (T X), \mathbb{R}) \simeq H^n_{dR}(X)

Proof

The first statement may be checked locally on any chart $U\to X$ where it follows from prop. 2. Since the Chevalley-Eilenberg algebra of the tangent Lie algebroid is the de Rham complex

$$\mathrm{CE}(TX)=({\Omega }^{•}(X),d_{\mathrm{dR}})$$CE(T X) = (\Omega^\bullet(X), d_{dR})

the second statement follows with prop. 5.

Lie algebra

Let $G$ be a Lie group with Lie algebra $𝔤$. We describe how $𝔤$ looks when regarded as a special case of an $\mathrm{\infty }$-Lie algebroid.

Write

$$BG=(\cdots G\times G\overrightarrow{\overrightarrow{\to }}G\overrightarrow{\to }*)$$\mathbf{B}G = \left( \cdots G \times G \stackrel{\to}{\stackrel{\to}{\to}} G \stackrel{\to}{\to} * \right)

for the delooping groupoid of $G$, regarded as an an ∞-Lie groupoid modeled by a simplicial smooth space.

We claim that a morphism

$$\omega :TU\to BG$$\omega : T U \to \mathbf{B}G

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 $𝔤$ as the infinitesimal sub-$\mathrm{\infty }$-groupoid

$$b𝔤\hookrightarrow BG$$\mathbf{b}\mathfrak{g} \hookrightarrow \mathbf{B}G

inside $BG$.

Since $BG$ is 2-coskeletal (being the nerve of a groupoid) a morphism $TU\to BG$ is fixed already under its 2-truncation

$$\begin{array}{ccc}U\times \tilde{D}(2,n)& \stackrel{{\omega }_2}{\to }& G\times G\\ \downarrow \downarrow \downarrow & & {\downarrow }^{p_2}{\downarrow }^{\cdot }{\downarrow }^{p_1}\\ U\times \tilde{D}(1,n)& \stackrel{{\omega }_1}{\to }& G\\ \downarrow \downarrow & & \downarrow \downarrow \\ U& \to & *\end{array}.$$\array{ U \times \tilde D(2,n) &\stackrel{\omega_2}{\to}& G \times G \\ \downarrow \downarrow \downarrow && \downarrow^{p_2} \downarrow^{\cdot} \downarrow^{p_1} \\ U \times \tilde D(1,n) &\stackrel{\omega_1}{\to}& G \\ \downarrow \downarrow && \downarrow \downarrow \\ U &\to& * } \,.

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

$$\begin{array}{ccccc}U\times \tilde{D}(2,n)& \stackrel{{\omega }_2}{\to }& \tilde{D}(2,\dim (G))& \hookrightarrow & G\times G\\ \downarrow \downarrow \downarrow & & {\downarrow }^{p_2}{\downarrow }^{\cdot }{\downarrow }^{p_1}& & {\downarrow }^{p_2}{\downarrow }^{\cdot }{\downarrow }^{p_1}\\ U\times \tilde{D}(1,n)& \stackrel{{\omega }_1}{\to }& \tilde{D}(1,\dim (G))& \hookrightarrow & G\\ \downarrow \downarrow & & \downarrow \downarrow & & \downarrow \downarrow \\ U& \to & *& \to & *\end{array}.$$\array{ U \times \tilde D(2,n) &\stackrel{\omega_2}{\to}& \tilde D(2,dim(G)) &\hookrightarrow& G \times G \\ \downarrow \downarrow \downarrow && \downarrow^{p_2} \downarrow^{\cdot} \downarrow^{p_1} && \downarrow^{p_2} \downarrow^{\cdot} \downarrow^{p_1} \\ U \times \tilde D(1,n) &\stackrel{\omega_1}{\to}& \tilde D(1, dim(G)) &\hookrightarrow& G \\ \downarrow \downarrow && \downarrow \downarrow && \downarrow \downarrow \\ U &\to& * &\to& * } \,.

The universal object found this way we claim is the Lie algebra $𝔤$ in its incarnation as an infinitesimal $\mathrm{\infty }$-Lie groupoid

$$\begin{array}{rl}b𝔤& :=\mathrm{InitialObject}(TU\downarrow {𝕃}^{{\mathrm{Delta}}^{\mathrm{op}}}\downarrow BG)\\ & =(\cdots \tilde{D}(2,\dim (G))\overrightarrow{\overrightarrow{\to }}\tilde{D}(1,\dim (G))\overrightarrow{\to }*)\end{array}.$$\begin{aligned} b \mathfrak{g} &:= InitialObject( T U\downarrow \mathbb{L}^{Delta^{op}}\downarrow \mathbf{B}G) \\ & = \left( \cdots \tilde D(2,dim(G)) \stackrel{\to}{\stackrel{\to}{\to}} \tilde D(1,dim(G))\stackrel{\to}{\to} * \right) \end{aligned} \,.

Proposition

The normalized cochain complex of the cosimplicial alghebra of functions on this $b𝔤$ is isomorphic to the ordinary Chevalley-Eilenberg algebra $({\wedge }^{•}{𝔤}^{*},[-,-{]}^{*})$ of $𝔤$.

Proof

By the above discussion we have that for $C^{\mathrm{\infty }}(\tilde{D}(k,\dim (G)){)}_{\mathrm{top}}\subset C^{\mathrm{\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({ℝ}^{\dim (G)}{)}^{*}$, so that we have a natural isomorphism of vector spaces

$$N{C}^{\mathrm{\infty }}(b𝔤{)}_k\simeq {\wedge }^k{𝔤}^{*}.$$N C^\infty(b \mathfrak{g})_k \simeq \wedge^k \mathfrak{g}^* \,.

By the fact that everything is 2-coskeletal it suffices to check that the differential in first degree

$$N{C}^{\mathrm{\infty }}(\tilde{D}(1,\dim (G)))\stackrel{p_1^{*}+p_2^{*}-(\cdot {)}^{*}}{\to }N{C}^{\mathrm{\infty }}(\tilde{D}(2,\dim (G)))$$N C^\infty(\tilde D(1,dim(G))) \stackrel{p_1^* + p_2^* - (\cdot)^*}{\to} N C^\infty(\tilde D(2,dim(G)))

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 $(\stackrel{\rightharpoonup }{x},\stackrel{\rightharpoonup }{y})\in \tilde{D}(2,\dim (G))$ we have

$$\stackrel{\rightharpoonup }{x}{\cdot }_G\stackrel{\rightharpoonup }{y}=\stackrel{\rightharpoonup }{x}\cdot {\nabla }_x{\cdot }_G(0,0)+\stackrel{\rightharpoonup }{y}\cdot {\nabla }_y{\cdot }_G(0,0)+\stackrel{\rightharpoonup }{x}\cdot {\nabla }_x\stackrel{\rightharpoonup }{y}\cdot {\nabla }_y{\cdot }_G(0,0).$$\vec x \cdot_G \vec y = \vec x \cdot \nabla_x \cdot_G (0,0) + \vec y \cdot \nabla_y \cdot_G (0,0) + \vec x \cdot \nabla_x \vec y \cdot \nabla_y \cdot_G(0,0) \,.

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

$$\cdots =\stackrel{\rightharpoonup }{x}+\stackrel{\rightharpoonup }{y}+[\stackrel{\rightharpoonup }{x},\stackrel{\rightharpoonup }{y}].$$\cdots = \vec x + \vec y + [\vec x, \vec y] \,.

Accordingly the alternating sum of co-face maps is

$$\begin{array}{rl}d& =p_1^{*}+p_2^{*}-{\cdot }_G^{*}\\ & =p_1^{*}+p_2^{*}-(p_1^{*}+p_2^{*}+[-,-{]}^{*})\\ & =-[-,-{]}^{*}\end{array}$$\begin{aligned} d &= p_1^* + p_2^* - \cdot_G^* \\ & = p_1^* + p_2^* - ( p_1^* + p_2^* + [-,-]^*) \\ & = - [-,-]^* \end{aligned}

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).

Related concepts

• ∞-Lie algebroid cohomology

• ∞-Lie algebroid valued differential forms

• ∞-Chern-Weil theory

References

The term “Lie $\mathrm{\infty }$-algebroid” or ”$L_{\mathrm{\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 $\mathrm{\infty }$-Lie algebroids recognized in their full Lie theoretic meaning is

• Pavol Ševera, Some title containing the words “homotopy” and “symplectic”, e.g. this one (arXiv)

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 $\mathrm{\infty }$-Lie algebroid / $L_{\mathrm{\infty }}$-algebroid as such appears in

• Hisham Sati, Urs Schreiber, Jim Stasheff, Twisted differential string- and fivebrane structures (ref)

The term also appears in

• Andrew James Bruce, From $L_{\mathrm{\infty }}$-algebroids to higher Schouten/Poisson structures (arXiv:1007.1389)

The dual monoidal Dold-Kan correspondence is discussed in

• J.L. Castiglioni, G. Cortiñas, Cosimplicial versus DG-rings: a version of the Dold-Kan correspondence , J. Pure Appl. Algebra 191 (2004), no. 1-2, 119–142, (arXiv:math.KT/0306289) .

The smooth spaces of infinitesimal simplices $\tilde{D}(k,n)$ are considered in section 1.2 of

• Anders Kock, Synthetic differential geometry of manifolds (pdf)