Generalized K-theoretic invariants and wall-crossing via non-abelian localization

この論文「GENERALIZED K-THEORETIC INVARIANTS AND WALL-CROSSING VIA NON-ABELIAN LOCALIZATION（非アーベル局所化による一般化された K 理論不変量と壁越え）」は、代数幾何学における数え上げ幾何学（Enumerative Geometry）の重要な進展を報告するものです。著者らは、安定性条件（stability condition）の変更に伴うモジュライ空間の不変量の変化（壁越え公式）を、従来の枠組みを超えてより一般的に証明する新しいアプローチを提案しています。

以下に、論文の技術的な要約を問題設定、手法、主要な貢献、結果、そして意義の観点から詳述します。

1. 問題設定と背景

• 背景: 代数多様体上の層や、アーベル圏（例えば、クォイバーの表現、あるいは $D^b(X)$ の標準的でないハート）のオブジェクトのモジュライ空間から得られる不変量（モチビック、コホモロジー、K 理論）の研究は、数え上げ幾何学の中心課題です。
• 課題: これらの不変量は、安定性条件 $\mu$ の選択に依存します。安定性条件が「壁（wall）」を越えて変化する際、モジュライ空間の構造が変わり、不変量も変化します。これを記述する「壁越え公式（wall-crossing formula）」の確立が長年の目標でした。
• 既存の限界:
  • モチビック設定: ジョイス（Joyce）やコンツェビッチ・ソイベルマン（Kontsevich-Soibelman）によって確立されており、半安定なオブジェクトのスタックから直接不変量を定義できます。
  • コホモロジー/K 理論設定: 半安定なオブジェクトが存在する場合、スタック上で直接交点数を取ることはできません。そのため、ジョイスとリュー（Liu）は「フレーミング関手（framing functor）」と呼ばれる追加データを用いて、厳密に安定なオブジェクトのみからなる「ジョイス・ソン対（Joyce-Song pairs）」のモジュライ空間を構成し、そこで不変量を定義しました。
  • 問題点: フレーミング関手が存在しない場合（例えば、Bridgeland 安定性条件や、Fano 3 次元多様体上の tilt 安定性など）、従来の K 理論やコホモロジーの壁越え公式は未解決、あるいは予想の域を出ていませんでした。

2. 手法とアプローチ

著者らは、フレーミング関手を必要としない、モチビック設定に似た新しいアプローチを開発しました。

• K-Hall 代数（K-Hall algebra）の導入:

  • アーベル圏 $\mathcal{A}$ のオブジェクトのスタック $\mathcal{M}$ の K ホモロジー（K-homology）上に、新しい結合代数構造を定義しました。これをK-Hall 代数と呼びます。
  • この積構造は、半直積（direct sum）と、非アーベル局所化定理（Halpern-Leistner の定理）で現れる「正規束の逆オイラー類」に相当する複体 $\Gamma_-$ を用いた押し出し（pushforward）によって定義されます。
  • これにより、K 理論の文脈でもモチビック Hall 代数と同様の代数的操作が可能になります。

• $\delta$ 不変量と $\varepsilon$ 不変量の定義:

  • $\delta$ 不変量: 半安定なオブジェクトのスタック $\mathcal{M}^\mu_\alpha$ から直接定義される K 理論不変量です。
  • $\varepsilon$ 不変量: $\delta$ 不変量から、K-Hall 代数における形式的な対数（logarithm）を取ることで定義されます。
    $$\varepsilon^\mu_\alpha = \sum_{k \ge 1} \frac{(-1)^{k-1}}{k} \sum_{\alpha_1 + \dots + \alpha_k = \alpha} \delta^\mu_{\alpha_1} * \dots * \delta^\mu_{\alpha_k}$$
  • この対数操作は、半安定なオブジェクトが存在する場合の「極（pole）」を除去し、安定な場合の不変量と整合性を取るために不可欠です。

• 非アーベル局所化定理の適用:

  • Halpern-Leistner の「仮想非アーベル局所化定理（virtual non-abelian localization theorem）」を、安定性条件の壁越えの文脈に適用します。
  • この定理は、スタック上のオイラー特性を、Harder-Narasimhan 層化（$\Theta$-stratification）の中心（center）における局所的なデータに分解して表現します。
  • この分解を用いることで、異なる安定性条件 $\mu$ と $\mu'$ に対する $\delta$ 不変量の関係を導き出し、K-Hall 代数の積構造を通じて壁越え公式を導出します。

3. 主要な貢献と結果

• 一般化された K 理論不変量の定義:

  • フレーミング関手の存在を仮定せず、任意の適切な安定性条件（Bridgeland 安定性などを含む）に対して、一般化された K 理論不変量（$\varepsilon$ 不変量）を定義することに成功しました。
  • これにより、Fano 3 次元多様体上の tilt 安定性など、従来は壁越え公式が証明されていなかったケースに適用可能になりました（Corollary 1.2）。

• 壁越え公式の証明:

  • $\delta$ 不変量と $\varepsilon$ 不変量の両方に対して、K-Hall 代数の積と交換子（commutator）を用いた壁越え公式を証明しました（Theorem B）。
  • 特に、$\varepsilon$ 不変量間の関係は、K-Hall 代数の交換子のみを用いて記述できることが示されました。これは、コホモロジー設定におけるジョイスの公式と完全に一致する構造です。

• 既存の理論との整合性の証明:

  • フレーミング関手が存在する場合、著者らが定義した $\varepsilon$ 不変量は、リュー（Liu）が定義した K 理論不変量と一致することを証明しました（Theorem C, D）。
  • さらに、リューの定義における「vertex algebra」から導かれるリー代数と、著者らの K-Hall 代数の交換子から導かれるリー代数が、自然な写像によって同型（あるいは準同型）になることを示しました。

• コホモロジーへの対応:

  • K 理論の不変量と、ジョイスが定義したコホモロジー不変量の関係を明らかにしました（Theorem E）。
  • 「ホモロジーリフト（homological lift）」の概念を導入し、$\varepsilon$ 不変量がコホモロジー不変量の K 理論版であることを示唆しました。これにより、K 理論の壁越え公式から、コホモロジーの壁越え公式（特にタウトロジー類の積分に対して）が形式的に導かれることが示されました。

4. 意義と将来性

• 概念の単純化と一般化:

  • 従来の「フレーミング関手」や「ジョイス・ソン対」という追加の構成を不要にすることで、理論をより本質的なスタックの構造に還元しました。これにより、証明が短くなり、概念的にクリアになりました。
  • 非アーベル局所化定理という強力な道具を K 理論の壁越え問題に適用することで、より広範な文脈（標準的でないハートを持つ三角圏など）での不変量の研究を可能にしました。

• 応用の可能性:

  • この結果は、Fano 3 次元多様体上の PT 有理性予想（PT rationality conjecture）の証明や、Feyzbakhsh-Thomas プログラムの K 理論版への応用など、今後の数え上げ幾何学の重要な未解決問題の解決に道を開きます。
  • また、Calabi-Yau 4 次元多様体や、$(-2)$-シフトされたシンプレクティック・スタックへの拡張も視野に入れています。

• 理論的統一:

  • モチビック、コホモロジー、K 理論の 3 つの異なる設定における壁越え公式が、本質的には同じ代数的構造（Hall 代数とその変形）に基づいていることを示し、数え上げ幾何学の理論的統一をさらに推し進めました。

総じて、この論文は、K 理論における一般化された不変量の定義と壁越え公式の確立という長年の課題に対し、非アーベル局所化を用いた革新的かつ強力な解決策を提供した画期的な研究です。