[论文解读] Torus Fibrations and Localization of Index II. Local Index for Acyclic Compatible System

Hajime Fujita, Mikio Furuta+1 more|arXiv (Cornell University)|Feb 20, 2014

Geometric and Algebraic Topology参考文献 32被引用 7

一句话总结

本论文为具有紧致核心的非紧流形上的狄拉克型算子的指标建立了一个局域化框架，其中补集在相容性与无挠条件下被有限个环面丛邻域覆盖。关键结果表明，指标完全局域化于紧致子集上，将指标局域化推广至具有环面纤维丛结构的非紧情形。

ABSTRACT

We give a framework of localization for the index of a Dirac-type operator on an open manifold. Suppose the open manifold has a compact subset whose complement is covered by a finitely many open subset, each of which has a structure of the total space of a torus bundle. Under a certain compatibility condition and acyclicity we show that the index of the Dirac-type operator is localized on the compact

研究动机与目标

• 开发非紧流形上狄拉克型算子指标的局域化理论。
• 解决当流形为开流形且在无穷远处具有非平凡纤维丛结构时的指标计算挑战。
• 识别充分条件——无挠性与相容性——使得指标可约化为紧致子集上的局部不变量。
• 将指标局域化技术从闭流形或紧致情形扩展至具有环面丛端部的流形。
• 提供一个适用于在紧致集补集处具有相容环面纤维丛的算子族的框架。

提出的方法

• 引入全局设定，将开流形分解为紧致子集与有限个微分同胚于基空间上环面丛的管状邻域的并集。
• 在重叠区域上对环面丛结构施加相容性条件，以确保纤维数据的一致性。
• 假设相容系统无挠，即系统在所有度数上的上同调为零。
• 使用阿蒂亚-辛格指标定理的相对或局部形式，通过环面纤维丛结构将其适配于开情形。
• 通过分析算子在紧致核心附近的性质并利用纤维丛控制端部的贡献，应用局域化技术。
• 利用环面对称性将指标计算约化为紧致子集上支持的有限维不变量。

实验结果

研究问题

• RQ1 在何种条件下，开流形上狄拉克型算子的指标可局域化于紧致子集？
• RQ2 紧致子集补集处环面丛结构的存在如何影响指标计算？
• RQ3 为确保在重叠的环面丛邻域间实现一致的指标局域化，需要何种相容性条件？
• RQ4 相容系统的无挠性在何种程度上简化或决定指标局域化？
• RQ5 当流形具有环面纤维端部时，指标是否可完全由紧致核心上的行为决定？

主要发现

• 当补集被有限个环面丛邻域覆盖时，狄拉克型算子的指标完全局域化于紧致子集。
• 无挠性条件确保来自纤维化端部的非平凡上同调贡献不会出现，从而使指标完全由紧致核心决定。
• 环面纤维丛的相容性条件确保局部数据可一致粘合，从而实现全局指标计算。
• 该局域化框架将经典指标定理推广至具有无穷远处受控几何结构的非紧流形。
• 该结果提出了一种利用纤维丛数据与上同调消失的新机制进行指标局域化，扩展了闭流形或紧致情形下的先前结果。