[논문 리뷰] Lower bounds on the Calabi functional

Simon Donaldson|ArXiv.org|2005. 06. 24.

Geometry and complex manifolds참고 문헌 15인용 수 6

한 줄 요약

이 논문은 고정된 켈러 클래스 내에서 컴팩트 켈러 다양체 위에서 캘라비 함수수—스칼라 곡률의 L² 노름—에 대한 하한을 테스트 구성(configuration)을 이용해 확립한다. 이는 캘라비 함수수의 하한이 테스트 구성의 중심층에서 C*-작용에 기반한 수치적 불변량 Ψ(𝒳)의 최대값에 의해 결정됨을 증명하며, 양-밀스 함수수에 대한 아티야- bott 원리의 켈러 기하학으로의 확장이며, 일정한 스칼라 곡률 켈러 계량이 존재하기 위한 K-불안정성의 필요성을 새롭게 증명한다.

ABSTRACT

The main result of this paper shows that "test configurations" give new lower bounds on the $L^{2}$ norm of the scalar curvature on a Kahler manifold. This is closely analogous to the analysis of the Yang-Mills functional over Riemann surfaces by Atiyah and Bott. The proof uses asymptotic approximation by finite-dimensional problems: the essential ingredient being the Tian-Zelditch-Lu expansion of the "density of states" function.

연구 동기 및 목표

• 양-밀스 함수수에 대한 아티야- bott 원리를 켈러 기하학에서 캘라비 함수수로 확장한다.
• 테스트 구성과 관련된 대수기하학적 불변량을 통해 스칼라 곡률의 L² 노름에 대한 하한을 확립한다.
• 특수한 구성에 의존하지 않고, 일정한 스칼라 곡률 켈러 계량이 존재하면 K-불안정성이 필수적임을 새롭게 단순화된 증명으로 제시한다.
• 선형 번들의 코호몰로지의 점근적 분석을 통해 L^p 노름으로의 하한 일반화를 시도한다.

제안 방법

• 프로젝티브 다양체 X와 선다발 L의 C*-등변 분열로서의 테스트 구성(𝒳)의 사용.
• H⁰(X₀, ℒᵏ)에서의 C*-작용을 통해 정의된 수치적 불변량 Ψ(𝒳)의 정의; 일반화된 푸타키 불변량과 관련.
• 밀도의 상태의 점근적 전개(Yau-Tian-Zelditch)를 적용하여 추적 불변량을 중심층 X₀에서의 해밀토니안 함수 h의 적분과 연결.
• 무한차원에서의 모멘트 맵 이론을 유한차원 키르칸 유형 문제로 근사화.
• 등변 미분형식과 수평적 업그레이드를 사용하여 관련 번들의 곡률 형식의 통합을 통한 하한 유도.
• 선형 번들의 코호몰로지의 점근적 분석을 통해 Tr(Aₖ^r)의 행동을 분석함으로써 L^p 노름으로의 일반화를 시도하며, N_p = ||h - ĥ||_{L^p(|X₀|)}를 도출.

실험 결과

연구 질문

• RQ1 곡률 함수수와 필터링 간의 아티야- bott 부등식이 켈러 기하학에서 캘라비 함수수로 확장 가능한가?
• RQ2 테스트 구성에서 유도된 수치적 불변량이 캘라비 함수수에 대한 정확한 하한을 제공하는가?
• RQ3 일정한 스칼라 곡률 켈러 계량이 존재하면 K-불안정성이 필수적인가? 그리고 이는 유한차원 근사화를 통해 증명될 수 있는가?
• RQ4 L² 노름의 캘라비 함수수에 대한 하한을 선형 번들의 코호몰로지 점근적 분석을 통해 L^p 노름으로 일반화할 수 있는가?
• RQ5 트레이스 없는 스칼라 곡률의 L^p 노름과 테스트 구성의 중심층에서의 해밀토니안 함수의 L^p 노름 사이의 정확한 관계는 무엇인가?

주요 결과

• 스칼라 곡률 S(ω)의 L² 노름의 하한은 모든 테스트 구성 𝒳에 대해 Ψ(𝒳)의 최대값에 의해 아래로 제한된다.
• X가 K-불안정이 아닐 때만 Ψ(𝒳)가 위상적 하한(평균 스칼라 곡률를 포함)보다 엄격히 크다.
• 이 증명은 일정한 스칼라 곡률 켈러 계량이 존재하기 위한 K-불안정성의 필요성을 새롭게 단순화된 유도로 제시한다.
• 불변량 Ψ(𝒳)가 중심층 |X₀|에서의 트레이스 없는 해밀토니안 함수 h - ĥ의 L² 노름과 같음을 보이며, L^p 노름으로의 일반화를 수행한다.
• Tr(Aₖ^r)의 점근적 분석을 통해 N_p(𝒳) = ||h - ĥ||_{L^p(|X₀|)}를 도출하며, 모든 p ≥ 1에 대해 결과를 일반화한다.
• inf_ω ||S(ω)||_{L²} = sup_𝒳 Ψ(𝒳)의 등식이 추측되며, 이는 안정성과 일정한 스칼라 곡률 계량 존재성 간의 깊은 연결을 시사한다.