[论文解读] The spinor bundle of Riemannian products

Frank Klinker|ArXiv.org|Dec 4, 2002

Advanced Differential Geometry Research参考文献 6被引用 3

一句话总结

本文在非必然为黎曼积度量的一般度量类下，建立了黎曼积流形 $M = M_1 \times \cdots \times M_N$ 的旋量丛与各因子旋量丛张量积之间的典范同构。该构造通过 Clifford 乘法与 $\mathbb{Z}_2$-分次结构，利用因子旋量丛的张量积定义了 $M$ 上的旋量丛，证明了即使在无 holonomy 或局部积假设下，$M$ 仍是旋量流形，且其旋量丛同构于张量积丛的子丛。

ABSTRACT

In this note we compare the spinor bundle of a Riemannian manifold $(M=M_1 imes... imes M_N,g)$ with the spinor bundles of the Riemannian factors $(M_i,g_i)$. We show, that - without any holonomy conditions - the spinor bundle of $(M,g)$ for a special class of metrics is isomorphic to a bundle obtained by tensoring the spinor bundles of $(M_i,g_i)$ in an appropriate way.

研究动机与目标

• 建立黎曼积流形 $M = M_1 \times \cdots \times M_N$ 上旋量丛的严格构造，基于其因子的旋量丛。
• 解决旋量丛与因子旋量丛张量积之间同构关系缺乏一般性证明的问题，该关系在物理学中广泛使用但此前未被严格证明。
• 阐明此类同构成立的条件，特别是针对非黎曼积度量但满足特定度量分解（2）的情形。
• 将已知的 $N=2$ 且因子为一维情形（Baum, 1989a）的结果推广至任意维度及形式（2）的一般度量。

提出的方法

• 本文从因子 $M_i$ 的旋量丛 $S_i$ 构造丛 $W = \bigotimes_{i=1}^N (S_i^+ \oplus S_i^-)$，并赋予其 $\mathbb{Z}_2$-分次结构。
• 通过使用跟踪插入第 $k$ 个因子算子时符号变化的线性映射 $\delta_k$，定义 $W$ 上的修正 Clifford 乘法。
• 假设 $M$ 上的度量具有形式 $g_{ab}|_{TM_i} = A_i^c_a g_i^{cd} A_i^d_b$，以确保切丛正交分解，且标架丛约化为 $SO(D_1) \times \cdots \times SO(D_N)$。
• 通过纤维积构造 $(P_G \times P_{\widetilde{H}})/P_H$，将 $M$ 上的 $Spin(D)$-主丛约化为 $Spin(D_1) \times \cdots \times Spin(D_N)$，从而构造 $M$ 上的旋结构。
• 通过同构 $S \simeq (P_G \times P_{\widetilde{H}})/P_H \times_{\widetilde{G}} \hat{S}$ 将 $M$ 上的旋量丛 $S$ 识别为 $W$ 的子丛，其中 $\hat{S}$ 为标准旋量表示。
• 关键技术步骤是证明对所有 $X,Y \in TM$ 和 $\Xi \in W$，Clifford 关系 $(XY + YX)\Xi = -2g(X,Y)\Xi$ 在 $W$ 上成立，从而确认该丛具备合法的 Clifford 模结构。

实验结果

研究问题

• RQ1 在何种条件下，黎曼积流形 $M = M_1 \times \cdots \times M_N$ 的旋量丛同构于其因子旋量丛的张量积？
• RQ2 能否在不假设度量为黎曼积或 holonomy 分解的前提下，建立 $M$ 的旋量丛与因子旋量丛张量积之间的同构？
• RQ3 总旋量丛 $W$ 上的 Clifford 乘法如何从各因子 $M_i$ 扩展至积流形 $M$？
• RQ4 $\mathbb{Z}_2$-分次在确保旋量在 $M$ 上 Clifford 乘法下具有正确变换性质方面起什么作用？
• RQ5 在给定度量条件（2）下，$M$ 上的旋结构是否由各 $M_i$ 上的旋结构唯一确定？这在丛约化中如何体现？

主要发现

• 当度量 $g$ 满足度量条件（2）时，即使 $g$ 不是黎曼积度量，流形 $M = M_1 \times \cdots \times M_N$ 的旋量丛也同构于张量积丛 $W = \bigotimes_{i=1}^N (S_i^+ \oplus S_i^-)$ 的子丛 $S$。
• 对所有 $X,Y \in TM$ 和 $\Xi \in W$，Clifford 关系 $(XY + YX)\Xi = -2g(X,Y)\Xi$ 在 $W$ 上成立，确认 $W$ 具备合法的 Clifford 模结构。
• 在 $M$ 上的旋结构由各 $M_i$ 上的旋结构诱导，且 $M$ 上的 $Spin(D)$-主丛约化为 $Spin(D_1) \times \cdots \times Spin(D_N)$，从而保证 $M$ 是旋量流形。
• 当 $A_i = \text{id}$ 时，该构造恢复了标准结果：黎曼积流形的旋量丛即为因子旋量丛的张量积。
• 该构造将已知的 $N=2$ 且因子为一维的情形（Baum, 1989a）推广至任意 $N$ 及形式（2）的一般度量，填补了数学文献中的空白。
• 该结果在伪黎曼情形下也成立，如注记 6(1) 所述，从而将其适用范围扩展至黎曼几何之外。