[论文解读] On a formula for the spectral flow and its applications

Pierluigi Benevieri, Paolo Piccione|ArXiv.org|Jan 26, 2008

Geometric Analysis and Curvature Flows参考文献 12被引用 4

一句话总结

本文通过在有限余维闭子空间上限制，利用格拉斯曼流形中的相对维数，建立了一个计算希尔伯特空间上连续对称弗雷德霍姆双线性型路径谱流的公式。关键结果表明，此类约化下谱流保持不变，从而可在受限或几何设定（如周期半黎曼测地线）中进行计算，文中证明其等于Maslov指标。

ABSTRACT

We consider a continuous path of bounded symmetric Fredholm bilinear forms with arbitrary endpoints on a real Hilbert space, and we prove a formula that gives the spectral flow of the path in terms of the spectral flow of the restriction to a finite codimensional closed subspace. We also discuss the case of restrictions to a continuous path of finite codimensional closed subspaces. As an application of the formula, we introduce the notion of spectral flow for a periodic semi-Riemannian geodesic, and we compute its value in terms of the Maslov index.

研究动机与目标

• 推导对有限余维闭子空间限制的对称弗雷德霍姆双线性型路径谱流的公式。
• 将该公式扩展至随时间连续变化的子空间路径。
• 将约化公式应用于定义并计算周期半黎曼测地线的谱流。
• 建立此类测地线谱流与Maslov指标之间的联系。
• 为通过有限维约化计算强不定变分问题中的谱流提供通用方法。

提出的方法

• 利用格拉斯曼流形中负谱子空间的相对维数表征谱流。
• 应用弗雷德霍姆对与可共轭子空间的理论处理有限余维约化。
• 采用平凡化技术，将变化子空间情形约化为固定子空间情形。
• 依赖于对称性与紧算子在有限余维限制下保持不变的事实。
• 利用谱流在一般线性群的共轭作用下的不变性，将问题约化为“对称性加紧算子”形式的路径。
• 通过映射 $\mathfrak{I} \mapsto \mathrm{Ker}(\mathfrak{I} - I)$ 建立对称性与子空间之间的对应关系。

实验结果

研究问题

• RQ1 如何通过有限余维子空间限制计算对称弗雷德霍姆双线性型路径的谱流？
• RQ2 路径的谱流与它在连续变化的有限余维子空间族上的限制的谱流之间有何关系？
• RQ3 能否通过有限维约化来定义并计算周期半黎曼测地线的谱流？
• RQ4 周期测地线的谱流如何与Maslov指标相关联？
• RQ5 谱流在有限余维约化下是否保持不变？若成立，其条件为何？

主要发现

• 若限制后仍为弗雷德霍姆算子，则连续对称弗雷德霍姆双线性型路径的谱流等于其在有限余维闭子空间上限制的谱流。
• 负特征空间的相对维数在有限余维限制下保持不变，从而可将相对维数量作为谱流不变量使用。
• 对于连续变化的有限余维子空间族，可通过适当的平凡化将限制的谱流约化为固定子空间情形。
• 通过自由环空间上能量泛函的Hessian定义的周期半黎曼测地线的谱流，等于该测地线的Maslov指标。
• 该公式对 $C^k$ 路径（$k = 0, \dots, \infty, \omega$）成立，且在一般线性群的共轭作用下保持不变。
• 该结果允许通过有限维投影将变分问题中的一般边界条件约化为更简单的Dirichlet型条件。