論文「ポテンシャル付き対称クイバーの準 BPS 圏の位相的 K 理論」の技術的概要

本論文は、Tudor Pădurariu と Yukinobu Toda によって執筆されたもので、代数幾何学、表現論、および数え上げ幾何学の交差点にある重要な結果を提示しています。主たる目的は、ポテンシャル付き対称クイバー（symmetric quivers with potential）に関連する「準 BPS 圏（quasi-BPS categories）」の位相的 K 理論を研究し、それが**BPS コホモロジー（BPS cohomologies）**とどのように対応するかを、位相的 K 理論のサイクル写像（cycle map）を通じて精密に記述することです。

以下に、問題設定、手法、主要な貢献、結果、および意義について詳細にまとめます。

---

1. 問題設定と背景

• BPS 不変量と BPS コホモロジー:
  Calabi-Yau 3 次元多様体上の半安定なコヒーレント層を数える Donaldson-Thomas (DT) 不変量は、壁越え公式（wall-crossing formulas）において重要な役割を果たします。Joyce-Song や Kontsevich-Soibelman によって導入された BPS 不変量 $\Omega$ は、より基本的な整数値不変量であり、これらは「BPS コホモロジー」と呼ばれる perverse sheaf（BPS 層）のオイラー標数として理解されることが期待されています。しかし、一般的な Calabi-Yau 3 次元多様体に対して自然な BPS コホモロジー空間を定義することは未解決の課題でした。
• 準 BPS 圏:
  著者らは以前、対称クイバー、プレプロジェクティブ代数、局所曲面に対して「準 BPS 圏」$S(d; \delta)$ を導入しました。これは、行列因子化（matrix factorizations）の特定の部分圏であり、BPS 不変量やコホモロジーの「圏論的（categorical）」な昇華（categorification）として機能します。
• 核心的な問い:
  準 BPS 圏の位相的 K 理論 $K^{\text{top}}(S(d; \delta))$ は、BPS 不変量や BPS コホモロジーとどのように関係しているのか？特に、K 理論の次元が BPS コホモロジーの次元と一致するか、あるいはより深い構造（フィルトレーション）を通じて対応しているのかを明らかにすることが目標です。

2. 手法と主要な構成要素

本論文は、以下の 3 つの主要な技術的支柱を組み合わせて証明を進めています。

A. 位相的 K 理論とサイクル写像の構築

• Blanc の位相的 K 理論: dg-圏に対して定義された位相的 K 理論スペクトル $K^{\text{top}}$ を用います。
• サイクル写像（Cycle Map）: 準 BPS 圏 $S(d; \delta)$ の位相的 K 理論から、モノドロミー不変な消滅サイクル（monodromy invariant vanishing cycles）のコホモロジーへの写像を構成します。
  $$c: \text{gr}^\ell K^{\text{top}}_i(S(d; \delta)) \to H^{\dim X(d) - 2\ell - i + 1}(X(d), \text{BPS}^{\text{inv}}_{d, \delta})$$
  ここで、$\text{gr}^\ell$ は K 理論上のフィルトレーションの随伴 graded 部分です。
• 行列因子化の K 理論: 行列因子化の圏 $MF(X, f)$ の K 理論が、消滅サイクルのコホモロジーと同型であることを示すための一般化された Chern character 写像と Grothendieck-Riemann-Roch (GRR) 定理を証明します。

B. 相対的位相的 K 理論（Relative Topological K-theory）

• Moulinos の理論: 複素多様体 $M$ 上の dg-圏 $D$ に対して、$M$ 上のスペクトル層 $K^{\text{top}}_M(D)$ を定義する Moulinos の理論を活用します。
• BPS 層の直和因子としての埋め込み: 準 BPS 圏の相対的 K 理論 $K^{\text{top}}_{X(d)}(S(d; \delta))$ が、BPS 層 $\text{BPS}^{\text{inv}}_{d, \delta}$ を直和因子として含むことを示します。これにより、K 理論の次元が BPS コホモロジーの次元以上であることが保証されます。

C. 分解定理とコプロダクト様写像

• BBDG 分解定理: 準 BPS 圏の構造は、クイバーの次元ベクトルの分割（partition）と密接に関連しています。著者らは、K 理論とコホモロジーの両方に「コプロダクト様写像（coproduct-like maps）」を構成し、これらの写像が BPS 層の分解（BBDG 分解）と整合することを示します。
• 次元の比較: 上記の写像の像が特定の BPS 層の成分に制限されることを示し、K 理論の次元と BPS コホモロジーの次元が一致することを証明します。

