The Pandharipande-Thomas rationality conjecture for superpositive curve classes on projective complex 3-manifolds

この論文「The Pandharipande–Thomas rationality conjecture for superpositive curve classes on projective complex 3-manifolds（複素射影 3 多様体上の超正則曲線類に対する Pandharipande–Thomas 有理性予想）」は、代数幾何学、特に数え上げ幾何（enumerative geometry）の分野における重要な成果です。Reginald Anderson と Dominic Joyce によって書かれています。

以下に、この論文の技術的な要約を問題設定、手法、主要な貢献、結果、そして意義に分けて詳細に記述します。

1. 問題設定 (Problem)

• 対象: 複素数体 $\mathbb{C}$ 上の滑らかで連結な射影 3 次元多様体 $X$。
• 関心対象: Pandharipande–Thomas (PT) 不変量。これは、$X$ 上の安定対（stable pairs）$(F, s)$ のモジュライ空間 $P_n(X, \beta)$ 上で定義される数え上げ不変量です。ここで $\beta$ は曲線類、$n$ はオイラー標数です。
• 核心となる予想: Pandharipande と Thomas によって提唱された、PT 不変量の母関数の構造に関する予想（Conjecture 1.3）。
  • (a) 有理性: 母関数 $PT_\beta(\dots, q)$ は $q$ の有理関数のローラン展開である。
  • (b) 極: その極は $q=0$ と $q$ の単位根のみに現れる。
  • (c) 対称性: $q \to q^{-1}$ に対する特定の対称性（符号と次数の反転）を満たす。
  • (d)-(f): 等変（equivariant）な設定における上記の拡張。
• 既存の状況: Calabi-Yau 3 次元多様体やトーリック多様体など、特定のケースでは部分的に証明されていたが、一般の射影 3 多様体、特に「Fano 型」の条件を持つ曲線類に対する一般論は未解決だった。
• 本研究の焦点: 「超正則（superpositive）」な曲線類 $\beta$ に対して、予想 (a), (b), (d), (e) を証明すること。
  • 超正則の定義: $\beta$ が有効な曲線類であり、そのすべての因子（effective summands）が $c_1(X) \cdot \beta' > 0$ を満たすこと。Fano 多様体ではすべての有効曲線類が超正則となる。

2. 手法と理論的枠組み (Methodology)

この論文は、Dominic Joyce によって開発された「アーベル圏における数え上げ不変量と壁越え公式（wall-crossing formulae）」の理論を基盤としています。

• モジュライスタックとホモロジー構造:
  • $X$ 上の導来圏 $D^b\text{coh}(X)$ の対象のモジュライスタック $M$ と、その「射影線形版（projective linear）」$M^{pl}$ を考える。
  • Joyce [27] の結果に基づき、$M$ のホモロジー $H_*(M)$ に**次数付きボロツェル代数（graded vertex algebra）の構造が、$M^{pl}$ のホモロジー $H_*(M^{pl})$ に次数付きリー代数（graded Lie algebra）**の構造が定義されている。
• 壁越え公式 (Wall-Crossing Formula):
  • 安定条件（stability condition）を変化させたときに、不変量がどのように変化するかを記述する公式を用いる。
  • 具体的には、Pandharipande–Thomas 安定対のモジュライ空間 $P_n(X, \beta)$ の仮想基本類と、1 次元の Donaldson–Thomas (DT) 不変量（半安定な層のモジュライ）を結びつける公式（定理 2.16）を使用する。
  • この公式は、PT 不変量を、より単純な DT 不変量のリー括弧積（Lie bracket）の組み合わせとして表現する。
• 等変ホモロジーと切断 (Truncation):
  • 等変理論（equivariant theory）を扱う際、完全な等変ホモロジー群は無限次元の構造を持つため、技術的な困難が生じる。
  • 著者は、等変ホモロジーの「切断版（truncated version）」$H_{*, \leq N}^G$ を導入し、有限次元のフィルトレーションの中で議論を行うことで、有理性の証明を可能にしている。
