[論文レビュー] Wall-crossing for zero-dimensional sheaves and Hilbert schemes of points on Calabi-Yau 4-folds

Arkadij Bojko|arXiv (Cornell University)|Feb 1, 2021

Algebraic Geometry and Number Theory参考文献 94被引用数 9

ひとこと要約

この論文は、グロス–ジョイス–タナカの壁越え予想を用いて、射影的カラビ–ヤウ4多様体上の0次元DT4不変量に関する曇–クール予想を証明し、点のヒルベルトスキームの仮想基本類を計算し、普遍的生成関数を介してセグレ–ベルリンデ対応を確立する。また、ネクラソフの公式をコンパクトなカラビ–ヤウ4多様体へ拡張し、壁越え機構を介して4多様体上の不変量と楕円曲面上のQuotスキームを関連付ける。

ABSTRACT

Gross-Joyce-Tanaka arXiv:2005.05637 proposed a wall-crossing conjecture for Calabi-Yau fourfolds. Assuming it, we prove the conjecture of Cao-Kool arXiv:1712.07347 for 0-dimensional sheaf-counting invariants on projective Calabi-Yau 4-folds. From it, we extract the full topological information contained in the virtual fundamental classes of Hilbert schemes of points which turns out to be equivalent to the data of all descendent integrals. As a consequence, we can express many generating series of invariants in terms of explicit universal power series. i) On $\mathbb{C}^4$, Nekrasov proposed invariants with a conjectured closed form arXiv:1712.08128. We show that an analog of his formula holds for compact Calabi-Yau 4-folds satisfying the wall-crossing conjecture. ii) We notice a relationship to corresponding generating series for Quot schemes on elliptic surfaces which are also governed by a wall-crossing formula. This leads to a Segre-Verlinde correspondence for Calabi-Yau fourfolds.

研究の動機と目的

• 複素数4次元空間 $$\mathbb{C}^{4}$$ における曇–クール予想およびネクラソフの公式を、カラビ–ヤウ4多様体の壁越え予想に還元すること。
• 壁越えを用いて、射影的カラビ–ヤウ4多様体上の点のヒルベルトスキームの仮想基本類を計算すること。
• カラビ–ヤウ4多様体上のDT4不変量と楕円曲面上のQuotスキームとの間のセグレ–ベルリンデ対応を確立すること。
• セグレおよびK理論的挿入を含む新しい不変量を研究し、それらの普遍的生成関数を同定すること。

提案手法

• カラビ–ヤウ4多様体の壁越え予想を基礎的仮定として用い、仮想基本類を導出する。
• ホモロジーおよびトポロジカル対における頂点代数構造を用いて、層のモジュライ空間をモデル化する。
• $$c_n(L^{[n]})$$ や乗法的類などのタウトロジカル挿入を用いて、仮想的数を計算する。
• 壁越えおよびコホモロジー的挿入を介して、不変量の生成関数の普遍的べき級数を導出する。
• オーハ–トーマスおよびボリソフ–ジョイスの仮想基本類に方向性データを組み合わせて、モジュライ空間の定式化に依存する。
• Quotスキームの障害理論およびトポロジカルボロン形式を用いて、4多様体上の不変量と楕円曲面上の不変量を関連付ける。

実験結果

リサーチクエスチョン

• RQ1 0次元DT4不変量に関する曇–クール予想は、カラビ–ヤウ4多様体の壁越え予想に還元可能か？
• RQ2 壁越えを用いて、コンパクトなカラビ–ヤウ4多様体上の点のヒルベルトスキームの仮想基本類をどのように計算できるか？
• RQ3 カラビ–ヤウ4多様体上のDT4不変量の生成関数と、楕円曲面上のQuotスキーム上の生成関数との関係は何か？
• RQ4 壁越え機構を介して、DT4不変量に対してセグレ–ベルリンデ対応が成立するか？
• RQ5 壁越えの下で、$$\mathbb{C}^{4}$$ におけるネクラソフの閉形式公式は、コンパクトなカラビ–ヤウ4多様体へ拡張可能か？

主な発見

• 壁越え予想の下で、射影的カラビ–ヤウ4多様体上の0次元DT4不変量に関する曇–クール予想が証明された。
• ヒルベルトスキームの仮想基本類は、$$\mathcal{C}_X = \text{Map}_{C^0}(X, BU \times \mathbb{Z})$$ のホモロジーにおいて明示的に記述された。
• DT4不変量の普遍的生成関数が導出され、それを$$q$$のべき級数として、コホモロジー類を係数にもつ形で表現した。
• 壁越えを介して、カラビ–ヤウ4多様体上のDT4不変量と楕円曲面上のQuotスキームとの間で、セグレ–ベルリンデ対応が確立された。
• 楕円曲面$$S$$に対して、生成関数$$\sum_{n>0} \frac{\mathscr{Q}_{N,n}}{e^{(np,1)}} q^n$$は、$$U_v(z)$$および$$y_k$$-生成関数を含む指数型式で与えられる。
• 楕円曲面上のQuotスキームの生成関数が、$$f_i(H_j(q))$$および$$c_1(\alpha_j) \cdot c_1(S)$$を含む普遍的公式を満たすことが示され、既知の結果が一般化された。