Closed Ricci Flows with Singularities Modeled on Asymptotically Conical Shrinkers

기술 요약: 점근적 원뿔형 수축 솔리톤(Asymptotically Conical Shrinkers)에 모델링된 폐쇄된 리치 흐름의 특이점

문제 정의
본 논문은 리치 흐름 이론의 근본적인 역질문에 다룬다: 매끄럽고 완전한 비콤팩트 리치 솔리톤 $(M, g, X, \lambda)$가 주어졌을 때, 이 특정 솔리톤을 모델로 하는 유한 시간 특이점을 발생하는 폐쇄된(콤팩트) 다양체 상의 리치 흐름 해가 존재하는가? 비콤팩트 다양체 상의 리치 흐름은 비콤팩트 수축 솔리톤을 모델로 한다는 것이 알려져 있고, 페렐만(Perelmann)의 국소 비붕괴 정리(no-local-collapsing theorem)는 폐쇄된 다양체 상에서의 특정 곱 구조 특이점을 방해하지만, 임의의 점근적 원뿔형(asymptotically conical, AC) 수축 구배 리치 솔리톤을 모델로 하는 폐쇄 다양체 흐름의 일반적인 존재 여부는 기존에 불분명했다. 이전의 이러한 구축 방식들은 대개 대칭성 가정(예: $U(1)$ 또는 $SU(2)$ 대칭)이나 켈러(Kähler) 조건에 의존했다. 본 연구는 이러한 제한 사항들을 제거한다.

방법론
증명은 평균 곡률 흐름(mean curvature flow) 및 리치 흐름 특이점 연구에서 이전 작업들로부터 적응된 바쳅스키 퇴직 원리(Wa˙zewski retraction principle, 또는 바쳅스키 박스 논법)에 기반한 위상적 논증을 채택한다. 전략은 다음과 같은 단계들을 포함한다:

1. 초기 데이터의 구축: 저자들은 폐쇄된 다양체 $\mathcal{M}$ 상의 초기 계량 $\{G_p(t_0)\}$의 가족을 구축한다. 이 다양체는 비콤팩트 솔리톤 다양체 $M$의 거대한 콤팩트 절단(truncation)을 취하고, 이를 여러 개의 복사본(또는 이중 덮개)과 붙임(gluing)으로써 형성된다. 초기 계량은 솔리톤 계량의 섭동(perturbation)이며, 이는 가중 리치-리차드슨 라플라시안(weighted Lichnerowicz Laplacian) $\Delta_f + 2\text{Rm}$의 고유함수 $h_j$에 의해 가중치가 부여되고 컷오프 함수를 사용하여 국소화된, 파라미터 $p \in \mathbb{R}^K$에 의해 매개되는 벡터이다 (여기서 $K$는 선형 연산자의 불안정 고유 모드 수를 의미한다).

2. "박스(Box)" 논법: 저자들은 대칭 2-텐서의 공간 내에서 시간 의존적인 집합(이하 "박스") $B$를 정의한다. 이 집합은 가중 $L^2_f$ 공간에서의 특정 붕괴율(불안정 모드와 안정 모드를 분리함)과 균등한 $C^2$ 유계성을 부과한다. 목표는 특정 파라미터 $p^*$에 대하여, $G_{p^*}(t_0)$로부터 시작하는 리치 흐름 해가 모든 시간 $t \in [t_0, 1)$ 동안 박스 $B$ 내에 머물며, $t \to 1$일 때 솔리톤 계량으로 수렴함을 보이는 것이다.

3. 위상적 모순: 증명은 모순에 의한 방식으로 진행된다. 모든 초기 파라미터 $p$에 대하여 흐름이 시간 $t=1$ 이전에 박스 $B$를 벗어난다고 가정한다. 선형 연산자의 역학(양의 고유값을 갖는 불안정 모드에 대응)을 분석함으로써, 저자들은 만약 흐름이 박스를 벗어난다면 그것이 반드시 "불안정" 경계(topologically an $S^{K-1}$ sphere)를 통해 벗어날 것임을 보여준다. 이는 $K$-볼(ball)로부터 그 경계 구(sphere)로의 연속적인 퇴직(retraction)을 정의하게 되는데, 이는 위상적으로 불가능한 일(구 위의 항등 사상은 null-homotopic이 아님)이다. 따라서, 흐름이 박스를 절대 벗어나지 않는 적어도 하나의 $p^*$가 존재해야 한다.

