proposition 14.117 The quadratic invariant and its Chern–Simons form

Rests on

• depends_on definition 14.109 $G$-invariant polynomial ¶
  • depends_on equation 14.144 eq:lie-invpol-linear ¶
  • depends_on equation 14.145 eq:lie-invpol-symm ¶
• depends_on equation 14.86 eq:lie-sopq-gen ¶
• depends_on proposition 14.113 The Chern–Simons forms of degree $3$ and $5$ ¶
  • depends_on definition 14.112 Chern–Simons form ¶
    • depends_on definition 14.109 $G$-invariant polynomial ¶ ↺
    • depends_on theorem 14.111 Chern–Weil ¶
      • depends_on equation 14.142 eq:lie-bianchi ¶
      • depends_on equation 14.139 eq:lie-curvature ¶
      • depends_on theorem 14.110 thm:lie-invpoly ¶
        • depends_on definition 14.109 $G$-invariant polynomial ¶ ↺
        • depends_on equation 14.5 eq:lie-structconst ¶
        • proves proof ch:12-lie-groups-fibre-bundles@proof-45 ¶
      • proves proof ch:12-lie-groups-fibre-bundles@proof-46 ¶
  • depends_on definition 14.109 $G$-invariant polynomial ¶ ↺
  • depends_on equation 14.164 eq:lie-formcs1 ¶
  • proves proof ch:12-lie-groups-fibre-bundles@proof-47 ¶
• proves proof ch:12-lie-groups-fibre-bundles@proof-50 ¶

Supports

Nothing declares a dependency on this node yet.