∞-Lie theory (higher geometry)
synthetic differential ∞-groupoid?
For $\mathfrak{g}$ an ∞-Lie algebra (or more generally ∞-Lie algebroid), the $\infty$-groupoid of $\mathfrak{g}$-valued forms is the ∞-groupoid whose
objects are differential forms with values in $\mathfrak{g}$;
morphisms are gauge transformations between these;
k-morphisms are order $k$ higher gauge transformations.
This naturally refines to a non-concrete ∞-Lie groupoid whose $U$-parameterized smooth families of objects are ∞-Lie algebroid-valued differential forms on $Z$.
A cocycle with coefficients in this is a connection on an ∞-bundle.
For an introduction see the section ∞-Lie algebra valued forms at ∞-Chern-Weil theory introduction.
For $X$ a smooth manifold and $\mathfrak{g}$ an ∞-Lie algebra or more generally an ∞-Lie algebroid, a $\infty$-Lie algebroid valued differential form on $X$ is a morphism of dg-algebras
from the Weil algebra of $\mathfrak{g}$ to the de Rham complex of $X$. Dually this is a morphism of ∞-Lie algebroids
from the tangent Lie algebroid to the inner automorphism ∞-Lie algebra.
Its curvature is the composite of morphisms of graded vector spaces
Precisely if the curvatures vanish does the morphism factor through the Chevalley-Eilenberg algebra $W(\mathfrak{g}) \to CE(\mathfrak{g})$.
in which case we call $A$ flat.
The curvature characteristic forms of $A$ are the composite
where $inv(\mathfrak{g}) \to W(\mathfrak{g})$ is the inclusion of the invariant polynomials.
For $U$ a smooth manifold, the $\infty$-groupoid of $\mathfrak{g}$-valued forms is the Kan complex
whose k-morphisms are $\mathfrak{g}$-valued forms $A$ on $U \times \Delta^k$ with sitting instants, and with the property that their curvature vanishes on vertical vectors.
The canonical morphism
to the untruncated Lie integration of $\mathfrak{g}$ is given by restriction of $A$ to vertical differential forms (see below).
Here we are thinking of $U \times \Delta^k \to U$ as a trivial bundle.
The first Ehresmann condition will be identified with the conditions on lifts $\nabla$ in ∞-anafunctors
that define connections on ∞-bundles. More on this in the Properties-section below.
For $A \in \exp(\mathfrak{g})_{conn}(U,[k])$ a $\mathfrak{g}$-valued form on $U \times \Delta^k$ and for $\langle - \rangle \in W(\mathfrak{g})$ any invariant polynomial, the corresponding curvature characteristic form $\langle F_A \rangle \in \Omega^\bullet(U \times \Delta^k)$ descends down to $U$.
It is sufficient to show that for all $v \in \Gamma(T \Delta^k)$ we have
$\iota_v \langle F_A \rangle = 0$;
$\mathcal{L}_v \langle F_A \rangle = 0$.
The first condition is evidently satisfied if already $\iota_v F_A = 0$. The second condition follows with Cartan calculus and using that $d_{dR} \langle F_A\rangle = 0$:
For a general $\infty$-Lie algebra $\mathfrak{g}$ the curvature forms $F_A$ themselves are not closed, hence requiring them to have no component along the simplex does not imply that they descend. This is different for abelian $\infty$-Lie algebras: for them the curvature forms themselves are already closed, and hence are themselves already curvature characteristics that do descent.
It is useful to organize the $\mathfrak{g}$-valued form $A$, together with its restriction $A_{vert}$ to vertical differential forms and with its curvature characteristic forms in the commuting diagram (following Weil algebra – Characterization in the smooth infinity-topos)
in dgAlg.
The commutativity of this diagram is implied by $\iota_v F_A = 0$.
Write $\exp(\mathfrak{g})_{CW}(U)$ for the $\infty$-groupoid of $\mathfrak{g}$-valued forms fitting into such diagrams.
If we just consider the top horizontal morphism in this diagram we obtain the object
discussed in detail at Lie integration. If we consider the top square of the diagram we obtain the object
This forms a resolution of $\exp(\mathfrak{g})$ and may be thought of as the $\infty$-groupoid of pseudo-connections.
We have an evident sequence of morphisms
where we label the objects by the structures they classify, as discussed at ∞-Chern-Weil theory.
Here the botton morphism is a weak equivalence and the others are monomorphisms.
Notice that in full ∞-Chern-Weil theory the fundamental object of interest is really $\exp(\mathfrak{g})_{diff}$ – the object of pseudo-connections. The other objects only serve the purpose of picking particularly nice representatives:
the object $\exp(\mathfrak{g})_{CW}$ may contain pseudo-connections, those for which at least the associated circle n-bundles with connection given by the $\infty$-Chern Weil homomorphism are genuine connections.
This distinction is important: over objects $X \in$ ?LieGrpd that are not smooth manifolds but for instance orbifolds, the genuine connections for higher Lie algebras do not exhaust all nonabelian differential cocycles. This just means that not every differential class in this case does have a nice representative in the usual sense.
The 1-morphisms in $\exp(\mathfrak{g})(U)$ may be thought of as gauge transformations between $\mathfrak{g}$-valued forms. We unwind what these look like concretely.
Given a 1-morphism in $\exp(\mathfrak{g})(X)$, represented by $\mathfrak{g}$-valued forms
consider the unique decomposition
with $A_U$ the horizonal differential form component and $t : \Delta^1 = [0,1] \to \mathbb{R}$ the canonical coordinate.
We call $\lambda$ the gauge parameter . This is a function on $\Delta^1$ with values in 0-forms on $U$ for $\mathfrak{g}$ an ordinary Lie algebra, plus 1-forms on $U$ for $\mathfrak{g}$ a Lie 2-algebra, plus 2-forms for a Lie 3-algebra, and so forth.
We describe now how this enccodes a gauge transformation
By the nature of the Weil algebra we have
where the sum is over all higher brackets of the ∞-Lie algebra $\mathfrak{g}$.
In Cartan calculus for $\mathfrak{g}$ an ordinary Lie algebra may write (see here) the corresponding second Ehresmann condition $\iota_{\partial_s} F_A = 0$ equivalently
Define the covariant derivative of the gauge parameter to be
In this notation we have
the general identity
the horizontality or second Ehresmann condition (or “strict rheonomy”) $\iota_{\partial_s} F_A = 0$, the differential equation
This is known as the equation for infinitesimal gauge transformations of an $\infty$-Lie algebra valued form.
By Lie integration we have that $A_{vert}$ – and hence $\lambda$ – defines an element $\exp(\lambda)$ in the ∞-Lie group that integrates $\mathfrak{g}$.
The unique solution $A_U(s = 1)$ of the above differential equation at $s = 1$ for the initial values $A_U(s = 0)$ we may think of as the result of acting on $A_U(0)$ with the gauge transformation $\exp(\lambda)$.
(connections on ordinary bundles)
For $\mathfrak{g}$ an ordinary Lie algebra with simply connected Lie group $G$ and for $\mathbf{B}G_{conn}$ the groupoid of Lie algebra-valued forms we have an isomorphism
To see this, first note that the sheaves of objects on both sides are manifestly isomorphic, both are the sheaf of $\Omega^1(-,\mathfrak{g})$. For morphisms, observe that for a form $\Omega^\bullet(U \times \Delta^1) \leftarow W(\mathfrak{g}) : A$ which we may decompose into a horizontal and a verical pice as $A = A_U + \lamnda \wedge d t$ the condition $\iota_{\partial_t} F_A = 0$ is equivalent to the differential equation
For any initial value $A(0)$ this has the unique solution
where $g : [0,1] \to G$ is the parallel transport of $\lambda$:
(where for ease of notaton we write actions as if $G$ were a matrix Lie group).
In particular this implies that the endpoints of the path of $\mathfrak{g}$-valued 1-forms are related by the usual cocycle condition in $\mathbf{B}G_{conn}$
In the same fashion one sees that given 2-cell in $\exp(\mathfrak{g})(U)$ and any 1-form on $U$ at one vertex, there is a unique lift to a 2-cell in $\exp(\mathfrak{g})_{conn}$, obtained by parallel transporting the form around. The claim then follows from the previous statement of Lie integration that $\tau_1 \exp(\mathfrak{g}) = \mathbf{B}G$.
For $n \in \mathbb{N}$, $n \geq 1$ we have that $b^{n-1}\mathbb{R}$-valued differential forms are in natural bijection to ordinary closed differential forms in degree $n$
Notice that under addition of differential forms, $\exp(b^{n-1}\mathbb{R})_{conn}$ is over each $U \in CartSp$ an abelian simplicial group.
Under the Dold-Kan correspondence $Ch_\bullet^+ \stackrel{\overset{N}{\leftarrow}}{\underset{\Xi}{\to}} sAb$ we may therefore identify $\exp(b^{n-1}\mathbb{R})_{conn}$ with a presheaf $N \exp(b^{n-1}\mathbb{R})_{conn}$ of chain complexes.
The degreewise fiber integration of differential forms over simplices constitutes a morphism
that is a weak equivalence.
This is shown at circle n-bundle with connection – from Lie intgeration based on the discussion at ∞-Lie groupoid – Lie-integrated ∞-groups – differential coefficients.
What is called an “extended soft group manifold” in the literature on the D'Auria-Fre formulation of supergravity is really precisely a collection of $\infty$-Lie algebroid valued forms with values in a super $\infty$-Lie algebra such as the supergravity Lie 3-algebra (for 11-dimensional supergravity). The way curvature and Bianchi identity are read off from “extded soft group manifolds” in this literature is – apart from this difference in terminology – precisely what is described above.
$\infty$-groupoid of ∞-Lie-algebra valued forms
The (obvious but conceptually important) observation that Lie algebra-valued 1-forms regarded as morphisms of graded vector spaces $\Omega^\bullet(X) \leftarrow \wedge^1 \mathfrak{g}^* : A$ are equivalently morphisms of dg-algebras out of the Weil algebra $\Omega^\bullet(X) \leftarrow W(\mathfrak{g}) : A$ and that one may think of as the identity $W(\mathfrak{g}) \leftarrow W(\mathfrak{g}) : Id$ as the universal $\mathfrak{g}$-connection appears in early articles for instance highlighted on p. 15 of
following Eli Cartan‘s influential work (see Weil algebra for more references).
The (evident) generalization to Weil algebras of ∞-Lie algebras and ∞-Lie algebroids is considered explicitly in
but – somewhat implicitly – this construction appears earlier, notably in the D'Auria-Fre formulation of supergravity. A collection of such precursors to these notions is collected at
The structure of the formula (2) for infinitesimal gauge transformations of higher forms is widely known in the literature on supergravity and string theory, if maybe not formalized in terms of $\infty$-Lie algebra theory as we do here. One exception is the remarkable book
In this old book no $\infty$-Lie algebras are mentioned explicitly, but the dg-algebra computations that are considered are easily seen to be precisely their Chevalley-Eilenberg algebra-incarnations.
The authors use the term extended soft group manifold for what here we identify as an $\infty$-Lie algebra valued form $T X \to inn(\mathfrak{g})$.
With this terminological translation understood, and observing that all their constructions straightforwardly generalize to more general dg-algebras than these authors conisder explicitly, we find that
our equation (1) for the possibly shifted gauge transformation is their equation I.3.136;
our equation (2) for the genuine gauge transfomation is their equation for horizontal or rheonomic gauge transformations III.3.23 .
In fact their full rheonomy constraint III.3.32 is essentialy the same horizontality constraint, but applied not just to the 1-simplex $\Delta^1$, but to the super simplex $\Delta^{1|p}$.
Last revised on November 10, 2015 at 11:16:20. See the history of this page for a list of all contributions to it.