[논문 리뷰] Extremal rays and nefness of tangent bundles

Akihiro Kanemitsu|arXiv (Cornell University)|2016. 05. 16.

Algebraic Geometry and Number Theory참고 문헌 29인용 수 3

한 줄 요약

이 논문은 극한 사슬 조건(Condition $*$)을 만족하는 Picard 수 $\rho_X > n-6$인 Fano $n$-다양체를 분류하며, 이들은 유리 동형 다성분 또는 $\mathbb{P}^1$의 $n-7$개 복합체와 Ottaviani가 구성한 유일한 Fano 7-다양체 $X_0$의 곱으로 이루어져 있음을 보여준다. 주요 기여는 $X_0$의 접다발이 비-비에프임을 증명함으로써, 모든 Fano 다양체가 Condition $*$를 만족하면 유리 동형이어야 한다는 추측에 반례를 제시하고, Campana-Peternell 추측의 날카로운 경계를 확립하는 것이다.

ABSTRACT

In view of Mori theory, rational homogenous manifolds satisfy a recursive condition: every elementary contraction is a rational homogeneous fibration and the image of any elementary contraction also satisfies the same property. In this paper, we show that a smooth Fano $n$-fold with the same condition and Picard number greater than $n-6$ is either a rational homogeneous manifold or the product of $n-7$ copies of $\mathbb{P}^1$ and a Fano $7$-fold $X_0$ constructed by G. Ottaviani. We also clarify that $X_0$ has non-nef tangent bundle and in particular is not rational homogeneous.

연구 동기 및 목표

• Condition $*$를 만족하는 Fano $n$-다양체를 분류하는 것. 이 조건은 모든 기본 수축이 유리 동형 다발 구조여야 한다는 것을 요구한다.
• 높은 Picard 수를 가진 이러한 Fano 다양체가 반드시 유리 동형이어야 하는지 판단함으로써, Campana-Peternell 추측의 자연스러운 일반화에 도전한다.
• Ottaviani가 구성한 Fano 7-다양체 $X_0$가 Condition $*$를 만족하는지, 그리고 5차원 쌍곡면 위에 두 개의 서로 다른 $\mathbb{P}^2$-다발을 지닌 유일한 Picard 수 2인 Fano 7-다양체인지 명확히 한다.
• Campana-Peternell 추측의 비에프 접다발에 대한 날카로운 경계를 확립하여, $\rho_X > n-6$가 추측이 실패할 수 있는 임계점임을 보인다.

제안 방법

• 프로젝티브 다발에서의 교차수를 분석하기 위해 벡터다발에 대한 불변량 $d_i(\mathscr{E})$와 $\Delta_i(\mathscr{E})$를 도입하여, 특히 랭크가 3 초과인 Fano 다발에 적용한다.
• Fano 다발의 기울기 이론과 기울기의 수치 조건을 사용하여, 5차원 쌍곡면 위에 두 개의 서로 다른 $\mathbb{P}^2$-다발로의 구조를 지닌 Fano 7-다양체 $X_0$를 특징짓는다.
• Demailly-Peternell-Schneider 및 Muñoz 등이 제시한 결과를 활용하여, 낮은 차원의 Fano 다양체에 대한 가정 하에 접다발의 비에프성과 Condition $*$ 간의 관계를 규명한다.
• 차원 $n$에 대한 귀납법을 적용하고, 기본 수축의 구조를 이용하여 분류 문제를 알려진 동형 사례 또는 $X_0$와의 곱으로 축소하며, $X_0$의 유일성을 활용한다.
• 수축의 교환 다이어그램에서의 피보터와 카르테시안 제곱의 기하학적 성질을 분석하여 곱의 구조 또는 플래그 유사 다발을 유도한다.
• Picard 수 1인 Fano 다양체와 차원 $\leq 6$인 경우에 대한 기존 결과를 활용하여, 수축의 수열에서 모든 근원과 이미지가 Condition $*$를 만족함을 귀납적으로 검증한다.

실험 결과

연구 질문

• RQ1 모든 Picard 수 $\rho_X > n-6$이면서 Condition $*$를 만족하는 Fano $n$-다양체는 반드시 유리 동형이어야 하는가?
• RQ2 Ottaviani가 구성한 Fano 7-다양체 $X_0$는 Condition $*$를 만족하는가? 그리고 5차원 쌍곡면 위에 두 개의 서로 다른 $\mathbb{P}^2$-다발을 지닌 유일한 Picard 수 2인 Fano 7-다양체인가?
• RQ3 다양체 $X_0$의 접다발은 비에프인가? 이는 Campana-Peternell 추측에 어떤 영향을 미치는가?
• RQ4 Campana-Peternell 추측을 $\rho_X > n-6$인 Fano $n$-다양체로 확장할 수 있는가? 그 유효성의 날카로운 경계는 무엇인가?
• RQ5 다양체 $X_0$의 존재는 접다발이 비에프임이 Condition $*$만으로 유도되지 않음을 의미하는가? 특히 높은 Picard 수 조건 하에서도 그렇다.

주요 결과

• Ottaviani가 구성한 Fano 7-다양체 $X_0$는 5차원 쌍곡면 위에 두 개의 서로 다른 매끄러운 $\mathbb{P}^2$-다발을 지닌 유일한 Picard 수 2인 Fano 7-다양체이며, Condition $*$를 만족한다.
• $X_0$의 접다발은 비에프가 아니며, 이는 $X_0$가 유리 동형이 아니며 따라서 Condition $*$가 유리 동형성을 유도한다는 추측에 대한 반례임을 증명한다.
• 모든 Picard 수 $\rho_X > n-6$이면서 Condition $*$를 만족하는 Fano $n$-다양체는 유리 동형 다성분이거나 $(\mathbb{P}^1)^{n-7} \times X_0$와 동형이며, 완전한 분류를 확립한다.
• $X_0$의 존재는 $\rho_X > n-6$라는 경계가 날카로운 것을 보여주며, 이 조건을 만족하는 Fano $n$-다양체가 반드시 유리 동형이 아니라는 것을 시사한다.
• 만약 Picard 수 1인 6-다양체에 대해 Campana-Peternell 추측이 성립한다면, $\rho_X > n-6$인 모든 Fano $n$-다양체에 대해서도 성립함을 귀납적 차원 감소를 통해 보였다.
• 반례 $X_0$는 $q=1$인 경우 문제 0.4에 대해 부정적인 답변을 제공하며, $\bigwedge^q T_X$가 극한 유리 곡선에서 비에프이더라도 $\bigwedge^q T_X$가 전체적으로 비에프라는 것을 보장하지 못함을 보여준다.