[논문 리뷰] A Generalized Index Theorem for Morse-Sturm Systems and Applications to semi-Riemannian Geometry

Fabio Giannoni, Antonio Masiello외 2명|ArXiv.org|1999. 08. 13.

Geometric Analysis and Curvature Flows인용 수 7

한 줄 요약

이 논문은 반리만 기하학, 특히 로렌츠 다양체에서 발생하는 비자기적 멀티-스텀 시스템에 대해 모스 인덱스 정리를 일반화한다. 작동 기능의 제2변분과 지오데식을 따라 지오데식의 마스лов 인덱스와 초기 부분다양체 위의 메트릭의 인덱스의 합 사이의 관계를 수립하며, 고정된 끝점이 아닌 경우에도 전역 모스 관계를 확장한다.

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.

연구 동기 및 목표

• 반리만 기하학에서 비자기적 멀티-스텀 시스템에 대해 고전적 모스 인덱스 정리를 일반화하는 것.
• 비양성적 정의를 가진 메트릭을 가진 로렌츠 다양체에서 지오데식을 따라 작동 기능의 제2변분을 다루는 것.
• 지오데식을 따라 P-초점점을 세는 기하학적 불변량으로서 마스볼 인덱스를 도입하는 것.
• 고정된 두 점을 연결하는 지오데식에 대해 정적 로렌츠 시공간에서의 전역 모스 관계를 수립하는 것.
• 비콤팩트 또는 부정부호 설정에서 스펙트럼 및 심플렉틱 불변량을 사용하여 제2변분의 인덱스를 계산할 수 있는 프레임워크를 제공하는 것.

제안 방법

• 비양성적 이중형식에 대해 대칭인 $ R $을 갖는 $-V'' + RV = 0$ 형태로 멀티-스텀 시스템을 수리적으로 정의하는 것.
• 마스볼 인덱스를 위상적 불변량으로 사용하여 이러한 비자기적 시스템에 대해 일반화된 인덱스 정리를 도입하는 것.
• 지오데식을 따라 P-초점점을 대수적으로 세는 방식으로 마스볼 인덱스를 정의하며, 이는 부분다양체 $ P $에 대해 공액점에 해당한다.
• 지오데식을 따라 로렌츠 다양체에서의 자코비 방정식에 일반화된 인덱스 정리를 적용하는 것.
• 자코비 장의 심플렉틱 구조를 이용하여 마스볼 인덱스와 제2변분 연산자의 스펙트럼 성질 사이의 관계를 설정하는 것.
• 적절한 기하학적 조건 하에서 제2변분의 인덱스와 마스볼 인덱스 및 $ P $ 위의 메트릭 인덱스의 합이 같다는 것을 증명하는 것.

실험 결과

연구 질문

• RQ1 반리만 기하학에서 발생하는 비자기적 미분 연산자에 대해 모스 인덱스 정리를 어떻게 일반화할 수 있는가?
• RQ2 변동하는 끝점을 가진 로렌츠 다양체에서 지오데식의 제2변분의 인덱스를 특성화하는 데 마스볼 인덱스가 어떤 역할을 하는가?
• RQ3 지오데식을 따라 존재하는 P-초점점은 정적 로렌츠 시공간에서의 전역 모스 관계에 어떻게 기여하는가?
• RQ4 초기 부분다양체 $ P $ 위의 메트릭 서명은 제2변분의 인덱스에 어떤 영향을 미치는가?
• RQ5 일반화된 인덱스 정리는 고정된 두 점을 연결하는 정적 로렌츠 다양체에서의 지오데식에 대해 전역 모스 관계를 유도하는 데 사용될 수 있는가?

주요 결과

• 로렌츠 다양체에서 지오데식을 따라 작동 기능의 제2변분의 인덱스는 지오데식의 마스볼 인덱스와 초기 부분다양체 $ P $ 위의 메트릭 인덱스의 합과 같다.
• 마스볼 인덱스는 지오데식을 따라 P-초점점을 대수적으로 세는 방식으로 계산되며, 이는 스펙트럼 자료의 기하학적 해석을 제공한다.
• 일반화된 인덱스 정리는 표준 내적에 대해 대칭이 아닌 미분 연산자를 갖는 비자기적 멀티-스텀 시스템에 적용 가능하다.
• 정적 로렌츠 다양체에서 두 고정점 사이의 지오데식에 대해 마스볼 인덱스와 $ P $ 위의 메트릭 인덱스를 사용하여 전역 모스 관계를 도출할 수 있다.
• 결과적으로 고전적 모스 인덱스 정리는 변수 초기 끝점과 부정부호 메트릭을 가진 경우로 확장되며, 반리만 기하학에서의 전역 분석을 위한 강력한 도구가 된다.
• 이 프레임워크는 자코비 연산자가 자기적일 필요가 없더라도, 제2변분의 인덱스를 위상적 및 기하학적 불변량으로 계산할 수 있도록 한다.