Gopakumar-Vafa Invariants and Macdonald Formula

技術要約：Gopakumar–Vafa 不変量とマクドナルド公式

問題設定
本論文は、局所曲面（デリ・ペッツォ曲面の標準束の全空間）に焦点を当てた、カラビ–ヤウ三次元多様体におけるパンダリピナンデ–トーマス（PT）安定ペア不変量とゴパクマール–ヴァファ（GV）不変量の関係を扱っている。既約曲線類における数値的なPT/GV対応は確立されているが、コホモロジー的精緻化および（非簡約または既約なサイクルを含む）完全なチャウ多様体上の挙動は依然として複雑である。具体的には、本論文は以下の事項を調査している：

1. PT直積級数と、導来構成的チャウ指数関数（derived constructible Chow exponential）との関係に関する、コホモロジー的指数関数公式の妥当性。
2. この公式が、簡約な曲線の軌跡から完全なチャウ多様体へと拡張されるための条件（特に、PT消滅サイクル層における「非簡約な厳密支持」の不在に関して）。
3. PT消滅サイクル層、相対ヒルベルトスキームの交差複体、およびインシデンス空間のシフトされた定数層の間の、正確な幾何学的および層理論的な相違（特に、安定ペア空間が滑らかな相対ヒルベルトスキームではなくなる次数 $d=2, n=4$ などの場合）。

手法
著者は、パーバース層、消滅サイクル、および $d$-クリティカル軌跡の理論を利用した、導来構成的アプローチを採用している。主要な手法的構成要素は以下の通りである：

• 導来構成的チャウ指数関数（Derived Constructible Chow Exponential）: コホモロジー的シフト、コスカル符号、および置換局所系を組み込んだ、チャウモノイド上の完備導来対称代数 $\text{Exp}_{\text{Chow}}$ を定義する。
• 支持分解（Support Decomposition）: 相対ヒルベルトスキーム（Migliorini–Shende–Viviani）の支持分解定理、およびチャウ多様体へのその適応に依拠する。著者は、「フルサポート」項（マクドナルド項）と、結節点の部分正規化から生じる「既約」項を区別している。
• 非簡約支持条件（Nonreduced Support Condition, NR）: 技術的な中心条件である $(NR)_{\chi, \beta}$ を定式化する。これは、半単純化されたPT直積の単純な構成成分が、チャウ多様体の非簡約な軌跡に厳密に含まれる支持を持たないことを主張するものである。
• 局所–グローバル解析: 全体として $H$-平滑ではない完全平面族に対して、著者は、一般的な分割層におけるヴァーサルな局所計算を適用し、ノード平滑化の横断性を用いてこれらの結果を線形系へと引き上げる。
• クリティカル軌跡の幾何学: 次数 $(2,4)$ の特定のケースにおいて、本論文は安定ペア空間の詳細なスキーム論的解析を行い、それをゼロセクション・インシデンス成分と「フェランド・リボン（Ferrand ribbon）」成分の和として特定する。また、Todaの双対障害錐の記述とKinjoの次元減少を用いて、クリティカル構造を分析する。

主要な貢献および結果

1. コホモロジー的 PT/GV 指数関数予想:
   本論文は、正規化されたPT直積級数 $Z_{PT}(q, Q)$ が、マクドナルド複体 $A_\beta(q)$ のチャウ指数関数と同型であるという中心的な予想（予想 4.2）を定式化している：
   $$Z_{PT}(q, Q) \cong \text{Exp}_{\text{Chow}} \left( \sum_{\beta} A_\beta(q) Q^\beta \right)$$
   著者は、もしこの恒等式が簡約なチャウ軌跡上で成立するならば、すべての係数について非簡約支持条件 $(NR)_{\chi, \beta}$ が成立することと、それが完全なチャウ多様体へ拡張されることは同値であることを証明している。

2. 簡約軌跡への還元と最小拡張:
   本論文は、チャウ指数関数の係数が半単純であり、パーバース最小拡張を介して簡約チャウ軌跡から回収されることを確立している。したがって、大域的な恒等式は、PT直積における「非簡約な厳密支持」項の消失と等価である。これにより、数値的なKKV再帰に対する精密な層理論的な解釈が提供される。

