[論文レビュー] The Crepant Resolution Conjecture for Type A Surface Singularities

Tom Coates, Alessio Corti+2 more|ArXiv.org|Apr 16, 2007

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

ひとこと要約

本稿は、量子パラメータを1次単位根に特殊化し、解析接続を施した後、軌道体 $[\mathbb{C}^2/\mu_n]$ の量子特異コホモロジーとそのクリープァント解体 $Y$ の間の同型を確立することにより、タイプAの表面特異点に対するクリープァント解体予想を証明する。証明は、トーリック軌道体における鏡映性に依拠し、Gromov–Witten不変量と量子コホモロジー同型を、ペアリングを保つ線形写像によって関連付けるために $I$-関数と $J$-関数を用いる。

ABSTRACT

Let X be an orbifold with crepant resolution Y. The Crepant Resolution Conjectures of Ruan and Bryan-Graber assert, roughly speaking, that the quantum cohomology of X becomes isomorphic to the quantum cohomology of Y after analytic continuation in certain parameters followed by the specialization of some of these parameters to roots of unity. We prove these conjectures in the case where X is a surface singularity of type A. The key ingredient is mirror symmetry for toric orbifolds.

研究の動機と目的

• タイプ $A_{n-1}$ の表面特異点、特に $\mathcal{X} = [\mathbb{C}^2/\mu_n]$ の軌道体におけるクリープァント解体予想を証明すること。
• 量子パラメータの解析接続および特殊化を施した後、軌道体 $\mathcal{X}$ の量子コホモロジーとそのクリープァント解体 $Y$ の間の同型を確立すること。
• 量子パラメータが特殊化される正確な1次単位根を特定し、コホモロジー間の明示的なペアリングを保つ同型を構成すること。
• 同じ解析接続および特殊化手続きの下で、$\mathcal{X}$ と $Y$ のフォーブニウス多様体構造が一致することを示すこと。

提案手法

• トーリック軌道体における鏡映性を用い、ピカード＝フック方程式の解である $I$-関数と、 genus-zero Gromov–Witten 不変量の母関数である $J$-関数との関係を確立する。
• ギヴェンタルの形式的体系を用いて、コホモロジー値生成関数を通じて、$\mathcal{X}$ と $Y$ の量子コホモロジー構造を関連付ける。
• $I$-関数を用いて量子積を計算し、$\mathcal{X}$ および $Y$ の両方の量子コホモロジー関係を導出する。
• $H(Y)$ から $H(\mathcal{X})$ への線形写像 $L^\dagger$ を構成し、それが軌道体のポアンカーレペアリングを保つことを示す。
• トーリックデータのガレー双対を用いて写像 $L^\dagger$ を定義し、それが量子積構造と整合することを検証する。
• 軌道体基本群が大半半径極限点間の経路に作用する様子を分析し、解析接続によって量子コホモロジー構造が同型になることを示す。

実験結果

リサーチクエスチョン

• RQ1 量子パラメータを1次単位根に特殊化し、解析接続を施した後、軌道体 $[\mathbb{C}^2/\mu_n]$ の量子コホモロジーは、そのクリープァント解体 $Y$ のそれと同型になるか？
• RQ2 軌道体のコホモロジー環間の正確な線形同型は何か？ その同型は、軌道体ポアンカーレペアリングと量子積を保つ。
• RQ3 トーリック軌道体における鏡映性は、$\mathcal{X}$ と $Y$ 間の量子コホモロジー構造の比較をどのように支援するか？
• RQ4 解析接続およびパラメータ特殊化によって、$\mathcal{X}$ と $Y$ のフォーブニウス多様体構造を一致させることができるか？
• RQ5 軌道体基本群 $\pi_1^{\text{orb}}(\mathcal{M}_B \setminus \text{判別局所})$ の幾何学的・群論的意味は何か？ 量子コホモロジー同型においてどのような役割を果たすか？

主な発見

• タイプ $A$ の表面特異点に対してクリープァント解体予想が成立する：$\mathcal{X} = [\mathbb{C}^2/\mu_n]$ の量子コホモロジーは、量子パラメータを $n$ 乗単位根に特殊化し、解析接続を施した後、そのクリープァント解体 $Y$ のそれと同型になる。
• 同型は、ペアリングを保つ線形写像 $L^\dagger: H(Y) \to H(\mathcal{X})$ を通じて実現され、$L^\dagger \omega_i = n \sum_{k=1}^{n-1} L_{ik} \delta_{n-k}$ および $L^\dagger 1 = \delta_0$ を満たす。
• $L^\dagger$ によって誘導される $H(\mathcal{X})$ 上のペアリングは、$H(Y)$ の標準的ポアンカーレペアリングと一致し、$$ (L^\dagger \omega_i, L^\dagger \omega_j)_{\mathcal{X}} = \begin{cases} 0 & |i-j|>1, \\ 1 & |i-j|=1, \\ -2 & i=j \end{cases} $$ が成り立つ。
• 解析接続および特殊化の後、$\mathcal{X}$ と $Y$ のフォーブニウス多様体構造は一致する。これは、$I$-関数と $J$-関数がミラー写像を通じて関連づけられていることによる。
• 軌道体基本群 $G \cong \widetilde{A}_{n-1} \rtimes \mu_n$ は、解析接続による座標変換の集合に推移的に作用しており、これは、導来カテゴリ $D_Z^b(Y)$ の自己同値の深い関係を示唆している。
• この結果は、ムーリクおよびブライアン–グラバー–パンダリパンドの先行計算と整合しており、以前のケース（$n=1,2,3$）を一般の $n$ に拡張している。