[论文解读] A remark on the space of metrics having non-trivial harmonic spinors

Nils Waterstraat|arXiv (Cornell University)|Jun 3, 2012

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

一句话总结

本文提供了简洁证明：对于满足 $n \equiv 3 \mod 4$ 的闭自旋流形 $M$，具有可逆狄拉克算子的黎曼度量空间要么为空，要么具有无穷多个道路连通分支。通过谱流和初等同伦理论，作者重新推导并简化了巴尔（Bär）早期的结果，表明指标理论障碍导致该度量空间中存在非平凡的拓扑结构。

ABSTRACT

Let M be a closed spin manifold of dimension congruent to 3 modulo 4. We give a simple proof of the fact that the space of metrics on M with invertible Dirac operator is either empty or it has infinitely many path components.

研究动机与目标

• 为满足 $n \equiv 3 \mod 4$ 的闭自旋流形上具有可逆狄拉克算子的度量空间的无穷道路连通分支结构，提供一个简洁且自包含的证明。
• 通过谱流和同伦理论方法，重新推导并简化巴尔（1996）和达尔（2008）的早期结果。
• 利用初等拓扑工具，证明具有可逆狄拉克算子的度量集合 $R^{\textup{inv}}(M)$ 要么为空，要么具有无穷多个道路连通分支。
• 将该论证推广至扭曲狄拉克算子，并推测相应的可逆度量空间同样具有无穷多个连通分支。

提出的方法

• 证明利用谱流追踪当度量变化时狄拉克算子的特征值穿过零点的次数变化。
• 应用一个同伦论不变量 $\Gamma(\gamma)$，用于计算路径 $\gamma$ 沿着度量空间中某区间内净穿过零点的特征值数量。
• 通过构造一系列从固定度量 $g_0 \in R^{\textup{inv}}(M)$ 出发的路径 $\gamma_k$，确保 $\Gamma(\gamma_k)$ 均互不相同，从而推出终点位于不同的道路连通分支中。
• 该构造依赖于狄拉克算子的共形不变性，以及在 $S^n$ 上存在一个度量族，其特征值在 $[-2,2]$ 区间内线性变化。
• 通过狄拉克算子在度量变形下的谱行为，隐含地使用了阿蒂亚-辛格指标定理。
• 通过反证法：假设两条此类度量位于同一道路连通分支中，将导致 $\Gamma(\gamma_i) = \Gamma(\gamma_j)$，与构造矛盾。

实验结果

研究问题

• RQ1 在满足 $n \equiv 3 \mod 4$ 的闭自旋流形上，具有可逆狄拉克算子的黎曼度量空间是否具有无穷多个道路连通分支？
• RQ2 是否可以仅通过谱流和初等同伦理论，而非高级的手术理论，来建立 $R^{\textup{inv}}(M)$ 的无穷道路连通分支结构？
• RQ3 在向量丛上固定联络的扭曲下，$R^{\textup{inv}}(M)$ 的拓扑复杂性是否保持不变？
• RQ4 谱流不变量 $\Gamma(\gamma)$ 是否可用于区分具有可逆狄拉克算子的度量空间中的道路连通分支？

主要发现

• 在满足 $n \equiv 3 \mod 4$ 的闭自旋流形 $M$ 上，具有可逆狄拉克算子的黎曼度量空间 $R^{\textup{inv}}(M)$ 要么为空，要么具有无穷多个道路连通分支。
• 该证明利用谱流定义了一个取整数值的同伦不变量 $\Gamma(\gamma)$，且在路径拼接下具有可加性。
• 通过构造一列路径 $\gamma_k$，使得 $\Gamma(\gamma_k)$ 严格递增，证明终点 $\gamma_k(1)$ 位于不同的道路连通分支中。
• 该构造依赖于在 $S^n$ 上存在一个连续的度量族，其狄拉克算子的单个特征值在 $[-2,2]$ 区间内从 $-1$ 线性变化至 $1$。
• 该论证表明，任意两个具有不同 $\Gamma$-值的此类度量无法通过 $R^{\textup{inv}}(M)$ 中的路径连接，从而证明了无穷连通分支结构。
• 通过巴尔（1997）的结果，该结果被推广至扭曲狄拉克算子，由此推测 $R^{\textup{inv}}_{(F,\nabla)}(M)$ 要么为空，要么具有无穷多个连通分支。