4. 해석적 추정: 위상적 논증을 엄밀하게 만들기 위해, 저자들은 다음과 같은 정밀한 해석적 추정치를 확립한다:

   • 선형 안정성: AC 수축 솔리톤 상의 $\Delta_f + 2\text{Rm}$ 스펙트럼 분석을 통해, 무한대에서의 고유함수의 점별 성장(pointwise growth)을 제한하는 "고유 모드 성장 조건"을 증명한다.
   • 오차 제어: 구축된 흐름이 (계량의 접합으로 인해) 오직 근사적인 리치 흐름일 뿐이라는 점과 리치 텐서의 비선형성으로부터 발생하는 오차 항들을 추정한다.
   • 장벽 방법(Barrier Methods): 큰 척도(접합 영역 근처 및 무한대)에서의 섭동 $h = g(t) - g$의 $C^0$ 및 $C^2$ 노름을 제어하기 위한 상초해(supersolutions, barriers)를 구성하고, 이를 고계 도함수로 부트스트랩하기 위한 내부 추정치를 사용한다.
   • 조화 사상 열 방정식(Harmonic Map Heat Flow): 해밀토니안 미분동형사상(diffeomorphism)이 잘 정의되도록 하고 흐름이 솔리톤 기하학에 가깝게 유지되도록 하기 위해 조화 사상 열 흐름을 사용하여 해를 재매개변수화한다.

주요 기여 및 결과
주요 결과는 정리 1.1이다:
$(M, g, \nabla f, \lambda = 1/2)$가 매끄럽고 완전한, 점근적 원뿔형 수축 구배 리치 솔리톤이라고 하자. 그러면 폐쇄된 다양체 $\mathcal{M}$과 $t \in [t_0, 1)$ 사이의 리치 흐름 해 $\{G(t)\}$가 존재하며, 이 해는 $t=1$에서 국소적 Type I 특이점을 형성한다. 이 특이점은 주어진 솔리톤을 모델로 하는데, 이는 흐름의 파라볼릭 재척도화(parabolic rescalings)가 점 첸거-그로모프(pointed Cheeger-Gromov) 의미에서 솔리톤 해로 수렴한다는 것을 의미한다.

결정적으로, 이 정리는 솔리톤이나 폐쇄 다양체에 대한 어떠한 대칭성이나 켈러 가정 없이도 성립한다. 특이점 형성은 정밀하다:

• 곡률은 특정 개집합 $U \subset \mathcal{M}$ 상에서 Type I 속도($|Rm| \sim (1-t)^{-1}$)로 발산한다.
• 이 집합 외부에서 곡률은 균등하게 유계 상태를 유지한다.
• 흐umb expanding 영역 $U$에서 흐름은 $C^\infty_{loc}$ 의미에서 솔리톤 계량으로 수렴한다.

의의
본 논문은 다음과 같은 중요한 함의를 주장한다:

1. 일반성: 본 연구는 대칭성이나 켈러 구조를 요구했던 이전 연구들(예: [Max14, Wu14])과 달리, 일반적인 점근적 원뿔형 수축 솔리톤을 모델로 하는 폐쇄 다양체 상의 리치 흐름 특이점에 대한 첫 번째 구축을 제공한다.
2. 리치 흐름의 비유일성: 본 연구는 특이점을 통한 리치 흐름의 비유일성 문제를 다룬다. 이전의 비유일성 사례들(예: [AK22])은 비콤팩트 다양체에서 발생했다. 이러한 AC 수축 솔리톤들이 폐쇄 다양체 상의 특이점을 모델링함을 입증함으로써, 본 결과는 콤팩트 위상에서의 리치 흐름을 통한 비유일성을 확립하기 위한 첫 걸음을 제공한다. 이는 고차원에서의 약한 리치 흐름(weak Ricci flow) 이론 발전에 중요하다.
3. 역학적 관점: 저자들은 이 구축이 제공하는 역학적 관점이 기존의 정적 또는 기하학적 방법들을 보완하여 새로운 수축 리치 솔리톤을 구축하는 데 기여할 수 있음을 시사한다.
4. 타 흐름으로의 확장: 저자들은 본 논문의 증명 전략이 [LZ24]에 의해 평균 곡률 흐름 설정으로 적응되었음을 언급하며, 이는 기하학적 흐름의 특이점 분석에서 바쳅스키 박스 기법의 견고함을 나타낸다.

본 논문은 모든 폐쇄 다양체나 모든 유형의 특이점에 대한 비유일성 문제를 해결한다고 주장하는 것이 아니라, 특정 클래스인 점근적 원뿔형 수축 솔리톤에 대해 이러한 흐름의 존재성을 확립함으로써, 고차원 리치 흐름의 약한 해(weak solutions) 및 비유일성에 대한 추가 조사를 위한 기초를 마련하는 역할을 한다.