[논문 리뷰] Fano n-folds with nef tangent bundle and Picard number greater than n-5

Akihiro Kanemitsu|arXiv (Cornell University)|2015. 05. 12.

Algebraic Geometry and Number Theory참고 문헌 16인용 수 5

한 줄 요약

이 논문은 Fano $n$-다양체에서 정규화된 접선(bundle)을 가지며, Picard 수가 $n-5$ 보다 큰 경우, 이는 유리 동형 다성분(manifold)임을 증명한다. 이는 Campana-Peternell 추측을 고차원으로 확장한 것이다. 유도 기법과 Fano 및 CP 다성분의 성질을 이용하여, 수축 사상과 기울기 불변량을 통해 이러한 다성분을 분류하였으며, 이들이 사영 공간의 곱 또는 플라그 다양체임을 보였다.

ABSTRACT

We prove that Fano n-folds with nef tangent bundle and Picard number greater than n-5 are rational homogeneous manifolds.

연구 동기 및 목표

• Picard 수 $\rho_X > n-5$인 Fano $n$-다양체에 대해 Campana-Peternell 추측을 확장한다.
• 정규화된 접선(bundle)을 가지는 이러한 Fano 다성분이 유리 동형 공간임을 확립한다.
• 유도적이고 기하학적인 기법을 사용하여 CP $n$-다양체에서 $\rho_X > n-5$인 경우를 분류한다.
• CP $6$-다양체에서 $\mathbb{P}^r$-다성분의 구조를 기울기 불변량과 다성분 분류를 통해 도전적인 경우를 다룬다.
• FT 다성분로의 수축이 존재하지 않는 CP 다성분의 경우 $n \geq 2\rho_X$임을 증명하며, 등호가 성립할 때는 $\mathbb{P}^2$들의 곱임을 보인다.

제안 방법

• CP $n$-다양체 $X$에서 $\rho_X > n-5$를 만족하는 비자명한 수축 $f: X \to Y$는 매끄럽고, 따라서 $Y$와 그 섬유들이 모두 CP 다성분임을 이용한다.
• Muñoz, Occhetta, Solá Conde, Watanabe, Wiśniewski의 FT 다성분(매끄러운 $\mathbb{P}^1$-다성분을 가진 다성분)에 관한 결과를 적용하여 플라그 다양체로 축소한다.
• CP 다성분의 개념을 도입한다: 벡터 다성분 $\mathscr{E}$에 대해 $\mathbb{P}(\mathscr{E})$가 CP 다성분이 되는 경우이다.
• Fano 또는 CP 다성분에 대해 기울기 불변량 $\tau$를 정의하고, $\tau$에 대한 수치적 제약 조건을 이용하여 가능한 쌍 $(Y, \mathscr{E})$를 제한한다.
• 기존에 알려진 차원 $\leq 5$인 CP 다성분의 분류에 기반하여 차원과 Picard 수에 대한 유도적 추론을 수행한다.
• 지수의 순수성(purity of the branch locus)을 적용하여, $X \to Y \times Z$가 에탈 사상이면 $Y$와 $Z$가 유리일 경우 $X \simeq Y \times Z$임을 보인다.

실험 결과

연구 질문

• RQ1 정규화된 접선(bundle)을 가지며 $\rho_X > n-5$인 Fano $n$-다양체는 유리 동형 다성분인가?
• RQ2 CP $n$-다양체에서 $\rho_X > n-5$인 경우 가능한 기하학적 구조는 무엇인가?
• RQ3 CP 다성분의 기울기 불변량 $\tau$는 다성분 $X$의 구조에 어떤 제약을 끼치는가?
• RQ4 유도적이고 분할 기반 기법을 사용하여 Campana-Peternell 추측을 $\rho_X > n-5$인 $n$-다양체로 확장할 수 있는가?
• RQ5 FT 다성분로의 수축이 존재하지 않는 CP $n$-다양체의 구조는 어떠한가?

주요 결과

• 정규화된 접선(bundle)을 가지며 $\rho_X > n-5$인 Fano $n$-다양체는 유리 동형 다성분이며, 이는 이 범위에서 Campana-Peternell 추측을 확인한 것이다.
• 분류에는 $\mathbb{P}^2 \times \cdots \times \mathbb{P}^2$, $\mathbb{P}^2 \times \cdots \times \mathbb{P}^3$, $\mathbb{P}^2 \times \cdots \times \mathbb{Q}^3$, $\mathbb{P}^2 \times \cdots \times \mathbb{P}(\mathscr{S}_i)$, $\mathbb{P}^2 \times \cdots \times \mathbb{P}(T_{\mathbb{P}^3})$가 포함된다.
• FT 다성분로의 수축이 존재하지 않는 CP $n$-다양체의 경우 $n \geq 2\rho_X$가 성립하며, 등호가 성립할 때는 $X \simeq (\mathbb{P}^2)^{\rho_X}$임을 보였다.
• 만약 $n = 2\rho_X + 1$이면, $X$는 $ (\mathbb{P}^2)^{\rho_X-1} \times \mathbb{P}^3 $, $ (\mathbb{P}^2)^{\rho_X-1} \times \mathbb{Q}^3 $, $ (\mathbb{P}^2)^{\rho_X-2} \times \mathbb{P}(\mathscr{S}_i) $, 또는 $ (\mathbb{P}^2)^{\rho_X-2} \times \mathbb{P}(T_{\mathbb{P}^3}) $와 동형이다.
• 만약 $n - \rho_X = 4$이면 $X$는 유리 동형이며, $X$가 $\mathbb{P}^3$ 또는 $\mathbb{Q}^3$로의 두 개의 기본 수축을 가질 경우 $X \simeq Y \times Z$임을 보였다.
• 사상 $X \to Y \times Z$는 에탈이며, $Y \times Z$가 단순연결이므로 $Y, Z \simeq \mathbb{P}^3$ 또는 $\mathbb{Q}^3$이면 $X \simeq Y \times Z$임을 보였다.