[논문 리뷰] The existence of two closed geodesics on every Finsler 2-sphere

Victor Bangert, Yiming Long|ArXiv.org|2007. 09. 09.

Advanced Differential Geometry Research참고 문헌 20인용 수 5

한 줄 요약

이 논문은 1974년 D. V. Anosov가 제기한 오랜 미해결 문제를 해결하며, 2차원 구면 위의 모든 페인슬러 계량에서 적어도 두 개의 서로 다른 근본적인 폐곡선 기하학적 길이선이 존재함을 증명한다. 모스 이론, 인덱스 반복 공식, 호몰로지 방법을 기반으로 한 모순 증명을 통해, 선형화된 푸앵카레 사상의 심플렉틱 정규형을 분석하고, 단일 근본적인 폐곡선 기하학적 길이선이 존재한다고 가정할 경우 자유 루프 공간 위의 에너지 함수의 임계 모듈러스 구조에서 위상적 모순이 발생함을 보여준다.

ABSTRACT

In this paper, we prove that for every Finsler metric on the 2-dimensional sphere there exist at least two distinct prime closed geodesics. For the case of the two-sphere, this solves an open problem posed by D. V. Anosov in 1974.

연구 동기 및 목표

• 1974년 D. V. Anosov가 제기한, 페인슬러 2차원 구면에서 폐곡선 기하학적 길이선의 최소 개수에 관한 미해결 문제를 해결하는 것.
• 모든 페인슬러 계량, 비가역적인 것까지 포함하여 $S^2$ 위에 적어도 두 개의 서로 다른 근본적인 폐곡선 기하학적 길이선이 존재함을 입증하는 것.
• 기존의 리만 기하학적 또는 곡률가속 조건 하에서의 폐곡선 기하학적 길이선 결과를, 곡률나 비퇴화 조건 없이 일반적인 페인슬러 설정으로 확장하는 것.
• 비가역적인 페인슬러 계량에서 발생하는 다중 커버링 현상으로 인해 고전적 변형 기법이 방해받는 문제를 극복하는 것.
• 단일 근본적인 폐곡선 기하학적 길이선이 존재한다고 가정할 경우 가능한 심플렉틱 정규형의 전체 분류를 제공하고, 이로 인해 모순이 발생함을 보여주는 것.

제안 방법

• 가정에 기반한 모순 증명을 통해, 단일 근본적인 폐곡선 기하학적 길이선 $c$ 를 갖는 페인슬러 2차원 구면이 존재한다고 가정한다.
• 자유 루프 공간 $\Lambda S^2$ 위의 페인슬러 에너지 함수 $E: \Lambda S^2 \to \mathbb{R}$ 를 사용하여 폐곡선 기하학적 길이선과 그 반복의 임계점들을 연구한다.
• [Lon1]의 인덱스 반복 공식을 적용하여 반복 기하학적 길이선 $c^m$ 의 모스 지수 $i(c^m)$ 와 영성수 $\nu(c^m)$ 를 계산한다.
• 기하학적 길이선의 동역학적 행동에 따라, 선형화된 푸앵카레 사상의 심플렉틱 정규형을 분류하고, (CG-1)에서 (CG-9)까지의 경우로 나눈다.
• 삼중체 $({\Lambda}, {\Lambda}^{\kappa_\tau}, {\Lambda}^0)$ 에 대한 상대 호몰로지의 장점 정규 시퀀스를 사용하여, $b_k = \dim H_k({\Lambda}, {\Lambda}^0; \mathbb{Q})$ 의 베텨 수를 분석하고, 모스 부등식을 통해 모순을 이끌어낸다.
• 임계 모듈러스 구조와 $\hat{k}_i$ 불변량을 활용하여, 다양한 에너지 수준 간의 호몰로지 데이터를 비교하고, 단일 기하학적 길이선 가정이 일관되지 않은 베텨 수 한계를 초래함을 보여준다.

실험 결과

연구 질문

• RQ1 모든 페인슬러 계량, 비가역적인 것까지 포함하여 $S^2$ 위에 적어도 두 개의 기하학적으로 서로 다른 근본적인 폐곡선 기하학적 길이선이 존재하는가?
• RQ2 비가역적인 페인슬러 계량에서 발생하는 다중 커버링 현상은 호몰로지 방법을 통해 폐곡선 기하학적 길이선의 다중성 증명에 의해 극복될 수 있는가?
• RQ3 페인슬러 2차원 구면에서 단일 근본적인 폐곡선 기하학적 길이선이 존재하는 것은 에너지 함수의 임계 모듈러스 구조와 위상학적으로, 호몰로지적으로 일관된가?
• RQ4 인덱스 반복 공식과 푸앵카레 사상의 심플렉틱 정규형은 단일 폐곡선 기하학적 길이선의 가능한 동역학을 어떻게 제약하는가?
• RQ5 Katok과 Ziller의 정리에 따르면, 정확히 두 개의 폐곡선 기하학적 길이선을 갖는 페인슬러 계량은 일반적인 페인슬러 2차원 구면에서 가능한 최소 개수를 나타내는가?

주요 결과

• 논문은 모든 페인슬러 2차원 구면이 비가역성 여부에 관계없이 적어도 두 개의 서로 다른 근본적인 폐곡선 기하학적 길이선을 갖는다는 것을 증명한다.
• 기하학적 길이선의 심플렉틱 정규형 분류의 모든 경우에서 모순이 발생하며, 이는 단일 기하학적 길이선 가정이 모스 부등식이나 호몰로지 제약을 위반함을 보여준다.
• 특히, 기하학적 길이선이 유리적 타원형 불안정 고정점(클래스 CG-7)인 경우, 장점 정규 호몰로지 시퀀스와 불등식 $\dim H_2({\Lambda}, {\Lambda}^{\kappa_\tau}) \leq \hat{k}_1(d)$ 를 통해 모순이 발생하며, 이는 $\tau = n-1$ 과 충돌한다.
• 증명은 단일 근본적인 폐곡선 기하학적 길이선 가정이 일관되지 않은 베텨 수 추정을 초래함을 보여준다: $\dim H_1({\Lambda}, {\Lambda}^0) = 1$ 이지만, 유도된 부등식은 $\dim H_1({\Lambda}^{{\kappa}_\tau}, {\Lambda}^0) \geq 2$ 를 강제로 유도하며, 이는 모순이다.
• 기하학적 길이선이 불안정하거나 비하이퍼볼릭일 경우에도 결과가 성립한다. 호몰로지 방법은 비퇴화성 또는 곡률가속 조건을 필요로 하지 않기 때문이다.
• 이 증명은 Katok의 정확히 두 개의 폐곡선 기하학적 길이선을 갖는 예가 일반적인 페인슬러 2차원 구면에서 가능한 최소 개수임을 확인한다.