[논문 리뷰] Multiplier ideal sheaves and the Kähler-Ricci flow on toric Fano manifolds with large symmetry

Yuji Sano|ArXiv.org|2008. 11. 10.

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

한 줄 요약

이 논문은 대칭성이 큰 토릭 파노 다양체에서 카플레르-리치 흐름(Kähler-Ricci flow)으로부터 유도된 승수 이상층의 지지집합을 계산한다. 이는 토릭 파노 다양체에서 카플레르-리치 솔리톤 데이터를 사용하여 수행되며, 특정 다양체(예: 복소 프로젝티브 공간의 블로우업과 곱 다양체)의 경우 KRF-MIS(Kähler-Ricci flow multiplier ideal sheaf)의 지지집합이 예외적 인수와 그들의 복소 특이 지수에 의해 결정되며, 지수 γ에 따라 명시적인 임계값을 가진다.

ABSTRACT

The purpose of this paper is to calculate the support of the multiplier ideal sheaves derived from the Kähler-Ricci flow on certain toric Fano manifolds with large symmetry. The early idea of this paper has already been in Appendix of \cite{futaki-sano0711}.

연구 동기 및 목표

• 대칭성이 큰 토릭 파노 다양체에서 카플레르-리치 흐름으로부터 유도된 승수 이상층의 지지집합을 계산하는 것.
• 카플레르-리치 흐름의 맥락에서 승수 이상층을 통한 카플레르-아인슈타인 계량의 장애에 대한 이해를 확장하는 것.
• 티앙-Z후의 카플레르-리치 흐름 수렴 결과를 대칭성이 큰 토릭 파노 다양체에 적용하여, 카플레르-리치 솔리톤이 존재하는 경우에 대해 적용하는 것.
• 특정 예시(예: 복소 프로젝티브 공간의 블로우업과 곱 다양체)에 대해 KRF-MIS(Kähler-Ricci flow multiplier ideal sheaf)의 정확한 구조를 규명하는 것.
• 복소 특이 지수 γ가 승수 이상층의 지지집합 기하학과 어떻게 관련되는지 규명하는 것.

제안 방법

• 티앙-Z후의 결과에 따라 대칭성이 큰 토릭 파노 다양체에서 카플레르-리치 흐름이 카플레르-리치 솔리톤으로 수렴함을 이용한다.
• 루빈스타인의 결과를 적용하여, 카플레르-리치 흐름이 대칭군의 복소화에 관하여 불변인 승수 이상층을 유도함을 이용한다.
• 데메를리-콜라르의 승수 이상층 정의를 활용하여, ψ 가 펄리하르모닉일 때 e^{-ψ}에 대해 적분 가능한 헬름홀트 함수를 기반으로 정의된 이상층을 사용한다.
• 카플레르-리치 솔리톤 벡터와 관련된 이중 다각체의 정점의 스타 내부를 통해 KRF-MIS의 지지집합을 규명한다.
• 파노 다각체의 기하학과 카플레르-리치 솔리톤 데이터를 이용하여 인수의 복소 특이 지수를 계산한다.
• 보조정리 3.3을 적용하여, KRF-MIS의 지지집합을 KRS(카플레르-리치 솔리톤)와 관련된 정점의 스타 내부에 위치한 정점들을 가진 인수들의 합집합으로 결정한다.

실험 결과

연구 질문

• RQ1 대칭성이 큰 토릭 파노 다양체에서 카플레르-리치 흐름으로부터 생성된 승수 이상층의 지지집합은 무엇인가?
• RQ2 복소 특이 지수 γ는 KRF-MIS의 구조에 어떻게 영향을 미치는가?
• RQ3 블로우업된 복소 프로젝티브 공간과 곱 다양체에서 KRF-MIS의 지지집합에 기여하는 인수는 무엇인가?
• RQ4 카플레르-리치 솔리톤 데이터를 사용하여 KRF-MIS의 비자명성에 대한 정확한 임계값 γ를 계산할 수 있는가?
• RQ5 다양체의 대칭성은 KRF-MIS의 불변성과 구조에 어떻게 영향을 미치는가?

주요 결과

• 다양체 $\mathcal{E}_3 = (\mathbb{CP}^2\sharp 2\overline{\mathbb{CP}^2})\times\mathbb{CP}^1$ 에서, $\gamma \in (\frac{1}{2}, 1)$ 일 때 KRF-MIS의 지지집합은 $E_0 \cup E_1 \cup E_2$ 이고, $\gamma \in (\frac{1}{3}, \frac{1}{2})$ 일 때는 $E_0$ 이다. 여기서 $E_0$ 는 블로우업의 예외적 인수이고, $E_1, E_2$ 는 특정 곡선의 올바른 전이 이미지이다.
• 예외적 인수 $E_0$ 의 복소 특이 지수는 $\frac{1}{3}$ 이며, $E_1$ 과 $E_2$ 는 각각 $\frac{1}{2}$ 이다. 이는 지지집합에 포함되는 데 필요한 임계값을 결정한다.
• 복소 프로젝티브 공간 $\mathbb{CP}^1$ 위의 $(\mathbb{CP}^2\sharp 3\overline{\mathbb{CP}^2})$-_bundle $\mathcal{F}_2$ 에서, $\gamma \in (\frac{1}{2}, 1)$ 일 때 KRF-MIS의 지지집합은 $\tilde{\tilde{\tilde{E}}}_0$ 이다. 여기서 $\tilde{\tilde{\tilde{E}}}_0$ 은 다중 블로우업 이후의 예외적 인수의 올바른 전이 이미지이다.
• 인수 $\tilde{\tilde{\tilde{E}}}_0$ 의 복소 특이 지수는 $\frac{1}{2}$ 이며, 이는 $\gamma > \frac{1}{2}$ 일 때의 임계값과 일치한다.
• 다양체 $X_k$, 즉 $\mathbb{CP}^n$ 을 $\mathbb{CP}^k$ 에 대해 블로우업한 경우($0 \leq k \leq n-2$) 에서, $\gamma \in (\frac{1}{k+2}, 1)$ 일 때 KRF-MIS의 지지집합은 예외적 인수이다. 이때 지수 $\frac{1}{k+2}$ 는 예외적 인수의 복소 특이 지수이다.
• 모든 경우에서 KRF-MIS의 지지집합은 카플레르-리치 솔리톤 벡터가 이중 다각체와의 교차를 통해 결정되며, 지지집합은 해당 다각체의 정점의 스타 내부에 위치한 정점들을 가진 인수들의 합집합이다.