[논문 리뷰] The Yang-Mills flow and the Atiyah-Bott formula on compact Kahler manifolds

Adam Jacob|arXiv (Cornell University)|2011. 09. 07.

Geometry and complex manifolds참고 문헌 19인용 수 11

한 줄 요약

이 논문은 컴acts Kähler 다양체 위의 헬로모르픽 벡터 번들의 양-밀스 흐름이 $L^2$ 수렴하여 경계 curvature의 자기형사(endomorphism)로 수렴하며, 그 고유값들은 하드어-나라시안 필터링의 몫들의 기울기와 대응됨을 확립한다. 이는 헤르미트-양-밀스 함수의 $L^2$ 하한을 날카롭게 증명하여, 아티야- bott 공식을 임의의 차원으로 일반화하고, 극한 번들의 반사적 확장을 하드어-나라시안 층의 이중 이중 층과 동형으로 확인하여 반나-시우의 추측을 검증한다.

ABSTRACT

We study the Yang-Mills flow on a holomorphic vector bundle E over a compact Kahler manifold X . Along a solution of the flow, we show the curvature $iΛF(A_t)$ approaches in $L^2$ an endomorphism with constant eigenvalues given by the slopes of the quotients from the Harder-Narasimhan filtration of E. This proves a sharp lower bound for the Hermitian-Yang-Mills functional and thus the Yang-Mills functional, generalizing to arbitrary dimension a formula of Atiyah and Bott first proven on Riemann surfaces. Furthermore, we show any reflexive extension to all of X of the limiting bundle $E_\infty$ is isomorphic to $Gr(E)^{\star\star}$, verifying a conjecture of Bando and Siu.

연구 동기 및 목표

• 컴 pact Kähler 다양체 위에서 임의의 복소 차원에 대해 양-밀스 함수에 대한 아티야- bott 공식을 일반화하는 것.
• 안정적이지 않은 헬로모르픽 벡터 번들의 양-밀스 흐름의 극한 행동을 확립하는 것.
• 양-밀스 흐름 동안 극한 번들의 반사적 확장을 $\mathrm{Gr}^{\mathrm{hns}}(E)^{**}$와 동형으로 증명하여 반나-시우의 추측을 검증하는 것.
• 하드어-나라시안 필터링을 통한 헤르미트-양-밀스 함수의 날카로운 $L^2$ 하한을 유도하는 것.

제안 방법

• 하드어-나라시안 필터링을 사용하여 $\Psi_t = \sum_i \mu(Q^i)(\pi^i - \pi^{i-1})$ 라는 자기형사를 정의하며, $\mu(Q^i)$는 $i$-번째 몫의 기울기이다.
• $t \to \infty$ 일 때 $\|i\Lambda F_{A_t} - \Psi_t\|_{L^2} \to 0$ 임을 증명하여, 곡률이 필터링에 의해 유도된 자기형사로 $L^2$ 수렴함을 보여준다.
• 양-밀스 흐름의 포물선적 성질과 $L^2$ 추정을 활용하여 투영과 곡률의 흐름에 따른 변화를 통제한다.
• 세샤드리 필터링과 제2 기본형 사상 추정을 적용하여 특이점 집합 $Z$ 에서의 흐름의 극한 행동을 분석한다.
• 시프만의 확장 정리와 반사적 층의 성질을 활용하여 극한 번들 $E_\infty$ 를 특이점 집합 $Z_{\text{an}}$ 에서 확장한다.
• $X \setminus Z$ 에서의 유일성과 반사적 확장의 유일성, 층의 동형을 이용하여 $\mathrm{Gr}^{\mathrm{hns}}(E)^{**}$ 와 Bando-Siu 확장 $\hat{E}_\infty$ 사이의 동형을 확립한다.

실험 결과

연구 질문

• RQ1 컴 pact Kähler 다양체 위의 헬로모르픽 벡터 번들에 대한 양-밀스 흐름이 안정적이지 않을 경우에도 $L^2$ 수렴하여 하드어-나라시안 기울기에서 유래된 고유값을 가진 곡률 자기형사로 수렴하는가?
• RQ2 양-밀스 함수에 대한 아티야- bott 공식은 리만 표면을 초월하여 임의의 복소 차원으로 일반화될 수 있는가?
• RQ3 양-밀스 흐름 동안 극한 번들의 반사적 확장 $E_\infty$ 는 반나-시우의 추측에 따라 $\mathrm{Gr}^{\mathrm{hns}}(E)^{**}$ 와 동형인가?
• RQ4 임의의 헬로모르픽 번들에 대해 양-밀스 흐름 하에서 곡률 자기형사 $i\Lambda F_{A_t}$ 의 정확한 $L^2$-극한 행동은 무엇인가?

주요 결과

• 곡률 자기형사 $i\Lambda F_{A_t}$ 는 $L^2$ 수렴하여 고유값이 하드어-나라시안 몫 $Q^i$ 의 기울기인 자기형사 $\Psi_t$ 로 수렴하며, $t \to \infty$ 일 때 $\|i\Lambda F_{A_t} - \Psi_t\|_{L^2} \to 0$ 임을 증명한다.
• 헤르미트-양-밀스 함수에 대한 날카로운 $L^2$ 하한이 확립된다: $\inf_A \|i\Lambda F_A\|^2_{L^2} = \sup_{\mathcal{F}} \Phi(\mathcal{F})^2$ 이며, 여기서 최대화는 모든 기울기 감소 필터링에 대해 이루어진다.
• 극한 번들 $E_\infty$ 는 특이점 집합 $Z_{\text{an}}$ 에서 반사적 층으로 확장되며, 이는 $\mathrm{Gr}^{\mathrm{hns}}(E)^{**}$ 와 동형이 되어 반나-시우의 추측을 확인한다.
• 대수적 특이점 집합 $Z_{\text{alg}}$ 는 해석적 특이점 집합 $Z_{\text{an}}$ 에 포함되며, 이는 대수적 특이점들이 흐름의 극한 행동에 의해 감지됨을 시사한다.
• 반사적 확장의 유일성 덕분에 극한 반사적 층 $\hat{E}_\infty$ 는 하위수열의 선택과 무관하게 극단적이다.
• $X \setminus Z$ 에서 극한 번들 $E_\infty$ 는 $\mathrm{Gr}^{\mathrm{hns}}(E)$ 와 동형이며, 이 동형은 이중 이중 구성에 의해 전체 $X$ 에까지 확장된다.