[论文解读] Stability of the Focal and Geometric Index in semi-Riemannian Geometry via the Maslov Index

Francesco Mercuri, Paolo Piccione+1 more|ArXiv.org|May 17, 1999

Geometry and complex manifolds参考文献 11被引用 13

一句话总结

本文利用Maslov指标，在半黎曼几何中建立了焦点点与几何指标的稳定性，证明了通过拉格朗日子流形上的交点理论计算的测地线上共轭点的代数计数在小扰动下保持稳定。该文通过反例纠正了Helfer（1997）的错误结果，并提出了一套通用方法，用于在半黎曼指标理论中构造例子与反例，揭示了非洛伦兹情形下的新现象。

ABSTRACT

We investigate the problem of the stability of the number of conjugate or focal points (counted with multiplicity) along a semi-Riemannian geodesic $γ$. For a Riemannian or a non spacelike Lorentzian geodesic, such number is equal to the intersection number (Maslov index) of a continuous curve with a subvariety of codimension one of the Lagrangian Grassmannian of a symplectic space. Such intersection number is proven to be stable in a large variety of circumstances. In the general semi-Riemannian case, under suitable hypotheses this number is equal to an algebraic count of the multiplicities of the conjugate points, and it is related to the spectral properties of a non self-adjoint differential operator. This last relation gives a weak extension of the classical Morse Index Theorem in Riemannian and Lorentzian geometry. In this paper we reprove some results that were incorrectly stated by Helfer in a previous reference; in particular, a counterexample to one of Helfer's results, which is essential for the theory, is given. In the last part of the paper we discuss a general technique for the construction of examples and counterexamples in the index theory for semi-Riemannian metrics, in which some new phenomena appear.

研究动机与目标

• 研究在半黎曼测地线上，按重数计数的共轭点或焦点点数量在度量或测地线发生小扰动时的稳定性。
• 通过将指标与非自伴微分算子的谱性质关联，将经典Morse指标定理推广至一般半黎曼流形。
• 纠正Helfer（1997）先前工作中存在的不准确之处，尤其在共轭点计数与指标稳定性方面。
• 建立半黎曼指标理论中构造例子与反例的一般框架，揭示新的几何与谱现象。

提出的方法

• 将Maslov指标用作辛向量空间的拉格朗日子流形中一条连续曲线与余维数为一的子概形之间的交点数。
• 应用拉格朗日子流形上的交点理论，在半黎曼设定下定义共轭点的稳定代数计数。
• 依赖非自伴微分算子的谱理论，将几何指标与分析不变量关联。
• 采用摄动理论方法，证明在测地线或度量发生小变化时，Maslov指标保持稳定。
• 利用所建立的框架，构造显式反例以反驳Helfer的论断，尤其在非类空或非洛伦兹情形下。
• 提出一种系统性技术，用于在半黎曼指标理论中生成有意义的例子与反例，突出揭示了在黎曼或洛伦兹情形下不存在的非直观行为。

实验结果

研究问题

• RQ1 在何种条件下，半黎曼测地线上共轭点的数量在度量或测地线发生小扰动时保持稳定？
• RQ2 Maslov指标如何用于在一般半黎曼几何中定义共轭点的稳定代数计数？
• RQ3 在非自伴Jacobi算子的情形下，几何指标具有何种谱含义？
• RQ4 Helfer（1997）的结果在一般半黎曼设定下以何种方式失效？哪些反例可证明这一点？
• RQ5 可采用何种通用构造技术来生成半黎曼指标理论中的有意义例子与反例？

主要发现

• Maslov指标在半黎曼几何中提供了共轭点的稳定代数计数，即使测地线非类空或非时间可定向亦成立。
• 本文通过构造反例，纠正了Helfer 1997年论文中的关键错误，即其关于共轭点计数稳定性的论断。
• 在半黎曼情形下，几何指标与非自伴微分算子的谱性质相关联，以一种弱形式扩展了经典Morse指标定理。
• 交点数（即Maslov指标）在测地线或度量发生小扰动时保持稳定，前提是底层辛结构得以保持。
• 作者提出了一套通用方法，用于在半黎曼指标理论中构造例子与反例，揭示了诸如非整数或非整数值指标跃迁等新现象。
• 该框架表明，由于Jacobi算子的非自伴性，经典Morse指标定理无法在不附加假设的情况下直接推广至一般半黎曼度量。