[논문 리뷰] Limits of balanced metrics on vector bundles and polarised manifolds

Mario García-Fernández, Julius Ross|arXiv (Cornell University)|2011. 11. 11.

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

한 줄 요약

이 논문은 극화된 다성분형 X, 암묵적 선다발 L, 그리고 헬름홀로픽 벡터 다발 E로 구성된 삼중체 (X, L, E) 위에 α-균형 거리 척도의 가족을 도입한다. E⊗L^k의 베르그만 커널의 점근 전개를 분석함으로써, α-균형 거리 척도의 극한은 일반적인 α에 대해서는 헬름홀로픽-아인슈타인 및 일정 곡률 켈러 거리 척도를, 특수한 α에 대해서는 곡률 항을 포함하는 연립 방정식의 해를 얻으며, 이는 켈러 기하학과 대수기하학에서의 안정성 조건을 통합한다.

ABSTRACT

We consider a notion of balanced metrics for triples (X,L,E) which depend on a parameter α, where X is smooth complex manifold with an ample line bundle L and E is a holomorphic vector bundle over X. For generic choice of α, we prove that the limit of a convergent sequence of balanced metrics leads to a Hermitian-Einstein metric on E and a constant scalar curvature Kähler metric in c_1(L). For special values of α, limits of balanced metrics are solutions of a system of coupled equations relating a Hermitian-Einstein metric on E and a Kähler metric in c_1(L). For this, we compute the top two terms of the density of states expansion of the Bergman kernel of E \otimes L^k.

연구 동기 및 목표

• 기저 다성분형과 벡터 다발의 기하학을 통합하여 삼중체 (X, L, E)에 대한 균형 거리 척도의 개념을 확장한다.
• 삼중체 (X, L, E)의 점근적 안정성과 E 및 X 위의 정규 거리 척도 존재 사이의 대응관계를 수립한다.
• 매개수 α를 도입하여 히친-코바야시 대응과 얀-티엔-도널드슨 추측을 보간함으로써, 두 정규 거리 척도 조건 간의 통합을 도모한다.
• E⊗L^k의 베르그만 커널 조밀도 전개의 상위 두 항을 계산하여, 극한 거리 척도 방정식 유도를 가능하게 한다.
• k→∞일 때 α-균형 거리 척도의 극한 행동을 분석하며, 일반적이고 특수한 α 값에 따라 구분한다.

제안 방법

• L의 곡률 형식과 E의 곡률 형식으로부터 구성된 체적 형식 dV₁과 dV₂를 사용하여 H⁰(L^k)와 H⁰(E⊗L^k) 위의 α-의존적 L² 내적을 정의한다.
• 정규직교 기저에 의해 유도되는 푸비니-스투디 메트릭이 (h^k, H⊗h^k)로 인버트되는 경우를 α-균형 거리 척도로 정의한다.
• 모멘트 맵 이론을 사용하여, 심플렉틱 축소와 선형화 매개수 α ∈ ℝⁿ⁺²로부터 체적 형식 dV₁과 dV₂를 유도한다.
• 국소 헬름홀로픽 좌표와 곡률 전개를 사용하여 E⊗L^k의 단면에 대한 베르그만 커널 전개의 상위 두 항을 계산한다.
• k→∞일 때 α-균형 조건의 점근적 행동을 분석하여 극한 거리 척도 방정식을 도출한다.
• 트레이스 연산, 곡률 수축, 메트릭 포텐셜의 이阶 도함수를 포함한 미분기하 기법을 적용하여 곡률 방정식을 추출한다.

실험 결과

연구 질문

• RQ1 일반적인 α에 대해 k→∞일 때 삼중체 (X, L, E) 위의 α-균형 거리 척도의 극한 행동은 어떠한가?
• RQ2 극한 거리 척도는 헬름홀로픽-아인슈타인 및 일정 곡률 켈러 방정식과 어떻게 관련이 있는가?
• RQ3 α가 ℝⁿ⁺²의 특수 부분집합에 있을 경우 극한 거리 척도는 어떻게 되는가?
• RQ4 E⊗L^k의 베르그만 커널 전개의 상위 두 항을 명시적으로 계산하고, 이를 곡률 방정식 도출에 활용할 수 있는가?
• RQ5 삼중체 (X, L, E)에 대해 α-균형 거리 척도의 점근적 극한과 대응하는 통합된 안정성 조건이 존재하는가?

주요 결과

• 일반적인 α에 대해 수렴하는 α-균형 거리 척도의 극한은 E 위의 헬름홀로픽-아인슈타인 메트릭과 c₁(L) 내의 일정 곡률 켈러 메트릭을 유도한다.
• 특수한 α에 대해 극한은 연립 시스템을 만족한다: i(ΛF_H − (1/r)trF_H·Id) + (1/2 S_ω − (β₁/β₀)iΛtrF_H)·Id = λ′·Id이며, Λ²(F_H² + F_H ∧ trR_ω)를 포함하는 이阶 곡률 방정식이 존재한다.
• E⊗L^k의 베르그만 커널 전개의 상위 두 항은 명시적으로 계산되었으며, 두 번째 항은 Δ(S)와 |trR|²를 포함한다. 여기서 S는 곡률 스칼라이고 R는 곡률 2-형식이다.
• E의 곡률 기여가 전개의 두 번째 항에 나타나며, α를 이 항을 두드러지게 하도록 조정하면 연립 방정식이 도출된다.
• 극한 방정식은 α-균형 조건의 점근적 분석을 통해 트레이스 및 메트릭 포텐셜과 곡률 성분의 이阶 도함수 연산을 통해 도출된다.
• 분석 결과, 큰 k에 대해 α-균형 거리 척도의 존재는 해당 정규 거리 척도 방정식의 해 존재를 함의하며, 이는 헬름홀로픽-아인슈타인 및 cscK 경우를 일반화한다.