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 Generally, for , are not equivalent in the sense of changing coordinates: There does not exist ,

Proof

Eigenvalues remain unchanged under coordinate transformation

Generally, have different eigenvalues

Example

Prop are equivalent, are equivalent

use

Its complex conjugate [conjugate-representation]

The above only works for

Second-order tensor, with one undergoing complex conjugation

can be decompose to

[Hermitian-tensor]

[anti-Hermitian-tensor]

The conjugate modification in the other direction is similar

[Hermitian-tensor-induced-linear-map] The induced action of on :=

[matrix-description-of-Hermitian-tensor]

Use tensor base

Corresponding to the matrix representation

Or written in Dirac notation

The version without complex conjugation

notation-overload: The space of matrix representation is also denoted as

Hermitian matrix

anti-Hermitian matrix

For , since , the dimension of anti-Hermitian is higher than Hermitian

[Hermitian-tensor-induced-linear-map-matrix] The matrix representation of

preserves the decomposition into Hermitian and anti-Hermitian

For general , there is also

The "matrix" representation of needs to be handled separately, the composition of cannot be represented as usual matrix multiplication. It can still make well-defined

[spacetime-momentum-spinor-representation]

( represents "momentum" or "velocity" or tangent vector)

Bijection

metric

let and , action

Because multiplication is non-commutative, the general definition of for is problematic. However, the definition of does not require general multiplicative commutativity. At this time, is defined as . This is not a good notation because it may not be generalized to

are also the spinor lifts of . Similarly, is also the spinor lift of

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

for

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

(when generalized to , it corresponds to all imaginary elements)

  • is orthonormal base

Question What is the cognitive motivation for these constructions of ?

  • acts on lifts to act on
  • action, denoted as
  • action, denoted as

[square-root-of-Lorentz-group]

act on is some kind of "square" of , i.e. or represents the "real part" or "symmetric part"

Thus are some kind of "square root" of act on

[square-root-of-spacetime-metric-1] (inspired by ref-14, ch.11)

. Note that it is not alternating for

metric with is some kind of "square" of , i.e.

quadratic-form is

cf. Pauli-matrix

The calculation shows that is correct for . For , use sum

orthogonal of sigma matrix can also be obtained through calculation, thus

Thus is some kind of "square root" of metric

Question Still no direct intuitive calculation equation โ€ฆ

[spacetime-momentum-aciton-spinor-representation]

let .

where is Lorentz-group-spinor-representation

is spacetime-momentum-spinor-representation

Then there is a homomorphism

Proof Use the correspondence of 3 rotations, 3 boosts

[spinor-representation-adjoint]

Proof

use 3 boost, 3 rotation

use

,

Prop Use spacetime-momentum-spinor-representation for , + projection gives projective-lightcone

Therefore the following are equivalent

  • act on via
  • act on via

Proof

with (requires associative law of multiplication?)

Given

in ,

let

Also need to calculate

In order to get , compare norm, phase

norm

phase

so let with

Generally . Compare to get

[parity]

parity corresponds to vs representation, or vs , cf. conjugate-representation

let .

parity corresponds to space inversion

corresponds to time inversion

parity corresponds to trace or determinant reversal

[determinant-reversal]

let

determinant reversal with

[trace-reversal] := . or .

==> determinant reversal is the same as trace reversal

[square-root-of-spacetime-metric-2] a "square root" of metric

let .

give

Also have

for Pauli-matrix

  • or

  • , for (because parity is spatial inversion)

A better explanation of this "square root"?

Direct matrix multiplication without parity will give the square root of the metric, with ,

[square-root-of-Lorentz-Lie-algebra] "square root" of spacetime Lie-algebra

where is Lorentz-Lie-algebra

Proof

  • is ฮด rotation in where is any cyclic

  • where

Question A better explanation? Representation?

[property-of-parity]

  • i.e. parity preserve Hermitian

[parity-Euclidean-invariant] parity commutes with spatial action . In , it manifests as and commutes with . let

Generally, they do not commute, for example, certainly does not commute with the time-changing part in

let

or

or

[parity-reverse-boost] The effect of parity on the Lie-algebra is that it does not change ฮด rotation, but multiplies ฮด boost by

[Euclidean-spinor]

replace lightcone with just sphere acted by and

replace with , with

use trace-free Hermitian