nLab adjusted Weil algebra



\infty-Lie theory

∞-Lie theory (higher geometry)


Smooth structure

Higher groupoids

Lie theory

∞-Lie groupoids

∞-Lie algebroids

Formal Lie groupoids



Related topics


\infty-Lie groupoids

\infty-Lie groups

\infty-Lie algebroids

\infty-Lie algebras



The traditional notion of connection on a principal bundle with given structure Lie algebra 𝔤\mathfrak{g} has a slick dg-algebraic-formulation in terms of the Chevalley-Eilenberg algebra CE(𝔤)CE(\mathfrak{g}) and the Weil algebra W(𝔤)W(\mathfrak{g}) of 𝔤\mathfrak{g} (due to Henri Cartan 1950 ).

These concepts of Cartan connection may be generalized to L L_\infty -algebras (originally so in SSS09, SSS12, FSS12, which was the starting point for the more comprehensive development in dcct12) – see at connection on a smooth principal \infty -bundle. In fact, noticing (see here) that the Chevalley-Eilenberg algebra-construction CE()CE(-) constitutes a full subcategory-embedding of the 1-category of finite type L L_\infty -algebras into the opposite 1-category of dgc-algebras, there is an immediate L L_\infty-analog of the notion of Weil algebra (SSS09, Def. 16).

However, this is a 1-category theoretic analog, hence is a particularly strict model, defined up to isomorphism, of what the would-be \infty-Weil algebra of an L L_\infty-algebra should be. The latter will only be well-defined up to compatible quasi-isomorphism.

The need to pass to compatible deformations of L L_\infty-Weil algebras for a satisfactory definition of string 2-connections (1-brane connections) and analogous higher notions (5-brane-connection, 9-brane, etc.) was first discussed around SSS09, Prop. 21 (and used to exhibit the higher gauge-theoretic nature of the Green-Schwarz mechanism in SSS12, §3.2), and was justified there by the condition that the canonical invariant polynomial in that situation does lift as expected.

A more general discussion of the necessary adjustments of L L_\infty-Weil algebras was then given in Saemann & Schmidt 20, who observe that a good general condition to impose is that the induced BRST complexes of L L_\infty-connections (SSS09, §9.3) remain well-defined when the antifields and auxiliary fields are required to strictly vanish. These authors introduce the terminology adjusted Weil algebras (Saemann & Schmidt 20, Def. 4.2) and the resulting adjusted L L_\infty-connections and adjusted higher parallel transport (Kim & Saemann 2020).

Concretely, the choice of compatible deformation of the Weil algebra determines the Bianchi identities on the curvature characteristic forms of corresponding L L_\infty -algebra valued differential forms (these Bianchi identities are embodied by the differential in the Weil algebra restricted to shifted generators) and without adjustment the Bianchi identities are stronger than (i.e. just special cases of what) they ought to be.

Notice that, while the Weil algebra by itself is contractible homotopy type, its adjustments along quasi-isomorphisms must satisfy horizontality constraints (such as the vanishing of those antifields) which makes this a non-trivial procedure.

While the characterization of adjusted Weil algebras for L L_\infty-algebra in Saemann & Schmidt 20, Def. 4.2 clearly (generalizes and) conceptually improves on SSS09, Prop. 21, and while in applications it clearly gives the right answers (the correct higher Bianchi identities), what is still missing is a purely homotopy theoretic justification. Since in practice, these adjusted Weil algebras behave and are used much like resolutions by minimal fibrations in model category-theory, it is natural to wonder if there is the structure of a homotopical fibration category on the Weil algebra choices for L L_\infty-algebras, such that this is indeed the case. This question is open.

On the other hand, Borsten, Kim & Saemann 2021 argue that adjustment is naturally understood after embedding L L_\infty -algebras within E L E L_\infty -algebras (and that this is what exhibits tensor hierarchies as a higher gauge theory-phenomenon).


The original discussion for the special case of string 2-connections and their higher analogs:

General characterization of adjusted 𝔤\mathfrak{g}-Weil algebras by requiring well-behaved BRST-complexes for L L_\infty -algebra valued differential forms:

Revisiting the special case of the string Lie 2-algebra:

Application to higher parallel transport:

Relation to E L E L_\infty -algebras and tensor hierarchies:

Survey and review:

Created on July 17, 2022 at 10:08:30. See the history of this page for a list of all contributions to it.