三旋性如何在 SU(3) 上旋转联络与狄拉克算子？

三旋性成为几何对象的旋转

这篇论文要问的是：三旋性通常只是关于 Spin(8) 表示的一个陈述，它能否作用在几何数据上，而不只是作用在抽象向量空间上。出发点是这样一个观察：在 M = SU(3) 上，切丛 TM 与两个手征旋量丛 S+、S− 同构，并且共享同一个结构群 PSU(3)。由于 su(3) 上的伴随作用在 SO(8) 中切出 PSU(3)，而 PSU(3) 又可以提升到 Spin(8)，限制到这个子群上的两个半旋量表示都与伴随表示重合。

正是这种重合使构造成为可能。一个与伴随不变内积相容的 TM 上的联络，可以经由这些同构被搬到 S+ 和 S− 上的联络，再搬回来。论文的贡献在于：对 SU(3) 上的一般度量（而不只是双不变度量）把这个搬运过程显式写出来，并检验搬运得到的联络是否与带挠率联络的标准旋量提升一致。两者并不总是一致，而正是这一差异产生了三个不同的联络，而不是一个。

形变 Okubo 积给出 Clifford 乘法

要定义旋量和狄拉克算子，就需要 Clifford 乘法，即让一个向量作用在一个旋量上的规则。在带有伴随不变度量的 su(3) 上存在一个正交积，即 Okubo 积，它满足类似 Clifford 的关系。论文把这个积提升为 TM、S+ 与 S− 之间的丛映射，把三者都等同于 M × su(3)，然后对这些映射作形变，使它们能为 TM 上任意度量 g 模拟 Clifford 乘法，而不只是内积诱导的双不变度量。

M × (su(3) ⊕ su(3)) 上存在这种 Clifford 模结构，正是把它等同于旋量丛 S = S+ ⊕ S− 的依据。换句话说，这个代数积不是记账工具：它正是作者能在远离高度对称情形的度量下写出 SU(3) 上旋量几何的机制，而这一区域恰恰是三个旋转后的联络可能彼此不同的地方。

一个联络给出三个联络的 Z3 轨道

给定 TM 上的度量 g 和度量联络 ∇，论文利用自然同构 TM ≃ S+ ≃ S−，把 ∇ 在 S+ 和 S− 上的旋量提升搬回 TM。这样就在 TM 以及每个 S± 上得到联络 ∇1、∇2 和 ∇3。结果是由 (g, ∇) 这一对数据唯一确定的 Z3 轨道，没有其他选择：这个旋转是度量联络空间上的一个 3 阶循环变换 T。

当 g 为双不变度量、且 ∇ 位于 Cartan-Schouten 线上时，三个联络合为一个。离开这一点，它们一般彼此不同，论文在定理 5.1 中给出了它们互不相同的精确条件。旋转后的联络一般带有挠率，论文用 ∇ 的曲率和 Okubo 积给出了它们的曲率张量、Ricci 标量和挠率迹的显式公式。一个紧凑的公式把新联络写成 ∇rX Y = ∂X Y + ρ(r−1)AX(Y)，其中 AX 在 TM 的 g-正交平凡化中记录分量 g(∇X Vj, Vk)，而 ρ(r−1) 是由三旋性联系起来的三个不等价 so(8) 表示。

旋转保持曲率范数与 Yang-Mills 泛函

由于这个旋转是典范的、且阶为 3，它下降到模空间之间的映射 Ag/G → Ag/G，其中 Ag 是度量联络的空间，G 是规范群。命题 5.2 表明 T 保持 Chern-Simons 3-形式与曲率范数，即 |R(T∇)|²g = |R(∇)|²g。保持曲率范数意味着这个旋转把 Yang-Mills 联络映为 Yang-Mills 联络，因此它定义了 (TM, g) 上 Yang-Mills 联络模空间的一个新的三重对称性。

论文把这一点推广到 Higgs 场。它研究 Hg，即 TM 的 g-斜自同态空间，把它解释为伴随 Higgs 场，并在其上定义一个自然的三旋性作用；该作用保持自然内积，并满足相容关系 T(∇X φ) = (T∇)X(Tφ)。定理 5.4 表明，联络与 Higgs 场的同时旋转下降到模空间之间的映射 (Ag × Hg)/G → (Ag × Hg)/G，并且自然的 Yang-Mills-Higgs 泛函被保持。因此这个旋转是这些泛函的 Euler-Lagrange 解空间的对称性，而不只是底层丛的对称性。

自伴性要求从旋量一侧出发