• 多項式性 (Polynomiality) の証明:
  • 安定条件を線形束 $L$ によるテンソル積でシフトさせる操作（$F \mapsto L \otimes F$）を用いる。これにより、$n$ に対する不変量の周期性と多項式性が導かれる。
  • 具体的には、$n$ を変数とした関数が「区分的擬多項式（piecewise quasi-polynomial）」であることを示す（命題 3.6）。

3. 主要な貢献と結果 (Key Contributions and Results)

• 定理 1.4 (Main Theorem):
  • $X$ が射影 3 多様体で、$\beta$ が超正則な有効曲線類であるとき、Pandharipande–Thomas 予想 (a), (b), (d), (e) が成り立つ。
  • つまり、PT 不変量の母関数は $q$ の有理関数であり、その極は $q=0$ と単位根のみに存在する。
• 定理 1.8:
  • 上記の結果のより一般的なホモロジー版。$M_0$ 上の仮想基本類の母関数が有理関数であることを示す。
  • 等変設定においても、切断されたホモロジー群に対して同様の有理性が成立することを証明。
• 予想 (c), (f) に関する言及:
  • 本論文では予想 (c), (f)（$q \to q^{-1}$ 対称性）の証明は行っていない。これは、使用している Joyce の理論 [28] の技術的制限（フレイミング関手や特定の安定条件の選択に関する制限）によるものであると説明されている。
  • 一方で、Ivan Karpov と Miguel Moreira が独立して、同様の設定で (c) を含む完全な証明を K 理論のアプローチで行ったことにも触れられている。

4. 証明の概要 (Proof Outline)

1. 壁越えによる分解: 定理 2.16 の壁越え公式を用いて、PT 不変量 $\Pi_{pl*}([P_n(X, \beta)]^{virt})$ を、1 次元 DT 不変量 $[M^{ss}_{(\beta, n)}]^{inv}$ と「より低い」PT 不変量のリー括弧積の和として表現する。
2. DT 不変量の多項式性: 命題 3.1 において、超正則条件のもとで、DT 不変量が $n$ に対して（モジュ $d$ ごとに）多項式となることを示す。これは、テンソル積によるシフト操作がホモロジー上で作用する際の性質（$(id - J_L^*)^k = 0$）に基づく。
3. 帰納法と擬多項式性: 曲線類 $\beta$ を有効な部分和に分解する最大数 $K(\beta)$ に対して帰納法を行う。
   • 壁越え公式の右辺は、DT 不変量（多項式）と PT 不変量（帰納法の仮定より区分的擬多項式）の組み合わせとなる。
   • 係数 $\tilde{U}$ は区分的に定数であるため、全体の和も区分的擬多項式となる（命題 3.6）。
4. 有理性への帰着: $n$ に対する関数が区分的擬多項式である場合、その母関数 $\sum a_n q^n$ は有理関数となる（定理 1.8 の証明）。極は分母の因子 $(1-q^d)$ から生じる単位根となる。

5. 意義と重要性 (Significance)

• 一般化: これまでの結果（Calabi-Yau 3 次元多様体やトーリック多様体など）を、Fano 型条件（超正則曲線類）を満たす一般の射影 3 多様体に拡張した。
• 理論的統合: Joyce の「リー代数とボロツェル代数を用いた不変量の一般理論」が、Fano 多様体の PT 不変量のような、次元が正の（有理数ではなくホモロジー類となる）不変量に対しても強力に機能することを示した。
• 技術的進展: 等変ホモロジーの無限次元性を扱うための「切断（truncation）」手法や、壁越え公式をホモロジーレベルで厳密に扱う技術は、今後の数え上げ幾何の研究において重要なツールとなる。
• 今後の展望: 予想 (c), (f) の対称性については、Karpov–Moreira の K 理論的アプローチや、Joyce 理論のさらなる発展（フレイミング関手なしの定式化など）によって解決が期待される。

総じて、この論文は、代数幾何学における数え上げ不変量の深い構造（有理性、極の位置）を、高度なホモロジー代数と壁越え公式を用いて解明した画期的な成果です。