3. 安定ペアと相対ヒルベルトスキームの比較:
   局所 $\mathbb{P}^2$ および $0 \le n \le d+1$ の場合、本論文は、安定ペアのモジュライ空間が滑らかな相対ヒルベルトスキームと同型であることを証明し、PT消滅サイクル層がこのヒルベルトスキームの交差複体と同型であることを証明する。これにより、条件 $(Hilb)_{d,n}$ および非簡約支持条件 $(NR)_{d,n}$ が確認される。

• 定理 1.2: $d \ge 3$ かつ $n=d-1$ における最初の既約な加算成分を、次数 $(d-1)$ の曲線と直線の和の閉包の交差複体として特定している。

4. デリ・ペッツォの計算:
   本論文は、局所 $\mathbb{P}^1 \times \mathbb{P}^1$（クラス $(2,3)$）のフルサポート・マクドナルド係数、および反標準的な次数におけるデリ・ペッツォ曲面 $S_r$ ($5 \le r \le 8$) の集約された係数を計算している。これらの計算により、これらの特定のケースにおけるKKV再帰が検証されている。

5. 次数 $(2,4)$ 解析と「インシデンス補正」:
   本論文は、安定ペア空間が滑らかな相対ヒルベルトスキームではなくなる最初のケース（$d=2, n=4$）について詳細な解析を行っている。

• 幾何学: 空間 $M$ は、インシデンス成分 $Y$（滑らかな相対ヒルベルトスキーム）とリボン成分 $R$（フェランド・リボン）のスキーム論的な和であることが示される。
• クリティカル構造: $M$ の交わりにおける完備な芽（completed germ）は、$\mathbb{A}^6 \times \text{Crit}(c(x_1x_2 + x_3x_4))$ として特定される。
• 層理論: 本論文は、$Y$ 上の定数層の直積、$M$ 上のPT消滅サイクル層、および非簡約軌跡（二重線）の交差複体を関連付ける「次数2の付着三角形（degree-two attachment triangle）」を構成する。
• 予想 8.15/8.18: 本論文は、PT直積が非簡約軌跡（二重線）上に厳密な支持を持つ構成成分を持たない一方で、ヒルベルト側の交差複体はレフシェッツ・ストリングを含むことを予想している。その差異は、特定の射 $\kappa_2$ によって除去される単一の原始的な構成成分（二重線軌跡の交差複体）であり、これがKKV補正項に対するパーバース層的な説明を提供している。

意義および主張
本論文は、数値的不変量を超えた、PT/GV対応のための厳密な層理論的枠組みを提供することを主張している。その意義は以下の点にある：

• 非簡約サイクルの役割の明確化: マクドナルド公式が簡約な曲線から完全なチャウ多様体へと素朴に拡張されるのを妨げる、正確な層理論的な障害（非簡約な厳密支持）を孤立させている。
• KKV再帰の精緻化: KKV補正項を、単なる組合せ論的な減算としてではなく、ヒルベルト側の直積から特定のパーバース構成成分（非簡約な軌跡の交差複体）を除去するものとして解釈している。
• スキーム論的な精密さ: 次数 $(2,4)$ のケースを分析することで、特異なインシデンス空間のオイラー標数がPT不変量を決定するには不十分であり、クリティカル軌跡の具体的な幾何学およびリボン成分の付着が不可欠であることを示している。
• 統一: 非簡約支持条件の妥当性を前提として、マクドナルド公式、KKV再帰、および $d$-クリティカル軌跡の消滅サイクル理論を、単一のコホモロジー的指数関数フレームワークへと統一している。

本論文は、すべての次数について完全な予想を証明すると主張しているのではなく、必要な条件を確立し、それらを「滑らかなインシデンス範囲」および特定の低次例において検証しつつ、より高次および一般的な非簡約な挙動に関する精密な予想を定式化している。