[논문 리뷰] Morse theory, closed geodesics, and the homology of free loop spaces

Alexandru Oancea|arXiv (Cornell University)|2014. 06. 12.

Geometric and Algebraic Topology참고 문헌 69인용 수 9

한 줄 요약

이 논문은 리만 다양체 위의 폐포지오데식을 분석하는 데서 모스 이론이 수행하는 역할에 대한 종합적인 조사를 제공한다. 특히 에너지 함수의 정의역으로 자유 루프 공간을 중심으로 다룬다. 변분 방법, 지수 이론, 호몰로지 계산(특히 $SO(2)$ 및 $O(2)$ 대칭성에 의한)를 적용하여, 2차원 구면에서 기하학적으로 서로 다른 소폐포지오데식이 무수히 많다는 것을 입증함으로써 오랫동안 남아있던 문제를 해결한다. 이는 모스 이론적 및 심플렉틱 기법을 통해 이루어진다.

ABSTRACT

This is a survey paper on Morse theory and the existence problem for closed geodesics. The free loop space plays a central role, since closed geodesics are critical points of the energy functional. As such, they can be analyzed through variational methods. The topics that we discuss include: Riemannian background, the Lyusternik-Fet theorem, the Lyusternik-Schnirelmann principle of subordinated classes, the Gromoll-Meyer theorem, Bott's iteration of the index formulas, homological computations using Morse theory, $SO(2)$- vs. $O(2)$-symmetries, Katok's examples and Finsler metrics, relations to symplectic geometry, and a guide to the literature. The Appendix written by Umberto Hryniewicz gives an account of the problem of the existence of infinitely many closed geodesics on the $2$-sphere.

연구 동기 및 목표

• 리만 다각형 위의 폐포지오데식 존재성 및 다수성에 대한 모스 이론의 적용을 조사하는 것.
• 자유 루프 공간 $\Lambda M$ 가 에너지 함수의 자연스러운 정의역이 되는 방식을 설명하고, 그 임계점이 폐포지오데식임을 밝히는 것.
• 베크티 수와 동차 호몰로지와 같은 호몰로지 불변량이 다수의 폐포지오데식을 탐지하는 데 수행하는 역할를 명확히 하는 것.
• 모스 이론, 곡선 수축 흐름, 그리고 콘리 인덱스 이론을 활용하여 $S^2$ 상의 무수한 폐포지오데식 문제를 해결하는 것.
• 지오데식 문제를 해밀턴 역학과 펄러 기하학, 특히 카토의 예와 심플렉틱 열악한 최대값을 통해 연결하는 것.

제안 방법

• 에너지 함수 $E(\gamma) = \int_{S^1} |\dot{\gamma}(t)|^2 dt$ 의 임계점 분석을 위해 $H^1$-정규성 자유 루프의 힐버트 다양체 $\Lambda M$ 상에서 모스 이론을 적용한다.
• 서브오더드 클래스 원리인 르스테르니크-슐레리엘만 원리를 적용하여 다수의 임계 수준과 따라서 다수의 폐포지오데식을 탐지한다.
• 반복된 지오데식의 모스 지수와 영성도를 계산하기 위해 보트의 반복 공식을 활용하며, 이는 기하학적으로 서로 다른 지오데식을 구별하는 데 핵심적이다.
• SO(2) 및 O(2) 대칭성을 갖는 동차 호몰로지 계산을 통해 호몰로지 계산을 정밀화하고 비자명한 임계점의 구조를 탐지한다.
• 곡선 수축 흐름(Grayson의 흐름)을 적용하여 임베디드 루프의 미니맥스 가족을 구성하고, 높은 지수와 수평 방향의 회전 수가 큰 특수 지오데식을 식별한다.
• 심플렉틱 열악한 최대값(SDM) 개념과 콘리 인덱스 이론을 활용하여, 높은 지수를 갖는 열악한 임계점이 존재할 경우 무수히 많은 폐포지오데식의 존재를 증명한다.

실험 결과

연구 질문

• RQ1 모든 폐포지오데식 리만 다각형은 적어도 하나의 폐포지오데식을 포함하는가?
• RQ2 특히 2차원 구면을 포함한 모든 폐포지오데식 리만 다각형은 기하학적으로 서로 다른 소폐포지오데식을 무수히 많이 포함하는가?
• RQ3 자유 루프 공간 $\Lambda M$ 의 호몰로지 불변량은 폐포지오데식의 존재성과 다수성과 어떻게 관련되는가?
• RQ4 대칭성(예: $SO(2)$ 대비 $O(2)$)은 폐포지오데식의 호몰로지 계산에서 어떤 역할을 하는가?
• RQ5 해밀턴 역학 및 플로어 이론의 기법은 비가역적 펄러 기하학에 대한 모스 이론 결과를 어떻게 확장하는가?

주요 결과

• 르스테르니크-페트 정리에 따르면, 모든 폐포지오데식 리만 다각형 상에 적어도 하나의 폐포지오데식이 존재한다.
• 2차원 구면의 경우, 반바지 이론(Bangert의 작업)과 고정면적 변환에 대한 애너루스 상의 프랭크스 결과를 조합함으로써 기하학적으로 서로 다른 소폐포지오데식이 무수히 많다는 것이 보장된다.
• 그레이슨의 곡선 수축 흐름을 활용한 ힹ스턴의 미니맥스 추론은 지수와 영성도의 합이 최소 3 이상이고, 수평 방향의 회전 수가 최소 1 이상인 특수 단순 폐포지오데식 $\gamma_*$ 를 식별한다.
• 만약 $\gamma_*$ 의 수평 회전 수가 정확히 1이라면, 이는 심플렉틱 열악한 최대값(SDM)이 되며, 힉슨과 진츠부르크의 결과에 의해 무수히 많은 폐포지오데식의 존재를 강제한다.
• 앙제른트의 작업에 따르면, 바이르코프 애너루스로의 복귀 사상이 잘 정의되어 있지 않더라도, $p/q$-위성 지오데식의 존재는 고립 블록과 콘리 인덱스 이론을 통해 무수히 많은 폐포지오데식의 존재를 암시한다.
• 결과는 접촉 호몰로지와 플로어-이론적 방법을 활용하여 비가역적 펄러 기하학에까지 확장되며, 이는 모스 이론적 프레임워크의 광범위한 적용 가능성을 보여준다.