1. notice
  3. 中文
  4. 1. feature
  6. 逻辑
  7. 2. 逻辑
  8. 3. 集合论
  9. 4. 映射
  10. 5. 序
  11. 6. 组合
  13. 微积分
  14. 7. 实数
  15. 8. 数列极限
  16. 9. ℝ^n
  17. 10. Euclidean 空间
  18. 11. Minkowski 空间
  19. 12. 多项式
  20. 13. 解析 (Euclidean)
  21. 14. 解析 (Minkowski)
  22. 15. 解析 struct 的操作
  23. 16. 常微分方程
  24. 17. 体积
  25. 18. 积分
  26. 19. 散度
  27. 20. 网极限
  28. 21. 紧致
  29. 22. 连通
  30. 23. 拓扑 struct 的操作
  31. 24. 指数函数
  32. 25. 角度
  34. 几何
  35. 26. 流形
  36. 27. 度规
  37. 28. 度规的联络
  38. 29. Levi-Civita 导数
  39. 30. 度规的曲率
  40. 31. Einstein 度规
  41. 32. 常截面曲率
  42. 33. simple-symmetric-space
  43. 34. 主丛
  44. 35. 群作用
  45. 36. 球极投影
  46. 37. Hopf 丛
  48. 场论
  49. 38. 非相对论点粒子
  50. 39. 相对论点粒子
  51. 40. 纯量场
  52. 41. 纯量场的守恒流
  53. 42. 非相对论纯量场
  54. 43. 光锥射影
  55. 44. 时空动量的自旋表示
  56. 45. Lorentz 群
  57. 46. 旋量场
  58. 47. 旋量场的守恒流
  59. 48. 电磁场
  60. 49. 张量场的 Laplacian
  61. 50. Einstein 度规
  62. 51. 相互作用
  63. 52. 谐振子量子化
  64. 53. 旋量场杂项
  65. 54. 参考
  67. English
  68. 55. notice
  69. 56. feature
  71. logic-topic
  72. 57. logic
  73. 58. set-theory
  74. 59. map
  75. 60. order
  76. 61. combinatorics
  78. calculus
  79. 62. real-numbers
  80. 63. limit-sequence
  81. 64. ℝ^n
  82. 65. Euclidean-space
  83. 66. Minkowski-space
  84. 67. polynomial
  85. 68. analytic-Euclidean
  86. 69. analytic-Minkowski
  87. 70. analytic-struct-operation
  88. 71. ordinary-differential-equation
  89. 72. volume
  90. 73. integral
  91. 74. divergence
  92. 75. limit-net
  93. 76. compact
  94. 77. connected
  95. 78. topology-struct-operation
  96. 79. exponential
  97. 80. angle
  99. geometry
  100. 81. manifold
  101. 82. metric
  102. 83. metric-connection
  103. 84. geodesic-derivative
  104. 85. curvature-of-metric
  105. 86. Einstein-metric
  106. 87. constant-sectional-curvature
  107. 88. simple-symmetric-space
  108. 89. principal-bundle
  109. 90. group-action
  110. 91. stereographic-projection
  111. 92. Hopf-bundle
  113. field-theory
  114. 93. point-particle-non-relativity
  115. 94. point-particle-relativity
  116. 95. scalar-field
  117. 96. scalar-field-current
  118. 97. scalar-field-non-relativity
  119. 98. projective-lightcone
  120. 99. spacetime-momentum-spinor-representation
  121. 100. Lorentz-group
  122. 101. spinor-field
  123. 102. spinor-field-current
  124. 103. electromagnetic-field
  125. 104. Laplacian-of-tensor-field
  126. 105. Einstein-metric
  127. 106. interaction
  128. 107. harmonic-oscillator-quantization
  129. 108. spinor-field-misc
  130. 109. reference

note-math

Prop 一般地, for , 在换坐标的意义下不等价: 不存在 ,

Proof

特征值换坐标不变

一般地, 有不同的特征值

Example

Prop 等价, 等价

use

其复共轭 [conjugate-representation]

以上只对 起作用

二重张量, 其中一个进行复共轭

can be decompose to

[Hermitian-tensor]

