[論文レビュー] Logarithmic Kodaira dimension and zeros of holomorphic log-one-forms

Chuanhao Wei|arXiv (Cornell University)|Nov 15, 2017

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

ひとこと要約

この論文は、対数一般型の射影的対数滑らか対 (X,D) 上の任意のグローバルな正則対数1形式は、空でない零点集合を持つことを証明し、PopaとSchnellの研究を一般化する予想を確立している。主な結果は、混合ホッジモジュールおよび準アーベル多様体とそのコンパクト化における対数幾何の技法を用いて、零点集合が空である対数1形式の部分空間の次元を dim X − κ(X,D) で上から抑えている。

ABSTRACT

In this paper, we prove that the zero-locus of any global holomorphic log-one-form on a projective log-smooth pair $\left(X,D ight)$ of log-general type must be non-empty. Applying this result, we give an answer to the algebraic hyperbolicity part of Shafarevich's conjecture, with the generic fiber being Kawamata-log-terminal (klt) and of log-general type.

研究の動機と目的

• 対数一般型対における正則対数1形式の零点集合の非空性に関する予想を証明すること。
• PopaとSchnellが得た正則1形式に関する結果を対数的設定に一般化すること。
• 対数一般型対 (X,D) における零点集合が空である対数1形式の部分空間の次元を、対数カルチエルディムの観点から上界で与えること。
• 主定理を用いて、klt 対数一般型ファイバーに対するShafarevich予想の代数的双曲的性質を解明すること。
• [PS14] の主結果を、アーベル多様体上の混合ホッジモジュールの一般化の性質に依存せずに、簡略化された証明を与えること。

提案手法

• 準アーベル多様体 T^{r,d} の標準的 P^r-バンドルコンパクト化 P^{r,d} を、対数1形式を分析するためのモデル空間として用いる。
• 対数対の射 f: (X,D) → (P^{r,d}, L) を適用し、問題を P^{r,d} 上の対数1形式の引き戻しの研究に還元する。
• グローテンディーク双対性および導来カテゴリの技法を用いて、ねじれた層のコホモロジーと零点集合の消滅性を関連付ける。
• [Wei17] における混合ホッジモジュールおよび対数的比較定理を用いて、高次直接像の消滅結果を確立する。
• Lerayスペクトル系列の退化を適用し、高次コホモロジー群が消えることを示し、これにより特定の層が torsion-free であることを示す。
• 厳密D-モジュールの理論および双対化複体の構造に依拠して、零点集合の非消滅性に関する主張を証明する。

実験結果

リサーチクエスチョン

• RQ1 対数一般型の射影的対数滑らか対 (X,D) 上の任意のグローバルな正則対数1形式は、空でない零点集合を持つのか？
• RQ2 対数滑らか対 (X,D) 上の、零点集合が空である正則対数1形式の線形部分空間の最大次元は何か？
• RQ3 零点集合の非消滅性は、コンパクト化された準アーベル多様体およびその P^r-バンドル構造への射を通じて確立可能か？
• RQ4 PopaとSchnellの正則1形式に関する結果は、どの程度対数的設定に一般化可能か？
• RQ5 この枠組みを用いて、klt 対数一般型ファイバーに対するShafarevich予想の代数的双曲的性質を解消できるか？

主な発見

• 対数一般型の射影的対数滑らか対 (X,D) 上の任意のグローバルな正則対数1形式の零点集合は空でない。
• 零点集合が空である対数1形式の線形部分空間 W ⊂ H^0(X, Ω^1_X(log D)) の次元は、dim X − κ(X,D) 以下である。
• 主定理は、射 f: (X,D) → (P^{r,d}, L) への還元によって証明され、あるねじれたコホモロジー群が非ゼロであれば、f^*ω が空でない零点集合を持つことを示している。
• H^0(Ω^1_{P^{r,d}}(log L)) 内の一般の ω に対して、f^*ω は X ^{-1}(L) と非自明に交わる。
• 証明により、H^l(P×V, R^0ĝ_*(...)) の高次直接像（l > 0）が消えることが示され、これにより関連する層が複体ではなく層であることが示される。
• 主たる主張は、グローテンディーク双対性および混合ホッジモジュールの性質を用いた双対性計算に還元され、押し出し層の双対が、双対層の押し出しと同型であることを示している。