[論文レビュー] On the Severi type inequalities for irregular surfaces

Xin Lü, Kang Zuo|arXiv (Cornell University)|Apr 24, 2015

Algebraic Geometry and Number Theory参考文献 9被引用数 4

ひとこと要約

本稿は、不規則性 $q \geq 2$ でアーベルジャン多様体の次元が最大の一般型で最小の曲面に対して、Severi型不等式を新たに確立する。$K_X^2 < \frac{9}{2}\chi(\mathcal{O}_X)$ のとき、$K_X^2 \geq 4\chi(\mathcal{O}_X) + 4(q-2)$ を証明し、等号成立の条件をアーベルまたは双楕円的曲面の二重被覆として特徴づける。証明にはPardiniのアーベルジャン上昇技術、Xiaoの自己同型群の線形上界、およびアーベルジャン写像の次数に関する帰納法を用い、特定の数値的条件の下でManettiらの予想を裏付ける。

ABSTRACT

Let $X$ be a minimal surface of general type and maximal Albanese dimension with irregularity $q\geq 2$. We show that $K_X^2\geq 4χ(\mathcal O_X)+4(q-2)$ if $K_X^2

研究の動機と目的

• 不規則性 $q \geq 2$ でアーベルジャン多様体の次元が最大の最小一般型曲面に対して、改良されたSeveri型不等式を確立すること。
• 不等式 $K_X^2 = 4\chi(\mathcal{O}_X) + 4(q-2)$ の等号成立を二重被覆構造の観点から特徴づけること。
• 条件 $K_X^2 \geq 36(q-2)$ または $\chi(\mathcal{O}_X) \geq 8(q-2)$ の下で、Manettiの不規則曲面の地理に関する予想を証明すること。
• $K_X^2 = 4\chi(\mathcal{O}_X)$ を満たす曲面が、単純な特異点をもつ分岐被覆の標準的モデルであるという予想を証明すること。

提案手法

• Pardiniのアーベルジャン上昇技術を適用し、$K_X^2 / \chi(\mathcal{O}_X)$ に収束する傾きを持つファイバー曲面 $f_n: \widetilde{X}_n \to \mathbb{P}^1$ の列を構成する。
• LZ15, 定理3.1の結果を用いて、問題を二重被覆ファイブレーションのケースに還元する。
• Xiaoの自己同型群の位数に関する線形上界を用い、大きな素数 $n=p$ が $X$ 上にwell-definedな対合 $\sigma$ を誘導することを示し、その商 $X/\langle\sigma\rangle$ がアーベルジャン写像を支えることを示す。
• アーベルジャン写像の次数に関する帰納法を用い、アーベルジャン写像が二重被覆を通じて因数分解する曲面を分析する。
• 商曲面 $Y = X/\langle\sigma\rangle$ の構造を分析し、一般型で最小で、アーベルジャン多様体の次元が最大であり、$q(Y) = q$、$K_Y^2 < \frac{9}{2}\chi(\mathcal{O}_Y)$ を満たすことを示す。
• アーベルジャン写像が複数の分岐しない二重被覆を通じて因数分解する場合に矛盾を導出し、等号成立が複数の被覆の鎖から生じえないことを証明し、二重被覆構造の一意性を確認する。

実験結果

リサーチクエスチョン

• RQ1 不規則性 $q \geq 2$ でアーベルジャン多様体の次元が最大の一般型最小曲面に対して、不等式 $K_X^2 \geq 4\chi(\mathcal{O}_X) + 4(q-2)$ がいつ成立するか？
• RQ2 不等式 $K_X^2 = 4\chi(\mathcal{O}_X) + 4(q-2)$ の等号成立を達成する曲面の正確な幾何的構造は何か？
• RQ3 不規則性 $q \geq 4$ の下で、Manettiの予想 $K_X^2 \geq 4\chi(\mathcal{O}_X) + 4(q-3)$ が成立する条件は何か？
• RQ4 $K_X^2 = 4\chi(\mathcal{O}_X)$ を満たす曲面が、単純な特異点をもつ分岐被覆の標準的モデルであるのはいつか？

主な発見

• 一般型で最小の曲面かつアーベルジャン多様体の次元が最大で、$q \geq 2$ であるとき、$K_X^2 < \frac{9}{2}\chi(\mathcal{O}_X)$ ならば不等式 $K_X^2 \geq 4\chi(\mathcal{O}_X) + 4(q-2)$ が成立する。
• 等号 $K_X^2 = 4\chi(\mathcal{O}_X) + 4(q-2)$ が成立するのは、$X$ の標準的モデルが、$Y$ への平坦な二重被覆であるときであり、$K_Y \cdot R = 4(q-2)$ を満たす。ここで $Y$ は $q=2$ のときアーベル曲面、$q \geq 3$ のとき $E \times C$（$g(E)=1$, $g(C)=q-1$）であり、分岐除集合 $R$ は単純な特異点をもつ。
• Manettiの予想 $K_X^2 \geq 4\chi(\mathcal{O}_X) + 4(q-3)$ が $q \geq 4$ の下で成立することは、条件 $K_X^2 \geq 36(q-2)$ または $\chi(\mathcal{O}_X) \geq 8(q-2)$ の下で確認された。
• $K_X^2 = 4\chi(\mathcal{O}_X)$ を満たす曲面が、単純な特異点をもつ分岐被覆の標準的モデルであるという予想は証明された。
• もし $K_X^2 > 36(q-2)$ または $\chi(\mathcal{O}_X) > 8(q-2)$ ならば、等号 $K_X^2 = 4\chi(\mathcal{O}_X) + 4(q-2)$ が成立するのは、等号成立の特徴づけで述べた通りの曲面に限られる。
• アーベルジャン写像が二つ以上の分岐しない二重被覆を通じて因数分解する場合に矛盾が生じる。これは、等号成立が複数の被覆の鎖から生じえないことを示し、二重被覆構造の一意性を裏付ける。