definition 14.95 Fibre bundle

Rests on

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

Supports

• depends_on definition 14.99 Associated bundle ¶
• depends_on definition 14.96 Section ¶
  • depends_on proposition 14.98 A principal bundle is trivial if and only if it has a global section ¶
• depends_on definition 14.97 Principal bundle ¶
  • depends_on definition 14.99 Associated bundle ¶ ↺
  • 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 definition 24.50 Prequantum operator ¶
        • depends_on proposition 24.56 The Bohr–Sommerfeld condition is a triviality condition on the prequantum holonomy ¶
      • 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 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 proposition 14.98 A principal bundle is trivial if and only if it has a global section ¶ ↺