[论文解读] A Generalized Index Theorem for Morse-Sturm Systems and Applications to semi-Riemannian Geometry

Fabio Giannoni, Antonio Masiello+2 more|ArXiv.org|Aug 13, 1999

Geometric Analysis and Curvature Flows被引用 7

一句话总结

本文将Morse指标定理推广至半黎曼几何中出现的非自伴Morse-Sturm系统，特别是洛伦兹流形中的情形。它建立了测地线沿作用泛函的二阶变分指标与测地线的Maslov指标及初始子流形上度量指标之和之间的关系，将全局Morse关系扩展至具有变端点的平稳洛伦兹时空。

ABSTRACT

We prove an extension of the Index Theorem for Morse-Sturm systems of the form $-V''+RV=0$, where R is symmetric with respect to a (non positive) symmetric bilinear form, and thus the corresponding differential operator is not self-adjoint. The result is then applied to the case of a Jacobi equation along a geodesic in a Lorentzian manifold, obtaining an extension of the Morse Index Theorem for Lorentzian geodesics with variable initial endpoints. Given a Lorentzian manifold (M,g), we consider a geodesic $γ$ in M starting orthogonally to a smooth submanifold P of M. Under suitable hypotheses, satisfied, for instance, if (M,g) is stationary, the theorem gives an equality between the index of the second variation of the action functional f at $γ$ and the sum of the {\em Maslov index} of $γ$ with the index of the metric g on P. Under generic circumstances, the Maslov index of $γ$ is given by an algebraic count of the P-focal points along $γ$. Using the Maslov index, we obtain the global Morse relations for geodesics between two fixed points in a stationary Lorentzian manifold.

研究动机与目标

• 将经典的Morse指标定理推广至半黎曼几何中的非自伴Morse-Sturm系统。
• 处理洛伦兹流形中具有非正定度量的测地线的作用泛函的二阶变分。
• 将Maslov指标作为几何不变量，用于计数测地线上的P-焦中点。
• 为连接两个固定点的测地线建立平稳洛伦兹时空中的全局Morse关系。
• 提供一种框架，用于在非紧或不定度量设定下，利用谱不变量与辛不变量计算二阶变分的指标。

提出的方法

• 将Morse-Sturm系统形式化为 $-V'' + RV = 0$，其中 $R$ 关于非正定双线性型对称。
• 通过Maslov指标作为拓扑不变量，为这类非自伴系统提出广义指标定理。
• 通过测地线上P-焦中点的代数计数来定义Maslov指标，这些点是相对于子流形 $P$ 的共轭点。
• 将广义指标定理应用于洛伦兹流形中测地线的Jacobi方程，初始条件为与子流形 $P$ 正交。
• 利用Jacobi场空间的辛结构，将Maslov指标与二阶变分算子的谱性质联系起来。
• 在适当的几何条件下，建立二阶变分指标与Maslov指标及 $P$ 上度量指标之和相等的关系。

实验结果

研究问题

• RQ1 如何将Morse指标定理推广至半黎曼几何中出现的非自伴微分算子？
• RQ2 Maslov指标在表征具有变端点的洛伦兹流形中测地线的二阶变分指标时起什么作用？
• RQ3 测地线上的P-焦中点如何贡献于平稳洛伦兹时空中的全局Morse关系？
• RQ4 初始子流形 $P$ 上的度量符号如何影响二阶变分的指标？
• RQ5 广义指标定理能否用于推导平稳洛伦兹流形中连接两个固定点的测地线的全局Morse关系？

主要发现

• 洛伦兹流形中测地线沿作用泛函的二阶变分指标等于该测地线的Maslov指标与初始子流形 $P$ 上度量指标之和。
• Maslov指标通过测地线上P-焦中点的代数计数计算，为谱数据提供了几何解释。
• 广义指标定理适用于非自伴Morse-Sturm系统，其中微分算子关于标准内积不对称。
• 在平稳洛伦兹流形中，利用Maslov指标与 $P$ 上的度量指标，推导出连接两个固定点的测地线的全局Morse关系。
• 该结果将经典Morse指标定理扩展至具有变初始端点和不定度量的情形，为半黎曼几何中的整体分析提供了稳健工具。
• 该框架允许在Jacobi算子非自伴时，仍能以拓扑与几何不变量的形式计算二阶变分的指标。