[论文解读] An L^2-Index Theorem for Dirac Operators on S^1 * R^3

Tom M. W. Nye, Michael A. Singer|ArXiv.org|Sep 14, 2000

Advanced Operator Algebra Research参考文献 11被引用 28

一句话总结

本文通过使用 Callias 的指标定理与切除论证，将 $S^1 \times \mathbb{R}^3$ 上耦合 $U(n)$ 规范连接的 Dirac 算子的 $L^2$-指标定理建立起来，将其约化为一个边界问题。关键结果将 $L^2$-指标表达为在 $X$ 上对陈示性类积分与一个涉及边界 $S^1 \times S^2$ 上 $\eta$-不变量的绝热极限的项之和，后者捕捉了连接在无穷远处的单值性与曲率的拓扑数据。

ABSTRACT

An expression is found for the $L^2$-index of a Dirac operator coupled to a connection on a $U_n$ vector bundle over $S^1 imes{\mathbb R}^3$. Boundary conditions for the connection are given which ensure the coupled Dirac operator is Fredholm. Callias' index theorem is used to calculate the index when the connection is independent of the coordinate on $S^1$. An excision theorem due to Gromov, Lawson, and Anghel reduces the index theorem to this special case. The index formula can be expressed using the adiabatic limit of the $η$-invariant of a Dirac operator canonically associated to the boundary. An application of the theorem is to count the zero modes of the Dirac operator in the background of a caloron (periodic instanton).

研究动机与目标

• 推导 $S^1 \times \mathbb{R}^3$ 上旋称 Dirac 算子 $D_A^+$ 的 $L^2$-指标公式，其中 $A$ 为酉连接。
• 确定 $A$ 的边界条件，使得 $D_A^+$ 在 $L^2$ 中为 Fredholm 算子。
• 将 $L^2$-指标用拓扑不变量表达——具体而言，即陈示性类与涉及 $\eta$-不变量绝热极限的边界项。
• 将结果应用于计数 caloron（周期性 instanton）背景下的 Dirac 算子零模式，将指标理论与规范理论联系起来。

提出的方法

• 当连接 $A$ 与 $S^1$-坐标无关时，使用 Callias 的指标定理计算 $L^2$-指标，将问题约化为边界指标计算。
• 应用 Gromov、Lawson 和 Anghel 的切除定理，将一般情形约化为 $A$ 在 $S^1$ 上独立的特殊情况，从而可应用 Callias 的结果。
• 通过考虑将 $S^1$-纤维收缩的度量族 $g_\epsilon$，定义边界 $\partial X = S^1 \times S^2_\infty$ 上 $\eta$-不变量的绝热极限。
• 利用公式 $\overline{\eta}_{\text{lim}} = \frac{1}{2\pi i} \int_{S^2_\infty} \hat{\eta}$ 计算极限 $\overline{\eta}_{\text{lim}} = \lim_{\epsilon \to 0} \overline{\eta}(D_\epsilon)$，其中 $\hat{\eta}$ 是涉及 Dirac 算子与曲率的纤维 $S^1$ 上的积分。
• 将边界上的连接与自伴算子 $\Phi$ 分解为特征丛 $E_\mu$，并计算 $\eta$-不变量的贡献 $\eta_\mu = 1 - \frac{2\epsilon_\mu}{\mu_0}$，其中 $\epsilon_\mu$ 为特征值 $\mu$ 模 $\mu_0$ 的小数部分。
• 将体积分项 $\int_X \text{ch}(\mathbb{E})$ 与边界项 $-\frac{1}{2}\overline{\eta}_{\text{lim}}$ 组合，得到最终的指标公式。

实验结果

研究问题

• RQ1 在适当的边界条件下，$S^1 \times \mathbb{R}^3$ 上耦合 $U(n)$ 连接的 Dirac 算子的 $L^2$-指标是什么？
• RQ2 当边界附近的几何结构非柱状（即非 $b$-度量）时，如何计算 $L^2$-指标？
• RQ3 绝热极限下的 $\eta$-不变量在以边界上的拓扑数据表达指标时起什么作用？
• RQ4 该指标公式是否可被解释为在缺乏 $b$-度量结构时，Atiyah-Patodi-Singer 指标定理的推广？
• RQ5 该指标与 caloron（周期性 instanton）背景下的零模式计数有何关系？

主要发现

• 在 $S^1 \times \mathbb{R}^3$ 上旋称 Dirac 算子 $D_A^+$ 的 $L^2$-指标由 $\text{ind}(D_A^+) = \int_X \text{ch}(\mathbb{E}) - \frac{1}{2}\overline{\eta}_{\text{lim}}$ 给出，其中 $\overline{\eta}_{\text{lim}}$ 为边界 $S^1 \times S^2_\infty$ 上 $\eta$-不变量的绝热极限。
• 边界项 $\overline{\eta}_{\text{lim}}$ 的计算结果为 $-\frac{2}{\mu_0} \sum_\mu \epsilon_\mu c_1(E_\mu)[S^2_\infty]$，其中 $\epsilon_\mu$ 为端点算子 $\Phi_\infty$ 的特征值 $\mu$ 模 $\mu_0$ 的小数部分。
• 指标公式等价于 $\text{ind}(D_A^+) = \int_X \text{ch}(\mathbb{E}) + \frac{1}{\mu_0} \sum_\mu \epsilon_\mu c_1(E_\mu)[S^2_\infty]$，表明指标依赖于连接在无穷远处的分数单值性。
• 由于拓扑恒等式，项 $\sum_\mu c_1(E_\mu)[S^2_\infty] = 0$，这简化了表达式并确保与 $\eta$-不变量计算的一致性。
• 最终的指标公式类似于 Atiyah-Patodi-Singer 指标定理，提示其在具有纤维-杯或纤维-边界结构的流形上具有更广泛的应用性。
• 该结果为 caloron（周期性 instanton）背景下的 Dirac 算子零模式提供了精确计数，其中指标等于陈示性类之和与连接渐近单值性带来的拓扑修正项之和。