For semisimple Lie algebra targets
For discrete group targets
For discrete 2-group targets
For Lie 2-algebra targets
For targets extending the super Poincare Lie algebra
(such as the supergravity Lie 3-algebra, the supergravity Lie 6-algebra)
Chern-Simons-supergravity
for higher abelian targets
for symplectic Lie n-algebroid targets
for the $L_\infty$-structure on the BRST complex of the closed string:
higher dimensional Chern-Simons theory
topological AdS7/CFT6-sector
∞-Lie theory (higher geometry)
A Chern-Simons element on an L-∞ algebroid (named after Shiing-shen Chern and James Simons who considered this for semisimple Lie algebras) is an element of its Weil algebra that exhibits a transgression between an ∞-Lie algebroid cocycle and an invariant polynomial.
It is construct that arises in the presentation of the ∞-Chern-Weil homomorphism by an ∞-anafunctor of simplicial presheaves.
We discuss ∞-Lie algebras and ∞-Lie algebroids $\mathfrak{a}$ of finite type in terms of their Chevalley-Eilenberg algebras $CE(\mathfrak{a})$. For $\infty$-Lie algebras these are objects in the category dgAlg of dg-algebras (over a given ground field). For $\infty$-Lie algebroids these are dg-algebras equipped with a lift of the degree-0 algebra to an algebra over a given Fermat theory $T$ and such that the differential is a $T$-derivation in this degree. (See ∞-Lie algebroid for details). We shall write in the following $dgAlg$ also for the category of dg-algebras with this extra structure and leave the Fermat theory $T$ implicit.
For $\mathfrak{g}$ an ∞-Lie algebra or more generally ∞-Lie algebroid, $\mu \in CE(\mathfrak{g})$ a ∞-Lie algebra cocycle (a closed element of the Chevalley-Eilenberg algebra) and $\langle - \rangle \in W(\mathfrak{g})$ an invariant polynomial, a Chern-Simons element exhibiting the transgression between the two is an element
such that
we have $d_{W(\mathfrak{g})} cs = \langle -\rangle$
and $cs|_{CE(\mathfrak{g})} = \mu$
where the restriction is along the canonical morphism $W(\mathfrak{g}) \to CE(\mathfrak{g})$.
Notice that a degree-$n$ ∞-Lie algebroid cocycle $\mu$ is equivalently a morphism
and an invariant polynomial of degree $n+1$ is equivalently a morphism
in dgAlg.
A Chern-Simons element $cs$ an $\mathfrak{a}$ witnessing the transgression of $\langle - \rangle$ to $\mu$ is equvivalently a morphism
such that we have a commuting diagram in dgAlg
where the vertical morphisms are the canonical ones.
If we think of
$W(\mathfrak{g})$ as differential forms on the total space of the universal $G$-bundles;
$CE(\mathfrak{g})$ as differential forms on the fiber
$inv(\mathfrak{g})$ as differential forms on the base space
then the abov expresses the classical notion of transgression of forms from the fiber to the base of a fibe bundle (for instance Borel, section 9).
For a given transgressive cocycle $\mu$ and transgressing invariant polynomial $\langle - \rangle$ the set of Chern-Simons elements witnessing the transgression is a torsor (based over the point and) over the additive group
of Chern-Simons elements for vanishing cocycle and vanishing invariant polynomial.
Since the Weil algebra of an L-∞ algebra has trivial cohomolgy in positive degree, every invariant polynomial $\langle -,\cdots, -\rangle$ has a Chern-Simons element and there is a standard formula for it.
Let $\mathfrak{g}$ be an L-∞ algebra with $k$-ary brackets $[-,\cdots, -]_k : \mathfrak{g}^{\otimes k} \to \mathfrak{g}$ and equipped with a quadratic invariant polynomial $\langle -,-\rangle$.
A Chern-Simons element for $\langle-,-\rangle$ is given by the formula
where $A : W(\mathfrak{g}) \to \Omega^\bullet(\Sigma)$ is any $\mathfrak{g}$-valued form
There is a canonical contracting homotopy
satisfying $[d_W, \tau] = Id$
and the above element is
To see this, let $\{t_a\}$ be a basis and $\{t^a\}$ the dual basis. Then the differential of the Chevalley-Eilenberg algebra can be written
where
is the corresponding $k$-ary bracket.
Write
for the components of the invariant polynomial in this basis.
Then the claim is that
where the coefficients are
Write $F(\mathfrak{g})$ for the free dg-algebra on the graded vector space $\mathfrak{g}^*$. In terms of the above basis this is generated from $\{t^a, \mathbf{d}t^a\}$. As discussed at Weil algebra, there is a dg-algebra isomorphism
given by sending $t^a \mapsto t^a$ and $\mathbf{d}t^a \mapsto d_{CE} t^a + r^a$.
Let $h : F(\mathfrak{g}) \to F(\mathfrak{g})$ be the derivation which on generators is defined by
Notice that this is not the homotopy that exhibits the triviality of $Id_{F(\mathfrak{g}^*)}$, rather that homotopy is $\frac{1}{L} h$, where $L$ is the word length operator for element in $F(\mathfrak{g}^*)$ in terms of the generators $\{t^a , \mathbf{d}t^a\}$.
Therefore the homotopy $\tau$ is the composite top morphism in the diagram
Unwinding this, we find
We consider the ordinary Chern-Simons element as an example of this formula: let $\mathfrak{g}$ be a semisimple Lie algebra and $\langle -,-\rangle$ the Killing form invariant polynomial. Then the above computation gives
We discuss the general abstract structures of which Chern-Simons elements are presentations and how they are related to other structures.
The term Chern-Simons element alludes to the term Chern-Simons form and Chern-Simons theory. In the following we explain the relation.
We explain here briefly how Chern-Simons elements provide a presentation of a generalization of the Chern-Weil homomorphism – the ∞-Chern-Weil homomorphism in cohesive (∞,1)-topos theory – in the sense in which (∞,1)-toposes have presentations by a model structure on simplicial presheaves.
To warm up, we start with considering a traditional setup of Lie groupoid theory. Recall that for $G$ a Lie group, we may form its delooping Lie groupoid dnoted $*//G$ or $\mathbf{B}G$. Then with $X$ any smooth manifold, we have that the groupoid of morphisms of Lie groupoids $X \to \mathbf{B}G$ is equivalent to that of $G$-principal bundles on $X$:
Here we are thinking of Lie groupoids as differentiable stacks, hence as objects in the (2,1)-topos
of stacks/(2,1)-sheaves on the site SmoothMfd (equivalently on its small dense subsite CartSp of Cartesian spaces). (This is discussed in detail at principal bundle ).
There is a differential refinement of the Lie groupoid $\mathbf{B}G$, to the smooth groupoid
where $\mathbf{P}_1(X)$ is the path groupoid of $X$. This is the (2,1)-sheaf given by the (2,1)-sheafification of the assignment that sends a smooth manifold $U$ to the groupoid of Lie algebra-valued 1-forms on $U$.
There is a corresponding natural equivalence
of morphisms into $\mathbf{B}G_{conn}$ with the groupoid of $G$-principal bundles with with connection on $X$. (This is described in detail at connection on a bundle ).
In particular if $G = U(1)$ is the circle group, a morphism $X\to \mathbf{B}U(1)_{conn}$ is a circle bundle with connection. This
This allows already to consider a simple case of a characteristic class and its refinement to a differential characteristic class: Let $U$ be the unitary group. There is a canonical morphism of Lie groupoids $\mathbf{c}_1 : \mathbf{B}U \to \mathbf{B}U(1)$ given by the determinant. This – or rather its image in cohomology
is a smooth representative of the characteristic class called the first Chern class . Its differential refinement is the evident morphism
that sends a $\mathfrak{u}$-valued differential form to the trace of its Lie algebra value. Postcomposition with this is the refined Chern-Weil homomorphism
with values in circle bundles with connection, hence in degree-2 ordinary differential cohomology.
It is this kind of construction on Lie groupoids that we now want to generalize to a notion of smooth ∞-groupoids, to see that Chern-Simons elements are a means to constructi morphisms akind to the differential first Chern-class $\hat \mathbf{c}_1$.
A general abstract context for higher geometry equipped with differential cohomology is a cohesive (∞,1)-topos $\mathbf{H}$ of ∞-groupoids equipped with cohesive structure , such as smooth cohesive structure.
An example for such is the ∞-stack-analog of the stack-(2,1)-topos over SmoothMfd: the ∞-stack (∞,1)-topos Smooth∞Grpd $:= \hat Sh_{(\infty,1)}(SmoothMfd)$.
In that context we have for instance all the higher deloopings of $U(1)$: the circle Lie (n+1)-groups
This is such that the evident generalizations of the above classification statements hold: we have that morphisms $X \to \mathbf{B}^n U(1)$ form an n-groupoid
equivalent to that of circle n-bundles/$(n-1)$-bundle gerbes on $X$.
If here $X = \mathbf{B}G$ is again the delooping of a Lie group, this means that now also the higher characteristic classes are represented by morphisms
For instance for $G = Spin$ the spin group, the first fractional Pontryagin class has a smooth incarnation given by a morphism of the form
corresponding under the above equivalence to the ordinary Chern-Simons circle 3-bundle on $\mathbf{B}G$.
Every cohesive (∞,1)-topos comes canonically and essentially uniquely equipped with all the intrinsic structure that we need for the discussion of a refinement of this to differential characteristic classes:
There is an endo-(∞,1)-adjunction
where
$\mathbf{\Pi}(X)$ is the path ∞-groupoid of a smooth ∞-groupoid $X$;
$\mathbf{\flat}\mathbf{B}G$ is the coefficient object for flat ∞-connections on $G$-principal ∞-bundles.
A morphism $\mathbf{\Pi}(X) \to \mathbf{B}^n U(1)$ encodes the flat higher parallel transport of a flat circle n-bundle with connection, and we have that the n-groupoid of morphisms
is that of flat circle n-bundles with connection/ (n-1)-bundle gerbes with connection.
We observe that a trivial circle $n$-bundle with connection is equivalently just a globally defined differential n-form. Therefore if we define the modified (∞,1)-adjunction
by forming the (∞,1)-pullback
which is the coefficient object for trivial principal $\infty$-bundles equipped with flat $\infty$-connection, one finds (discussed in detail here) that morphisms $X \to \mathbf{\flat}_{dR} \mathbf{B}^n U(1)$ correspond to trivial circle bundle with connection, hence to cocycles in de Rham cohomology of $X$;
This now allows us to construct differential refinements:
one can show (detailed discussion is here) that there are canonical cocycles
in the degree $(n+1)$-de Rham cohomology of $\mathbf{B}^n U(1)$: these are the universal curvature characteristic forms on $\mathbf{B}^n U(1)$.
Then for $\mathbf{c} : \mathbf{B}G \to \mathbf{B}^n U(1)$ any smooth characteristic class, the corresponding (unrefined) differential characteristic class is simply the composite
The (unrefined) ∞-Chern-Weil homomorphism is postcomposition with this morphism:
This is finally where the Chern-Simons elements come in:
Chern-Simons elements are a means to present the composite morphism $\mathbf{c}_{dR}$ of smooth ∞-groupoids by an ∞-anafunctor between smooth Kan complexes.
This presentation we describe in the next section.
(In fact a bit more is true: the serve to present the refinement of $\mathbf{c}_{dR}$ to a morphism $\hat \mathbf{c}$ with values in ordinary differential cohomology. This we come to further below.)
We explain now how Chern-Simons elements arise as a presentation of a differential characteristic class $\mathbf{c}_{dR}$ by a span of simplicial presheaves.
At the heart of the presentation of differenial characteristic classes by morphisms of simplicial presheaves is a differential refinement of the Lie integration of L-∞ algebras and ∞-Lie algebroid: for $\mathfrak{g}$ an ordinary Lie algebra, one finds that the 3-coskeleton of the simplicial presheaf that assigns flat vertical $\mathfrak{g}$-Lie algebra valued 1-forms
is the delooping of the simply connected Lie group $G$ integrating $\mathfrak{g}$
Similarly the Lie integration of the line Lie n-algebra $b^{n-1}\mathbb{R}$
is the $n$-fold delooping of $\mathbb{R}$:
Moreover, for $\mu : \mathfrak{g} \to b^{n-1}\mathbb{R}$ a degree-$n$ cocycle in Lie algebra cohomology, simple postcomoposition gives its image under Lie integration
Under coskeletization on the left this carves out the periods of $\mu$ as a lattice in $\mathbb{R}$, which typically is the integers, so that this descends to degree $n$-cocycle in Lie group cohomology with coefficients in $U(1) \simeq \mathbb{R}/\mathbb{Z}$
(See Lie group cohomology and smooth ∞-groupoid for discussion of the refined notion of Lie group cohomology arising here.)
The differential refinement of these construction is based on the following fact (discussed in detail here)
the object $\mathbf{B}^n U(1) \in$ Smooth∞Grpd is equivalently presented by a quotient of the presheaf of Kan complexes given by
where on the right we have the set of horizontal morphisms in dgAlg that make a commuting diagram with the canonical vertical morphisms as indicated.
(We may think of a morphism of simplicial presheaves $X \to \mathbf{B}^n U(1)_{diff}$ as a circle n-bundle/$(n-1)$-bundle gerbe equipped with a pseudo-connection . )
Notice that the bottom morphism here encodes precisely a degree-$n$ differential form $\omega$ on $U \times \Delta^k$,
The morphism $curv : \mathbf{B}^n U(1) \to \mathbf{\flat}_{dR} \mathbf{B}^{n+1} U(1)$ is presented on this by the ∞-anafunctor
by the map that sends such a form $\omega$ to its curvature $d \omega$. If the pseudo-connections that we are dealing with are genuine connections the curvature is a basic form down on $U$ and this means diagrammatically that it forms the pasting composite
and then picks out the bottom horizontal morphism.
Therefore our task of presenting $\mathbf{c}_{dR}$ amounts to computing the composition of ∞-anafunctors
To do se we need to complete componentwise to commuting diagrams. To this end we first complete the assignment of $\exp(\mathfrak{g})$ to a diagram
Here in the middle row an unrestricted $\mathfrak{g}$-∞-Lie algebra valued differential form appears, which is the local $\mathfrak{g}$-∞-connection. And in the lower row all its curvature characteristic forms appear, obtained by evaluating the curvature $F_A$ in the invariant polynomials on $\mathfrak{g}$.
This is such that a choice of Chern-Simons element witnessing the transgression of an invariant polynomial to $\mu$ allows to refine $\exp(\mu)$ to
Here now the middle row is the evaluationn of the connection form inside the Chern-Simons element. This is the corresponding Chern-Simons form
of the $\mathfrak{g}$-connection evaluated in the given Chern-Simons element. Its curvature is the curvature characteristic form $\langle F_A \rangle$ appearing in the bottom line of the diagram, which is obtained by evaluating the $\mathfrak{g}$-valued curvature in the given invariant polynomial.
A more comprehensive account of this is at Chern-Weil homomorphism in Smooth∞Grpd.
By the above construction, every Chern-Simons element $cs \in W(\mathfrak{a})$ of degree $d$ on an ∞-Lie algebroid $\mathfrak{a}$ induces an action functional on the space of ∞-Lie algebroid valued forms on $\mathfrak{a}$ over a $d$-dimensional smooth manifold $\Sigma$
given by
This generalizes the action functional of ordinary Chern-Simons theory to general Chern-Simons elements. In the examples below is a list of various quantum field theories that arise as generalized Chern-Simons theories this way.
For more details see infinity-Chern-Simons theory.
Let $\mathfrak{g}$ be a semisimple Lie algebra. For the following computations, choose a basis $\{t^a\}$ of $\mathfrak{g}^*$ and let $\{r^a\}$ denotes the corresponding degree-shifted basis of $\mathfrak{g}^*[1]$.
Notice that in terms of this the differential of the CE-algebra is
and that of the Weil algebra
and
Let $P_{a b} r^a \wedge r^b \in W(\mathfrak{g})$ be the Killing form invariant polynomial. This being invariant
is equivalent to the fact that the coefficients
are skew-symmetric in $a$ and $b$, and therefore skew in all three indices.
A Chern-Simons element for the Killing form invariant polynomial $\langle -, - \rangle = P(-,-)$ is
In particular the Killing form $\langle -,-\rangle$ is in transgression with the degree 3-cocycle
We compute
Under a Lie algebra-valued form
this Chern-Simons element is sent to
If $\mathfrak{g}$ is a matrix Lie algebra then the Killing form is the trace and this is equivalently
This is a familiar form of the standard Chern-Simons form in degree 3.
For $\Sigma$ a 3-dimensional smooth manifold the corresponding action functional $S_{CS} : \Omega^1(\Sigma, \mathfrak{g}) \to \mathbb{R}$
is the standard action functional of Chern-Simons theory.
For $\mu \in CE(\mathfrak{g})$ any higher order cocycle, $CS_\mu(A)$ is the corresponding higher order Chern-Simons form.
Higher Chern-Simons elements on the Poincare Lie algebra $\mathfrak{g} = \mathfrak{iso}(d,1)$ or the super Poincare Lie algebra $\mathfrak{g} = \mathfrak{siso}(d,1)$ yield action functionals for gravity and supergravity.
(…)
See (Zanelli).
For instance for $\mu_7$ the 7-cocycle on a semisimple Lie algebra, $CS_{\mu_7}(A)$ is the corresponding Chern-Simons 7-form, corresponding to the second Pontryagin class.
Notice that this we may also think of as a 7-cocycle on the corresponding string Lie 2-algebra. As such it is the one that classifies the extension to the fivebrane Lie 6-algebra. The corresponding Chern-Simons 7-form appears as the local conneciton data in the Chern-Simons circle 7-bundle with connection that obstructions the lift from a differential string structure to a differential fivebrane structure.
Let $\mathfrak{g} = (\mathfrak{g}_2 \stackrel{\partial}{\to} \mathfrak{g})_1$ be a strict Lie 2-algebra.
Then
every invariant polynomial $\langle -\rangle_{\mathfrak{g}_1} \in inv(\mathfrak{g}_1)$ on $\mathfrak{g}_1$ is a Chern-Simons element on $\mathfrak{g}$, restricting to the trivial ∞-Lie algebra cocycle;
for $\mathfrak{g}_1$ a semisimple Lie algebra and $\langle - \rangle_{\mathfrak{g}_1}$ the Killing form, the corresponding Chern-Simons action functional on ∞-Lie algebra valued forms
is the sum of the action functionals of topological Yang-Mills theory with BF-theory with cosmological constant (in the sense of gravity as a BF-theory):
where $F_A$ is the ordinary curvature 2-form of $A$.
This is from (SSSI).
For $\{t_a\}$ a basis of $\mathfrak{g}_1$ and $\{b_i\}$ a basis of $\mathfrak{g}_2$ we have
Therefore with $\langle -\rangle_{\mathfrak{g}_1} = P_{a_1 \cdots a_n} \sigma r^{a_1} \wedge \cdots \sigma t^{a_n}$ we have
The right hand is a polynomial in the shifted generators of $W(\mathfrak{g})$, and hence an invariant polynomial on $\mathfrak{g}$. Therefore $\langle - \rangle_{\mathfrak{g}_1}$ is a Chern-Simons element for it.
Now for $(A,B)$ an ∞-Lie algebra-valued form, we have that the 2-form curvature is
Therefore
A symplectic Lie n-algebroid $(\mathfrak{a}, \omega)$ is a Lie n-algebroid $\mathfrak{a}$ equipped with a binary non-degenerate invariant polynomial $\omega \in W(\mathfrak{a})$ of degree $n+2$.
The corresponding Chern-Simons elements of $\omega$ are the integrands for the action functionals of various TQFT sigma-models.
With $\{-,-\} : CE(\mathfrak{a}) \otimes CE(\mathfrak{a}) \to CE(\mathfrak{a})$ the graded Poisson bracket induced by $\omega$ we have (see Roytenberg) that there exists a ∞-Lie algebra cocycle $\mu \in CE(\mathfrak{a})$ such that
So in particular $\mu$ being a cocycle means that
The cocycle $\mu$ is in transgression with the invariant polynomial $\frac{n}{2}\omega$ via the Chern-Simons element
where $\epsilon$ is the Euler vector field (Roytenberg).
Here $\mathbf{d}$ is the shift derivation in the Weil algebra, in that $d_{W(\mathfrak{a})} = d_{CE(\mathfrak{a})} + \mathbf{d}$.
To safe typing signs, we write as if all functions were even graded. By standard reasoning the computation holds true then also for arbitrary grading.
Observe that
on unshifted generators we have
we have graded commutators
and
(as one checks on generators).
Therefore
where in the first line we used that by definition of invariant polynomial $d_{W(\mathfrak{a})} \omega = 0$. Similarly, using that by definition $d_{CE(\mathfrak{a})} \mu = 0$ we have
So in total we have
In local coordinates where $\omega = \omega_{a b} \mathbf{d}x^a \wedge \mathbf{d}x^b$ we have
The Chern-Simons action functional corresponding to this Chern-Simons element on $\mathfrak{a}$ is that considered in AKSZ theory.
Below we spell out some low-dimensional cases explicitly.
The symplectic Lie $n$-algebroid $(\mathfrak{P}, \omega)$ may be thought of as an n-symplectic manifold that models the phase space of a physical system.
This means for $(\mathfrak{g},\langle-\rangle) = (\mathfrak{P}, \omega)$ a symplectic Lie $n$-algebroid, the general diagram (1) exhibiting the transgression between cocycles and invariant polynomials via Chern-Simons elements may be labeled in terms of Hamiltonian mechanics, Lagrangian mechanics and symplectic geometry as follows
=–
See Hamiltonian, Lagrangian, symplectic structure.
For $X$ a smooth manifold we may regard its cotangent bundle $\mathfrak{a} = T^* X$ as a Lie 0-algebroid and the canonical 2-form $\omega \in W(\mathfrak{a}) = \Omega^\bullet(X)$ as a binary invariant polynomial in degree 2.
The Chern-Simons element is the canonical 1-form $\alpha$ which in local coordinates is $\alpha = p_i d q^i$.
The corresponding action functional on the line
is the familiar term for the action functional of the particle (missing the kinetic term, which makes it “topological”).
Let $\mathfrak{a} = \mathfrak{P}(X,\pi)$ by a Poisson Lie algebroid. This comes with the canonical invariant polynomial $\omega = \mathbf{d} \partial_i \wedge \mathbf{d} x^i$.
The corresponding ∞-Lie algebroid cocycle is
and a Chern-Simons element for this is
For $\Sigma$ a 2-dimensional smooth manifold the corresponding action functional on ∞-Lie algebroid-valued forms $S : \Omega^\bullet(X, \mathfrak{P}(X,\pi)) \to \mathbb{R}$ is the actional functional of the Poisson sigma-model
We compute in a local coordinte patch:
See D'Auria-Fre formulation of supergravity for the moment.
Chern-Simons element
A classical reference on transgression of differential forms from the fiber to the base of a fiber bundle is section 9 of.
The general definition of Chern-Simons element on $\infty$-Lie algebras and $\infty$-Lie algebroids is definition 21 in
The examples of the BF-theory invariant polynomials and Chern-Simons elements are in prop. 18 and def. 26 and the BF-action functional itself is extracted below proposition 28.
Dedicated discussion of $\infty$-Chern-Simons theory is at
A comprehensive account is in
A survey of higher Chern-Simons elements and their action functionals as applied to gravity and supergravity is in
Symplectic Lie $n$-algebroids are discussed in
Dmitry Roytenberg, Courant algebroids, derived brackets and even symplectic supermanifolds PhD thesis (arXiv)
On the structure of graded symplectic supermanifolds and Courant algebroids (arXiv)
A talk about the historical origins of the standard Chern-Simons forms see