[论文解读] Eta Invariants for Even Dimensional Manifolds

Xianzhe Dai|arXiv (Cornell University)|Oct 13, 2011

Advanced Operator Algebra Research参考文献 17被引用 3

一句话总结

本文为先前工作中引入的偶维流形新 eta 不变量提供了内在谱解释，该不变量是奇维流形上 Atiyah-Patodi-Singer eta 不变量的类比。通过在偶维流形上的圆柱体上使用绝热极限技术，作者推导出一个公式，将该不变量表示为谱不变量的极限，从而确立其对流形几何与拓扑以及 $K^1$-代表元 $g$ 的依赖性。关键结果是：$¯{\eta}(X,E,g)$ 的谱公式以 Dirac 算子在 $g$ 作用下的扭变形式的迹积分表示。

ABSTRACT

In previous work, we introduced eta invariants for even dimensional manifolds. It plays the same role as the eta invariant of Atiyah-Patodi-Singer, which is for odd dimensional manifolds. It is associated to $K^1$ representatives on even dimensional manifolds, and is defined on a finite cylinder, rather than on the manifold itself. Thus it is an interesting question to find an intrinsic spectral interpretation of this new invariant. Using adiabatic limit technique, we give such an intrinsic interpretation.

研究动机与目标

• 解决对偶维流形上新类型 eta 不变量的内在谱解释的需求，该不变量在奇维情形中类比于 Atiyah-Patodi-Singer 不变量。
• 通过提供几何与谱特征，克服先前定义的局限性——该定义依赖于截断函数且不显式内在。
• 通过绝热极限方法，建立新不变量与圆柱体上 Dirac 算子谱理论之间的联系。
• 通过在 $S^1 \times X$ 上提出构造，避免边界条件，从而解决边界上指标为零的技术难题。
• 推测该不变量等于在 $[0,1] \times X$ 上具有扭变边界条件的自伴 Dirac 算子的约化 eta 不变量。

提出的方法

• 使用截断函数和圆柱体 $[0,1] \times X$ 上的 Dirac 算子（满足 Atiyah-Patodi-Singer 边界条件），在偶维闭流形 $X$ 上定义新 eta 不变量 $\overline{\eta}(X,E,g)$。
• 在 $[0,1] \times X$ 上构造一族 Dirac 型算子 $D^{\psi,g}$，在标准 Dirac 算子与含 $g^{-1}dg$ 的扭变版本之间插值，确保在边界附近保持乘积型结构。
• 应用绝热极限技术，分析当圆柱体长度趋于无穷时 eta 不变量的行为，前提为在 $s \in [0,1]$ 下有 $\ker[D_X + s\,c(g^{-1}dg)] = 0$。
• 利用绝热极限公式，将 $\overline{\eta}(X,E,g)$ 表示为包含热核表达式超迹的双重积分：$\frac{i}{4\pi}\int_0^1 \int_0^\infty \operatorname{tr}_s[c(g^{-1}dg)(D_X + s\,c(g^{-1}dg))e^{-t(D_X + s\,c(g^{-1}dg))^2}]\,dt\,ds$。
• 提出在 $S^1 \times X$ 上的替代构造，通过消除边界条件来规避指标为零的假设，证明 $\overline{\eta}(X,E,g) \equiv \overline{\eta}(D_{E_g}) \mod \mathbb{Z}$。
• 推测该不变量等于在 $[0,1] \times X$ 上具有边界条件 $gP_X(L)g^{-1}$ 在 $\{0\} \times X$ 处与 $\mathrm{Id} - P_X(L)$ 在 $\{1\} \times X$ 处的自伴 Dirac 算子的约化 eta 不变量。

实验结果

研究问题

• RQ1 偶维流形上的 eta 型不变量 $\overline{\eta}(X,E,g)$ 是否能给出一个独立于截断函数的谱解释？
• RQ2 绝热极限技术如何使我们能够基于流形的几何结构与 $K^1$-代表元 $g$ 推导出 $\overline{\eta}(X,E,g)$ 的内在公式？
• RQ3 是否可以将 $\overline{\eta}(X,E,g)$ 直接定义为在具有扭变边界条件的圆柱体上自伴 Dirac 算子的约化 eta 不变量？
• RQ4 在 $K^0$ 与 $K^1$-理论对偶性背景下，该新不变量与 Atiyah-Patodi-Singer 标准 eta 不变量之间有何关系？
• RQ5 技术假设 $\mathrm{ind}\,D^E_+ = 0$ 在实际中是否可放宽？若可，如何通过闭流形如 $S^1 \times X$ 重新定义该不变量？

主要发现

• 本文在可逆性条件下，建立了偶维流形上 eta 不变量 $\overline{\eta}(X,E,g)$ 作为 $[0,1] \times X$ 上扭变 Dirac 算子的 eta 不变量的绝热极限的谱公式。
• 内在公式为 $\overline{\eta}(X,E,g) = \frac{i}{4\pi}\int_0^1 \int_0^\infty \operatorname{tr}_s[c(g^{-1}dg)(D_X + s\,c(g^{-1}dg))e^{-t(D_X + s\,c(g^{-1}dg))^2}]\,dt\,ds$，提供了几何与谱解释。
• 在可逆性假设下，谱流消失，确保绝热极限定义良好，且不变量与截断函数无关。
• 证明不变量 $\overline{\eta}(X,E,g)$ 模 $\mathbb{Z}$ 同构于在 $S^1 \times X$ 上由 $g$ 扭变的 Dirac 算子的约化 eta 不变量，从而提供了一种绕过指标为零条件的方法。
• 提出猜想：$\overline{\eta}(X,E,g)$ 等于在 $[0,1] \times X$ 上具有边界条件 $gP_X(L)g^{-1}$ 与 $\mathrm{Id} - P_X(L)$ 的自伴 Dirac 算子的约化 eta 不变量，暗示其具有规范的谱定义。