[论文解读] On the definition of geometric Dirac operators

Herbert Schroeder|ArXiv.org|May 24, 2000

Algebraic and Geometric Analysis参考文献 23被引用 11

一句话总结

本文提出了一个纯粹代数的、表示论意义上的自旋与自旋^c结构及其相关狄拉克算子的定义，并证明其与标准的纤维丛理论方法等价。文章推导出自旋-狄拉克算子平方的博赫纳-外森贝克公式，表明其等于联络拉普拉斯算子加上标量曲率及一个涉及丛联络的曲率项，该结果在指标理论与赛伯格-威滕理论中有应用。

ABSTRACT

In this largely expository paper we give a self-contained treatment of the Dirac operator. Emphasizing the algebraic point of view we first sketch the necessary prerequisites from Clifford algebras and their representations and then define (and characterize) spin structures and the corresponding Spin-Dirac operator purely in the spirit of irreducible representations. We also prove its equivalence with the usual approach via principal bundles. We conclude with other geometric Dirac operators and their properties using the afore-mentioned setting.

研究动机与目标

• 提出一种替代性的、基于表示论的自旋与自旋^c结构定义，避免使用主丛。
• 证明该代数定义与经典纤维丛理论构造之间的等价性。
• 澄清该方法的历史渊源，特别指出此前文献中被忽视的 G. Karrer 1963 年的工作。
• 在张量积伴随丛的背景下，推导并证明自旋-狄拉克算子的博赫纳-外森贝克公式。
• 将形式化方法与微分拓扑中的深刻结果（如指标定理与赛伯格-威滕理论）联系起来。

提出的方法

• 通过复克利福德丛的不可约表示来定义自旋结构，而非通过框架丛的提升。
• 利用克利福德代数的代数结构，内在地构造旋量丛及其相关狄拉克算子。
• 使用联络的莱布尼茨法则构造旋量与伴随丛张量积上的联络。
• 通过各独立联络的曲率，推导出张量积丛上诱导联络的曲率。
• 通过韦伊森贝克公式计算狄拉克算子平方的作用，将其分解为联络拉普拉斯算子、标量曲率及一个涉及伴随丛的曲率项。
• 建立自旋^c狄拉克算子的公式 $ D_{S^c}^2 = \nabla^*\nabla + \frac{1}{4}\tau + \frac{1}{2}\Omega $，其中 $ \Omega $ 为相应线丛的曲率形式。

实验结果

研究问题

• RQ1 能否仅通过克利福德丛的不可约表示来定义自旋结构及其相关狄拉克算子，而无需参考主丛？
• RQ2 基于表示论的自旋结构定义与经典纤维丛理论定义之间的确切关系是什么？
• RQ3 当旋量丛与一个伴随向量丛张量积时，狄拉克算子的博赫纳-外森贝克公式如何推广？
• RQ4 曲率项 $ \mathcal{R}^E $ 在张量积丛上狄拉克算子平方中的作用是什么？
• RQ5 这种代数方法如何与指标理论及拓扑不变量（如 $ \hat{A} $-亏格与 $ \alpha $-不变量）相联系？

主要发现

• 基于表示论的自旋结构定义与标准主丛定义等价，提供了更具代数性与可及性的表述方式。
• 在 $ S \otimes E $ 上，自旋-狄拉克算子的平方满足 $ (D_{AS} \otimes I_E)^2 = \nabla^*\nabla + \frac{1}{4}\tau + \mathcal{R}^E $，其中 $ \mathcal{R}^E $ 是涉及伴随丛曲率的零阶微分算子。
• 对于自旋^c结构，该公式推广为 $ D_{S^c}^2 = \nabla^*\nabla + \frac{1}{4}\tau + \frac{1}{2}\Omega $，其中 $ \Omega $ 为相关线丛的曲率形式。
• 在自旋^c流形上，狄拉克算子的指标由 $ \mathop{\rm ind}\nolimits D^{0}_{S^c} = \int_M e^{c/2} \hat{A}(TM) $ 给出，其中 $ c = c_1(L_{S^c}) $。
• $ \alpha $-不变量在存在正标量曲率度量的流形上为零，而这一障碍由指标公式所捕捉。
• 该形式化方法为赛伯格-威滕理论奠定了基础，后者在 4-流形的分类中带来了重大进展。