[论文解读] Eta forms and the Chern Character

Simon Scott|ArXiv.org|Nov 22, 2002

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

一句话总结

该论文通过为指标丛的陈类构造 eta 形式代表，建立了流形边界上一阶椭圆微分算子族的几何指标定理。利用正则化超连接迹与相对 eta 不变量，证明了一个无需自旋结构或维数限制的非局部一般指标公式，通过谱截面与传导形式将 Atiyah-Singer 家族指标定理推广至边界情形。

ABSTRACT

We prove two geometric index theorems for a family of first-order elliptic operators over a manifold with boundary by computing eta form representatives for the Chern character classes of the index bundle. The eta forms occur as relative and regularized traces on infinite-dimensional vector bundles realized as the limiting values of superconnection character forms.

研究动机与目标

• 通过 eta 形式引入非局部边界修正，将家族指标定理推广至边界流形。
• 利用相对与正则化超连接迹，显式构造指标丛陈类的代表元。
• 将 Atiyah-Singer 家族指标定理推广至无自旋结构或维数限制的情形。
• 通过谱截面与传导形式，提供 APS 家族指标定理的观念性与几何推导。
• 建立指标丛陈类的上同调公式，以边界 eta 形式与超连接曲率表示。

提出的方法

• 将 eta 形式导出为超连接曲率的正则化迹：$ \eta = \frac{1}{\sqrt{\pi}} \int_0^\infty \mathrm{Str}(\dot{\mathbb{A}}_t e^{-\mathbb{A}_t^2}) \, dt $。
• 在全空间使用 Bismut 超连接 $ \mathbb{A}_t $ 及其在边界上的限制 $ \mathbb{B}_t $，定义边界 eta 形式。
• 应用 $ b $-微分学与谱截面理论，将标准边界投影 $ \Pi_{>} $ 推广至任意谱截面 $ \mathcal{P} $。
• 构造相对 eta 形式 $ \widehat{\eta}_{\mathcal{P}} $ 作为传导形式，满足 $ d\widehat{\eta}_{\mathcal{P}} = 2 \int_{\partial M/B} \widehat{A}(\partial M/B) \mathrm{ch}'(\mathbb{E}) $。
• 利用复路径积分与预解分析，计算超连接迹的渐近展开，并提取指标贡献。
• 运用对角化引理，将当 $ t \to \infty $ 时的陈类形式 $ \mathrm{ch}(\mathbb{A}_{t,\mathcal{P}}) $ 的极限识别为指标丛的陈类。

实验结果

研究问题

• RQ1 如何通过非局部边界修正，利用 eta 形式将家族指标定理推广至边界流形？
• RQ2 在超连接与指标丛的背景下，eta 形式的几何与上同调意义为何？
• RQ3 谱截面如何在指标公式构造中推广标准边界投影 $ \Pi_{>} $？
• RQ4 相对 eta 形式与指标丛陈类之间的确切关系为何？
• RQ5 在不假设自旋结构或维数限制的前提下，能否用超连接形式表示指标丛的陈类？

主要发现

• eta 形式 $ \widehat{\eta}_{\mathcal{P}} $ 是一个典范传导形式，满足 $ d\widehat{\eta}_{\mathcal{P}} = 2 \int_{\partial M/B} \widehat{A}(\partial M/B) \mathrm{ch}'(\mathbb{E}) $，用于修正体积分陈类形式的非闭性。
• 上同调 APS 家族指标定理成立，即在 $ H^\bullet(B) $ 中有 $ \mathrm{ch}(\mathrm{Ind}(\textsf{D}_{\mathcal{P}})) = \int_{M/B} \widehat{A}(M/B) \mathrm{ch}'(\mathbb{E}) - \frac{1}{2} \widehat{\eta}_{\mathcal{P}} $。
• 相对 eta 形式 $ \widehat{\eta}_{{\mathcal{P}}_1} - \widehat{\eta}_{{\mathcal{P}}_2} $ 是闭的，并代表相对陈类 $ \mathrm{ch}(\mathrm{Ind}(\mathcal{P}_2, \mathcal{P}_1)) $。
• 当 $ t \to \infty $ 时，超连接陈类 $ \mathrm{ch}(\mathbb{A}_{t,\mathcal{P}}) $ 的极限等于 $ \mathrm{ch}(\nabla^0) $，即指标丛的陈类。
• 零次指标通过 $ \mathrm{ind}(D_{P_1}) - \mathrm{ind}(D_{P_2}) = \lim_{t \to 0} \mathrm{Str}(e^{-t\Delta_1}) - \mathrm{Str}(e^{-t\Delta_2}) $ 恢复，与超迹公式一致。
• 该构造具有一般性，无需自旋结构、Clifford 相容性或维数限制，因此可广泛适用于椭圆微分算子族。