[論文レビュー] GIT and moduli with a twist

Radu Laza|arXiv (Cornell University)|Nov 13, 2011

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

ひとこと要約

本稿は、モジュライ空間における幾何的不変式理論（GIT）の役割を調査し、GIT商の変動（VGIT）が双有理幾何、算術的コンパクト化、ホッジ理論的構成の間の深い関係を明らかにすることを強調している。主な貢献は、ハイパーサブアレンジメントを通じて、GIT商と対数正則モデル、算術的商を正確に同定することであり、特に3次曲線のGITコンパクト化と球面商との同型、およびハッセット–キールプログラムにおける異なる対数正則モデルとしてのそれらの実現が示されている。

ABSTRACT

We survey the role played by GIT in the study of moduli spaces, with an emphasis on the birational geometry of GIT quotients.

研究の動機と目的

• 幾何的不変式理論（GIT）がモジュライ理論において果たす役割の進化を調査すること。
• 変動GIT商（VGIT）が、病理的と見なされてきたモジュライコンパクト化の理解を、構造的に情報的なものに変える仕組みを強調すること。
• モジュライ曲線におけるGIT商、算術的商（例：球面およびタイプIV領域）および対数正則モデルの間の明確な幾何的および双有理的関係を確立すること。
• VGITが、よく理解された空間（例：周期領域）から、より複雑なモジュライ空間（例：特異点の変形空間）へ幾何的およびコホロロジー的情報を移す仕組みを示すこと。
• モジュライ曲線および曲面の文脈において、GIT、ホッジ理論、最小モデルプログラムの視点を統合すること。

提案手法

• 線形化の変化がモジュライ空間の双有理変換を引き起こす仕組みを分析するために、GIT商の変動（VGIT）を用いる。
• モーリー・ドリーム空間の理論を適用し、VGITを最小モデルプログラムおよびモジュライ空間の双有理幾何に結びつける。
• ルイエンガの比較定理を用いて、周期領域内の超平面配置を通じて、GIT商と算術的コンパクト化を関係づける。
• 3次曲線、立方曲面、5次対といった具体的なモジュライ例に対して、GITおよびホッジ理論的構成を併用して分析する。
• ハッセット–キールプログラムを用いて、GITおよび算術的コンパクト化を有理数的安定パラメータでパrameter化された対数正則モデルとして解釈する。
• キルワンの特異点解消および部分的解消技術を用い、共通の解消空間を通じてGIT商と算術的商を関係づける。

実験結果

リサーチクエスチョン

• RQ1 異なるモジュライ空間のコンパクト化、例えばGIT商と算術的商は、どのように双有理的に関係しているか？
• RQ2 VGITは、複数のモジュライ空間のコンパクト化を統一的に理解するためのフレームワークをどのように提供するか？
• RQ3 モジュライ曲線の対数正則モデルは、GIT商または算術的商として実現可能か？
• RQ4 3次曲線のGITコンパクト化と球面商コンパクト化の間の正確な幾何的関係は何か？
• RQ5 よく理解された算術的商（例：周期領域）から、VGITを介してより複雑なモジュライ空間へ情報をどのように移すことができるか？

主な発見

• 3次曲線のGITコンパクト化 $\overline{M}^{GIT}_3$ は、ハッセット–キールプログラムにおける対数正則モデル $\overline{M}_3(\frac{17}{28})$ と同型である。
• GITと球面商コンパクト化の共通部分解消 $\widehat{M}_3$ は、対数正則モデル $\overline{M}_3(\frac{7}{10} - \epsilon)$ に一致する。
• 球面商コンパクト化 $(\mathcal{B}_6/\Gamma_6)^*$ は、対数正則モデル $\overline{M}_3(\frac{7}{10})$ と同型であり、3次の場合の対数正則モデルの鎖を完成させる。
• 5次対 $(C,L)$ に対して、VGIT商 $\mathcal{M}(1)$ はタイプIV領域 $\mathcal{D}/\Gamma$ のバイリー–ボレルコンパクト化と同型であり、$\mathcal{M}(\frac{5}{2} - \epsilon)$ は $N_{16}$ 特異点の変形空間をパラメータ化する。
• ルイエンガの比較定理により、$\overline{(\mathcal{D}/\Gamma)}_{\mathcal{H}} \cong X/\!\!/_\mathcal{L} G$ が成り立ち、GIT商と算術的コンパクト化が高余次元補集合を持つ開集合で一致することが示される。
• かつて病理的と見なされていた複数のコンパクト化の存在は、今や強力な道具と見なされるようになった：VGITにより、より単純な空間からより複雑なモジュライ空間へコホロロジー的および幾何的データを移すことができる。