TM 上旋转后的联络一般具有非零的挠率迹，而这类联络的经典狄拉克算子不是形式自伴的。为了得到自伴算子，论文选取一个手征丛，比如 S+，这相当于在 M 上选定一个定向，然后改为从 S+ 上的联络 ∇r 出发。它用 Drψ = Σk Vk · ∇rVk ψ 定义椭圆算子 Dr : Γ(S+) → Γ(S−)，计算它们的 L² 伴随 D†r，并用 Dr 与 D†r 在 S = S+ ⊕ S− 上构造反对角的算子，作为自伴狄拉克算子。

按 gamma 矩阵展开后，算子具有形式 Drψ = Σj γj(∂Vj + ½ divg Vj)ψ + ¼ Σj≠k≠l Γrjkl γjγkγlψ − ½ τr · ΓS ψ，其中 ΓS 是手征算子，τr 是 ∇r 的挠率迹向量场，Γrjkl = g(∇rVj Vk, Vl)。只含一个 gamma 矩阵的项在三个联络之间相同；含七个 gamma 矩阵的轴向量项则不同。论文第 8 节还表明，即使 ∇ 取 Levi-Civita 联络，τr 也可以非零，因此挠率并不是某种特殊初始选择造成的假象。

算子与不变 Killing 场的 Kosmann 导数交换

构造依赖于 (g, ∇) 这一对数据和 SU(3) 上的一个定向，因此可以预期：凡是保持这些输入的对称性，也会保持三个联络和狄拉克算子。定理 7.1 和 7.5 证实了这一点：若 X 是左不变或右不变的 Killing 向量场且 LX∇ = 0，则同样有 LX∇r = 0，并且旋量的 Kosmann-Lichnerowicz 导数满足 LX(∇rY ψ+) = ∇r[X,Y]ψ+ + ∇rY(LXψ+)，对 r = 1, 2, 3 成立。这些定理还描述了 LX∇ 不为零时会发生什么。

一个推论（命题 7.6）是 Kosmann 导数 LX 与算子 Dr 交换。这正是论文所说的三个狄拉克算子具有自然性的精确含义：它们与度量的等距和联络的对称性相联系，而不是旋量丛上任意选取的椭圆算子。正是这一性质，使作者后来能在显式例子中于一个受限子空间上计算伴随作用。

双不变度量形变后谱发生分裂

论文最具体的结论是：三个算子一般不同谱。它考虑 M 上一族左不变度量，做法是重新缩放由 su(3) 中向量 v8 生成的圆，其标量曲率为 Rg = (3/(4a²))(9 − µ²)，其中 a 和 µ 分别是初始双不变度量和该圆缩放的正常数参数。等距群的连通分支变为 (SU(3) × SU(2) × U(1))/Z6。

取 ∇ 为 Levi-Civita 联络，论文给出一个旋量 ψ0，满足 D1ψ0 = −(3/(2a))ψ0，D2ψ0 = −(3/(4a))(1 + µ)ψ0，D3ψ0 = −(3µ/(2a))ψ0。当 a 固定、µ → 0+ 时，D3 的特征值任意小，而标量曲率趋于一个正常数；D2 的特征值也趋于一个低于 Friedrich 界的有限常数。因此 D2 和 D3 不可能与经典狄拉克算子 D1 同谱。同一例子还给出挠率迹场 τ2 = −τ3 = (3/(4a))(1 − µ)v8，只要 µ ≠ 1 且 g 不是双不变度量，它们就非零。

PSU(3) 结构可承载同一构造

论文概述了构造如何从 M = SU(3) 推广到带有拓扑 PSU(3) 结构的一般 8 维流形，即按 Hitchin 与 Witt 的意义把标架丛约化到 PSU(3) ⊂ SO(8)。这样的结构确定一个度量、一个定向以及一个等同 TM ≃ P ×Ad su(3)；由于 PSU(3) 典范地提升到 Spin(8)，它还确定一个旋量结构以及手征旋量丛 S± ≃ P ×PSU(3) Δ±。限制到 PSU(3) 的两个半旋量表示再次与伴随表示等价，因此伴随等变等距 Δ± ≃ su(3) 给出整体丛等距 I± : TM → S±，在差一个符号的意义下唯一，三个联络也可以像前面那样定义。

作者还指出两个未实际展开的进一步方向：一是旋量丛约化到 G2 ⊂ Spin(8) 的 8 维流形，那里向量表示与两个旋量表示再次重合，副八元数积可能取代 Okubo 积；二是以 8 维流形 M 为纤维的高维黎曼淹没，可以旋转高维联络的垂直投影，同时保持其水平分量与混合分量不变。这些只是作为可能性提出，并非已证明的结果，论文已验证的结论仍停留在 SU(3) 上。

本文引用的文献