[论文解读] On complex structures in physics

Andrzej Trautman|arXiv (Cornell University)|Sep 24, 1998

Algebraic and Geometric Analysis参考文献 8被引用 31

一句话总结

本文研究了基础物理学中复结构的几何起源，重点关注其在量子力学、广义相对论和旋量理论中的出现。它表明，洛伦兹流形中的无剪切零测地线族会生成柯西-黎曼结构，将复几何与物理时空联系起来，并证明在这些几何中，麦克斯韦方程组可归结为寻找典范丛的闭截面，而柯西-黎曼结构的可嵌入性决定了非平凡解的存在性。

ABSTRACT

Complex numbers enter fundamental physics in at least two rather distinct ways. They are needed in quantum theories to make linear differential operators into Hermitian observables. Complex structures appear also, through Hodge duality, in vector and spinor spaces associated with space-time. This paper reviews some of these notions. Charge conjugation in multidimensional geometries and the appearance of Cauchy-Riemann structures on Lorentz manifolds with a congruence of null geodesics without shear are presented in considerable detail.

研究动机与目标

• 理解复数在物理学中的几何起源，超越其代数用途。
• 研究复结构如何在时空几何中自然出现，特别是通过霍奇对偶性和无剪切零测地线族。
• 阐明复结构在量子力学和规范理论中的作用，特别是与U(1)对称性和电荷共轭的关系。
• 建立洛伦兹流形中光学几何与黎曼空间中赫尔米特几何之间的对应关系。
• 提出并检验一个猜想：三维柯西-黎曼结构当且仅当其典范丛存在闭的非零截面时，才可局部嵌入。

提出的方法

• 通过满足 J² = -id 的自同态 J 在实向量空间上定义复结构，并将其延拓至复化空间以定义 W₊ 和 W₋ 子空间。
• 利用克莱夫福德-霍奇-凯勒对偶性，基于度量符号，诱导旋量空间和多向量空间上的复结构。
• 分析高维时空中的电荷共轭，并将其与旋量表示中的复结构联系起来。
• 通过微分形式 μ、λ 和 ξ 的拉回构造洛伦兹度量，确保度量具有无剪切零测地线族。
• 将麦克斯韦方程组的求解归约为寻找柯西-黎曼流形典范丛的闭截面，当可嵌入时，解可表示为 f(z,w)dz∧dw。
• 应用柯西-黎曼方程 Z⌟df = 0 确定柯西-黎曼流形上的全纯坐标 z 和 w，从而实现其在 C² 中的局部嵌入。

实验结果

研究问题

• RQ1 复结构在时空理论中如何几何地出现，特别是通过霍奇对偶性和零测地线族？
• RQ2 量子电动力学中的U(1)规范群与狄拉克方程中复数的出现之间有何关系？
• RQ3 在三维流形上的柯西-黎曼结构在何种条件下会存在一个非平凡解，该解对应于典范丛中的闭形式？
• RQ4 麦克斯韦方程组在无剪切零测地线时空中的解的存在性是否可由底层柯西-黎曼结构的可嵌入性完全表征？
• RQ5 猜想是否成立：光滑的三维柯西-黎曼流形当且仅当其可局部嵌入 C² 时，才存在其典范丛的闭非零截面？

主要发现

• 爱因斯坦-洛伦兹流形中无剪切零测地线族在三维子流形上诱导出柯西-黎曼结构，该结构可局部嵌入当且仅当其典范丛存在闭的非零截面。
• 在这些族中适配的麦克斯韦方程组的解仅在柯西-黎曼结构可嵌入时存在，且形式为 F′ = f(z,w)dz∧dw，其中 f 为全纯函数。
• 存在不可嵌入的柯西-黎曼空间，其满足柯西-黎曼方程，但其典范丛中不存在闭的非零截面，这意味着此类解不能产生物理的麦克斯韦场。
• 当局部表示中 λ 和 Z 的 L = 0 时，柯西-黎曼结构变为平凡，对应于法向零测地线族，柯西-黎曼方程退化为经典形式。
• 本文提出一个猜想：三维柯西-黎曼流形当且仅当其可局部嵌入时，才存在其典范丛的闭非零截面，从而将一个几何性质与物理场方程的可解性联系起来。
• 通过构造 P²π*(μ⊗sym μ̄) + π*λ⊗sym ξ 的洛伦兹度量，确保纤维为无剪切零测地线族，且度量完全由柯西-黎曼数据决定。