[論文レビュー] On the Iitaka fibration of varieties of maximal Albanese dimension

Zhi Jiang, Martí Lahoz+1 more|arXiv (Cornell University)|Nov 27, 2011

Algebraic Geometry and Number Theory参考文献 13被引用数 5

ひとこと要約

本稿では、最大アーベル型次元をもつ滑らかで複素の射影的多様体に対して、4次標準写像 $|4K_X|$ がイタカの線形系を誘導することを確立し、多様体が一般型である場合には3次標準写像 $|3K_X|$ が双有理写像であることを示している。証明は、コhomological support locus、ファイブレーション技術、およびラインバンドルに関する帰納的議論を用いて、これらの境界が最適であることを示している。

ABSTRACT

We prove that the tetracanonical map of a variety $X$ of maximal Albanese dimension induces the Iitaka fibration. Moreover, if $X$ is of general type, then the tricanonical map is birational.

研究の動機と目的

• 最大アーベル型次元をもつ多様体に対して、イタカの線形系を誘導する最小の多標準写像を特定すること。
• 特に一般型多様体の場合に、2次および3次標準写像に対する鋭い境界を確立すること。
• 正則オイラー標数が0である場合に、3次標準写像がイタカの線形系を誘導しない理由を調査すること。
• 3次標準写像がイタカの線形系を誘導しない具体例を構成し、4次標準写像の境界が最適であることを示すこと。

提案手法

• 多標準バンドルの全体切断を分析するために、cohomological support locus $V^i(\bullet, a_X)$ の使用。
• イタカの線形系の基本多様体上に2つの重要なラインバンドルの構成：1つは双有理写像を誘導し、もう1つは線形系がファイブレーションを因数分解できるように非消滅を保証する。
• 補題2.1の適用により、線形系 $|L|$ がファイバー分離と基本写像の双有理性によって、イタカの線形系 $g: X \to Z$ と双有理同値な写像を誘導することを示す。
• 補題2.2の適用により、一般アーベルガロア被覆と canonical sheaf の押し出しの分解を用いて、基本写像の双有理性を保証する。
• 次元に関する帰納的議論を用い、一般ファイバーへの制限における多標準線形系の振る舞いに依存する。
• Ein-Lazarsfeldの3次元多様体に基づく、$\chi(X, \omega_X) = 0$ である4次元多様体の具体例を構成し、$|3K_X|$ がイタカの線形系を誘導しないことを示す。

実験結果

リサーチクエスチョン

• RQ1 最大アーベル型次元をもつ多様体に対して、$|mK_X|$ がイタカの線形系を誘導する最小の $m$ は何か？
• RQ2 一般型かつ最大アーベル型次元をもつ多様体において、3次標準写像 $|3K_X|$ がいつ双有理写像であるか？
• RQ3 正則オイラー標数 $\chi(X, \omega_X) = 0$ の場合に、3次標準写像がイタカの線形系を誘導しないことがあるか？ もしそうであるなら、その失敗の原因となる構造的特徴は何か？
• RQ4 cohomological support locus $V^0(\omega_X^2, a_X)$ とガロア被覆構造は、多標準写像の振る舞いにどのように影響するか？
• RQ5 一般型でない場合であっても、イタカの線形系を誘導するための $|4K_X|$ の境界は最適であるか？

主な発見

• 任意の滑らかで複素の射影的多様体 $X$ について、最大アーベル型次元をもつ場合、4次標準写像 $|4K_X|$ はイタカの線形系を誘導する。
• 一般型かつ最大アーベル型次元をもつ多様体に対しては、3次標準写像 $|3K_X|$ は双有理写像である。
• 定理Aにおける境界は最適である：$|2K_X|$ が双有理でないような genus 2 の曲線が存在し、また $|3K_X|$ がイタカの線形系を誘導しない4次元多様体が存在する。
• Ein-Lazarsfeldの3次元多様体に基づく、$\chi(X, \omega_X) = 0$ である最大アーベル型次元をもつ4次元多様体の具体例を構成し、$|3K_X|$ がイタカの線形系を誘導しないことを示した。
• 3次標準写像が線形系を誘導しない失敗は、特に $\mathscr{Q} = \mathscr{K}/\operatorname{pr}_Z^*\widehat{A}_Z$ の核の構造に起因し、$\mathscr{Q}$ が非自明である場合に顕著である。
• もし $V^0(\omega_X^2, a_X)$ が $\operatorname{pr}_Z^*\widehat{A}_Z$ の平行移動を含むならば、適切なラインバンドルで3次標準写像をねじれさせることで、線形系を誘導できる可能性がある。これは、失敗の明確な障害を示している。