Chern–Simons forms on associated bundles, and boundary terms

Let E be a principle bundle over a compact manifold M with compact structural group G. For any G-invariant polynomial P, the transgressive forms \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$TP(\omega)$$\end{document} defined by Chern and Simons in (Ann. Math. 99:48–69, 1974) are shown to extend to forms \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\Phi P(\omega)$$\end{document} on associated bundles B with fiber a quotient F = G/H of the group. These forms satisfy a heterotic formula \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$d\Phi P(\omega)=P(\Omega)-P(\Psi),$$\end{document} relating the characteristic form \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$P(\Omega)$$\end{document} to a fiber-curvature characteristic form. For certain natural bundles B, \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$P(\Psi)=0$$\end{document} , giving a true transgressive form on the associated bundle, which leads to the standard obstruction properties of characteristic classes as well as natural expressions for boundary terms. These forms also yield new secondary characteristic classes giving refined information about the associated bundles B.