[論文レビュー] Gamma conjecture I for del Pezzo surfaces

Jianxun Hu, Hua-Zhong Ke+2 more|arXiv (Cornell University)|Jan 7, 2019

Algebraic Geometry and Number Theory参考文献 23被引用数 5

ひとこと要約

本稿は、一般化されたペロン＝フロベニウス定理と特定のグロモフ＝ウィトテン不変量の消滅を用いて、量子コホモロジーのスペクトル的性質を確立することで、すべてのデル・ペッツォ表面（複素2次元のファノ多様体）について、ガンマ予想Iおよびその下位予想 $\frac{1}{2}$ を証明する。主な結果は、任意のデル・ペッツォ表面のガンマ類がスカラー倍を除いてその主漸近的類に一致することであり、量子不変量と位相的性質の深い関係を裏付ける。

ABSTRACT

Gamma conjecture I and the underlying Conjecture $\mathcal{O}$ for Fano manifolds were proposed by Galkin, Golyshev and Iritani recently. We show that both conjectures hold for all two-dimensional Fano manifolds. We prove Conjecture $\mathcal{O}$ by deriving a generalized Perron-Frobenius theorem on eigenvalues of real matrices and a vanishing result of certain Gromov-Witten invariants for del Pezzo surfaces. We prove Gamma conjecture I by applying mirror techniques proposed by Galkin-Iritani together with the study of Gamma conjecture I for weighted projective spaces.

研究の動機と目的

• すべてのデル・ペッツォ表面について予想 $\tfrac{1}{2}$ を確立すること。これは、$c_1(X)$ による量子乗法作用素のスペクトル半径が単純固有値であり、他のすべての固有値よりも絶対値が厳密に大きいという主張である。
• デル・ペッツォ表面についてガンマ予想Iを証明すること。これは、$J$関数の主漸近的類が正規化を除いてガンマ類に一致するとする主張である。
• 既知の例を超えてガンマ予想の有効性を拡張すること。$X_r$（$\bP^2$ の $r$ 点のブ lows up、$1 \leq r \leq 8$）および $X_7$、$X_8$ についてすべてのケースを証明する。
• 実行列に対する一般化されたペロン＝フロベニウス定理を発展・適用し、量子コホモロジーにおける固有値構造を分析する。
• 鏡映性の技法と軌道空間のための量子レフシェッツ原理を用いて、超曲面の不変量とその周囲の重み付き射影空間の不変量を関連付ける。

提案手法

• 非負実行列に対する一般化されたペロン＝フロベニウス定理を導出し、量子コホモロジー作用素におけるスペクトル半径の支配的性質を確立する。
• デル・ペッツォ表面における種数0、3点のグロモフ＝ウィトテン不変量の一部の消滅を証明することで、予想 $\tfrac{1}{2}$ の裏付けをとる。
• ガルキン＝イリタニの鏡映的技法を適用し、停留相近似を用いてギベントの $J$ 関数の漸近的挙動をガンマ類に結びつける。
• 軌道空間のための量子レフシェッツ原理を用いて、トーリック軌道空間 $\tscr{X}$ 内の超曲面 $Y$ の $J$ 関数を $\tscr{X}$ のそれと関連づけ、既知のケースへの還元を可能にする。
• $X_7$ および $X_8$ がそれぞれ重み付き射影空間 $\bP(1,1,1,2)$ および $\bP(1,1,2,3)$ 内の超曲面として実現可能であることを利用し、軌道空間の量子レフシェッツ原理を適用する。
• 接続公式を用いて、超曲面 $Y$ のガンマ類を周囲の軌道空間 $\tscr{X}$ のガンマ類に関連づけ、漸近展開における必要な比例関係を確認する。

実験結果

リサーチクエスチョン

• RQ1 すべてのデル・ペッツォ表面は予想 $\tfrac{1}{2}$ を満たすか。すなわち、$c_1(X)$ による量子乗法作用素のスペクトル半径が単純固有値として現れ、他のすべての固有値よりも絶対値が厳密に大きいのか。
• RQ2 ガンマ予想Iはすべてのデル・ペッツォ表面について成り立つか。すなわち、$J$ 関数の主漸近的類が、表面のガンマ類に正規化を除いて比例するか。
• RQ3 実行列に対する一般化されたペロン＝フロベニウス定理を用いて、デル・ペッツォ表面の量子コホモロジーのスペクトル的性質を確立できるか。
• RQ4 鏡映性および軌道空間の量子レフシェッツ原理を用いて、デル・ペッツォ表面の $J$ 関数の漸近的挙動を分析できるか。
• RQ5 既知の重み付き射影空間およびその超曲面におけるガンマ予想Iの例が、還元技法を用いてすべてのデル・ペッツォ表面へ拡張可能か。

主な発見

• 予想 $\tfrac{1}{2}$ は、$X_r$（$1 \leq r \leq 8$）を含むすべてのデル・ペッツォ表面で成立する。これは、量子乗法作用素 $\hat{c}_1$ のスペクトル半径が単純固有値であり、他のすべての固有値よりも厳密に支配的であると証明された。
• デル・ペッツォ表面における特定のグロモフ＝ウィトテン不変量の消滅が確立され、予想 $\tfrac{1}{2}$ のスペクトル支配条件の証明に不可欠な役割を果たす。
• ガンマ予想Iは、すべてのデル・ペッツォ表面で証明された。$J$ 関数の主漸近的類 $A_X$ に対して、$\hat{\Gamma}_X = C \cdot A_X$（$C \in \mathbb{C}$ で $C \neq 0$）を満たすことが示された。
• $X_7$ および $X_8$ の証明は、それらが重み付き射影空間内に超曲面として実現可能であり、軌道空間の量子レフシェッツ原理を適用して既知のケースへ還元可能であることに依拠している。
• 実行列から生じる量子コホモロジーラインの一般化されたペロン＝フロベニウス定理が適用され、スペクトル半径が単純固有値であることが保証された。
• 軌道空間 $\tscr{X}$ 内の超曲面 $Y$ の $J_Y(t)$ の漸近展開が、$\iota^* \mathrm{pr}^* \hat{\Gamma}_{\tscr{X}} / \Gamma(1 + dh)$ に比例することが示され、接続公式により $\hat{\Gamma}_Y$ と一致することが確認された。