[論文レビュー] Higher-dimensional analogues of stable curves

Valery Alexeev|ArXiv.org|Jul 26, 2006

Algebraic Geometry and Number Theory参考文献 34被引用数 8

ひとこと要約

本稿では、次元≥2の射影的代数多様体Xと有理数係数の除斥子Bからなる安定対(X, B)の理論を用いて、安定曲線および安定写像の高次元版を導入する。ここでXは半対数正則特異点をもち、K_X + Bが非常に正である。主な貢献は、最小モデルプログラム（MMP）と対称性に基づく手法、特に群作用をもつ多様体（例えば、トーリック、球面的多様体）に対して、このような対のモジュライ空間を構成する枠組みを提供することであり、豊かな組合せ論的構造と超平面配置、およびグロモフ＝ウィトテン理論との関係を生じる。

ABSTRACT

The Minimal Model Program offers natural higher-dimensional analogues of stable $n$-pointed curves and maps: stable pairs consisting of a projective variety $X$ of dimension $\ge2$ and a divisor $B$, that should satisfy a few simple conditions, and stable maps $f:(X,B) o Y$. Although MMP remains conjectural in higher dimensions, in several important situations the moduli spaces of stable pairs, generalizing those of Deligne-Mumford, Knudsen and Kontsevich, can be constructed more directly, and in considerable generality. We review these constructions, with particular attention paid to varieties with group action, and list some open problems.

研究の動機と目的

• 安定対(X, B)の概念を用いて、安定曲線および安定写像の理論を高次元に一般化すること。
• 最小モデルプログラム（MMP）が完全に確立されていない場合でも、群作用をもつ多様体における対称性を活用することで、安定対のモジュライ空間を構成すること。
• 安定対と多面体タイル分割や超平面配置などの組合せ論的対象との関係を確立すること。
• 安定対を基盤として、高次元グロモフ＝ウィトテン理論の可能性を検討すること。

提案手法

• 半対数正則特異点とK_X + Bの非常に正性を満たすことで、デリーニュ＝マクダーモントおよびコンツェビッチの安定曲線・写像を一般化する安定対(X, B)を定義する。
• 高次元ではまだ予想にとどまるが、最小モデルプログラム（MMP）を指針として用いる。
• トーリック、球面的、フラッグ多様体などの群作用をもつ多様体における対称性を活用し、MMPの完全な適用に依存せずにモジュライ空間を直接構成する。
• ゲルファンド＝マクフィアソン対応を用いて、トーリック多様体の安定対のモジュライと、射影空間内の超平面配置のモジュライを関連付ける。
• ゲルファンド＝ツェトリン多様体へのトーリック退化を用いて、モジュライ空間の交線論および退化を研究する。
• モジュライ空間をトーリックヒルベルトスキームまたはフラッグ多様体の開部分集合として解釈し、多面体タイル分割による組合せ論的記述を可能にする。

実験結果

リサーチクエスチョン

• RQ1 部分フラッグ多様体（例えば2段フラッグ多様体）上の安定対のモジュライ空間は、安定写像のモジュライ空間として解釈可能か？
• RQ2 高次元において、B_j除斥子の交わりにおける評価を用いて、一般化された量子コホノロジー環を定義できるか？
• RQ3 点ではなく除斥子における評価に基づく、非自明な高次元グロモフ＝ウィトテン理論は存在するか？
• RQ4 ハッサットの重み付きn点付き曲線のモジュライ空間は、ウォールクロッシングを介して、通常のグロモフ＝ウィトテン不変量の新たな公式を導くか？
• RQ5 M_{0,n}におけるψ類の交線積に対する多項定理の一般化は、超平面配置のコンパクト化モジュライ空間へどのように拡張されるか？

主な発見

• 半対数正則特異点と非常に正なK_X + Bをもつ安定対(X, B)は、デリーニュ＝マクダーモントおよびコンツェビッチの安定曲線・写像を高次元に一般化する。
• トーリック多様体および超平面配置の文脈では、安定対のモジュライ空間は、トーリックヒルベルトスキームまたはフラッグ多様体の開部分集合として同型であり、自然な組合せ論的構造をもつ。
• 安定トーリック多様体の一般な切断ごとに、(Y, B_1 + ... + B_n) ≅ (P^{r-1}, 一般位置にある超平面) となる安定対が得られ、半対数正則特異点が保存される。
• Gr(r,n)上の安定トーリック多様体のモジュライ空間は、ゲルファンド＝マクフィアソン対応により、P^{r-1}内での一般位置にあるn本の超平面のn重組合せをパラメトライズする。
• Gr(r,n)のゲルファンド＝ツェトリン多様体へのトーリック退化により、モジュライ空間M_{Gr(r,n),Q}がM_{Z,Q}に退化し、交線論の研究が可能になる。
• 本稿は、超平面配置のモジュライにおけるψ類の交線積が、トーリック退化を介して多項定理の一般化に一般化可能であると示唆している。