[論文レビュー] The orbifold quantum cohomology of C^2/Z_3 and Hurwitz-Hodge integrals

Jim Bryan, Tom Graber+1 more|ArXiv.org|Oct 16, 2005

Algebraic Geometry and Number Theory参考文献 7被引用数 12

ひとこと要約

本稿は、軌道体 $\mathcal{X} = [\mathbb{C}^2 / \mathbb{Z}_3]$ における等変な genus 0 のクレパント解体予想を証明し、非自明な変数変換の後、その軌道体量子コホモロジーの汎関数 $F^\mathcal{X}$ が、そのクレパント解体 $Y$ のゲーロー＝ウィトテン汎関数 $F^Y$ と等しいことを示している。主な貢献は、新規の三角ホイットン空間上のホッジ積分を用いて両方の汎関数を完全に計算したことであり、自立的な付録でこれらの積分の閉形式の公式が導出されている。

ABSTRACT

Let Z_3 act on C^2 by non-trivial opposite characters. Let X =[C^2/Z_3] be the orbifold quotient, and let Y be the unique crepant resolution. We show the equivariant genus 0 Gromov-Witten potentials of X and Y are equal after a change of variables -- verifying the Crepant Resolution Conjecture for the pair (X,Y). Our computations involve Hodge integrals on trigonal Hurwitz spaces which are of independent interest. In a self contained Appendix, we derive closed formulas for these Hurwitz-Hodge integrals.

研究の動機と目的

• 軌道体 $\mathcal{X} = [\mathbb{C}^2 / \mathbb{Z}_3]$ 及びそのクレパント解体 $Y$ における等変な genus 0 のクレパント解体予想を検証すること。
• ピカール数が 2 であるため、以前の例よりもより複雑な変数変換を示す、$\mathcal{X}$ の解体 $Y$ の完全な等変な genus 0 ゲーロー＝ウィトテン汎関数 $F^Y$ を計算すること。
• 特に、$\mathbb{P}^1$ の巡回的三重被覆のホイットンスキームの連結成分上での $\lambda_{g-1}$ の積分を含む、三角ホイットン空間上のホイットン＝ホッジ積分の閉形式の表現を導出すること。これらは代数幾何学において独立した関心をもつ。

提案手法

• 解体 $Y$ の等変な genus 0 ゲーロー＝ウィトテン汎関数 $F^Y$ を、解体上の等変コホモロジーおよび交線論を用いて計算する。
• 非自明な $\mathbb{Z}_3$ の元に対応する等変な軌道体コホモロジー類 $D_1, D_2$ を用いて、軌道体汎関数 $F^\mathcal{X}$ を導出する。
• 生成関数 $A(u) = \frac{1}{\sqrt{3}}\tan\left(\frac{u}{\sqrt{12}} + \frac{\pi}{6}\right)$ を導入し、これにより三角ホイットン空間上での $\lambda_{g-1}$ の積分を計算する。この関数は、$\lambda_{g-1}$ の積分を符号化する。
• $F^\mathcal{X}$ と $F^Y$ の構造を一致させることで、等変パラメータ間の変数変換を確立し、変換後、両者の等価性を示す。
• 生成関数と単位根フィルターを用いて、$F^\mathcal{X}$ の系列を $A_{g}$ を含む成分に分解し、複素解析および三角恒等式を用いて再帰関係の整合性を証明する。
• 付録において、$\omega = e^{2\pi i/3}$ を用いた線形代数的対称性と留数積分を用いて、ホイットン＝ホッジ積分の一意性と閉形式表現を自立的に証明する。

実験結果

リサーチクエスチョン

• RQ1 クレパント解体予想が予測するように、適切な変数変換の後、軌道体 $\mathcal{X} = [\mathbb{C}^2 / \mathbb{Z}_3]$ の等変な genus 0 ゲーロー＝ウィトテン汎関数が、そのクレパント解体 $Y$ のそれと一致するか？
• RQ2 解体 $Y$ の genus 0 ゲーロー＝ウィトテン汎関数 $F^Y$ の明示的形は何か？ そして、軌道体汎関数 $F^\mathcal{X}$ とどのように関係するか？
• RQ3 三角曲線のモジュライ空間 $\overline{\mathcal{H}}_{g}^{3}$ 上でのホッジ積分 $\int_{\overline{\mathcal{H}}_{g}^{3}} \lambda_{g-1}$ の値は何か？ そして、これらは閉形式で表現可能か？
• RQ4 等変パラメータ $t_1, t_2$ と変数 $x_i, y_i$ は、軌道体と解体幾何の間でどのように変換され、予想される等価性を実現するか？
• RQ5 ホイットン＝ホッジ積分はホイットンスキームの連結成分の選択に依存しないか？ また、生成関数を用いて一様に計算可能か？

主な発見

• クレパント解体 $Y$ の等変な genus 0 ゲーロー＝ウィトテン汎関数 $F^Y$ は、$t_1, t_2, y_1, y_2, y_0$ に依存する係数を持つ、多項式項と $q_1^d, q_2^d, (q_1 q_2)^d$ を含む系列の和として明示的に計算されている。
• 軌道体汎関数 $F^\mathcal{X}$ は、$x_0^3$, $x_0 x_1 x_2$, $t_1 x_1^3$, $t_2 x_2^3$ および $g \geq 2$ の系列を含む閉形式で与えられ、係数 $A_g$ は生成関数 $A(u) = \frac{1}{\sqrt{3}}\tan\left(\frac{u}{\sqrt{12}} + \frac{\pi}{6}\right)$ によって定義される。
• ホイットン＝ホッジ積分 $\int_{\overline{\mathcal{H}}_g^3} \lambda_{g-1}$ は $A_g$ に等しく、これはホイットンスキームの連結成分に依存しないことが示されており（命題 A.1 で証明済み）、一様に定義可能である。
• 生成関数 $A(u)$ は $A(u) = \frac{i}{\sqrt{3}} \frac{1 + \overline{\omega} e^{iu/\sqrt{3}}}{1 - \overline{\omega} e^{iu/\sqrt{3}}}$ として導出され、複素解析を用いて積分の閉形式表現が得られている。
• 変数変換の下で $F^\mathcal{X} = F^Y$ が成立することは、$F^\mathcal{X}$ の対称的和（$\omega$-twist 項）の系列構造と $F^Y$ の構造が代入後一致することを示すことによって検証された。
• ホイットン積分の再帰関係の整合性は、$9(\theta_0 - \theta_1) = 1$ を証明することによって確認され、導出された公式の一意性と正しさが確立された。