[論文レビュー] Weighted grassmannians and stable hyperplane arrangements

Valery Alexeev|ArXiv.org|Jun 5, 2008

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

ひとこと要約

本稿では、Hassettの重み付き安定曲線とHacking-Keel-Tevelevの安定超平面配置の共通一般化として重み付き安定超平面配置を導入し、$\overline{M}_{\beta}(r,n)$ を構成する。これは、$(r-1)$次元の代数的多様体と$ n $個の重み付きWeil除集合$ B_i $をもつ、$ K_X + \sum b_i B_i $が非常に正かつペアが半対数正則であるようなものからなる、射影的モジュライ空間である。主な貢献は、トーリック幾何とGITの手法を用いて、重み付き超平面配置のための細かく射影的なコンパクト化を体系的に構成したことにある。

ABSTRACT

We give a common generalization of (1) Hassett's weighted stable curves, and (2) Hacking-Keel-Tevelev's stable hyperplane arrangements.

研究の動機と目的

• Hassettの重み付き安定曲線のモジュライとHacking-Keel-Tevelevの安定超平面配置のモジュライを統一的な枠組みへ一般化すること。
• 有理数の重み$ b_i \in (0,1] $で$ \sum b_i > r $を満たす$ \beta = (b_i) $に対して、重み付き安定超平面配置をパラメトライズする細かく射影的なモジュライ空間$ \overline{M}_{\beta}(r,n) $を構成すること。
• トーラス作用をもつ多様体のモジュライ理論を、重み付き配置および特異点を含むように拡張すること。
• 対数正則および半対数正則特異点を用いて、指定された重み付きの一般超平面配置の空間の完全なコンパクト化を提供すること。

提案手法

• 重み領域$ \mathcal{D}(r,n) = \{(b_i) \in \mathbb{Q}^n \mid 0 < b_i \leq 1, \sum b_i > r\} $を定義し、超平面$ \sum_{i \in I} b_i = k $と面$ b_i = 1 $によってチャネルに分割する。
• マトロイドポリトープとトーリック幾何の理論を用いて、グラスマンニアン上の族のGIT商としてモジュライ空間$ \overline{M}_{\beta}(r,n) $を構成する。
• ファイバーが対数幾何における安定ペア$ (X, \sum b_i B_i) $である、普遍族$ f: (\mathcal{X}, \mathcal{B}_1, \dots, \mathcal{B}_n) \to \overline{M}_{\beta}(r,n) $を構成する。
• 安定ペアおよび半対数正則特異点の理論を適用して、モジュライ空間が射影的かつ細かくなるように保証する。
• $ mb_i \in \mathbb{N} $を満たす$ m $に対して、$ \mathcal{O}_{\mathcal{X}}(m(K_{\mathcal{X}} + \sum b_i \mathcal{B}_i)) $の相対的非常に正性を用いて、モジュライ空間の射影性を確立する。
• 重み領域の多面体的分割を用いて退化を分析し、極限における中心ファイバーの幾何を、例外的除集合に沿った吹き上げと貼り合わせの観点から記述する。

実験結果

リサーチクエスチョン

• RQ1 Hassettの重み付き安定曲線とHacking-Keel-Tevelevの安定超平面配置を、一つのモジュライ的枠組みへ統合する方法は何か？
• RQ2 $ \beta = (b_i) $の重みにどのような条件を課すと、$ \mathbb{P}^{r-1} $における超平面配置の射影的コンパクト化が存在するか？
• RQ3 重みを変化させたときの超平面配置の退化はどのように振る舞い、極限における中心ファイバーの構造は何か？
• RQ4 特に等しい重みまたは極端な重みの場合に、重み配置が異なる$ \overline{M}_{\beta}(r,n) $の幾何的構造はどのようなものか？
• RQ5 特別な場合に、モジュライ空間がトーリック多様体として記述できるか、あるいはファイバー・ポリトープを用いて記述できるか。その幾何的意味は何か？

主な発見

• 任意の有理数重み$ \beta = (b_i) $で$ \sum b_i > r $を満たす場合、モジュライ空間$ \overline{M}_{\beta}(r,n) $は、重み付き安定超平面配置をパラメトライズする射影的スキームとして存在する。
• モジュライ空間$ \overline{M}_{\beta}(r,n) $上の普遍族は平坦かつ局所自由であり、ファイバーは$ K_X + \sum b_i B_i $が非常に正である半対数正則ペア$ (X, \sum b_i B_i) $である。
• $ \beta = (1,\dots,1) $の場合、モジュライ空間$ \overline{M}_{\beta}(r,n) $はHacking-Keel-Tevelevの$ \overline{M}(r,n) $と一致し、彼らの構成が回復される。
• $ r=2 $の場合、モジュライ空間$ \overline{M}_{\beta}(2,n) $はパーミュートロイドに付随するトーリック多様体であり、$ \beta = (1,\dots,1,\epsilon,\dots,\epsilon) $の場合、単体のファイバー・ポリトープである。
• $ \beta = (1,\dots,1, a_1,\dots,a_{n-r+1}) $で$ \sum a_i > 1 $かつ任意の真部分集合$ I $に対して$ \sum_{i\in I} a_i \leq 1 $を満たす場合、$ \overline{M}_{\beta}(r,n) = (\mathbb{P}^{n-r-1})^{r-1} $となり、特別な重み領域においては積構造を示す。
• 重み$ \beta $が一般の場合、モジュライ空間$ \overline{M}_{\beta}(r,n) $は滑らかで次元$ (r-1)(n-r-1) $であり、一般位置にある$ n $個の超平面の$ \mathbb{P}^{r-1} $における空間の完全なコンパクト化をなす。