Non-uniqueness of geodesic limits and a question of Grayson and Gage

기술 요약: 측지선 극한의 비유일성과 Grayson 및 Gage의 질문

문제 제기
본 논문은 닫힌 곡면 위에서 곡률 단축 흐름(curve shortening flow, CSF)의 점근적 거동에 관한 근본적인 문제를 다룬다. Grayson과 Gage는 닫힌 곡면 위의 단순 폐곡선에 대한 불멸(모든 $t \ge 0$에 대해 존재하는) CSF가 부분적으로는 하나의 닫힌 측지선으로 수렴한다는 것을 입증했다. 그러나 그들은 이 극한 측지선이 유일한지, 즉 서로 다른 시간 수열 $t_i \to \infty$가 반드시 동일한 극한 측지선을 생성하는지에 대한 의문을 제기했다. 음의 곡률을 가진 곡면, 원형 구체($(S^2, g_{\text{rd}})$), 그리고 실해석적 계량(Lojasiewicz–Simon 논법을 통해)의 경우에는 유일성이 알려져 있으나, 일반적인 매끄러운 계량에 대해서는 여 still 미해결 상태였다. 저자들은 구체($S^2$) 위의 매끄러운 리만 계량에 대해 비유일성이 발생할 수 있는지 확인하고자 한다.

방법론
증명은 기하학적 분석, 역함수 정리, 그리고 동역학계를 결합하여 세 가지 주요 단계로 진행되는 구성적 방식이다:

1. 준측지선(Almost Geodesics)의 구성 (섹션 2):
   저자들은 공형 계량 $g_\epsilon = e^{2\rho_\epsilon}g_{\text{rd}}$를 가진 $S^2$ 상의 두 매개변수 가족인 "준측지선" $\{\Gamma_{\epsilon, v}\}$를 구성한다. Ambrozio–Marques–Neves [AMN25]가 개발한 Nash–Moser 역함수 정리를 활용하여, 이 곡선들의 길이 프로파일을 규정한다. 구체적으로, 사영 평면 $P = \mathbb{RP}^2$ 상의 주어진 매끄러운 평균-영(mean-zero) 함수 $W$에 대하여, $\Gamma_{\epsilon, v}$의 길이가 $L_\epsilon + \epsilon W(v)$가 되도록 보장한다. 결정적으로, 저자들은 이 곡선들의 곡률 벡터 $\vec{\kappa}_{\epsilon, \sigma}$를 분석한다. 이들은 곡선에 접하는 곡률 성분이 정확히 길이 프로파일의 음의 기울기인 $-\nabla_{q_\epsilon}(\epsilon W)$이며, 곡선에 수직인 성분은 추가적인 $\epsilon$ 인자에 의해 더 작다는 것을 보여준다. 이는 일차적으로 CSF가 $W$의 경사 흐름(gradient flow)에 따라 준측지선 가족을 통해 이동함을 확립한다.

2. 포텐셜의 동역학적 구성 (섹션 3):
   비유일한 극한을 생성하기 위해, 저자들은 $\mathbb{RP}^2$ 상의 특정 포텐셜 함수 $W$를 구성한다. 저자들은 $W$의 음의 경사 흐름이 미리 정해진 임베디드 임계 원(critical circle) $Z \subset \mathbb{RP}^2$ 주위를 무한히 나선형으로 회전하는 견고한 궤적을 포함하도록 설계한다. 이 구성은 $Z$ 주변의 페르미 좌표계(Fermi coordinates)와, 흐름의 속도가 $Z$에 접근함에 따라 0으로 수렴하지만 궤적을 따르는 속도의 로그 미분값이 임의로 작게 만들어질 수 있는 정교하게 제작된 함수를 활용한다. 이는 궤적이 단일 점으로 수렴하지 않고 전체 집합 $Z$에 축적되도록 하며, 흐로가 계량의 작은 섭동에도 안정적임을 보장한다.

3. 모드 분석 및 안정성 (섹션 4):
   저자들은 참조 곡선에 대한 그래프로서 인근의 고정된 준측지선을 표현함으로써 CSF를 분석한다. 이들은 그래프 함수를 "중심 모드"(대원(great circle)의 회전에 대응하는 첫 두 개의 홀수 푸리에 모드)와 "안정 모드"(높은 차수의 홀수 푸피에 모드)로 분해한다. 스펙트럼 간극(spectral gap) 논법을 사용하여, 저자들은 안정 모드가 중심 모드보다 지수적으로 더 빠르게 감쇠함을 증명한다. 결과적으로, 흐름의 장기적 동역학은 전적으로 중심 모드의 진화에 의해 지배되며, 이들은 섹션 3에서 구성된 $W$의 나선형 경사 흐름을 따른다. 이를 통해 저자들은 전체 흐름을 제어하고, 흐름이 $Z$에 의해 색인된 특정 준측지선 가족에 축적되도록 보장할 수 있다.

주요 결과
주요 결과는 정리 1.1과 그 상세 버전인 정리 5.1에 명시되어 있다:

• $S^2$ 상의 매끄러운 리만 계량 $g$(원형 계량에 임의로 가깝게 선택될 수 있음)와 불멸의 단순 폐곡선 단축 흐름 $\gamma(t)$가 존재한다.
• $t \to \infty$일 때 $\gamma(t)$의 부분적 극한 집합은 단일 측지선이 아니다. 대신, 이는 임베디드 원 $Z \subset \mathbb{RP}^2$에 의해 색인된 구별되는 단순 폐 $g$-측지선들의 전체 일매개변수 가족 $\{\Gamma_z\}_{z \in Z}$를 포함한다.
• 모든 $z \in Z$에 대하여, $t_i \to \infty$인 수열 $t_i$가 존재하여 $\gamma(t_i)$는 $\Gamma_z$로 매끄럽게 수렴한다.
• 이 가족에 속하는 측지선들은 모두 동일한 길이를 갖는다.
• 충분히 큰 $t$에 대하여, 진화하는 곡선 $\gamma(t)$는 각 극한 측지선 $\Gamma_z$와 정확히 두 점에서 교차하며, 이는 (원형 계량에서 사용된 도구인) 교차하는 측지선 집합의 단조성이 이 구성된 환경에서는 비유일성을 방지하지 못함을 보여준다.

의의 및 주장
본 논문은 Grayson과 Gage가 제기한 질문에 대해 부정적인 답변을 제공함으로써, 불멸의 곡률 단축 흐름에 대한 극한 측지선의 유일성이 $S^2$ 상의 일반적인 매끄러운 리만 계량에 대한 보편적 성질이 아님을 입증한다.

• 저자들은 원형 계량(여기서는 교차하는 측지선의 직경이 0으로 수축됨)과 음의 곡률에서는 유일성이 성립하지만, 일반적인 매끄러운 계량에서는 유일성을 보장하는 메커니즘이 실패한다는 점을 명확히 한다.
• 이 구성은 계량의 기하학(Nash–Moser 정리를 통해)과 흐름의 동역학(스펙트럼 간극 및 경사 흐름 안정성을 통해) 사이의 상호작용에 의존한다.
• 본 논문은 (Lojasiewicz–Simon 논법이 적용될 것으로 예상되는) 실해석적 계량이나 고차원 평균 곡률 흐름에 대한 유일성 문제를 해결하려는 것이 아니며, 이를 별개의 열린 문제로 명시한다. 본 연구의 의의는 구체 위에서의 매끄러운 반례의 존재에 엄격히 국한된다.