[論文レビュー] Positivity of equivariant Gromov-Witten invariants

Dave Anderson, Linda Chen|arXiv (Cornell University)|Oct 26, 2011

Geometric and Algebraic Topology参考文献 4被引用数 3

ひとこと要約

本稿では、正の根に関する非負整数係数の多項式環 $\mathbb{N}[\alpha_1,\ldots,\alpha_n]$ に属することを示すことにより、$G/P$ における等変 Gromov-Witten 不変量の正性を確立する。等変モジュライ空間上の横断性および幾何的交線論を用いて、これらの不変量を有効ゼロサイクルの次数として表現し、等変量子コホモロジー環における一般化された EQLR 係数が Graham-正であることを証明する。これにより、Mihalcea の結果の新たな証明が得られ、複数点不変量へと拡張される。

ABSTRACT

We show that the equivariant Gromov-Witten invariants of a projective homogeneous space G/P exhibit Graham-positivity: when expressed as polynomials in the positive roots, they have nonnegative coefficients.

研究の動機と目的

• 複数点等変 Gromov-Witten 不変量が等変量子コホモロジー $G/P$ において Graham-正であることを確立すること。
• 横断性の議論を通じて、これらの不変量を有効ゼロサイクルの次数として幾何的解釈すること。
• Mihalcea の EQLR 係数に関する正性結果を、新しい幾何的アプローチを用いて高次元点不変量へ一般化すること。
• 主な証明からの次元推定を用いて、$QH_T^*(SL_n/P)$ に対する Giambelli 公式を導出すること。
• 等変量子コホモロジー環における結合則が減算を含まないことを示し、正性構造を強化すること。

提案手法

• モジュライ空間 $\overline{M}_{0,r+1}(X,\mathbf{d})$ 上での等変押し出し $\pi^T_*$ を用いて、等変 Gromov-Witten 不変量を等変シューベルト類のカップ積の押し出しとして表現する。
• $T$-多様体の近似空間 $\mathcal{Z} = \mathbb{E} \times^T Z$ を用いて、有限次元モデルによる等変コホモロジーを計算する。
• 横断性定理を適用し、等変シューベルト多様体と評価局の交わりが、Cohen-Macaulay かつ純次元的サイクルをもたらすことを示す。
• サイクル $V_\gamma = (\mathrm{ev}_1^T)^{-1}(\gamma_1\mathcal{Y}(v_1)) \cap \cdots \cap (\mathrm{ev}_r^T)^{-1}(\gamma_r\mathcal{Y}(v_r)) \cap \mathcal{Z}_J$ を定義し、その次数が不変量係数を与える有効ゼロサイクルとする。
• $V_\gamma$ 及びその境界 $\partial V_\gamma$ の次元を数え上げ、サイクルが 0 次元となり、したがって次数が正しく定義される条件を特定する。
• ファイバー積の恒等式 $[V_\gamma] = (\mathrm{ev}^T)^* y(v_1) \cdots (\mathrm{ev}^T)^* y(v_r) \cdot (\mathrm{ev}_{r+1}^T)^* x(w) \cdot [\overline{\mathcal{M}}_J]$ を用いて、サイクル類を等変コホモロジー類に一致させる。

実験結果

リサーチクエスチョン

• RQ1 $r > 2$ のとき、等変 Gromov-Witten 不変量 $I^T_{\mathbf{d}}(y(v_1)\cdots y(v_r) \cdot x(w))$ は Graham-正か？
• RQ2 これらの不変量の係数は、有効サイクルの次数として幾何的に解釈可能か？
• RQ3 等変量子コホモロジー環の結合則は、高次元点 EQLR 係数が同様に Graham-正であることを示唆するか？
• RQ4 モジュライ空間の幾何から得られる次元推定は、$QH_T^*(SL_n/P)$ に対する Giambelli 公式の導出に役立つか？
• RQ5 Mihalcea が用いた代数的手法を避ける幾何的証明は存在するか？

主な発見

• 等変 Gromov-Witten 不変量 $I^T_{\mathbf{d}}(y(v_1)\cdots y(v_r) \cdot x(w))$ は $\mathbb{N}[\alpha_1,\ldots,\alpha_n]$ に属し、任意の $r \geq 2$ に対して Graham-正であることが証明される。
• 不変量の展開 $\sum c_J \alpha^J$ における係数 $c_J$ は、有効ゼロサイクル $V_\gamma$ の次数に等しく、非負整数である。
• 交わり $V_\gamma$ の次元が 0 のとき、それは開モジュライ空間 $\mathcal{M}$ 内の有限個の点から構成され、その次数は正しく定義され、非負である。
• 証明により、等変量子コホモロジー環における一般化された EQLR 係数 $c_{v_1,\ldots,v_r}^{w,\mathbf{d}}$ が Graham-正であることが示され、$r=2$ の場合を基に帰納法を用いる。
• 等変量子コホモロジー環 $QH_T^*X$ における結合則は減算を含まないことが確認され、構造定数が正の根に関する非負多項式であることが裏付けられる。
• 証明からの次元推定を応用し、以降の研究 [AC] で $QH_T^*(SL_n/P)$ に対する Giambelli 公式が導出される。