[anti-Hermitian-tensor]

对另一个方向的共轭修改 同理

[Hermitian-tensor-induced-linear-map] 在 的导出作用 :=

[matrix-description-of-Hermitian-tensor]

使用 tensor base

对应到矩阵表示

或者写为 Dirac 记号

无复共轭的版本

notation-overload: 矩阵表示的空间也记为

Hermitian 矩阵

anti-Hermitian 矩阵

对于 , 由于 , anti-Hermitian 的维数高于 Hermitian

[Hermitian-tensor-induced-linear-map-matrix] 的矩阵表示

保持分解到 Hermitian and anti-Hermitian

对于一般的 , 也有

的 "矩阵" 表示需要另作处理, 复合不能表示为通常的矩阵乘法. 仍然能够让 良定义

[spacetime-momentum-spinor-representation]

( 代表 "动量" or "速度" or 切向量)

双射

metric

let and , 作用

由于乘法非交换, 的 的一般定义有问题. 但是 的定义不需要一般乘法交换性. 此时 就定义为 . 这不是好的记号, 因为可能无法推广到

也是 的 spinor lift. 同理 也是 的 spinor lift

Example [Pauli-matrix] alias [sigma-matrix]

for

  • time-like
  • light-like
  • space-like

(推广到 时, 对应全部虚数元)

  • is orthonormal base

Question 这些构造的认知上的动机是什么?

  • 作用在 提升到 act on
  • action, denoted as
  • action, denoted as

[square-root-of-Lorentz-group]

act on 是 的某种 "平方", i.e. or 表示的 "real part" or "symmetric part"

从而 是 act on 的某种 "平方根"

[square-root-of-spacetime-metric-1] (启发自 ref-14, ch.11)

. 注意它不是对 交错

metric with 是 的某种 "平方", i.e.

quadratic-form is

cf. Pauli-matrix

计算结果说明 对于 是对的. 对于 , 使用 sum

orthogonal of sigma matrix 也可以通过计算得到, 从而

从而 是 metric 的某种 "平方根"

Question 仍然没有直接给出计算等式 的直观吗 …

[spacetime-momentum-aciton-spinor-representation]

let .

其中 是 Lorentz-group-spinor-representation

是 spacetime-momentum-spinor-representation

则有同态

Proof 使用 3 rotation, 3 boost 的 对应

[spinor-representation-adjoint]

Proof

use 3 boost, 3 rotation

use

,

Prop 将 spacetime-momentum-spinor-representation 用于 , + 射影 给出 projective-lightcone

因此以下等价

  • act on via
  • act on via

Proof

with (需要 乘法结合律?)

给定

in ,

let

还需要计算

为了得到 , 对比 norm, phase

norm

phase

so let with

一般地 . 比较 得到

[parity]

parity 对应到 vs representation, or vs , cf. conjugate-representation

let .

parity 对应到 space inversion

对应到 time inversion

parity 对应到 trace or determinant reversal

[determinant-reversal]

let

determinant reversal with

[trace-reversal] := . or .

==> determinant reversal 相同于 trace reversal

[square-root-of-spacetime-metric-2] metric 的一种 "平方根"

let .

give

也有

for Pauli-matrix

  • or

  • , for (因为 parity 是 spatial inversion)

这种 "平方根" 的更好的解释?

没有 parity 时的直接的矩阵乘法将会给出 metric 的平方根, with ,

[square-root-of-Lorentz-Lie-algebra] spacetime Lie-algebra 的 "平方根"

where is Lorentz-Lie-algebra

Proof

  • is δ rotation in where is any cyclic

  • where

Question 更好的解释? 表示?

[property-of-parity]

  • i.e. parity 保持 Hermitian

[parity-Euclidean-invariant] parity 和 spatial action 交换. 在 中表现为 和 交换. let

一般情况下不交换, 例如 当然不交换于 中的时间改变部分

let

or

or

[parity-reverse-boost] parity 对 Lie-algebra 的影响是, 不改变 δ 旋转, 对 δ boost 乘

[Euclidean-spinor]

replace lightcone with just sphere acted by and

replace with , with

use trace-free Hermitian