[论文解读] Dirac operators for coadjoint orbits of compact Lie groups

Marc A. Rieffel|ArXiv.org|Dec 15, 2008

Advanced Operator Algebra Research参考文献 38被引用 8

一句话总结

本文使用Levi-Civita联络和复结构，在不依赖spin^c群的前提下，对紧李群的余伴从轨道上构造了全局的、坐标无关的Dirac算子。它推导出在一般G-不变联络下Dirac算子形式自伴性的充要条件，将结果扩展至几乎Hermitian齐次空间，并阐明了非交换几何与高能物理背景中Dirac算子的含义。

ABSTRACT

The coadjoint orbits of compact Lie groups carry many Kähler structures, which include a Riemannian metric and a complex structure. We provide a fairly explicit formula for the Levi-Civita connection of the Riemannian metric, and we use the complex structure to give a fairly explicit construction of a canonical Dirac operator for the Riemannian metric, in a way that avoids use of the Spin^c groups. Substantial parts of our results apply to compact almost-Hermitian homogeneous spaces, and to other connections besides the Levi-Civita connection. For these other connections we give a criterion that is both necessary and sufficient for their Dirac operator to be formally self-adjoint. We hope to use the detailed results given here to clarify statements in the literature of high-eneregy physics concerning "Dirac operators" for matrix algebras that converge to coadjoint orbits. To facilitate this we employ here only global methods -- we never use local coordinate charts, and we use the cross-section modules of vector bundles.

研究动机与目标

• 提供一种基于几何结构而非spin^c群的、对紧李群余伴从轨道上Dirac算子的全局、坐标无关构造。
• 推导出配备Kähler结构的余伴从轨道上Levi-Civita联络的显式公式。
• 建立由与几乎Hermitian结构相容的G-不变联络构造的Dirac算子形式自伴性的必要且充分条件。
• 利用非交换几何工具，阐明在高能物理背景下，'矩阵代数上的Dirac算子'如何收敛于余伴从轨道的含义。
• 通过使用扭曲spin^c结构和小群K的酉表示，将结果推广至非自旋流形。

提出的方法

• 使用向量丛的截面模代替局部坐标图，以保持与非交换几何的一致性。
• 采用标准模基来定义切丛与旋量丛，从而代数化地定义Dirac算子。
• 通过余伴从轨道的Kähler结构诱导的Riemann度量，推导Levi-Civita联络公式。
• 利用复结构构造一个无需引用spin^c群的典范spin^c结构及其关联的Dirac算子。
• 引入一个基于挠率的判别准则，涉及求和 $\sum_p L_{\hat{X}_p}(e)(S^{-1/2}Y_p) = 0$，以判断在一般联络下Dirac算子的形式自伴性。
• 构造修正的Dirac算子 $\tilde{D}^\nabla = D^\nabla - \frac{1}{2}(M - M^*)$，以确保当原始算子不自伴时，其形式自伴性得以保持。

实验结果

研究问题

• RQ1 如何在不依赖spin^c群的前提下，于紧李群的余伴从轨道上构造Dirac算子？
• RQ2 配备Kähler结构的余伴从轨道上，Levi-Civita联络的显式形式是什么？
• RQ3 在几乎Hermitian齐次空间上，由G-不变且与J相容的联络构造的Dirac算子在何种条件下是形式自伴的？
• RQ4 在高能物理与非交换几何背景下，矩阵代数上的Dirac算子与余伴从轨道上的Dirac算子有何关联？
• RQ5 扭曲spin^c结构与小群K的酉表示在构造非自旋余伴从轨道上的Dirac算子中起何作用？

主要发现

• 推导出余伴从轨道上Levi-Civita联络的完全显式公式，避免使用局部坐标，仅依赖全局模基。
• 在不引用spin^c群的前提下，仅利用复结构与Riemann度量，构造了余伴从轨道上Kähler结构的典范Dirac算子。
• 确立了Dirac算子形式自伴性的必要且充分条件：$\sum_p L_{\hat{X}_p}(e)(S^{-1/2}Y_p) = 0$，其中 $\{Y_p\}$ 是 $\mathfrak{m}$ 关于 $g_0$ 的正交基。
• 该判别准则被证明与Ikeda（2005）在自旋情形下的结果等价，表明其深层结构相似性。
• 当原始算子不自伴时，构造了修正的Dirac算子 $\tilde{D}^\nabla = D^\nabla - \frac{1}{2}(M - M^*)$ 以确保其形式自伴性。
• 结果适用于一大类几乎Hermitian齐次空间，不仅限于余伴从轨道，并澄清了高能物理中矩阵代数极限下所用Dirac算子的几何起源。