∞-Lie theory (higher geometry)
For every Lie algebra or ∞-Lie algebra or ∞-Lie algebroid $\mathfrak{a}$ there is its Chevalley-Eilenberg algebra $CE(\mathfrak{a})$ and its Weil algebra $W(\mathfrak{a})$ and a canonical dg-algebra morphism
Recall that a cocycle on $\mathfrak{a}$ is a closed element in $CE(\mathfrak{a})$. An invariant polynomial is a closed elements in $W(\mathfrak{a})$ that sits in the shifted copy $\wedge^\bullet (\mathfrak{a}^*[1])$.
This means that for $X \in \mathfrak{a}$, for $\iota_X : W(\mathfrak{a}) \to W(\mathfrak{a})$ the contraction derivation and $ad_X := [d_W, \iota_X]$ the corresponding Lie derivative, we have in particular that an invariant polynomial $\langle -\rangle \in W(\mathfrak{a})$ is invariant in the sense that
For $\mathfrak{a} = \mathfrak{g}$ an ordinary Lie algebra, an invariant polynomial on $\mathfrak{g}$ is precisely a symmetric multilinear map on $\mathfrak{g}$ which is $ad$-invariant in the ordinary sense.
For $\mathfrak{a}$ an ∞-Lie algebroid (of finite type, i.e. degreewise of finite rank) with Chevalley-Eilenberg algebra
and Weil algebra
an invariant polynomial on $\mathfrak{a}$ is an elements $\langle - \rangle \in W(\mathfrak{a})$ with the property that
$\langle - \rangle$ is a wedge product of generators in the shifted copy of $\mathfrak{a}^*$ $W(\mathfrak{a})$, i.e.
or equivalently: for all $x \in \mathfrak{a}$ and $\iota_X : W(\mathfrak{a}) \to W(\mathfrak{a})$ the contraction derivation, we have
it is closed in $W(\mathfrak{a})$ in that $d_{W(\mathfrak{a})} \langle - \rangle = 0$
or more generally its differential is again in the shifted copy.
This implies that for
the Lie derivative in $W(\mathfrak{a})$ along $x \in \mathfrak{a}$, which encodes the coadjoint action of $\mathfrak{a}$ on $W(\mathfrak{a})$, we have
for all $x$. But the condition for an invariant polynomial is stronger than these ad-invariances. For instance there are ∞-Lie algebra cocycles $\mu \in CE(\mathfrak{g})$ which when regarded as elements in $W(\mathfrak{g})$ are ad-invariant. But being entirely in the un-shifted copy, $\mu \in \wedge^\bullet \mathfrak{g}^*$, these are not invariant polynomials.
We say an invariant polynomial is decomposable if it is the wedge product in $W(\mathfrak{g})$ of two invariant polynomials of non-vanishing degree.
Two invariant polynomials $P_1, P_2 \in W(\mathfrak{g})$ are horizontally equivalent if there is $\omega \in ker(W(\mathfrak{g}) \to CE(\mathfrak{g}))$ such that
Let $P = P_1 \wedge P_2$ be a wedge product of two indecomposable polynomials. Then there exists a Chern-Simons element $cs_1 \in W(\mathfrak{g})$ such that $d_W cs_1 = P_1$. By the assumption that $P_2$ is in non-vanishing degree and hence in $ker(W(\mathfrak{g}) \to CE(\mathfrak{g}))$ it follows that
also $cs_1 \wedge P_2$ is in $ker(W(\mathfrak{g}) \to CE(\mathfrak{g}))$
$d_W (cs_1 \wedge P_2) = P_1 \wedge P_2$ .
Therefore $cs_1 \wedge P_1$ exhibits a horizontal equivalence $P_1 \wedge P_2 \sim 0$.
Horizontal equivalence classes of invariant polynomials on $\mathfrak{g}$ form a graded vector space $inv(\mathfrak{g})_V$. There is a morphism of graded vector spaces
unique up to horizontal equivalence, that sends each horizontal equivalence class to a representative.
By prop. it follows that $inv(\mathfrak{g})_V$ contains only indecomposable invariant polynomials.
We write $inv(\mathfrak{g})$ for the dg-algebra whose underlying graded algebra is the free graded algebra on the graded vector space $inv(\mathfrak{g})_V$, and whose differential is trivial.
Since invariant polynomials are closed, the inclusion of graded vector spaces from observation induces an inclusion (monomorphism) of dg-algebras
For $\mathfrak{g}$ a Lie algebra, this definition of invariant polynomials is equivalent to more traditional ones.
To see this explicitly, let $\{t^a\}$ be a basis of $\mathfrak{g}^*$ and $\{r^a\}$ the corresponding basis of $\mathfrak{g}^*[1]$. Write $\{C^a{}_{b c}\}$ for the structure constants of the Lie bracket in this basis.
Then for $P = P_{(a_1 , \cdots , a_k)} r^{a_1} \wedge \cdots \wedge r^{a_k} \in \wedge^{r} \mathfrak{g}^*[1]$ an element in the shifted generators, the condition that it is $d_{W(\mathfrak{g})}$-closed is equivalent to
where the parentheses around indices denotes symmetrization, as usual, so that this is equivalent to
for all choice of indices. This is the component-version of the familiar invariance statement
for all $t_\bullet \in \mathfrak{g}$.
See Killing form, string Lie 2-algebra.
For $X$ a smooth manifold, and invariant polynomial on the tangent Lie algebroid $\mathfrak{a} = T X$ is precisely a closed differential form on $X$.
For $\mathfrak{g}$ a semisimple Lie algebra let $\mu_3 := \langle -,[-,-]\rangle$ be the canonical Lie algebra cocycle in degree 3, which is the one in transgression with the Killing form invariant polynomial $\langle -,-\rangle$.
Write $\mathfrak{g}_{\mu_3}$ for the corresponding string Lie 2-algebra. We have that the Chevalley-Eilenberg algebra $CE(\mathfrak{g}_{\mu_3})$ is given by
and the Weil algebra $W(\mathfrak{g}_{\mu_3})$ is given by
where $\sigma$ acts by degree shift isomorphism on unshifted generators.
It follows at once that every invariant polynomial
on the Lie algebra $\mathfrak{g}$ canonically identifies also with an invariant polynomial of the string Lie 2-algebra. But the differnce is that the Killing form $\langle -,- \rangle := P_{a b} r^a \wedge r^b$ is non-trivial as a polynomial on $\mathfrak{g}$, but as a polynomial on $\mathfrak{g}_{\mu_3}$ becomes horizontally equivalent ,def. ), to the trivial invariant polynomial.
On the string Lie 2-algebra $\mathfrak{g}_{\mu_3}$ the Killing form $\langle -,-\rangle$ is horizontally equivalent to 0.
Let $cs_3 \in W(\mathfrak{g})$ be any Chern-Simons element for $\langle -,- \rangle$, hence an element such that
$cs_3|_{CE(\mathfrak{g})} = \mu_3$;
$d_W cs_3 = \langle -,- \rangle$.
Then notice that by the above we have in $W(\mathfrak{g}_{\mu_3})$ that the differential of the new generator $h$ is equal to that of $\mu_3$:
We on $\mathfrak{g}_{\mu_4}$ we can replace $\mu_3$ by $h$ and still get a Chern-Simons element for the Killing form:
But while $\mu_3$ is not in $ker(W(\mathfrak{g}_{\mu_3}) \to CE(\mathfrak{g}_{\mu_3}))$, the element $h$ is, by definition. Therefore $\tilde cs_3$ is in that kernel, and hence exhibits a horizontal equivalence between $\langle -,- \rangle$ and $0$.
This is a special case of the more general statement below, about invariant polynomials on shifted central extensions.
For illustration purposes it is useful to consider the following variant of this example:
Write
for the L-∞ algebra defined by the fact that its Chevalley-Eilenberg algebra is given by
where $\{t^a\}$ is a dual basis in degree 1 for some semisimple Lie algebra $\mathfrak{g}$ as above, $b$ and $c$ are generators in degree 2 and 3, respectively, and $\mu_3 \propto \langle -,[-,-]\rangle$ is the canonical Lie algebra cocycle in degree 3, as above.
It is easily seen that
The canonical morphism
given dually by sending
is a weak equivalence.
So the Lie 3-algebra $(b \mathbb{R} \to \mathfrak{string})$ is a kind of resolution of the ordinary Lie algebra $\mathfrak{g}$. It is for instance of use in the presentation of twisted differential string structures, where the shifted piece $b \mathbb{R}$ in $(b \mathbb{R} \to \mathfrak{string})$ picks up the failure of $\mathfrak{so}$-valued connections to lift to $\mathfrak{string}$-2-connections.
The proof of the following proposition may be instructive for seeing how the definition of horizontal equivalence of invariant polynomials takes care of having the invariant polynomials of $(b\mathbb{R} \to \mathfrak{string})$ agree with those of $\mathfrak{g}$.
There is an isomorphism
Notice that the Weil algebra of $(b\mathbb{R} \to \mathfrak{string})$ is given by
for new generators $\{r^a\}$ in degree 2, $h$ in degree 3 and $g$ in degree 4, coming with their Bianchi identities
For the following computations let $\{k_{a b}\}$ be the structure constants of the Killing form, so that
and assume that $\mu_3$ is normalized such that
(if another normalization is chosen, then the corresponding factor will float around the following formulas without changing anything of the end result).
Now the indecomposable invariant polynomials are those of $\mathfrak{g}$ and one additional one: $g$. This means that before deviding out horizontal equivalence on generators, the invariant polynomials of $(b \mathbb{R} \to \mathfrak{string})$ are not equal to those of $\mathfrak{g}$, due to the superfluous generator $g$.
But we do have the horizontal equivalence relation
where $cs$ is any Chern-Simons element for $\langle - , \rangle$, for instance
Notice that the homotopy $cs - \mu_3 + h$ here is indeed in $ker(W(\mathfrak{g}) \to CE(\mathfrak{g}))$: the component of $cs$ not in that kernel is precisely $\mu$. The above formula subtracts this offending summand and replaces it with the new generator $h$, which by definition is in the kernel and whose image under $d_W$ is the image of $\mu$ under $d_W$, plus the superfluous new generator of invariant polynomials.
Therefore in horizontal equivalence classes of invariant polynomials on $(b \mathbb{R} \to \mathfrak{string})$ the superfluous $g$ is identified with the Killing form $\langle-,- \rangle$, and hence the claim follows.
A symplectic Lie n-algebroid is an L-infinity algebroid that carries a binary and non-degeneraty invariant polynomial of grade $n$. This is a generalization of the notion of symplectic form to which it reduces for $n = 0$.
The invariant polynomials of a Lie algebra $\mathfrak{g}$, thought of as equipped with trivial differential, are the de Rham complex of differential forms on the universal moduli stack $\mathbf{B}G_{conn}$ of $G$-principal connections Freed-Hopkins 13.
For more on this see also at Weil algebra – Characterization in the smooth infinity-topos.
Let $\mathfrak{g}$ be a reductive Lie algebra. Then the subalgebra of invariant polynomials in the Weil algebra is the free graded algebra on the graded vector space of indecomposable invariant polynomials.
This graded vector space has a vector space isomorphism of degree -1 to the graded vector space of odd generators of the Lie algebra cohomology $H^\bullet(\mathfrak{g}) = H^\bullet(CE(\mathfrak{g}))$.
This appears for instance as (GHV, vol III, page 242, theorem I).
In ($\infty$-)Chern-Weil theory the crucial role played by the invariant polynomials is their relation to ∞-Lie algebra cocycles. One may understand invariant invariant polynomials as extending under Lie integration $\infty$-Lie algebra cocycles from cohomology to differential cohomology.
(Chern-Simons elements and transgression cocycles)
Let $\mathfrak{a} = \mathfrak{g}$ be an ∞-Lie algebra. Since the cochain cohomology of the Weil algebra $W(\mathfrak{g})$ is trivial, for every invariant polynomial $\langle -\rangle \in W(\mathfrak{g})$ there is necessarily an element $cs \in W(\mathfrak{g})$ with
This we call a Chern-Simons element for $\langle -\rangle$.
This element $cs$ will in general not sit entirely in the shifted copy. Its restriction
is a ∞-Lie algebra cocycle. We say this is in transgression with $\langle -\rangle$.
In total this construction yields a commuting diagram
where $b^{n-1}\mathbb{R}$ denotes the ∞-Lie algebra whose CE-algebra has a single generator in degree $n$ and vanishing differential, and where $CE(b^n \mathbb{R}) = inv(b^{n-1}\mathbb{R})$ is the algebra of invariant polynomials of $b^{n-1} \mathbb{R}$.
The element $\mu \in CE(\mathfrak{g})$ associated to an invariant polynomial $\langle -\rangle$ by the above procedure is indeed a cocycle, and its cohomology class is independent of the choice of the element $cs$ involved.
The procedure that assigns $\mu$ to $\langle- \rangle$ is illustarted by the following diagram
From the fact that all morphisms involved respect the differential and from the fact that the image of $\langle-\rangle$ in $CE(\mathfrak{g})$ vanishes it follows that
the element $\mu$ satisfies $d_{CE(\mathfrak{a})} \mu = 0$, hence that it is an ∞-Lie algebra cocycle;
any two different choices of $cs$ lead to cocylces $\mu$ that are cohomologous.
This construction exhibits effectively the preimage of the connecting homomorphism in the cochain cohomology sequence induced by $W(\mathfrak{g}) \to CE(\mathfrak{g})$:
The dg-algebra of invariant polynomials is a sub-dg-algebra of the kernel of the morphism $i^* : W(\mathfrak{a}) \to CE(\mathfrak{a})$ from the Weil algebra to the Chevalley-Eilenberg algebra of $\mathfrak{a}$
From the short exact sequence
we obtain the long exact sequence in cohomology
We say that $\mu \in CE(\mathfrak{a})$ is in transgression with $\omega \in inv(\mathfrak{a}) \subset CE(\Sigma \mathfrak{a})$ if their classes map to each other under the connecting homomorphism $\delta$:
Example. In the case where $\mathfrak{g}$ is an ordinary semisimple Lie algebra, this reduces to the ordinary study of ordinary Chern-Simons 3-forms associated with $\mathfrak{g}$-valued 1-forms. This is described in the section On semisimple Lie algebras.
For $\mathfrak{g}$ a Lie n-alghebra, let $\mathbf{B}G := \mathbf{cosk}_{n+1} \exp(\mathfrak{g})$ be the ∞-Lie group obtained by Lie integration from it.
For $X$ a paracompact smooth manifold with good open cover $\{U_i \to X\}$ whose Cech nerve we write $C(U)$, a cocycle for a $G$-principal ∞-bundle on $X$ is cocycle with coefficients in the simplicial sheaf
We say an $\infty$-connection on this is an extension to a cocycle with coefficients in the simplicial sheaf
The diagrams on the left encode those $\mathfrak{g}$-valued forms on $U \times \Delta^k$ whose curvature vanishes on $\Delta^k$. One can show that one can always find a genuine $\infty$-connection: one for which the curvatures have no leg along $\Delta^k$, in that they land in $\Omega^\bullet(U) \otimes C^\infty(\Delta^k)$. For those the above diagram extends to
This defines the simplicial presheaf that classifies connections on ∞-bundles.
By pasting-postcomposition with the above diagrams for an invariant polynomial we obtain connections with values in $b^n \mathbb{R}$
where in the bottom row we have the curvature characteristic forms $\langle F_\nabla\rangle$ coresponding to the connection, and in the middle the corresponding Chern-Simons forms.
More details for the moment at ∞-Chern-Weil theory introduction.
invariant polynomial, invariant theory
The idea of invariant polynomials as a $G$-invariant subalgebra in the Weil algebra, and their use in what is now called Chern-Weil theory, originates with
André Weil, Géométrie différentielle des espaces fibres, unpublished, item [1949e] in: André Weil Oeuvres Scientifiques / Collected Papers, vol. 1 (1926-1951), 422-436, Springer 2009 (ISBN:978-3-662-45256-1)
Henri Cartan, Cohomologie réelle d’un espace fibré principal différentiable. I : notions d’algèbre différentielle, algèbre de Weil d’un groupe de Lie, Séminaire Henri Cartan, Volume 2 (1949-1950), Talk no. 19, May 1950 (numdam:SHC_1949-1950__2__A18_0)
Henri Cartan, Notions d’algèbre différentielle; applications aux groupes de Lie et aux variétés où opère un groupe de Lie, in: Centre Belge de Recherches Mathématiques, Colloque de Topologie (Espaces Fibrés) Tenu à Bruxelles du 5 au 8 juin 1950, Georges Thon 1951 (GoogleBooks)
(These two articles have the same content, with the same section outline, but not the same wording. The first one is a tad more detailed.)
Shiing-shen Chern, Differential geometry of fiber bundles, in: Proceedings of the International Congress of Mathematicians, Cambridge, Mass., (August-September 1950), vol. 2, pages 397-411, Amer. Math. Soc., Providence, R. I. (1952) (pdf, full proceedings vol 2 pdf)
Shoshichi Kobayashi, Katsumi Nomizu, Section XII.2 in: Foundations of Differential Geometry, Volume 1, Wiley 1963 (web, ISBN:9780471157335, Wikipedia)
Invariant polynomials for Lie algebras of simple Lie groups are disussed in
A standard textbook account of the traditional theory is in volume III of
The notion of invariant polynomials of $L_\infty$-algebras has been introduced in
The abstract characterization is due to
An account in the more general context of Lie theory in cohesive (infinity,1)-toposes is in section 3.3.11 of
Last revised on August 28, 2020 at 13:45:27. See the history of this page for a list of all contributions to it.