Connections on bundles
Higher abelian differential cohomology
Higher nonabelian differential cohomology
Application to gauge theory
A Chern-Simons form is a differential form naturally associated to a differential form with values in a Lie algebra : it is the form trivializing (locally) a curvature characteristic form of , for an invariant polynomial:
where is the curvature 2-form of .
Therefore it is often also called a secondary characteristic form.
More generally, for two -valued 1-forms and for a “path of connections”, the Chern-Simons form relative to and is a form that trivializes the difference between the two curvature characteristic forms
Chern-Simons forms are of interest notably when the differential forms are (local representatives of) connections on a -principal bundle , for instance if is an Ehresmann connection 1-form.
Often the term Chern-Simons form is taken to refer to the case where is a semisimple Lie algebra with binary invariant polynomial (e.g. the Killing form) in which case is the 3-form
Even more specifically, often the term is understood to refer to the case where is a matrix Lie algebra, for instance (for the orthogonal group) or notably (for the unitary group). In that case the invariant polynomials may be taken to be given by matrix traces: .
It is sufficient to discuss properties of Chern-Simons forms for -valued 1-forms. The corresponding statements for connections on a -bundle follow straightforwardly.
Paths of connections
Let be a smooth manifold.
A smooth path of -valued 1-forms on is a smooth 1-form
Call this path pure shift if , where is the canonical coordinate along the interval.
We say this path goes from to , where
picks the copy of at parameter .
So a smooth path is a smooth 1-form on the cylinder and it is pure shift if it has no “leg” along the -direction. We will see that encodes infinitesimal gauge transformations, while is the change by infinitesimal shifts minus infinitesimal gauge transformations of the connection.
Let be an invariant polynomial on of arity .
Consider the fiber integration
This defines a -form .
We have that the exterior differential of this form is the difference of the curvature characteristic forms of and :
Write the fiber integration more explicitly as an integral
Then use that is linear and commutes with pullback, use Cartan's magic formula in view of the fact that is a closed form and then finally apply the Stokes theorem:
Above we saw that a general expression for the Chern-Simons obtained from a path of connections between and is
We now unwind this to get explicit formulas for the Chern-Simons form in terms of wedge products of connection forms and their curvatures.
For a pure shift path, notice that the curvature 2-form of is
Inserting this into the above expression yields
Notably if and is the constant path to such that
This is just an integral over a polynomial in with constant coefficients in forms. Peforming the integral yields a bunch of coefficients and with these the Chern-Simons form achieves the form
Particularly for and using the definition of the curvature 2-form we get
Gauged paths of connections
Above we defined for every path of connections form to which is pure shift . This is a possibly convenient but unnecessary restriction:
Notice that a general (gauged) path is a general 1-form which we can decompose in the form
where is a -valued function. The parallel transport of along defines an element in and shift of the connection along is now relative to the gauge transformation on induced by this function: the curvature 2-form now is
The Chern-Simons form defined with respect to any gauged lift of a pure shift path of connections differs from that of the pure shift path by an exact term.
In -Chern-Weil theory
We discuss now a more encompassing perspective on Chern-Simons forms the way it occurs in ∞-Chern-Weil theory.
We need to collect a few notions described elsewhere, on which the following discussion is based.
For a Lie algebra or more generally an ∞-Lie algebra we have the following dg-algebras naturally associated with it:
Given , the Lie integration of to degree is the ∞-Lie groupoid which is the -truncation of the simplicial presheaf
where here and in the following denotes the de Rham complex dg-algebra of those smooth differential forms on the standard smooth -simplex that have sitting instants in that for each every -face of has an open neighbourhood such that restricted to that neighbourhood is constant in the direction perpendicular to the face.
This is a one-object ∞-Lie groupoid which we may write
thus defining the ∞-Lie group that integrates in degree .
At ∞-Chern-Weil theory is explained that a resolution of that serves to compute curvature characteristic forms in that it encodes pseudo-connections on -principal ∞-bundles is given by the simplicial presheaf
where the vertical morphisms are the canonical ones.
Much of the subtlety of the full theory of connections of -bundles comes from the finite coskeleton-truncation here. For the following discussion of Chern-Simons forms it is helpful to first ignore this issue by taking , hence ignoring the truncation for the moment. This is sufficient for understand everything about Chern-Simons forms locally.
A cocycle in ∞-Lie algebra cohomology in degree is a morphism
Simply by composition (since we ignore the truncation for the moment), this integrates to a cocycle of the corresponding -Lie groupoids
At ∞-Chern-Weil theory it is discussed how the proper lift of this through the extension that computes the abstractly defined curvature characteristic classes is given by finding the invariant polynomial that is in transgression with in that we have a commuting diagram
with a choice of interpolating Chern-Simons element , which induces by precomposition with its upper part the morphism
By further projection to its lower part we get furthermore a morphism
Finally – and this is crucial now for obtaining the incarnation of Chern-Simons forms at integrals of curvature forms as in the above discussion – at ∞-Lie groupoid in the section on simplicial differential forms (see also circle n-bundles with connection the section Models from ∞-Lie integration) it is discussed that the operation that takes the -cells on the right and integrates the corresponding forms over the -simplex yields an equivalence
to the image of the -Deligne complex of sheaves under the Dold-Kan correspondence.
Higher order Chern-Simons form
With all of the above in hand, we can make now the following observations:
For a smooth manifold and an ∞-Lie algebra with coefficient for pseudo-connections being as above, a morphism
of simplicial presheaves (no resolution on the left, since we are concentrating on globally defined forms for the present purpose) is effectively a -values differential form on
For a cocycle on and a corresponding invariant polynomial the composite
discussed above produces the corresponding curvature characteristic form.
is a smooth path in the space of -valued forms on . Under the adjunction
this corresponds to a -form on this is the Chern-Simons form
The higher homotopies are higher order Chern-Simons forms.
The following proposition says this in a more precise way for ordinary Chern-Simons forms.
Ordinary Chern-Simons forms revisited
We now show how the traditional definition of Chern-Simons forms is reproduced by the general abstract mechanism.
(ordinary Chern-Simons form)
Let be a Lie algebra, and an invariant polynomial.
Then morphisms (of simplicial presheaves)
are in canonical bijection with Lie-algebra valued 1-forms . Morphisms
are in canonical bijection with closed -forms on and composition with the morphism
discussed above and under this canonical identification the composite
is the corresponding curvature characteristic form.
are in canonical bijection with smooth paths in the space of -valued 1-forms on and under composition with these identify with the corresponding Chern-Simons form
This is a straightforward unwinding of the definitions. We spell it out in the following in order to highlight the way the mechanism works.
By the Yoneda lemma and the definition of , a morphism is equivalently a diagram
Since is trivial in degree 0 and since is trivial above degree 0, the top morphism is necessarily 0 and the commutativity of the diagram is an empty condition.
The bottom morphism on the other hand enccodes precisely a -valued form, as discussed in some detail at Weil algebra.
Composition with the morphism is composition of the bottom morphism of the above digram with followed by fiber integration of the resulting -form
over the point. This fiber integration is of course trivial, so that we find that indeed is the curvature characteristic form defined on on .
Next, a homotopy is (again by the Yoneda lemma) a diagram
The top morphism defines an -parameterized family of -valued 1-form on the interval , which is canonically identified with a smooth function into the simply connected Lie group integrating] based at the identity, , by the formula
where is the Maurer-Cartan form on ,
or conversely by parallel transport
We may think of this as a smooth path of gauge transformations .
The bottom morphism encodes a -valued form
with and as before, such that and .
This is a smooth path in the space of 1-forms . In the case that this is a pure shift path in the terminology above. we look at this case in the following, for ease of notation.
Under composition with this becomes a -form
The fiber integration of this over is manifestly the same operation as that in the definition of the Chern-Simons form above.
As secondary characteristic forms
If a curvature characteristic form vanishes (for instance if the connection is flat or the degree of the curvature characteristic form is simply greater than the dimension of ) the corresponding Chern-Simons form is a closed form. So in this case the de Rham cohomology class of the curvature characteristic form becomes trivial, but the Chern-Simons form provides another de Rham class. This is therefore called a secondary characteristic class.
In particular on a 3-dimensional smooth manifold necessarily the Chern-Simons 3-form is closed. The functional
is the action functional of the quantum field theory called Chern-Simons theory.
More generally, for a -dimensional smooth manifold and an invariant polynomial of arity , the analous formula defines the action functional of -dimensional Chern-Simons theory.
In terms of -Lie algebroids
As discussed at invariant polynomial, Chern-Simons elements int the Weil algebra of a Lie algebra induce the transgression between invariant polynomials and cocycles in Lie algebra cohomology.
the data of an Ehresmann connection on a -principal bundle expressed as a diagram of ∞-Lie algebroids with the curvature characteristic forms on the bottom, a choice of transgression element for an invariant polynomial in transgression with a Lie algebra cocycle induces a diagram
The pasting of this to the above Ehresmann connection expresses in the middle horizontal morphism the Chern-Simons form and its curvature characteristic form
The article introducing the concept is
As it says in the introduction of this article, it was motivated by an attempt to find a combinatorial formula for the Pontrjagin class of a Riemannian manifold (i.e. that associated to the O(n)-principal bundle to which the tangent bundle is associated) and the Chern-Simons form appeared as a boundary term that obstructed to original attempt to derive the Pontrjagin class by integrating curvature classes simplex-by-simplex. But A combinatorial formula of the kind these authors were looking for was however (nevertheless) given later in
- Jean-Luc Brylinski, Dennis McLaughlin? Čech cocycles for characteristic classes , Comm. Math. Phys. 178 (1996) (pdf)
The statements about “pure shift” paths are reviewed on the first few pages of
which discusses the relevance of Chern-Simons forms in differential K-theory.
The L-∞-algebra-formulation is discussed in SSS08.
An abstract algebraic model of the algebra of Chern’s characteristic classes and Chern-Simons secondary characteristic classes and of the gauge group action on this algebra (which also enables some noncommutative generalizations) is pioneered in 2 articles
- Israel M. Gelfand, Mikhail M. Smirnov, The algebra of Chern-Simons classes, the Poisson bracket on it, and the action of the gauge group, Lie theory and geometry, 261–288, Progr. Math. 123, Birkhäuser 1994; Chern-Simons classes and cocycles on the Lie algebra of the gauge group, The Gelfand Mathematical Seminars, 1993–1995, 101–122, Birkhäuser 1996.