[논문 리뷰] Extremal Kahler metrics on projective bundles over a curve

Vestislav Apostolov, David M. J. Calderbank외 2명|arXiv (Cornell University)|2009. 05. 04.

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

한 줄 요약

이 논문은 고리수 ≥ 2인 컴acts Riemann 곡면 위의 프로젝티브 번들의 $M = \mathbb{P}(E)$가 상수 스칼라 곡률 켈러(cscK) 계량을 가질 조건을 규명한다. 그 조건은 헬로모르픽 벡터 번들의 $E$가 폴리스태이블일 때이므로, 필요충분조건임을 증명한다. 또한, 작고 작은 켈러 클래스에서의 극단적 켈러 계량 존재 여부는 $E$가 안정 부분번들의 직합으로 분해될 때이므로, 심플렉틱 기하학, 모멘트 맵, 복소기하학의 안정성 이론을 활용한 기법을 통해 분석한다.

ABSTRACT

Let $M=P(E)$ be the complex manifold underlying the total space of the projectivization of a holomorphic vector bundle $E o Σ$ over a compact complex curve $Σ$ of genus $\ge 2$. Building on ideas of Fujiki, we prove that $M$ admits a Kähler metric of constant scalar curvature if and only if $E$ is polystable. We also address the more general existence problem of extremal Kähler metrics on such bundles and prove that the splitting of $E$ as a direct sum of stable subbundles is necessary and sufficient condition for the existence of extremal Kähler metrics in sufficiently small Kähler classes. The methods used to prove the above results apply to a wider class of manifolds, called {\it rigid toric bundles over a semisimple base}, which are fibrations associated to a principal torus bundle over a product of constant scalar curvature Kähler manifolds with fibres isomorphic to a given toric Kähler variety. We discuss various ramifications of our approach to this class of manifolds.

연구 동기 및 목표

• 고리수 ≥ 2인 컴팩트 Riemann 곡면 위의 프로젝티브 번들 $\mathbb{P}(E)$에서 상수 스칼라 곡률 켈러(cscK) 계량의 존재 조건을 규명한다.
• 이러한 번들에서 작은 켈러 클래스 내 극단적 켈러 계량의 존재 조건을 특성화한다.
• 기하학적 구조(극단적 계량)와 대수적 안정성(폴리스태이블리티) 간의 대응관계를 곡선 위의 프로젝티브 번들로 확장한다.
• 프로젝티브 번들과의 적용 범위를 초과하여, 토릭 섬유를 가진 단순형 기저 다양체 위의 강성 있는 토릭 피브레이션으로 이 프레임워크를 일반화한다.

제안 방법

• Fujiki의 접근법을 변형하여 모멘트 맵 기법과 심플렉틱 축소를 활용해 프로젝티브 번들 위의 극단적 계량을 연구한다.
• 극단적 계량 존재에 대한 차단 요소를 분석하기 위해 Futaki 특성의 심플렉틱 형태를 사용한다.
• Lichnerowicz–Matsushima 정리와 극단적 계량의 유일성에 대해 감소된 자동형군 $\widetilde{\mathrm{Aut}}_0(M,J)$에 대한 결과를 적용한다.
• Yau–Tian–Donaldson 추측을 통해 cscK 계량과 $K$-폴리스태이블리티의 등가성을 이용하고, 상대적 $K$-폴리스태이블리티를 통해 극단적 계량으로 확장한다.
• O’Neill 텐서와 접속 분해($D = D^\mathcal{H} \oplus D^\mathcal{V}$)를 활용해 번들의 곡률과 스칼라 곡률을 계산한다.
• 기저 계량, 섬유 자료, 모멘트 맵 성분 $p(z)$와 $H_{ij}$에 따라 리치 형식 $\rho^\nabla$와 스칼라 곡률 $s^\nabla$에 대한 명시적 공식을 유도한다.

실험 결과

연구 질문

• RQ1 고리수 ≥ 2인 컴팩트 Riemann 곡면 위의 프로젝티브 번들 $\mathbb{P}(E)$가 상수 스칼라 곡률 켈러 계량을 가질 조건은 무엇인가?
• RQ2 작은 켈러 클래스 내 극단적 켈러 계량 존재에 대한 헬로모르픽 벡터 번들 $E$의 정확한 조건은 무엇인가?
• RQ3 벡터 번들 $E$의 안정성(폴리스태이블리티, 안정 부분번들의 직합)은 $\mathbb{P}(E)$ 위의 극단적 계량 존재성과 어떻게 관련이 있는가?
• RQ4 프로젝티브 번들에 사용된 기법은 곡선의 기저를 가진 강성 있는 토릭 피브레이션과 같은 더 넓은 다양체 클래스로 일반화될 수 있는가?
• RQ5 감소된 자동형군 $\widetilde{\mathrm{Aut}}_0(M,J)$는 극단적 계량의 존재성 및 유일성에 어떤 역할을 하는가?

주요 결과

• 고리수 ≥ 2인 컴팩트 Riemann 곡면 위의 프로젝티브 번들 $M = \mathbb{P}(E)$가 상수 스칼라 곡률 켈러 계량을 가질 조건은 헬로모르픽 벡터 번들 $E$가 폴리스태이블일 때이다.
• 작은 켈러 클래스 내에서 극단적 켈러 계량이 존재하는 조건은 $E$가 안정 부분번들의 직합으로 분해될 때이다.
• 벡터 번들 $E$가 폴리스태이블이 아니면 구성된 계량의 스칼라 곡률가 일정하지 않음을 확인하여 안정성 조건의 필수성을 입증한다.
• 리치 형식 $\rho^\nabla$는 기저 리치 형식의 합과 $p(z)$ 및 $H_{ij}$의 도함수를 포함한 보정 항들의 합으로 명시적으로 계산되며, 이는 번들의 기하학을 반영한다.
• 스칼라 곡률 $s^\nabla$는 리치 형식의 추적으로부터 유도되며, 모멘트 맵 자료와 기저의 계량에 의존한다.
• 이 프레임워크는 기저가 상수 스칼라 곡률 켈러 다양체이자 토릭 섬유를 가진 곱 다양체 위의 강성 있는 토릭 피브레이션으로 일반화되어 결과의 적용 범위를 넓힌다.