[論文レビュー] Moduli of weighted stable maps and their gravitational descendants

Valery Alexeev, G. Michael Guy|ArXiv.org|Jul 26, 2006

Homotopy and Cohomology in Algebraic Topology参考文献 16被引用数 3

ひとこと要約

本稿は、$V$ という射影的多様体への重み付き安定写像のモジュライ空間 $\overline{M}_{g,A}(V,\beta)$ を構成し、重みデータ $A = (a_1, \dots, a_n)$、$0 \leq a_i \leq 1$ に対して重力的後継を記述する壁越え公式を確立する。重み付き後継を重みなしのもので表す（逆も同様）ことができることを示し、古典的ゲーロウ＝ウイトテン不変量を一般化するとともに、ストリング、ディラトン、除数方程式を重み付き設定に拡張する。

ABSTRACT

We study the intersection theory on the moduli spaces of maps of $n$-pointed curves $f:(C,s_1,... s_n) o V$ which are stable with respect to a weight data $(a_1,..., a_n)$, $0\le a_i\le 1$. After describing the structure of these moduli spaces, we prove a formula describing the way each descendant changes under a wall crossing. As a corollary, we compute the weighted descendants in terms of the usual ones, i.e. for the weight data $(1,...,1)$, and vice versa.

研究の動機と目的

• 任意の重みデータ $A = (a_1, \dots, a_n)$、$0 \leq a_i \leq 1$ に対して、重み付き安定写像のモジュライ空間 $\overline{M}_{g,A}(V,\beta)$ を構成し、重みなしの場合を一般化すること。
• これらのモジュライ空間上に $\psi$-類および重力的後継を定義すること、特に一部の重みが $0$ の場合に注目すること。
• 重みパrameter空間内の1つの壁を越える際の重力的後継の変化を記述する壁越え公式を確立すること。
• ストリング、ディラトン、除数方程式の重み付き類似形を導出し、古典的不変量を重み付き設定に拡張すること。
• 通常のゲーロウ＝ウイトテン不変量が重み付き対応物と一致することを示し、重み付きおよび重みなしの後継の間の変換の明示的公式を提供すること。

提案手法

• 重みなしの場合からの直接的還元（有限個の特異的特徴量を除いて有効）と、一般のノエター的基底上でアーティンスタックおよび余りモジュライ空間を用いた一般構成の2通りの方法で $\overline{M}_{g,A}(V,\beta)$ を構成する。
• $\psi$-類を余接バンドルを切断に制限することで定義するが、一部の $a_i = 0$ の場合に、定義の整合性を保つために構成を調整する。
• 重み空間 $[0,1]^n$ を、モジュライ空間の構造が一定である領域（チャネル）に分割し、壁がそれらの間を分かつ。
• 各チャネルに、集合 $\{1, \dots, n\}$ 上の単体的複体を関連付け、壁を越えることは単体の追加または削除に対応する。
• 1つの壁を越える際の重力的後継の差を、より少ない標識点を持つ簡略化されたモジュライ空間上の後継の和として表す壁越え公式を証明する。
• 還元および円錐構成の挙動を分析することで、ストリング、ディラトン、除数方程式の重み付き版を導出する。

実験結果

リサーチクエスチョン

• RQ1 重みパラメータ空間内の壁を越える際、$\overline{M}_{g,A}(V,\beta)$ 上の重力的後継はどのように変化するか？
• RQ2 重み付き後継は重みなしのもので表せる（逆も同様）か？その明示的公式は何か？
• RQ3 ゲーロウ＝ウイトテン理論における古典的ストリング、ディラトン、除数方程式の重み付き類似形は何か？
• RQ4 集合 $\{1, \dots, n\}$ 上の単体的複体構造は、モジュライ空間 $\overline{M}_{g,A}(V,\beta)$ の幾何をどのように記述するか？
• RQ5 $\kappa$-類と重み付き後継の関係は何か、特に重みデータ $(0^n)$ または $(\epsilon^n)$ の場合にどうか？

主な発見

• 壁越え公式により、1つの壁を越える際の重力的後継の差が、標識点が少ない簡略化されたモジュライ空間上の後継の和として表され、その還元は標識点を1つの頂点に統合することに対応する。
• 重みなしのゲーロウ＝ウイトテン不変量は重み付きのものと等しい。これは、すべての重みが $1$ または $0$ のとき、重みの変化にかかわらず不変量が変わらないことを意味する。
• モリタ＝ミラー＝マウンドの $\kappa$-類は、重みデータ $(0^n)$ あるいは同値に $(\epsilon^n)$ の場合の重み付き後継として特定され、古典的トロイタルクラスと重み付き不変量との直接的な関係を確立する。
• 対称的 $A$-ストリング方程式が成り立つ：$k_{n+1} = 0$ かつ $A$ が $\Delta_{n+1,r}$ に対応するとき、複体が円錐であれば後継は消え、さもなければ面ごとの符号付き和に分解する。
• $A$-除数方程式が一般化される：$k_{n+1} = 0$ のとき、$D$-挿入付きの後継は、$\beta$ 上での $D$ の積分を含む項と、面ごとの和に分解され、単体的複体の幾何が反映される。
• アーティンスタックの一般的手法により、任意の局所ノエター的基底上でモジュライ空間 $\overline{M}_{g,A}(V,\beta)$ の構成が可能であり、これにより従来の結果がより広い幾何的文脈に拡張される。