notation 14.101 Algebra-valued forms and their bracket

Rests on

No declared or derived dependency edges point away from this node yet.

Supports

• depends_on definition 14.103 Connection $1$-form ¶
  • depends_on definition 14.105 Curvature $2$-form ¶
    • depends_on definition 24.49 Prequantum datum ¶
      • depends_on definition 24.53 Real polarization and polarized sections ¶
        • depends_on proposition 24.54 The vertical polarization gives wave mechanics ¶
      • depends_on definition 24.50 Prequantum operator ¶
        • depends_on proposition 24.51 Prequantization is a Lie-algebra homomorphism ¶
        • depends_on proposition 24.54 The vertical polarization gives wave mechanics ¶ ↺
      • depends_on proposition 24.56 The Bohr–Sommerfeld condition is a triviality condition on the prequantum holonomy ¶
        • depends_on remark 24.57 The half-integer, and the honest status of the construction ¶
    • depends_on proposition 14.106 The curvature is horizontal, and measures non-integrability ¶
      • depends_on proposition 14.114 Chern–Weil forms descend to the base ¶
        • depends_on definition 14.115 Characteristic forms ¶
    • depends_on theorem 14.107 Bianchi identity ¶
  • depends_on definition 24.49 Prequantum datum ¶ ↺
  • depends_on proposition 14.104 A connection splits the tangent space ¶
    • depends_on proposition 14.106 The curvature is horizontal, and measures non-integrability ¶ ↺
• depends_on definition 14.105 Curvature $2$-form ¶ ↺