[論文レビュー] Some results on the eventual paracanonical maps

Zhi Jiang|arXiv (Cornell University)|Nov 22, 2016

Geometric Analysis and Curvature Flows参考文献 9被引用数 5

ひとこと要約

本稿は、一般化された消失理論を用いて、滑らかな射影的多様体の最終的準 canonical 写像を研究し、特に曲面と3次元多様体に注目する。アーベル型写像が最終的準 canonical 写像を介して因数分解する場合、その次数は8以下であり、等号が成り立つのは、写像が双有理的 $(\mathbb{Z}/2\mathbb{Z})^3$-被覆である場合に限る。これは、高次元における有効な次数の上限に関する問題を解決する。

ABSTRACT

The eventual paracanonical map was introduced by Barja, Pardini, and Stoppino in order to prove refined Severi-type inequalities. We study the general structures of the eventual paracanonical maps by generic vanishing theory. In particular, we obtain rather complete descriptions of the eventual paracanonical maps of surfaces and threefolds.

研究の動機と目的

• 一般化された消失理論を用いて、最終的準 canonical 写像の構造を理解すること。
• 曲面での既知の上限を高次元 $ n \geq 3 $ に拡張して、最終的準 canonical 写像に対する有効な次数の上限が存在するかを同定すること。
• 多様体のアーベル型写像がその最終的準 canonical 写像と双有理的に同値となる条件を特徴づけること。
• 特に $ \chi(X, \omega_X) > 0 $ の3次元多様体において、アーベル型写像が最終的準 canonical 写像と双有理的に同値でない場合の写像の幾何的構造を分析すること。

提案手法

• 最終的準 canonical 写像 $ \varphi_X $ を、アーベル型写像 $ a_X $ がそれらを介して因数分解し、$ \operatorname{Pic}^0(A_X) $ 上でコhomological 条件を満たすような最大次数の写像として特徴づける。
• 一般化された消失理論を適用して $ \varphi_X $ の構造を分析し、特に有限被覆 $ t: X \to Y $ に対する $ t_*\omega_X $ の分解に注目する。
• M-正則層の理論と $ \mathscr{F}_X $ のランク1成分への分解を用いて、$ \varphi_X $ の基底変換およびエタール被覆における振る舞いを研究する。
• 分解 $ t_*\omega_X = \omega_Y \oplus \mathscr{Q} $ における $ \mathscr{Q} $ の臨界被覆 $ \mathscr{C}_{\mathscr{Q}} $ を分析し、その成分を被覆の次数に関連付ける。
• Ein-Lazarsfeld の3次元多様体（$ \chi(X, \omega_X) = 0 $ を満たす一般型多様体）の結果を応用して、可能な被覆構造を制限する。
• ファイバー積構成と双有理的モデルを用いて、特に $ \mathbb{Z}/2\mathbb{Z} $-被覆の文脈において、基底変換の主要成分を研究する。

実験結果

リサーチクエスチョン

• RQ1 高次元では Miyaoka-Yau 不等式が成り立たないため、$ n \geq 3 $ 次元における最終的準 canonical 写像に対して有効な次数の上限を確立できるか？
• RQ2 3次元多様体のアーベル型写像がその最終的準 canonical 写像と双有理的に同値となる条件は何か？
• RQ3 $ \chi(X, \omega_X) > 0 $ であり、アーベル型写像が最終的準 canonical 写像と双有理的に同値でない場合、最終的準 canonical 写像の可能な幾何的構造は何か？
• RQ4 $ \chi(X, \omega_X) > 0 $ かつアーベル型写像が最大次元を持つ3次元多様体に対して、最終的準 canonical 写像の最大次数は何か？ それは $ (\mathbb{Z}/2\mathbb{Z})^3 $-被覆によって達成されるか？

主な発見

• 最終的準 canonical 写像 $ \varphi_X $ は、アーベル型写像 $ a_X $ がそれらを介して因数分解し、一般の $ Q \in \operatorname{Pic}^0(A_X) $ に対して $ h^0(X, \omega_X \otimes Q) = h^0(Z, \mathscr{L} \otimes Q) $ が成り立つような最大次数の写像として特徴づけられる。
• アーベル型写像が最大次元を持つ3次元多様体で $ \chi(X, \omega_X) > 0 $ である場合、アーベル型写像が最終的準 canonical 写像と双有理的に同値であるならば、その次数は8以下である。
• 次数8の上限は、写像が双有理的 $ (\mathbb{Z}/2\mathbb{Z})^3 $-被覆である場合にのみ達成される。
• アーベル型写像 $ a_X $ が $ \chi(Y, \omega_Y) = 0 $ を満たす一般型3次元多様体 $ Y $ を介して因数分解するならば、$ a_X $ は $ (\mathbb{Z}/2\mathbb{Z})^3 $-被覆でなければならない。
• $ \mathscr{C}_{\mathscr{Q}} $ が2つの成分を持ち、$ \dim B = 2 $ である場合、アーベル型写像は $ (\mathbb{Z}/2\mathbb{Z})^2 $-被覆である。
• 分解 $ t_*\omega_X = \omega_Y \oplus \mathscr{Q} $ の構造と $ \mathscr{F}_B^\mathscr{Q} $ のランクが可能な次数を制限し、最小の場合に $ a = 2 $ かつ $ f $ が $ (\mathbb{Z}/2\mathbb{Z})^3 $-被覆であることが結論づけられる。