[论文解读] Homogeneous spin Riemannian manifolds with the simplest Dirac operator

P. M. Gadea, J. C. González-Dávila+1 more|arXiv (Cornell University)|Apr 22, 2015

Geometric Analysis and Curvature Flows参考文献 13被引用 5

一句话总结

本文证明了具有与黎曼对称空间中相同形式的狄拉克算子的齐次自旋黎曼流形，恰好是无迹循环流形。通过非紧型的横对称纤维化，作者对这些非对称流形进行了分类，特别是针对经典和例外李群的情形，并通过在 $\widetilde{SL}(2,\mathbb{R})$ 上的显式计算，证实了狄拉克算子具有类似对称的形式，建立了总空间与纤维之间自旋结构的一一对应关系。主要贡献在于从狄拉克算子结构的角度，识别出最简单的非对称自旋流形。

ABSTRACT

We show the existence of nonsymmetric homogeneous spin Riemannian manifolds whose Dirac operator is like that on a Riemannian symmetric spin space. Such manifolds are exactly the homogeneous spin Riemannian manifolds $(M,g)$ which are traceless cyclic with respect to some quotient expression $M=G/K$ and reductive decomposition $\mathfrak{g} = \mathfrak{k} \oplus \mathfrak{m}$. Using transversally symmetric fibrations of noncompact type, we give a list of them.

研究动机与目标

• 识别其狄拉克算子形式与黎曼对称空间相同的齐次自旋黎曼流形，尽管它们本身并非对称的。
• 将此类流形表征为无迹循环流形，从而将对称情形推广至非对称设置。
• 利用非紧型横对称纤维化对这些流形进行分类，特别关注经典和例外李群的情形。
• 在这些纤维化中，建立总空间与纤维之间自旋结构的一一对应关系。
• 通过在 $\widetilde{SL}(2,\mathbb{R})$ 上的显式计算，验证狄拉克算子具有类似对称的形式，使用标准左不变向量场。

提出的方法

• 使用巴尔（Bär）针对非单模群的通用公式，在齐次自旋黎曼流形上定义狄拉克算子。
• 通过李代数的约化分解 $\mathfrak{g} = \mathfrak{k} \oplus \mathfrak{m}$ 和循环条件 $\sum_{\text{cyc}} \langle[X,Y]_{\mathfrak{m}}, Z\rangle = 0$，引入无迹循环流形的概念。
• 使用横对称纤维化 $\pi: G/K \to G/L$，其中 $(G,L)$ 是非紧型的黎曼对称对。
• 通过 $B$-正交分解 $\mathfrak{g} = \mathfrak{k} \oplus \mathfrak{m}$，$\mathfrak{m} = \mathfrak{f} \oplus \mathfrak{p}$ 构造 $G/K$ 上的适配度量，其中 $\mathfrak{f}$ 对应于纤维 $L/K$。
• 应用自旋联络公式 $\nabla^\Sigma_{\bar{X}_i}\psi = \bar{X}_i(\psi) + \frac{1}{4}\sum_{j,k} \Gamma^k_{ij} \bar{X}_j \cdot \bar{X}_k \cdot \psi$ 来计算狄拉克算子。
• 通过证明迹项 $r+s+t=0$ 恒为零，验证狄拉克算子简化为 $D\psi = \sum_{i=1}^n X_i \cdot X_i(\psi)$。

实验结果

研究问题

• RQ1 哪些非对称齐次自旋黎曼流形的狄拉克算子与黎曼对称空间中的形式完全相同？
• RQ2 在约化分解 $\mathfrak{g} = \mathfrak{k} \oplus \mathfrak{m}$ 下，何种几何条件可确保狄拉克算子呈现对称形式 $\sum X_i \cdot X_i(\psi)$？
• RQ3 如何利用非紧型横对称纤维化对这些流形进行分类，并关联其自旋结构？
• RQ4 在这些纤维化中，总空间与纤维之间的自旋结构是否存在一一对应关系？
• RQ5 在 $\widetilde{SL}(2,\mathbb{R})$ 上，若采用无迹循环度量，其狄拉克算子是否如预测般简化为对称形式？

主要发现

• 齐次自旋黎曼流形上的狄拉克算子具有对称形式 $D\psi = \sum_{i=1}^n X_i \cdot X_i(\psi)$ 当且仅当该流形为无迹循环流形。
• 所有具有类似对称狄拉克算子的非对称齐次自旋黎曼流形，均通过非紧型横对称纤维化得以完整分类。
• 对于 $G$ 为经典单李群的情形，满足 $L/K$ 为不可约同构且 $G/L$ 为非紧型不可约对称的三元组 $(G,L,K)$ 在表1和表2中完整列出。
• 对于 $G$ 为单例外李群的情形，相应的李代数三元组 $(\mathfrak{g},\mathfrak{l},\mathfrak{k})$ 列于表3。
• 在 $\widetilde{SL}(2,\mathbb{R})$ 上，由标准左不变基 $\{X_1,X_2,X_3\}$ 定义的左不变度量满足 $r+s+t=0$，从而构成无迹循环度量，此时狄拉克算子简化为 $D\psi = \sum_{i=1}^3 X_i \cdot X_i(\psi)$。
• 自旋联络与狄拉克算子的计算结果证实迹项 $-(r+s+t)/2 = 0$ 恒为零，从而验证了其类似对称的形式。