[論文レビュー] Families of divisors

János Kollár|arXiv (Cornell University)|Oct 2, 2019

Algebraic Geometry and Number Theory被引用数 3

ひとこと要約

この論文は、ヒルベルト・スケームとカイリー＝チャウ多様体を結ぶ、除数族のための新しいモジュライ的条件であるK-フラットネスを導入する。K-フラットな相対ムーフォード除数のうち、固定次数のものからなる関手は、基底上での分離的で有限型のスキームによって代表可能であることが示され、安定対 (X, ∆) のモジュライ理論を完成させる。

ABSTRACT

We establish a new moduli theory for divisors, that interpolates between the Hilbert scheme and the Cayley-Chow variety. This completes the last step in the construction of a good moduli theory for stable pairs $(X,\Delta)$.

研究の動機と目的

• 安定対の族における除数的部品のための良好なモジュライ理論が欠如している問題に対処する。ここでは、従来のヒルベルト・スケームとカイリー＝チャウ多様体が失敗する。
• ヒルベルト・スケーム（埋め込み点を追跡する）とカイリー＝チャウ多様体（半正規性を要請する）の間を補間する新しい枠組みを構築する。
• K-フラットネスを定義し、研究する。これは、任意の基底スキーム（非還元的でないものでさえも）上で有効な、相対ムーフォード除数のための新しい平坦性条件である。
• K-フラット除数のモジュライ関手の代表可能性を確立し、安定対の完全なモジュライ理論を可能にする。
• K-フラットネスが、被覆多様体Xに依存するのではなく除数Dにのみ依存することを示す。これは直感に反するが、モジュライ応用において極めて重要である。

提案手法

• コホーマン・ローカルがcodim ≥2の補集合においてコホーマン的であるような部分スキームとしてのムーフォード除数を導入する。これには滑らかさおよび閉包条件が満たされる。
• K-フラットネスを三段階の段階的でより一般的な条件として定義する：(1) ある射影空間への有限射が相対コホーマン構造を保存する；(2) 任意の平坦局所基底変換による降下；(3) 任意の基底における局所化。
• チャウ方程式およびそのイデアルの理論を用いて、特にCn ⊂ Anのモノミアル曲線の変形を分析する。
• Cnのチャウ方程式のイデアルが、nが偶数のときはすべてのn次単項式からxn_iを除いたもので生成され、nが奇数のときはx1⋯xnまで追加で除かれるものであることを証明する。
• バーティニ型定理を用いて、K-フラットネスの問題を表面および曲線に還元し、既知の対数正則表面特異点の分類を活用する。
• 変形理論と線形射影による引き戻しの明示的計算を用いて、中心ファイバーにおけるチャウ方程式のイデアルの消滅を特徴付ける。

実験結果

リサーチクエスチョン

• RQ1 任意の基底スキーム上で有効であり、ヒルベルト・スケームとカイリー＝チャウの手法の制限を避ける除数的部品のためのモジュライ理論を構築できるか？
• RQ2 相対ムーフォード除数のための平坦性の正しい一般化は何か？ これは良好なモジュライ的性質を保証する必要がある。
• RQ3 K-フラットネスは被覆多様体Xに依存するのか、それとも除数Dにのみ依存するのか？ そしてこれはモジュライ構成にどのように影響するか？
• RQ4 モノミアル曲線Cnのようなもののチャウ方程式のイデアルの構造は何か？ そして変形理論とどのように関係するか？
• RQ5 K-フラットネスはどのようにテストされ、低次元の場合に還元できるか？ バーティニ型定理は果たす役割は何か？

主な発見

• K-フラットで相対ムーフォード除数のうち、次数dのものからなる関手KDivd(X/S)は、分離的で有限型のS-スキームによって代表可能である。これは主なモジュライ問題を解決する。
• K-フラットネスは任意の基底変換に関して保存され、忠実平坦基底変換から降下可能である。これは関手的性質を保証する。
• 還元された基底上で、すべての相対ムーフォード除数がK-フラットである。これは、従来のモジュライ構成がK-フラットネスを明示的に必要としなかった理由を説明する。
• 写像fが滑らかであるとき、K-フラットネスは平坦性と同値であるが、非滑らか点においてのみ新しい性質を示す。
• An内の曲線Cnのチャウ方程式のイデアルは、nが偶数のときはすべてのn次単項式からxn_iを除いたもので生成され、nが奇数のときはx1⋯xnまで追加で除かれる。
• 離散値環上の変形Cnに対して、中心ファイバーにおけるイデアルIch(Cn)が消えるための必要十分条件は、すべてのi≠jに対してord φij ≤ n−2が成り立つことである。