[論文レビュー] Logarithmic Kodaira-Akizuki-Nakano vanishing and Arakelov-Parshin boundedness for singular varieties

Sándor J. Kovács|arXiv (Cornell University)|Mar 3, 2000

Algebraic Geometry and Number Theory参考文献 22被引用数 3

ひとこと要約

本稿は、半アンサンブルで大きな線分束を備えた特異的多様体に対して、対数的 Kodaira-Akizuki-Nakano の消滅定理を確立し、古典的結果を特異的設定に一般化する。主な貢献は、曲線上の多様体族の Arakelov-Parshin 型の有界性結果を可能にする基礎的消滅結果であり、その結果、双有理標準バンドルの押し出しの次数が genus と特異特異ファイバー数の関数として有界であることを証明する。

ABSTRACT

The article has two parts. The first part is devoted to proving a singular version of the logarithmic Kodaira-Akizuki-Nakano vanishing theorem of Esnault and Viehweg. This is then used to prove other vanishing theorems. In the second part these vanishing theorems are used to prove an Arakelov-Parshin type boundedness result for families of canonically polarized varieties with rational Gorenstein singularities.

研究の動機と目的

• 滑らかさの設定から一般化して、特異的多様体に対する対数的 Kodaira-Akizuki-Nakano の消滅定理を一般化すること。
• 特異ファイバーが制御された曲線上の多様体族に対して、Arakelov-Parshin 型の有界性結果を確立すること。
• 双有理標準バンドルの押し出しの次数が genus と特異ファイバー数の関数として有界であることを証明すること。
• モジュライ空間の有界性や自己同型群の推定に用いる主要な技術的道具としての消滅定理を提供すること。
• 消滅定理が、自明な一般化が失敗する場合でさえ有界性を示すことを示すこと。

提案手法

• 相対的 Kodaira-Akizuki-Nakano の消滅定理の相対的バージョンを用いて、特異的設定に適応した対数的消滅定理を導入する。
• 曲線 $ C $ 上の多様体族 $ f: X \to C $ にこの定理を適用し、相対的基本点自由定理を用いて既知の状況に還元する。
• 相対 canonical バンドル $ \omega_{X/C} $ が nef かつ big である条件を用いて、引き戻しと修正を介して消滅定理を適用する。
• 有限被覆 $ \tilde{X} \to X $ と修正された線分束 $ \tilde{\mathcal{L}} $ を構成し、特異的除法の補集合に関して半アンサンブル的かつアンサンブル的であるようにし、消滅定理の適用を可能にする。
• 押し出しの次数 $ \deg(f_* \omega_{X/C}^m) $ を主要な不変量とし、genus $ g $ と特異ファイバー数 $ \delta $ を用いて有界化する。
• 家族をパラメトライズするためのモジュライ函子 $ \mathfrak{D}_h^{(m)} $ 及びその射影的コンactification $ \bar{D}_h^{(m)} $ を用い、このような準同型の有限性を証明する。

実験結果

リサーチクエスチョン

• RQ1 半アンサンブル的かつ大きな線分束を備えた特異的多様体に対して、対数的 Kodaira-Akizuki-Nakano の消滅定理を拡張することは可能か？
• RQ2 2g - 2 + \delta > 0 のとき、曲線上の多様体族に対して、双有理標準バンドルの押し出しの次数の有界性は成立するか？
• RQ3 特異ファイバーが制御された canonically polarized 多様体のモジュライ空間への曲線からの準同型をパラメトライズする、有限型の部分スキームは存在するか？
• RQ4 滑らかな解体が存在しない状況、特に非等調的状況において、消滅定理を用いて有界性結果を証明できるか？
• RQ5 canonical バンドルが $ h $-nef かつ $ h $-big であると仮定した下で、$ g $, $ \delta $, および $ m $ の関数として $ f_* \omega_{X/C}^m $ の次数の鋭い有界値は何か？

主な発見

• 半アンサンブル的かつ大きな線分束を備えた特異的多様体に対して、対数的 Kodaira-Akizuki-Nakano の消滅定理が成立し、Esnault-Viehweg の結果が特異的設定に一般化される。
• すべての $ m \geq \binom{\dim X}{2} + 2 $ に対して、押し出しの次数 $ \deg(f_* \omega_{X/C}^m) $ は上界 $ 4 \cdot \dim X \cdot (2g - 2 + \delta) \cdot m \cdot e(m) $ で有界である。
• $ 2g - 2 + \delta > 0 $ は有界性のための必要条件である。$ g = 0 $ かつ $ \delta \leq 2 $、または $ g = 1 $ かつ $ \delta = 0 $ の場合、次数を増加させる有限被覆の存在により有界性は成立しない。
• すべての準同型 $ \Psi: C \to \bar{D}_h^{(m)} $ をパラメトライズする有限型の部分スキーム $ T \subset \mathbb{H} $ が存在し、その家族は $ C \setminus \Delta $ 上で同時解体を備える。
• モジュライ空間 $ D_h^{(m)} $ 上での $ e(\omega_F^m) $ の有界性により、決定的ラインバンドルの次数が有界であることが保証され、粗モジュライスキームの存在を支持する。
• 相対的基本点自由定理により、消滅定理が適用可能な状況に還元可能であり、引き戻しと修正を介して有界性の証明が可能になる。