Lie integration is a process in that assigns to a Lie algebra – or more generally an ∞-Lie algebra or ∞-Lie algebroid – a Lie group – or more generally ∞-Lie groupoid – that is infinitesimally modeled by .
It turns out that if the ∞-Lie algebroids involved are incarnated dually in the form of their Chevalley-Eilenberg algebras then the bare ∞-groupoid integrating them (i.e. ignoring the smooth structure) is effectively given by the Sullivan construction applied to the dg-algebra .
This statement was made explicit for dg-Lie algebras in
and for general ∞-Lie algebras
(whose main point is the discussion of a gauge condition applicable for nilpotent -algebras that cuts down the result of the Sullivan construction to a much smaller but equivalent model)
and
(whose origin possibly preceeds that of Getzler’s article and which considers Banach manifold structure on the resulting ∞-groupoids).
For general ∞-Lie algebroids the general idea has been indicated in
There is an evident generalization of the Sullivan construction viewed this way that yields ∞-Lie groupoids (i.e. including the smooth structure). This is discussed at ∞-Lie groupoid.
The traditional Lie integration of Lie algebras and Lie algebroids to Lie groups and Lie groupoids (including the smooth structure) is indeed a special case is exhibited in
Given an ∞-Lie algebroid (for instance a Lie algebra, or a Lie algebroid or an L-∞-algebra) and , a -path in the -Lie algebroid is a morphism of -Lie algebroids
from the tangent Lie algebroid of the standard smooth -simplex to .
These -paths naturally form a simplicial set
which is a Kan complex under mild technical fine-tuning of the definition of -paths.
Since morphisms of ∞-Lie algebroids are dually equivalent to dg-algebra morphisms of their Chevalley-Eilenberg algebra, the above is equivalent to
Here we used that the Chevalley–Eilenberg algebra of the tangent Lie algebroid is the de Rham complex of differential forms. This is recognized as the Sullivan construction in rational homotopy theory for .
This gives the universal -groupoid integrating . If is -truncated then this construction will not yield in general an -truncated ∞-groupoid . Instead one wants to truncate it to
For more on this see (for the moment) Lie integrated ∞-Lie groupoids.
In
it is effectively shown that for a (finite-dimensional) Lie algebra we have
is the delooping one-object groupoid of the simply connected Lie group corresponding to under Lie's three theorems.
If is the string Lie 2-algebra it is effectively shown in
that
is the string 2-group.