[论文解读] A general splitting formula for the spectral flow

M. Daniel, Paul Kirk|ArXiv.org|Feb 24, 1999

Advanced Operator Algebra Research参考文献 14被引用 16

一句话总结

本文提出了一种适用于奇维流形沿超曲面分裂的1参数自伴狄拉克算子谱流的一般分解公式，无需拉伸或横截性假设。该公式将谱流分解为各部分的贡献、边界条件的Maslov指标，以及通过尼古劳斯库定理与希尔伯特空间中的辛线性代数推导出的边界条件变换所引入的额外Maslov指标。

ABSTRACT

We derive a decomposition formula for the spectral flow of a 1-parameter family of self-adjoint Dirac operators on an odd-dimensional manifold $M$ split along a hypersurface $Σ$ ($M=X\cup_Σ Y$). No transversality or stretching hypotheses are assumed and the boundary conditions can be chosen arbitrarily. The formula takes the form $SF(D)= SF(D_{|X}, B_X) + SF(D_{|Y},B_Y) + μ(B_Y,B_X) + S$ where $B_X$ and $B_Y$ are boundary conditions, $μ$ denotes the Maslov index, and $S$ is a sum of explicitly defined Maslov indices coming from stretching and rotating boundary conditions. The derivation is a simple consequence of Nicolaescu's theorems and elementary properties of the Maslov index. We show how to use the formula and derive many of the splitting theorems in the literature as simple consequences.

研究动机与目标

• 推导奇维流形沿超曲面分裂时谱流的一般分解公式。
• 消除谱流分解中对拉伸邻域或横截性条件的依赖。
• 分离流形各部分的贡献，并通过Maslov指标量化相互作用项。
• 提供一个统一框架，可恢复并推广文献中已有的分解定理。
• 为切割-粘贴构造及几何不变量中的谱流计算提供实用方法。

提出的方法

• 利用尼古劳斯库定理：谱流等于边界上柯西数据空间的Maslov指标。
• 应用辛希尔伯特空间中Maslov指标的基本性质，对谱流进行分解。
• 引入显式路径的拉格朗日子空间，以表示边界条件的变换。
• 通过柯西数据空间的绝热极限，将谱流与边界条件的动力学联系起来。
• 利用路径复合下的Maslov指标的同伦不变性与可加性，推导出分解公式。
• 附录中证明了与柯西数据空间相关投影算子的范数连续性。

实验结果

研究问题

• RQ1 在不假设拉伸的前提下，如何对沿超曲面分裂的奇维流形上1参数自伴狄拉克算子的谱流进行分解？
• RQ2 当流形被分解时，边界条件在谱流中起什么作用，其相互作用又如何量化？
• RQ3 文献中已有的分解定理能否作为更一般公式的特例推导出来？
• RQ4 Maslov指标如何捕捉谱流分解中流形两部分之间的相互作用？
• RQ5 在分解公式中，哪些条件可使某些Maslov指标项消失，从而简化计算？

主要发现

• 谱流分解为 $ SF(D) = SF(D|_X, B_X) + SF(D|_Y, B_Y) + \mu(B_Y(1-t), B_X(1-t)) + \sum_{i=1,2,4,5,7,8,10,11} \mu(L_i, M_i) $，其中所有项均明确定义。
• 该公式在无需任何拉伸或横截性假设下成立，具有广泛适用性。
• 额外的Maslov指标 $ \mu(L_i, M_i) $ 源于边界条件的旋转与拉伸，且已显式构造。
• 该方法可将已知的分解定理（如 Bunke、Yoshida 和 Nicolaescu 的结果）作为特例推导出来。
• 通过算子 $ k_r $ 的范数连续性，建立了柯西数据空间投影的连续性，确保了谱流公式的稳定性。
• 证明了差值 $ \mathcal{P}^r - \pi_- $ 为光滑算子，从而确认了在一般情况下谱投影的正则性。