[論文レビュー] Tautological Hilbert scheme invariants of Calabi-Yau 4-folds via virtual pullback

Yalong Cao, F. Qu|arXiv (Cornell University)|Dec 8, 2020

Algebraic Geometry and Number Theory参考文献 37被引用数 4

ひとこと要約

本稿は、仮説を証明する。Cao-Koolが提起した、Calabi-Yau 4-fold 上のヒルベルトス킴の自己的不変量に関するもので、仮想プルバック技術を用いて証明された。4-fold と滑らかな除集合の間の不変量の正確な対応関係を確立し、これらの不変量の母関数が、4-fold の1番目のチャーン類と3番目のチャーン類で重み付けられたマクマホン関数と一致することを確認した。

ABSTRACT

Let $X$ be a Calabi-Yau 4-fold and $D$ a smooth connected divisor on it. We consider tautological bundles of $L=\mathcal{O}_X(D)$ on Hilbert schemes of points on $X$ and their counting invariants defined by integrating the Euler classes against the virtual classes. We relate these invariants to Maulik-Nekrasov-Okounkov-Pandharipande's invariants of Hilbert schemes of points on $D$ by virtual pullback technique and confirm a conjecture of Cao-Kool. The same strategy is also applied to obtain a virtual pullback formula for tautological invariants of one dimensional stable sheaves. This in turn gives a nontrivial identity on primary and descendent invariants as studied in the works of Cao, Maulik and Toda.

研究の動機と目的

• Calabi-Yau 4-fold 上のヒルベルトス킴の自己的不変量とマクマホン関数の関係を示唆するCao-Koolの仮説を証明すること。
• 4-fold X の不変量と滑らかな除集合 D ⊂ X の不変量を結ぶ仮想プルバック公式を確立すること。
• 1次元の安定層への仮想プルバック技術の拡張を行い、一次不変量と誘導不変量の間の新しい恒等式を導出すること。
• X とその除集合 D の間の生成関数としてのゼロジェネレータ Gopakumar-Vafa 不変量の非自明な関係を確認すること。

提案手法

• X と D 上のヒルベルトス킴間の障害理論の整合的図式に仮想プルバック技術を適用する。
• ヒルベルトス킴の導来モジュライ空間構造とそのシフトされたシンプレクティック構造を用いて、仮想クラスを定義する。
• Borisov-Joyce による DT4 仮想クラスの構成と Oh-Thomas の Z[1/2] 上の代数的サイクルの上昇に依存する。
• グロテンディーク・リーマン・ロッホと決定線分束の同型を用いて、X 上の自己的バンドルと D 上のそれらを関連付ける。
• 正規化された普遍層とチャーン類の分解を用いて、不変量を誘導挿入の形に表現する。
• 1次元の安定層に対する仮想プルバック公式を導出し、それによって不変量の間の恒等式を得る。

実験結果

リサーチクエスチョン

• RQ1 Calabi-Yau 4-fold のヒルベルトス킴上での自己的不変量の母関数は、Cao-Kool が予想したようにマクマホン関数と一致するか？
• RQ2 仮想プルバック技術を用いて、Calabi-Yau 4-fold 上の不変量と滑らかな除集合上の不変量を結ぶことができるか？
• RQ3 1次元の安定層の一次不変量と誘導不変量の間の正確な関係は何か、Calabi-Yau 4-fold とその除集合の間で？
• RQ4 仮想プルバック枠組み下で、X と D のゼロジェネレータ Gopakumar-Vafa 不変量はどのように関係するか？
• RQ5 誘導不変量のための予想された公式は、仮想プルバック法を用いて検証可能か？

主な発見

• Cao-Kool の仮説が確認された：任意の Calabi-Yau 4-fold X と、滑らかな連結除集合 D に対して c₁(L) = c₁(𝒪_X(D)) を満たすラインバンドル L について、不変量 Iₙ(X,L) の母関数は M(−q)^∫_X c₁(L)·c₃(X) に等しい。ここで M(q) はマクマホン関数である。
• 仮想プルバック公式により、直接的な対応関係が確立された：与えられた条件下で、∫_{[Hilbⁿ(X)]^vir} e(L^{[n]}) = ∫_{[Hilbⁿ(D)]^vir} 1（符号の向きを除く）が成り立つ。
• この方法により、非自明な恒等式が得られた：½⟨τ₀(c₁²(L))⟩_β + ¹⁄₁₂⟨τ₀(c₂(X))⟩_β + ⟨τ₁(c₁(L))⟩_β + ⟨τ₂(1)⟩_β = n₀,β(D)。これは X と D 上の不変量を結ぶ。
• 結果は1次元の安定層へも拡張され、仮想プルバック公式がこのようなモジュライ空間に対しても成り立つことが示された。
• 本稿では、X と D のゼロジェネレータ Gopakumar-Vafa 不変量の間の予想された関係を確認した。D 上の不変量は、X 上のそれらの組み合わせとして現れる。
• 証明は、ℙ⁵ 内の滑らかなセクシティック4-fold のすべての有効除集合に対して有効であり、Bertini の定理によりこのような除集合が存在し、必要な条件を満たす。