[論文レビュー] Projective manifolds whose tangent bundle contains a strictly nef subsheaf

Jie Liu, Wenhao Ou+1 more|arXiv (Cornell University)|Apr 18, 2020

Algebraic Geometry and Number Theory被引用数 4

ひとこと要約

本稿では、接 bundle に局所自由な厳密に正の部分層をもつ射影的多様体が、双曲的多様体上への射影バンドルに同型であることを確立する。基本群がほとんどアーベルである場合、多様体は射影空間に同型であり、代数幾何における正性の結果を拡張し、ファイブレーションと双曲性を用いて厳密に正の接部分層をもつ多様体を特徴づける。

ABSTRACT

Suppose that $X$ is a projective manifold whose tangent bundle $T_X$ contains a locally free strictly nef subsheaf. We prove that $X$ is isomorphic to a projective bundle over a hyperbolic manifold. Moreover, if the fundamental group $π_1(X)$ is virtually abelian, then $X$ is isomorphic to a projective space.

研究の動機と目的

• 接 bundle に厳密に正の部分層をもつ射影的多様体の幾何的構造を理解すること。
• 古典的な接 bundle の正の部分層に関する結果（例：Andreatta-Wi{\ss}niewski）を、厳密に正の設定に一般化すること。
• 接 bundle に厳密に正の部分層が存在する場合でも、多様体が射影空間または射影バンドルに同型になるかどうかを調査すること。
• 正性理論、MRC ファイブレーション、射影幾何学の道具を用いて、このような多様体の可能な構造を分類すること。
• 基本群がほとんどアーベルである場合に、射影空間が厳密に正の条件を満たす接 bundle をもつことの特徴づけを提供すること。

提案手法

• 数値的に射影的平坦なベクトルバンドルの理論とその正性の性質を利用する。
• 多様体の構造を解析し、問題を基本多様体に還元するために MRC（最大有理的連結）ファイブレーションを適用する。
• ベクトルバンドルの射影化を用いて、接層の幾何と射影バンドル上の標準的ラインバンドルの関係を関係づける。
• ファイバー内の有理曲線の退化を分析し、基本多様体の双曲性を導出する。
• 超越的技法を用い、特に曲線上のヒルベルト平坦で厳密に正のベクトルバンドルの研究を行う。
• 既知の厳密に正の接 bundle に関する結果（例：LOY19）を部分層の状況にまで拡張する。

実験結果

リサーチクエスチョン

• RQ1 射影的多様体が接 bundle に局所自由な厳密に正の部分層をもつとき、どのような幾何的構造が生じるか？
• RQ2 接 bundle に厳密に正の部分層が存在する場合でも、アーベルの場合と同様に多様体が射影空間に同型になるかどうか？
• RQ3 基本群がほとんどアーベルである場合、このような多様体の構造にどのような影響を与えるか？
• RQ4 接 bundle における厳密に正の部分層の構造は二通りあるが、それらはアーベルの場合とどのように異なるか？
• RQ5 外積に関して閉じていないにもかかわらず、厳密に正の性質が多様体のグローバル幾何にどれほど制御を及ぼすか？

主な発見

• 接 bundle $T_X$ に局所自由な厳密に正の部分層 $\mathscr{F}$ をもつ射影的多様体 $X$ は、ある $d \geq r = \operatorname{rk}(\mathscr{F})$ に対して $\mathbb{P}^d$-バンドル構造 $\varphi: X \to T$ をもつ。
• 基本多様体 $T$ は双曲的である。すなわち、任意の $\mathbb{C}$ から $T$ への正則写像は定数関数である。
• 厳密に正の部分層 $\mathscr{F}$ の構造はちょうど二通りある：$\mathscr{F} \cong T_{X/T}$ かつ $X$ は $T$ 上の平坦な射影バンドルである、または $\mathscr{F}$ は数値的に射影的平坦で、ファイバーが $\mathcal{O}_{\mathbb{P}^d}(1)^{\oplus r}$ に同型である。
• 基本群 $\pi_1(X)$ がほとんどアーベルであるならば、$X$ は $\mathbb{P}^n$ に同型であり、LOY19 の結果を厳密に正の設定に拡張する。
• 本結果は、Theorem 1.2（Andreatta-Wi{\ss}niewski）を厳密に正の設定に一般化し、追加の位相的条件が課されない限り、このような多様体が射影空間に同型であるとは限らないことを示している。
• 本稿では、基本群の条件がなければ $X \cong \mathbb{P}^n$ に同型でない例を構成しており、$X \cong \mathbb{P}^n$ を強制するには厳密に正の条件だけでは不十分であることが強調されている。