[論文レビュー] Relative semiampleness in mixed characteristic

Jakub Witaszek|arXiv (Cornell University)|Jun 10, 2021

Algebraic Geometry and Number Theory参考文献 16被引用数 6

ひとこと要約

本稿は、ケルの半アーマブル線束に関する定理の混合特徴数版を確立し、完璧な底付きスキーム上のネフな線束が、その一般点および正特徴数ファイバーへの制限がともに半アーマブルであるときかつそのときに限り半アーマブルであることを証明する。証明は、普遍的同相写像、h位相スタック、商構成を用いて正特徴数の技法を混合特徴数へと拡張し、カスチーニとタナカのファイバー単位の半アーマブル基準を、混合特徴数の整域上のスキームへ一般化する。

ABSTRACT

We show that a nef line bundle on a proper scheme over an excellent base is semiample if and only if it is semiample after restricting to characteristic zero and to positive characteristic. In the process of the proof, we provide a generalisation to mixed characteristic of the fact that the perfection of the Picard functor in positive characteristic is a stack in groupoids for the h-topology.

研究の動機と目的

• ケルの半アーマブル線束に関する定理を正特徴数から混合特徴数へ拡張すること。
• カスチーニとタナカの正特徴数における結果に類似した、混合特徴数におけるファイバー単位の半アーマブル基準を確立すること。
• h位相を介して、正特徴数におけるPicard函子のスタック的性質を混合特徴数へ一般化すること。
• 特に次元4における混合特徴数の最小モデルプログラムの基礎的道具を提供すること。

提案手法

• カスチーニとタナカの手法にインspiredされた3段階戦略を用いる：まず相対的数的自明な線束の半アーマブル性を証明し、次に正規スキームで、最後に一般の場合を扱う。
• 先行研究 [witaszek2020keels] から導かれる、ケルの定理およびコラールの有限同値関係に関する商定理の混合特徴数版を適用する。
• スティーン因子分解と普遍的同相写像を用いて、底スキームの異なるファイバー上のファイブレーションを関連付ける。
• 閉埋め込みによる引き戻しの単射性と余同調図式を用いて、h位相における商を構成する。
• 有限全射写像による引き戻しがアーマブルである線束は、ナカイ＝モイシェゾン基準により元の線束もアーマブルであるという事実を用いる。
• 命題4.3を適用して、正特徴数ファイバーでの torsion 性を示し、その結果、乗数が商へと降下可能になる。

実験結果

リサーチクエスチョン

• RQ1 カスチーニとタナカのファイバー単位の半アーマブル基準を正特徴数から混合特徴数へ拡張できるか？
• RQ2 混合特徴数の整域上の固有スキーム上の線束が、一般点および特別ファイバーで半アーマブルであるときかつそのときに限り半アーマブルであるか？
• RQ3 正特徴数におけるPicard函手のパーフェクションを、hスタックとして混合特徴数へ一般化できるか？
• RQ4 混合特徴数において、有限の底変更の後、線束が底へと降下するための条件は何か？

主な発見

• 完璧なスキーム $ S $ 上の固有スキーム $ X $ 上の線束 $ L $ は、すべての点 $ s \to S $ で正の特徴数の残渣体を持つようなものについて、$ L|_{X_{\bar{\bbQ}}} $ および $ L|_{X_s} $ が半アーマブルであるときかつそのときに限り半アーマブルである。
• 証明により、$ Z $ とその同値関係 $ \bar{E}_Z $ の閉包による商が、$ S $ 上の分離的で有限型の代数的空間として存在することが示された。この際、特徴数0の基底変更が用いられた。
• 線束 $ L $ の像 $ X^* \to W $ への引き戻しは半アーマブルであり、相対的数的自明であるため、$ L $ のある乗数が $ W $ へと降下する。
• $ W $ 上の線束 $ M $ はナカイ＝モイシェゾン基準によりアーマブルであることが示され、$ r^*L^m $ がアーマブルであることが従い、Corollary 2.23 より $ L $ が半アーマブルであることが示された。
• 本結果は、混合特徴数における4次元の半安定最小モデルプログラムのための重要な技術的道具を提供する。