3. 主要な結果

定理 1.1 (Corollary 8.17): 次元の一致

対称クイバー $(Q, W)$ と次元ベクトル $d$ に対して、適切なウェイト $\delta$ を選べば、準 BPS 圏 $S(d; \delta)$ の位相的 K 理論の次元は、モノドロミー不変な BPS コホモロジーの次元と一致します。
$$\dim_{\mathbb{Q}} K^{\text{top}}_i(S(d; \delta))_{\mathbb{Q}} = \sum_{j \in \mathbb{Z}} \dim_{\mathbb{Q}} H^j(X(d), \text{BPS}_d)^{\text{inv}}$$

定理 1.2 (Theorem 8.14): 位相的 K 理論と BPS コホモロジーの同型

より強く、フィルトレーションの随伴 graded 部分と BPS コホモロジーの特定の次数が同型になります。
$$c: \text{gr}^\ell K^{\text{top}}_i(S(d; \delta))_{\mathbb{Q}} \xrightarrow{\sim} H^{\dim X(d) - 2\ell - i + 1}(X(d), \text{BPS}^{\text{inv}}_{d, \delta}[1])$$
これは、準 BPS 圏の位相的 K 理論が、BPS 不変量の圏論的実装として機能することを意味します。

定理 1.4 (Theorem 8.18): 交差コホモロジーへの応用

ポテンシャルがゼロの場合（$W=0$）、準 BPS 圏 $M(d; \delta)$ の K 理論は、クイバー表現のモジュライ空間 $X(d)$ の**交差コホモロジー（Intersection Cohomology）**を回復します。
$$\text{gr}^\ell K^{\text{top}}_0(M(d; \delta))_{\mathbb{Q}} \cong IH^{\dim X(d) - 2\ell - 1}(X(d))$$
これは、特異多様体の交差コホモロジーに対する自然な圏論的昇華（categorification）を提供するものです。

定理 1.6 (Corollary 10.3, Theorem 10.6): プレプロジェクティブ代数への拡張

プレプロジェクティブ代数に対する準 BPS 圏 $T(d; \delta)$ についても同様の結果が得られ、次元減少（dimensional reduction）と Koszul 同値性を通じて、プレプロジェクティブ代数の BPS コホモロジーと対応することが示されました。

重さ独立性（Weight-independence）

Corollary 1.8 は、$\gcd(v, d)$ が等しければ、異なる重さパラメータ $v$ に対応する準 BPS 圏の K 理論の次元が等しくなることを示しています。これは、数え上げ幾何学における $\chi$-独立性の現象と類似しています。

4. 意義と将来への展望

• BPS 不変量の圏論的昇華の完成:
  本論文は、局所的なモデル（クイバーとポテンシャル）において、BPS 不変量/コホモロジーを回復する自然な dg-圏（準 BPS 圏）の位相的 K 理論が、実際に BPS コホモロジーと一致することを証明しました。これは、Calabi-Yau 3 次元多様体全体の BPS 圏の構成に向けた重要な第一歩です。
• 特異空間の幾何学への応用:
  特異なモジュライ空間（例：クイバー表現のモジュライ）の交差コホモロジーを、滑らかな空間の K 理論や特異点圏の K 理論を通じて記述する新しい手法を提供しました。これは非可換クレパント解消（non-commutative crepant resolutions）の理論とも深く関連しています。
• K3 曲面への応用:
  著者らは、本論文の結果を用いて、K3 曲面の局所モデルにおける準 BPS 圏が、K3 曲面上の点の Hilbert スキームのオイラー標数（BPS 不変量）を回復することを別の論文で示しています。
• 手法の一般化:
  位相的 K 理論、消滅サイクル、モノドロミー、および相対的 K 理論を統合した手法は、他の数え上げ幾何学の問題（例：Gopakumar-Vafa 不変量、GV 不変量）の圏論的解釈に応用可能な強力な枠組みを提供します。

まとめ

本論文は、代数幾何学における数え上げ不変量（BPS 不変量）と圏論的対象（準 BPS 圏）の間の橋渡しを、位相的 K 理論とサイクル写像を通じて精密に確立した画期的な成果です。特に、K 理論のフィルトレーションが BPS コホモロジーの構造を反映し、特異空間の交差コホモロジーを圏論的に記述する能力を明らかにした点は、非可換幾何学および表現論の分野において極めて重要な貢献です。