[論文レビュー] Cohomological $χ$-independence for moduli of one-dimensional sheaves and moduli of Higgs bundles

Davesh Maulik, Junliang Shen|arXiv (Cornell University)|Dec 11, 2020

Algebraic Geometry and Number Theory参考文献 47被引用数 6

ひとこと要約

本稿は、トーリック del Pezzo 表面上の1次元層のモジュライ空間および genus g ≥ 2 の曲線上の半安定 Higgs バンドルで deg(D) > 2g−2 を満たすものについて、コhomological χ-独立性を確立する。一般化された補題定理、Hilbert–Chow 溶接写像の次元推定、およびスタックから商への写像の分裂定理を用いて、交差コhomology（歪みおよびホッジフィルトレーションを含む）がオイラー標跡 χ に依存しないことを証明し、Bousseau と Toda の特定の局所 Calabi–Yau 幾何における予想を確認する。

ABSTRACT

We prove that the intersection cohomology (together with the perverse and the Hodge filtrations) for the moduli space of one-dimensional semistable sheaves supported in an ample curve class on a toric del Pezzo surface is independent of the Euler characteristic of the sheaves. We also prove an analogous result for the moduli space of semistable Higgs bundles with respect to an effective divisor $D$ of degree $\mathrm{deg}(D)>2g-2$. Our results confirm the cohomological $χ$-independence conjecture by Bousseau for $\mathbb{P}^2$, and verify Toda's conjecture for Gopakumar-Vafa invariants for certain local curves and local surfaces. For the proof, we combine a generalized version of Ngô's support theorem, a dimension estimate for the stacky Hilbert-Chow morphism, and a splitting theorem for the morphism from the moduli stack to the good GIT quotient.

研究の動機と目的

• トーリック del Pezzo 表面における、豊富な曲線類 β に関する1次元半安定層のモジュライ空間について、コhomological χ-独立性を確立すること。
• 曲線 C 上の半安定 Higgs バンドルのモジュライ空間について、同様の χ-独立性を証明すること。ただし deg(D) > 2g−2 を満たす。
• Bousseau の P² に関するコhomological χ-独立性予想および Toda の特定の局所曲線および局所トーリック del Pezzo 表面における Gopakumar–Varga 不変量に関する予想を確認すること。
• 交差コhomology（歪みおよびホッジフィルトレーションを含む）が、モジュライ空間が特異的であっても χ の変化に対して不変であることを示すこと。
• GIT 商とモジュライスタックの文脈において、 Ngô の補題定理の適用範囲を自己双対複体へ拡張すること。

提案手法

• モジュライスタック上の自己双対複体に対して、Ngô の補題定理を一般化すること。
• Hitchin フibration の基底における特異的集合の余次元を制御するため、スタック的 Hilbert–Chow 溶接写像の次元推定を確立すること。
• モジュライスタックから良い GIT 商への写像の分裂定理を適用し、Hitchin 基底およびスペクトル曲線の構造を分析すること。
• スペクトル曲線に関連する相対的次数 0 ピカール多様体を用いて δZ を定義し、Hitchin 基底内の層の余次元を制御すること。
• 補題定理からの不等式と次元推定を組み合わせ、直接像複体 Rh∗IC が基底 B 上で完全な補題を持つことを示すこと。
• 不等式 Φβ + codim Z ≥ ∑Φβi + δZ の唯一の解が s = 1, m_i = 1 であり、これにより Z = B となることから、補題が完全で、χ-独立性が証明されること。

実験結果

リサーチクエスチョン

• RQ1 トーリック del Pezzo 表面上の1次元半安定層のモジュライ空間の交差コhomology は、層のオイラー標跡 χ に依存するか？
• RQ2 曲線 C 上の半安定 Higgs バンドルのモジュライ空間の交差コhomology は、deg(D) > 2g−2 を満たす場合、χ に依存しないか？
• RQ3 P² における Bousseau の BPS 数に関する予想は、交差コhomology およびホッジ理論的技法を用いて証明可能か？
• RQ4 Toda の局所曲線および局所トーリック del Pezzo 表面における Gopakumar–Vafa 不変量に関する予想は、交差コhomology の χ-独立性から導かれるか？
• RQ5 モジュライスタックの文脈において、自己双対複体の補題定理を歪みフィルトレーションおよびホッジ構造へ拡張可能か？

主な発見

• トーリック del Pezzo 表面上の1次元半安定層のモジュライ空間の交差コhomology は、特異的であっても滑らかであっても、すべての χ に対して、歪みおよびホッジフィルトレーションを備えたフィルトレートされたベクトル空間として同型である。
• 曲線の genus g ≥ 2 で deg(D) > 2g−2 を満たす有効的除部分 D を持つ半安定 Higgs バンドルのモジュライ空間に対しても、同様の χ-独立性が成り立つ。
• 異なる χ に対して交差コhomology 群の間の同型写像はスカラー倍を除き一意的であり、歪みおよびホッジフィルトレーションを保存する。
• 証明により、Hitchin 基底上の直接像複体 Rh∗IC が完全な補題を持つことが示され、これにより唯一の可能な層が基底全体となる。これは χ-独立性を示唆する。
• 本結果により、Bousseau の対数 K3 表面 (P², E) における BPS 数に関する予想が確認され、Toda の局所曲線および局所トーリック del Pezzo 表面における Gopakumar–Vafa 不変量に関する予想が検証される。
• 著者らは、不等式 Φβ + codim Z ≥ ∑Φβi + δZ が s = 1 および m_i = 1 を意味し、Z = B となることを確立した。これにより補題が全体に及ぶことが保証され、重要なコhomological 独立性が証明される。