[论文解读] Dirac operators on manifolds with periodic ends

Daniel Ruberman, Nikolai Saveliev|ArXiv.org|Feb 9, 2007

Advanced Operator Algebra Research参考文献 30被引用 12

一句话总结

该论文利用通用的端周期度量，为维度至少为四的端周期自旋流形上的狄拉克算子建立了弗雷德霍姆性质的充要条件。它对非可定向4-流形的卡佩尔-沙内森不变量提供了分析解释，并证明了某些奇异的非可定向4-流形不具有正数量曲率度量。

ABSTRACT

This paper studies Dirac operators on end-periodic spin manifolds of dimension at least 4. We provide a sufficient condition for such an operator to be Fredholm for a generic end-periodic metric; this condition is shown to be necessary in dimension 4. We make use of end-periodic Dirac operators to give an analytical interpretation of an invariant of non-orientable smooth 4-manifolds due to Cappell and Shaneson. From this interpretation we show that some exotic non-orientable 4-manifolds do not admit a metric of positive scalar curvature.

研究动机与目标

• 确定在何种拓扑条件下，端周期自旋流形上的狄拉克算子在通用端周期度量下是弗雷德霍姆算子。
• 通过端周期狄拉克算子，为非可定向4-流形的卡佩尔-沙内森不变量提供分析解释。
• 建立对某些奇异非可定向4-流形上正数量曲率度量存在的障碍。
• 利用端周期结构，将狄拉克算子的弗雷德霍姆理论扩展至紧致或正数量曲率设定之外。
• 将KO-理论中α-不变量的消失与映射环面上的扭曲狄拉克算子的可逆性联系起来。

提出的方法

• 使用陶布斯的端周期微分算子理论，分析具有周期性端的流形上狄拉克算子的弗雷德霍姆性质。
• 在映射到 $ S^1 $ 的闭自旋流形 $ X $ 上定义一个扭曲狄拉克算子 $ D^c = D + ic f^*(d\theta) $，其中 $ f_*: \pi_1(X) \to \mathbb{Z} $ 是满射。
• 证明对于所有 $ c \in \mathbb{R} $，$ D^c $ 的核为零，当且仅当 $ \alpha $-不变量 $ \alpha(X) \in KO_n(S^1) $ 为零。
• 应用割补原理，将弗雷德霍姆性质从无穷循环覆叠 $ \tilde{X} $ 推广到一般的端周期流形 $ M $。
• 构造一个依赖于度量的不变量 $ w_{\text{cs}}(X',f,g) $，它源自cobordism上正狄拉克算子的指标，模2后退化为卡佩尔-沙内森不变量。
• 利用指标在定向反转下的对称性，证明 $ w_{\text{cs}}(X',f,g) = -w_{\text{cs}}(X',f,g) $，因此 $ w_{\text{cs}} = 0 $，意味着该不变量模2为零。

实验结果

研究问题

• RQ1 在何种拓扑条件下，端周期自旋流形上具有通用端周期度量的狄拉克算子是弗雷德霍姆算子？
• RQ2 如何通过狄拉克算子对非可定向4-流形的卡佩尔-沙内森不变量进行分析解释？
• RQ3 通过卡佩尔-沙内森和阿克布尔特构造的非可定向4-流形中，正数量曲率的障碍是什么？
• RQ4 KO_n(S^1) 中α-不变量的消失能否通过扭曲狄拉克算子 $ D^c $ 的可逆性来刻画？
• RQ5 若非可定向4-流形上存在正数量曲率度量，是否意味着其卡佩尔-沙内森不变量模2为零？

主要发现

• 在端周期自旋流形 $ M $ 上，狄拉克算子 $ D(M,g) $ 对于通用端周期度量 $ g $ 是弗雷德霍姆算子，当且仅当 $ \alpha $-不变量 $ \alpha(X) \in KO_n(S^1) $ 为零。
• 在映射环面 $ X $ 上，扭曲狄拉克算子 $ D^c $ 的核对所有 $ c \in \mathbb{R} $ 为零，当且仅当 $ \alpha(X) = 0 $。
• 若 $ X' $ 允许正数量曲率度量，则非可定向4-流形的卡佩尔-沙内森不变量 $ \beta(X',f) \in \mathbb{Z}/2\mathbb{Z} $ 模2为零。
• 流形 $ X'_{11} = Z' \# K3 $，其中 $ Z' = S^1 \tilde{\times} S^3 $，满足 $ \beta(X'_{11},f) = 1 \pmod{2} $，因此不具有正数量曲率度量。
• 该流形的二重覆盖微分同胚于 $ (S^1 \times S^3) \#_{22} (S^2 \times S^2) $，其具有正数量曲率度量，说明其二重覆盖可具有此类度量，而原流形则不能。
• 通过指标对称性证明不变量 $ w_{\text{cs}}(X',f,g) $ 为零，从而推出 $ \beta(X',f) = 0 \pmod{2} $，因此为正数量曲率提供了拓扑障碍。