Convergence of the Yang-Mills flow on ALE gravitational instantons

문제 제기
본 논문은 비컴팩트 4-다양체, 구체적으로 ALE(Asymptotically Locally Euclidean) 중력 인스턴턴에서의 양 - 밀스 흐름 (1.1) 의 장기 수렴 거동을 다룬다. 컴팩트한 경우의 흐름 수렴은 잘 알려져 있으나, 비컴팩트 설정은 상당한 해석학적 난제를 제시한다. Gustaffson, Nakanishi, Tsai 의 이전 연구는 $\mathbb{R}^4$ 위에서 포물선 갭 정리가 성립하지 않음을 보였는데, 즉 표준 인스턴턴에 임의로 가까운 초기 연결이 흐름 하에서 인스턴턴으로 수렴하지 않는 초기 연결들이 존재한다는 것이다. 저자들은 ALE 중력 인스턴턴에 대한 "포물선 갭 정리"를 수립하여, 초기 에너지가 충분히 작을 때 (구체적으로, 자기-쌍대 곡률 에너지가 특정 임계값 미만일 때) 흐름이 매끄럽게 반자기-쌍대 (ASD) 인스턴턴으로 수렴함을 증명하고자 한다.

방법론
저자들은 ALE 다양체의 비컴팩트하고 리치-평평한 기하학에 적응된 타원형 및 포물형 분석 기법의 조합을 활용한다.

1. 타원형 갭 정리와 소볼레프 상수: 증명은 Viaclovsky 와 Balogh-Kristaly 의 연구에서 유도된 ALE 다양체에 대한 날카로운 소볼레프 부등식 (정리 2.2) 에 의존한다. 유한군 $\Gamma$의 차수 ($|\Gamma|$) 에 의존하는 상수를 가진 이 부등식은 타원형 갭 정리 (정리 2.4) 를 유도할 수 있게 한다: 자기-쌍대 곡률 에너지 $\|F^+\|_{L^2}^2 < 8\pi^2/|\Gamma|$를 갖는 유한 에너지 양 - 밀스 연결은 반드시 반자기-쌍대 ($F^+ \equiv 0$) 여야 한다.

2. 에너지 추정과 $\epsilon$-정칙성: 저자들은 양 - 밀스 함수량의 비증가성과 위상 전하의 보존을 보여주는 기본 에너지 항등식 (보조정리 3.2) 을 활용한다. 그들은 흐름에 대한 $\epsilon$-정칙성 정리 (보조정리 3.3) 를 수립하여, 자기-쌍대 곡률의 작은 $L^2$ 노름이 $L^\infty$ 유계성을 함의함을 보장한다. 이는 잠재적 특이점 근처나 무한대에서의 곡률을 제어하는 데 결정적이다.

3. 블로우업 분석과 모순: 정량적 감쇠율을 증명하기 위해 저자들은 재규모화 (blow-up) 기법을 포함하는 모순 논증 (정리 4.1) 을 사용한다. 감쇠율이 실패한다고 가정하면, 재규모화된 해의 수열을 구성한다. 이러한 수열의 극한을 분석함 (Uhlenbeck 컴팩트성) 으로써, 그 극한은 ALE 다양체 자체이거나 $\mathbb{R}^4/\Gamma$ 위의 ASD 인스턴턴이어야 함을 보인다. 타원형 갭 정리는 곡률의 자기-쌍대 부분이 소멸되도록 강제하여, 감쇠율 실패라는 가정에 모순을 초래한다.

4. $L^p$ 추정을 통한 개선된 감쇠: $F^+ \in L^p$ ($1 < p < 2$) 인 초기 데이터에 대해, 저자들은 개선된 감쇠율 (정리 1.1b) 을 유도한다. 이는 자기-쌍대 곡률의 $L^2$ 노름이 작아지면 $L^p$ 노름이 유계로 유지됨을 보여, 결과적으로 $L^\infty$ 감쇠율을 $o(t^{-2/p})$로 가속화하는 과정을 포함한다.

