[논문 리뷰] The index growth and multiplicity of closed geodesics

Huagui Duan, Yiming Long|arXiv (Cornell University)|2010. 03. 18.

Advanced Differential Geometry Research인용 수 3

한 줄 요약

이 논문은 컴팩트한 단순연결된 편미분 Finsler 다양체에서의 무리수 폐포지오데식의 인덱스 성장 분석을 통해 이전의 폐포지오데식 결과를 확장한다. 모스 이론과 인덱스 반복 공식을 사용하여, 모든 컴팩트한 단순연결된 비가역성 또는 가역성 Finsler 4차원 다양체에서 적어도 두 개의 서로 다른 근본 폐포지오데식이 존재함을 증명한다. 이는 이전의 3차원 다양체와 구의 결과를 일반화한 것이다.

ABSTRACT

In the recent paper \cite{LoD1}, we classified closed geodesics on Finsler manifolds into rational and irrational two families, and gave a complete understanding on the index growth properties of iterates of rational closed geodesics. This study yields that a rational closed geodesic can not be the only closed geodesic on every irreversible or reversible (including Riemannian) Finsler sphere, and that there exist at least two distinct closed geodesics on every compact simply connected irreversible or reversible (including Riemannian) Finsler 3-dimensional manifold. In this paper, we study the index growth properties of irrational closed geodesics on Finsler manifolds. This study allows us to extend results in \cite{LoD1} on rational and in \cite{DuL1}, \cite{Rad4} and \cite{Rad5} on completely non-degenerate closed geodesics on spheres and $\CP^2$ to every compact simply connected Finsler manifold. Then we prove the existence of at least two distinct closed geodesics on every compact simply connected irreversible or reversible (including Riemannian) Finsler 4-dimensional manifold.

연구 동기 및 목표

• Finsler 다양체에서 유리수 폐포지오데식에서 무리수 폐포지오데식으로의 폐포지오데식 다중성 결과를 확장하는 것.
• 이전의 구와 복소 프로젝티브 공간에 대한 결과를 모든 컴팩트한 단순연결된 Finsler 다양체로 일반화하는 것.
• 컴팩트한 단순연결된 Finsler 4차원 다양체에서 적어도 두 개의 서로 다른 근본 폐포지오데식이 존재함을 확립하는 것.
• 무리수 폐포지오데식의 반복에 대한 인덱스 성장 성질을 보트 유형 반복 공식과 모스 인덱스 이론을 사용하여 분석하는 것.
• 압축 조건이나 빽직한 조건을 요구하지 않고도 고차원에서의 다중성 문제를 해결하는 것.

제안 방법

• 기본 정규형 분해에서 무리수 회전 행렬의 존재 여부에 따라 근본 폐포지오데식을 유리수형과 무리수형으로 분류하는 것.
• 반복의 모스 인덱스에 대한 보트 유형 반복 공식을 적용하여 공식 $ i(c^m) = \text{Tr}(D\tau^m) $ 를 사용하며, 여기서 $ D\tau $ 는 선형화된 파oincaré 매핑이다.
• 자기 동치 $ \frac{2T}{n} \text{Tr} \big( \text{합산 over } m \text{ 및 } l_m \big) = T \tilde{i}(c) B(d,h) $ 를 사용하여 자유 루프 공간에서의 베텔리 수 성장 분석을 수행하는 것.
• 베텔리 수 $ b_{k} $ 가 반드시 짝수 정수여야 한다는 점을 보여, 이들이 홀수일 경우(예: $ b_1 = 1 \notin 2\bbN_0 $) 모순이 발생함을 통해 모순 증명을 사용하는 것.
• LoD1과 DuL1의 증명 기법을 비가역성 및 가역성 Finsler 케이스로 적응시키며, 대칭성과 인덱스 단조성 성질을 활용하는 것.
• 특히 $ \tilde{i}(c) = \text{평균 인덱스} $ 이고 $ B(d,h) $ 는 알려진 위상수학적 불변량이므로, 폐포지오데식 수에 대한 전역적 제약 조건을 유도하는 것.

실험 결과

연구 질문

• RQ1 3차원에서의 폐포지오데식 다중성 결과를 4차원 컴팩트한 단순연결된 Finsler 다양체로 확장할 수 있는가?
• RQ2 무리수 폐포지오데식의 인덱스 성장 성질은 유리수 폐포지오데식과 어떻게 다를 수 있으며, 이를 통해 전역적 다중성 결과를 도출할 수 있는가?
• RQ3 자유 루프 공간의 베텔리 수는 기하학적으로 서로 다른 폐포지오데식의 수에 어떤 제약을 가하는가?
• RQ4 짝수 베텔리 수에 기반한 모순 증명 기법을 비가역성 Finsler 계량으로 일반화할 수 있는가?
• RQ5 4차원 케이스에서 오직 하나의 기하학적으로 서로 다른 근본 폐포지오데식만 존재할 경우, 인덱스 반복 과정에서 모순이 발생하는가?

주요 결과

• 논문은 모든 컴팩트한 단순연결된 비가역성 또는 가역성 Finsler 4차원 다양체가 적어도 두 개의 서로 다른 근본 폐포지오데식을 포함함을 증명한다.
• 오직 하나의 기하학적으로 서로 다른 근본 폐포지오데식만 존재한다고 가정할 경우, $ b_1 = 1 \notin 2\bbN_0 $ 가 되어, 인덱스 반복에서 유도된 베텔리 수의 짝수성 조건을 위반함으로써 모순이 발생한다.
• 무리수 폐포지오데식의 경우, 보트 유형 공식과 항등식 $ \frac{2T}{n} \text{Tr}(\text{합산}) = T \tilde{i}(c) B(4,1) $ 를 통해 인덱스 성장 패턴을 분석하며, 이는 오직 하나의 지오데식이 존재할 경우 모순을 초래한다.
• 이전의 3차원 다양체에서의 유리수 지오데식 연구와, 구와 $ \bbC P^2 $ 에서의 비퇴화 지오데식 연구 결과를 일반화하여, 이제는 모든 컴팩트한 단순연결된 Finsler 다양체를 포함한다.
• 증명은 가역성(Finsler 계량 포함 Riemann 계량 포함) 및 비가역성 Finsler 계량 모두에 대해 성립하며, 가역성 케이스에서는 증명에 약간의 수정이 필요하다.
• 핵심 모순인 $ 1 = b_1 = M_1 \notin 2\bbN_0 $ 는 여러 경우(예: $ i(c) = 0,1,2 $)에서 유도되며, 단일 폐포지오데식의 존재가 불가능함을 확인한다.