1. notice
  2. English
  3. logic_topic
  4. 1. logic
  5. 2. basic
  6. 3. map
  7. 4. order
  8. 5. combinatorics
  9. calculus
  10. 6. real_numbers
  11. 7. limit_sequence
  12. 8. division_algebra
  13. 9. Euclidean_space
  14. 10. Minkowski_space
  15. 11. polynomial
  16. 12. analytic_Euclidean
  17. 13. analytic_struct_operation
  18. 14. ordinary_differential_equation
  19. 15. convex_hull
  20. 16. volume
  21. 17. integral
  22. 18. divergence
  23. 19. limit_net
  24. 20. topology
  25. 21. compact
  26. 22. connected
  27. 23. topology_struct_operation
  28. 24. exponential
  29. 25. angle
  30. geometry
  31. 26. manifold
  32. 27. metric
  33. 28. metric_connection
  34. 29. geodesic_derivative
  35. 30. curvature_of_metric
  36. 31. Einstein_metric
  37. 32. constant_sectional_curvature
  38. 33. simple_symmetric_space
  39. 34. principal_bundle
  40. 35. group
  41. 36. stereographic_projection
  42. 37. Hopf_bundle
  43. field_theory
  44. 38. point_particle_non_relativity
  45. 39. point_particle_relativity
  46. 40. scalar_field
  47. 41. scalar_field_current
  48. 42. scalar_field_non_relativity
  49. 43. projective_lightcone
  50. 44. spacetime_momentum_spinor_representation
  51. 45. Lorentz_group
  52. 46. spinor_field
  53. 47. spinor_field_current
  54. 48. electromagnetic_field
  55. 49. Laplacian_of_tensor_field
  56. 50. Einstein_metric
  57. 51. interaction
  58. 52. harmonic_oscillator_quantization
  59. 53. spinor_field_misc
  60. 54. reference
  61. 中文
  62. 55. notice
  63. 逻辑
  64. 56. 逻辑
  65. 57. 基础
  66. 58. 映射
  67. 59. 序
  68. 60. 组合
  69. 微积分
  70. 61. 实数
  71. 62. 数列极限
  72. 63. 可除代数
  73. 64. Euclidean 空间
  74. 65. Minkowski 空间
  75. 66. 多项式
  76. 67. 解析 (Euclidean)
  77. 68. 解析 struct 的操作
  78. 69. 常微分方程
  79. 70. convex_hull
  80. 71. 体积
  81. 72. 积分
  82. 73. 散度
  83. 74. 网极限
  84. 75. 拓扑
  85. 76. 紧致
  86. 77. 连通
  87. 78. 拓扑 struct 的操作
  88. 79. 指数函数
  89. 80. 角度
  90. 几何
  91. 81. 流形
  92. 82. 度规
  93. 83. 度规的联络
  94. 84. Levi_Civita 导数
  95. 85. 度规的曲率
  96. 86. Einstein 度规
  97. 87. 常截面曲率
  98. 88. simple_symmetric_space
  99. 89. 主丛
  100. 90. 群
  101. 91. 球极投影
  102. 92. Hopf 丛
  103. 场论
  104. 93. 非相对论点粒子
  105. 94. 相对论点粒子
  106. 95. 纯量场
  107. 96. 纯量场的守恒流
  108. 97. 非相对论纯量场
  109. 98. 光锥射影
  110. 99. 时空动量的自旋表示
  111. 100. Lorentz 群
  112. 101. 旋量场
  113. 102. 旋量场的守恒流
  114. 103. 电磁场
  115. 104. 张量场的 Laplacian
  116. 105. Einstein 度规
  117. 106. 相互作用
  118. 107. 谐振子量子化
  119. 108. 旋量场杂项
  120. 109. 参考

note-math

Although integration on manifolds considers not being limited to a specific metric, differential manifolds have still not been singled out.

The situation with fiber bundles is similar; the codomain and its symmetries seem uncertain in the general case.

Example

homogeneous space

frame bundle

principal-bundle-connection

Some intuition can be inspired by the specific symmetry space with the triple as a fiber bundle

Ehresmann connection

The connection on the tangent bundle is considered a generalization of the translation structure. The clue is that, It’s said that, the maximum dimension of the diffeomorphism that preserves the tangent bundle connection is the dimension of the affine group. One way to understand connections is the Ehresmann connection, viewed as a vertical-horizontal decomposition of the second-order tangent bundle , where the horizontal part might be a generalization of the “parallel transport” of the tangent space during translation (and thus not just translation alone), in an infinitesimal manner, indicating that when changing infinitesimally, in order for the connection or the associated vector field on to generate a local tangent bundle automorphism of the tangent bundle rather than a general local diffeomorphism of , this decomposition must also be linear with respect to the vertical part, or say that the transformation on the hole fiber space is .

Let be a tangent vector field. Its differential maps to . connection gives a projection to the vertical subbundle , then after the canonical isomorphism from the vertical subbundle to the tangent bundle, we get covariant derivative . A connection is called flat if it satisfies the following equivalent conditions

  • the connection makes the horizontal subbundle integrable
  • the curvature is zero
  • there exists a local coordinate system where , i.e., in this coordinate system, the connection coefficients are zero and the covariant derivative is the coordinate derivative

The concept of a geodesic is weaker than that of a connection; a geodesic depends only on the symmetrical part of a connection.

“The transformation of the entire fiber space under “parallel transport” is “ can be generalized to other non-tangent bundle fiber bundles. For example, in gauge theory, there are cases where the transformation of the entire fiber space under parallel transport is . Or consider a Lie group acting/represented on a fiber manifold , then the transformation of the entire fiber space under parallel transport is acting on . All of these can be reduced to principal bundles — acting on the fiber — and their associated bundles. The concept of flat connection also applies