5. ASD 인스턴턴으로의 수렴: 마지막으로, 저자들은 감쇠 추정치를 포물형 Moser 반복 및 열 반군 추정치와 결합하여 연결 $A(t)$가 $C^\infty_{loc}$ 및 $L^q$에서 ASD 인스턴턴 $A_\infty$로 수렴함을 증명한다 (정리 6.1).

주요 결과
주요 결과는 정리 1.1이며, 이는 $(\mathbb{R}^4 \setminus \{0\})/\Gamma$에 점근적인 ALE 중력 인스턴턴 $(M,g)$ 위의 $SU(r)$-다발에 대해 다음을 수립한다:

• 임계 조건: 초기 연결 $A_0$가 유한한 양 - 밀스 에너지를 가지며 엄밀 부등식 $\|F^+_{A_0}\|_{L^2}^2 < 8\pi^2/|\Gamma|$을 만족하면, 흐름은 모든 시간에 존재한다.
• 자기-쌍대 곡률의 감쇠:
  • 일반적으로, $t \to \infty$일 때 $\|F^+(t)\|_{L^\infty} = o(1/t)$이고 $\|F^+(t)\|_{L^2} \to 0$이다.
  • 추가로 $1 < p < 2$에 대해 $\|F^+_{A_0}\|_{L^p} < \infty$이면, 감쇠가 $\|F^+(t)\|_{L^\infty} = o(t^{-2/p})$ 및 $\|F^+(t)\|_{L^p} \to 0$으로 개선된다.
• 수렴: 이러한 조건 하에서 흐름 $A(t)$는 매끄럽게 (적절한 $q$에 대해 $C^\infty_{loc} \cap L^q$에서) ASD 인스턴턴 $A_\infty$로 수렴한다. 중요하게도, 위상 전하는 보존된다: $\kappa(A_\infty) = \kappa(A_0)$.

의의와 주장
저자들은 이 연구를 4-구에서 수립된 이전의 "포물선 갭 정리"의 비컴팩트 확장으로 위치시킨다. 결과의 의의는 네 가지 구체적인 동기에서 outlined 된다:

1. 비컴팩트 장애물 극복: 이 논문은 인스턴턴에 가까운 연결이 수렴하지 않을 수 있는 $\mathbb{R}^4$에서의 포물선 갭 실패가, 초기 자기-쌍대 곡률에 대한 약한 감쇠 가정을 부과함으로써 ALE 다양체에서는 피할 수 있음을 보여준다.
2. Oh-Tataru 의 일반화: 이 결과는 위상 전하가 0 이고 에너지가 $8\pi^2$ 미만으로 제한되었던 $\mathbb{R}^4$ 위의 Oh 와 Tataru 의 연구를 일반화한다. 본 논문은 더 높은 위상 전하로 결과를 확장하여, 평탄한 연결이 아닌 동일한 전하를 가진 ASD 인스턴턴으로의 수렴을 보인다. 저자들은 이것이 쌍곡선 양 - 밀스 방정식에 대한 임계값 추측의 일반화를 촉진할 수 있음을 시사한다.
3. 리치 흐름 안정성보다 약한 가정: 수렴은 중력 인스턴턴의 리치 흐름 안정성 결과에 비해 초기 데이터에 대해 훨씬 약한 가정 하에 달성된다. 구체적으로, 저자들은 초기 연결이 특정 ASD 인스턴턴에 가까울 것을 요구하지 않으며, 오직 자기-쌍대 에너지가 갭 임계값 미만일 것만 요구한다.
4. 모듈라이 공간 위상수학: 저자들은 이러한 수렴 결과가 ALE 중력 인스턴턴 위의 ASD 인스턴턴 모듈라이 공간의 위상수학을 연구하는 데 유용할 것으로 기대한다.

본 논문은 단시간 존재성은 기존 문헌을 인용하여 가정되지만, 완전한 다양체에서의 흐름에 대한 단시간 존재성과 잘 정의됨 (well-posedness) 에 대한 상세한 처리는 별도로 다루어야 할 미해결 문제임을 명시적으로 지적한다.