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

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