group cohomology, nonabelian group cohomology, Lie group cohomology
cohomology with constant coefficients / with a local system of coefficients
differential cohomology
In its most refined form, a secondary characteristic class is a characteristic class in ordinary differential cohomology. The term “secondary” refers to the fact that such a differential cohomology class in degree $n$ not only encodes a degree-$n$ class in integral cohomology, but in addition higher connection data in degree $(n+1)$: the data of a circle n-bundle with connection.
The refined Chern-Weil homomorphism takes values in such “secondary characteristic classes”.
But the precise meaning of the term secondary characteristic class varies a little in the literature, as follows. Historically it was first understood in more restricted senses.
In the strict sense of the word, a secondary characteristic class is a characteristic of a situation where an ordinary characteristic class vanishes (PetersonStein1962).
More specifically, a special case of this situation in differential geometry arises where the characteristic class is represented in de Rham cohomology by a curvature characteristic form. If that curvature form happens to vanish, the corresponding Chern-Simons form itself becomes closed, and now itself represents a cohomology class, in one degree lower. This is often called the corresponding Chern-Simons secondary characteristic class . Sometimes the term “secondary geometric invariants” is used for Chern-Simons forms (see for instance the review (FreedII)).
Using refined Chern-Weil theory the notions of curvature characteristic forms and their Chern-Simons forms are unified into the notion of cocycles in ordinary differential cohomology. The notion of Cheeger-Simons differential character was introduced to describe this unification, and it is has become tradition to call these differential characters themselves secondary characteristic classes independently of whether the corresponding ordinary characteristic class/curvature characteristic form vanishes or not (for instance (DupontKamber, Karlsson). More descriptively, this case is maybe better referred to as a differential characteristic class . See there for more details.
The statement that secondary invariants are indeed secondary to primary invariants can be formalized in the language of prequantum boundary field theory by saying that (higher) topological Yang-Mills theory (which is controled by differential Chern classes) has as boundary field theory (higher) Chern-Simons theory.
As explained at boundary field theory, this statement is reflected by the existence of a universal correspondence in the slice (∞,1)-topos $\mathbf{H}_{/\flat \mathbf{B}^{n+1}U(1)}$, where $\mathbf{H}$ is Smooth∞Grpd, $\flat$ is the flat modality and $\mathbf{B}^{n+1}U(1)$ is the circle (n+2)-group:
where the bottom right map is the canonical one in the context of differential cohesion, the outer diagram is any specified one and the factorization through the
This exhibits a secondary invariant $\nabla$ (a cocycle in ordinary differential cohomology) of degree (n+1) as a boundary condition for the theory of closed characteristic forms.
In this picture, one obtains further “higher order invariants” by successively further transgrssing and forming higher order boundaries.
If we view here, as we may $\nabla$ as the local Lagrangian of an infinity-Chern-Simons theory, then the ternary invariants are WZW terms; the quaternary invariants are Wilson loop terms. (lpqft)
The notion in its general cohomological sense appears in
The notion of Chern-Simons forms originates in
The special meaning in the context of Chern-Weil theory in differential geometry was established by the introduction of Cheeger-Simons differential characters. Reviews of that include
Discussion of secondary and higher order invariant as higher order boundary field theories to higher topological Yang-Mills? prequantum field theory is in
Specifically the secondary Chern-Simons and quternary WZW invariants in this context are discussed in
and the ternary WZW invariant in