[論文レビュー] Generic positivity and applications to hyperbolicity of moduli spaces

Benoît Claudon, Stefan Kebekus+1 more|arXiv (Cornell University)|Oct 31, 2016

Algebraic Geometry and Number Theory参考文献 26被引用数 17

ひとこと要約

この論文は、対数正則なペア上の対数微分形式に関するCampanaとPâunの一般性半正定性定理について包括的な解説を提供し、Viehwegの双曲的予想を証明するために不可欠な基礎的正定性性質を確立する。微分形式の分数的foliationおよび乗数イデアル技法を用いて、Miyaukaの半正定性を対数ペアへ一般化することで、正則に偏極された多様体の族の相対双対化層が一般に半正定であることを示し、モジュライ空間の双曲的性を導く。

ABSTRACT

The proof of the celebrated Viehweg's hyperbolicity conjecture is a consequence of two remarkable results: Viehweg and Zuo's existence results for global pluri-differential forms induced by variation in a family of canonically po-larised manifolds and Campana and Pǎun's vast generalisation of Miyaoka's generic semipositivity result for non-uniruled varieties to the context of pairs. The aim of this chapter is an exposition of Campana-Pǎun's generic semipositivity theorem .

研究の動機と目的

• 対数正則ペア上の対数微分形式に関するCampanaとPâunの一般性半正定性定理について、詳細な解説を提供すること。
• 正則に偏極された多様体の族における相対双対化層の一般性半正定性を確立すること。
• Viehwegのモジュライ空間における双曲的予想を証明するために必要な解析的および代数的道具を構築すること。
• 分数的極の位数を伴う対数ペアの文脈へ、Miyaukaの一般性半正定性結果を一般化すること。
• このような族に全域の多様体微分形式が存在する場合、その基底モジュライ空間のBrody双曲的性を示すこと。

提案手法

• 有理数係数の除数に沿った接層の飽和を用いて、分数的接ベクトル場および分数的foliationを導入すること。
• 有理数係数の除数に沿った微分形式の層の飽和を用いて、分数的極位数を伴う対数微分形式の層を定義すること。
• 飽和foliationの葉空間を介して、多様体 X から正規の射影多様体 Z への有理写像 ψ: X ⇢ Z を構成すること。
• Zariskiの主要定理を適用し、葉空間上の誘導写像が開埋め込みであることを示し、等次元性を保証すること。
• 可動曲線における交点論を用いて、ファイブレーションの接層の次数と境界除数の水平部の次数を比較すること。
• 相対双対化層が一般に半正定でないと仮定することで、可動曲線との交点が負になることを示し、これにより既知の相対双対化層の正定性と矛盾すること。

実験結果

リサーチクエスチョン

• RQ1 Miyaukaの一般性半正定性定理は、有理数係数境界除数を伴う対数正則ペアの状況へどのように一般化可能か？
• RQ2 正則に偏極された多様体の族において、相対双対化層の一般性半正定性が保証される条件は何か？
• RQ3 族に全域の多様体微分形式が存在する場合、その基底モジュライ空間の双曲的性とはどのように関係するか？
• RQ4 飽和foliationの構造が、正定性を制御する有理写像への構成にどのように利用可能か？
• RQ5 境界除数 Δ を水平部と垂直部に分解する構造が、正定性の証明において果たす役割は何か？

主な発見

• 分数的極位数を伴う対数微分形式の層は、対数正則ペア上で一般に半正定である。
• 正則に偏極された多様体の族の相対双対化層は、可動曲線を用いた背理法により、一般に半正定であることが示された。
• 正接バンドルが十分に正である曲線族から生じる飽和foliationは、正規多様体への支配的有理写像を誘導し、そのファイバーは代数的葉である。
• 交点数 $ C_{γ} ⋂ [\gamma^{[*]}\scr{T}_{X/Z}] $ は、$ C_{γ} ⋂ [\gamma^{*}\Delta^{\text{trans}}] $ を厳密に上回り、ファイブレーションの接層の正定性を示唆する。
• 相対双対化層が一般に半正定でないと仮定すると、可動曲線との交点が負になり、これは定理7.1で確立された正定性と矛盾する。
• 一般性半正定性の証明は、$ \Delta = \Delta^{\text{horiz}} + \Delta^{\text{vert}} $ の分解に依存しており、$ \Delta^{\text{horiz}} $ は境界の水平部に対応し、可動曲線との交点が正定性を制御する。