Spectral asymmetry via pseudodifferential projections: the massless Dirac operator

技术摘要：通过无质量狄拉克算子的伪微分投影研究谱不对称性

问题陈述
本文研究了闭、连通且定向的黎曼 3-流形上偏微分方程（PDE）系统的谱不对称性问题。具体而言，研究对象是无质量狄拉克算子（也称为 Weyl 算子），记作 $W$。虽然谱不对称性传统上通过 eta 示量（即由谱 zeta 函数导出的全局数或局部函数）来量化，但作者旨在应用一种更新的、基于算子理论的方法。这种方法试图将不对称性信息编码进一个负阶伪微分算子中，该算子被称为“不对称算子”，由谱投影构造而成。核心挑战在于计算该算子在无质量狄拉克情形下的主符号，同时考虑到规范不变性和流形的特定几何性质，并证明可以定义一个正则化迹以产生几何不变量。

方法论
作者采用了在其前作 [9, 10] 中发展的伪微分演算框架。其方法论步骤如下：

1. 谱投影： 无质量狄拉克算子 $W$ 是自伴且椭圆的，具有累积于 $\pm \infty$ 的离散谱。作者基于 $W$ 的特征值定义了正投影（$P_+$）和负投影（$P_-$）。这些是零阶伪微分算子。
2. 不对称算子的构造： 不对称算子 $A$ 定义为这两个投影之差的矩阵迹：$A := \text{tr}(P_+ - P_-)$。虽然 $P_+ - P_-$ 不是迹类算子，但矩阵迹运算得到的算子 $A$ 是负阶算子。
3. 符号演算与抵消： 核心分析涉及利用迭代算法（基于 [8]）显式构造 $P_\pm$ 的全符号。作者计算了 $A$ 的渐近展开中各分量的主符号。方法论的一个关键方面是利用矩阵迹运算中发生的抵消现象。
4. 规范不变性与标架： 狄拉克算子依赖于全局标架的选择。作者分析了算子在规范变换（标架旋转）下的行为。他们证明，尽管中间计算过程依赖于标架，但谱不变量并不依赖于标架。为了简化计算，他们固定了一个特定的“列维-奇维塔标架”（Levi-Civita framing），该标架由以点 $z$ 为中心的测地正规坐标系中的平行移动生成。在此特定标架下，相关 Weitzenböck 联络的挠率在 $z$ 点消失，从而简化了符号展开。
5. 正则化迹： 由于所得的不对称算子是 $-1$ 阶的（不同于先前研究中 curl 算子的 $-3$阶），它并非直接是迹类算子。作者通过隔离$A$ 的 Schwartz 核沿对角线（$x=y$）的连续部分，定义了一个“正则化局部迹”。

主要贡献与结果
本文对 3-流形上的无质量狄拉克算子进行了显式计算，得出了以下主要结果：

• 低阶项的消失： 作者证明了与列维-奇维塔标架相关的非对称算子 $A$ 的主符号在阶数 $j=0, -1, -2$ 时消失。具体而言，渐近展开中的项 $a_0, a_{-1}$ 和 $a_{-2}$ 在测地邻域中心为零。
• 主符号计算： 第一个非零项是 $-3$阶的主符号，记作$a_{-3}(z, \xi)$。作者将其显式计算为：
  $$\tilde{a}_{-3}(z, \xi) = -\frac{1}{12} \frac{E_{\alpha\beta\gamma}(z) \nabla_\alpha \text{Ric}_{\beta\rho}(z) \xi^\gamma \xi^\rho}{|\xi|^5}$$
  其中 $E_{\alpha\beta\gamma}$ 是列维-奇维塔张量，$\text{Ric}$ 是里奇张量，$\nabla$ 是协变导数。这一结果确立了在列维-奇维塔标架下，不对称算子是 $-3$阶的，尽管在一般标架下是$-1$ 阶。
• 核分解： 文中推导了不对称算子的局部积分核，表明它可以分解为一个奇异部分（取决于点之间的距离与曲率）和一个连续部分。
• 几何不变量： 基于核分解，作者定义了一个正则化局部迹 $\psi_{\text{Dir}}^{\text{loc}}(x)$ 和一个全局迹 $\psi_{\text{Dir}}$。他们证明了局部迹是一个良定义的标量函数，且独立于局部坐标的选择，从而构成了一个描述谱不对称性的几何不变量。

意义与主张
本文将这些结果定位为对 [9, 10] 中提出的关于谱不对称性的“直接”方法的扩展，并将其应用于具有重要物理意义的无质量狄拉克算子情形。

• 与 Curl 算子的比较： 作者指出，狄拉克算子的主符号结构与 curl 算子的结构完全一致（仅差一个因子 6），这强化了该方法在不同非半有界系统中的普适性。
• 物理相关性： 该研究受到高能物理（Chern–Simons 理论）和凝聚态物理（拓扑相、Weyl 半金属）中应用的驱动，在这些领域中 eta 示量是一个至关重要的量。
• 关于 Eta 示量的猜想： 作者猜想他们新定义的正则化迹与经典的局部及全局 eta 示量在 $s=0$ 时相等（即 $\psi_{\text{Dir}}^{\text{loc}}(x) = \eta_{\text{Dir}}^{\text{loc}}(0; x)$）。然而，他们明确指出，证明这种对应关系的完整过程超出了本文的研究范围，并留待未来研究。
• 主张的审慎性： 本文并不声称已经解决了谱不对称性问题，而是提供了进行此类研究所需的计算工具（即主符号和正则化迹的定义）。它强调，该方法提供了一个“不变定义的算子”，其包含的信息比单纯的 eta 示量更多，为应用数学界提供了一个可能更易于使用的工具。