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 not only encodes a degree- class in integral cohomology, but in addition higher connection data in degree : 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.
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 , where is Smooth∞Grpd, is the flat modality and 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
In this picture, one obtains further “higher order invariants” by successively further transgrssing and forming higher order boundaries.
The notion in its general cohomological sense appears in
The notion of Chern-Simons forms originates in
Specifically the secondary Chern-Simons and quternary WZW invariants in this context are discussed in
and the ternary WZW invariant in