Topological K-theory of quasi-BPS categories of symmetric quivers with potential

这是一篇由 Tudor Pădurariu 和 Yukinobu Toda 撰写的数学论文，题为《对称带势拟的准 BPS 范畴的拓扑 K 理论》（Topological K-Theory of Quasi-BPS Categories of Symmetric Quivers with Potential）。该论文主要研究代数几何、表示论和数学物理交叉领域的Donaldson-Thomas (DT) 理论、BPS 不变量以及范畴化（Categorification）。

以下是对该论文的详细技术总结：

1. 研究背景与问题 (Problem)

• BPS 不变量与 BPS 上同调： 在 Calabi-Yau (CY) 3-流形的枚举几何中，BPS 不变量（$\Omega$）是基本的整数不变量，用于计数半稳定相干层。Davison 和 Meinhardt 等人证明了对于带势的对称拟（symmetric quivers with potential），BPS 不变量可以解释为某种**BPS 上同调（BPS cohomology）**的欧拉示性数。BPS 上同调是定义在模空间上的 perverse sheaf（BPS 层）的上同调。
• 范畴化 DT 理论： 现有的研究试图构建一个准 BPS 范畴（Quasi-BPS categories），记为 $S(d; \delta)$ 或 $T(d; \delta)$，作为 BPS 不变量的范畴化对象。这些范畴是矩阵分解（Matrix Factorizations）或导出范畴的子范畴。
• 核心问题： 虽然已知准 BPS 范畴的周期性循环同调（Periodic Cyclic Homology）或拓扑 K 理论（Topological K-theory）与 BPS 不变量有关，但拓扑 K 理论与 BPS 上同调之间的精确联系尚未完全建立。具体来说，如何证明准 BPS 范畴的拓扑 K 理论在维数上精确地恢复了 BPS 上同调的维数？此外，对于预射影代数（Preprojective algebras）和局部 K3 曲面，这种关系如何体现？

2. 方法论 (Methodology)

作者采用了一套结合导出代数几何、拓扑 K 理论、奇点范畴和上同调理论的综合方法：

1. 拓扑 K 理论与循环映射（Cycle Map）：

   • 利用 Blanc 定义的 dg-范畴的拓扑 K 理论 $K_{top}$。
   • 构建从准 BPS 范畴的拓扑 K 理论到单值化不变量（Monodromy invariant）的 BPS 上同调的循环映射（Cycle map）。
   • 利用 Blanc-Robalo-Toën-Vezzosi 等人的工作，将矩阵分解范畴的 K 理论与**消失环（Vanishing cycles）**的上同调联系起来。

2. 相对拓扑 K 理论（Relative Topological K-theory）：

   • 引入 Moulinos 发展的相对拓扑 K 理论 $K_{top}^M(\mathcal{D})$。
   • 证明准 BPS 范畴的相对 K 理论层包含 BPS 层作为直和项。这是证明 K 理论维数大于等于 BPS 上同调维数的关键步骤。

3. 半正交分解（Semiorthogonal Decompositions）：

   • 利用 Špenko-Van den Bergh 关于 GIT 商非交换创面（NCCR）的工作，以及作者之前关于 Hall 代数的半正交分解结果。
   • 将大范畴分解为更小的准 BPS 范畴的乘积，从而将问题简化为对特定分划（Partitions）的研究。

4. 维数约化（Dimensional Reduction）与 Koszul 等价：

   • 利用 Koszul 等价将预射影代数上的范畴与带势拟的矩阵分解范畴联系起来。
   • 证明在 K 理论层面，Koszul 等价与上同调中的维数约化定理（Dimensional Reduction Theorem）是相容的。

5. 分解定理（Decomposition Theorem）：

   • 利用 BBDG 分解定理（Beilinson-Bernstein-Deligne-Gabber）分析模空间上常值层或 IC 层的推前，将其分解为 BPS 层的直和。
   • 通过构造类似“余积”（Coproduct-like）的映射，限制循环映射的像，证明其精确落在 BPS 上同调的特定直和项中。

3. 主要贡献与结果 (Key Contributions & Results)

A. 主要定理：拓扑 K 理论与 BPS 上同调的同构

论文的核心结果是建立了准 BPS 范畴的拓扑 K 理论与单值化不变 BPS 上同调之间的同构关系。

• 定理 1.1 / 定理 8.14： 对于对称带势拟 $(Q, W)$ 和维数向量 $d$，存在一个 Weyl 不变的实权 $\delta$，使得准 BPS 范畴 $S(d; \delta)$ 的拓扑 K 理论（有理系数）的维数等于 BPS 上同调的维数：
  $$\dim_{\mathbb{Q}} K_{top}^i(S(d; \delta))_{\mathbb{Q}} = \sum_{j \in \mathbb{Z}} \dim_{\mathbb{Q}} H^j(X(d), \text{BPS}_{d, \delta})^{\text{inv}}$$
  更精确地，存在一个循环映射（Cycle map）：
  $$c: \text{gr}^\ell K_{top}^i(S(d; \delta))_{\mathbb{Q}} \xrightarrow{\sim} H^{\dim X(d) - 2\ell - i}(X(d), \text{BPS}_{d, \delta}^{\text{inv}}[1])$$
  这是一个同构。

B. 矩阵分解与消失环的 K 理论

• 定理 6.11 (Grothendieck-Riemann-Roch for Matrix Factorizations)： 证明了矩阵分解范畴的拓扑 K 理论与其对应的单值化不变消失环上同调之间的 GRR 定理。
• 结果： 建立了 $K_{top}(\text{MF}(X, f))$ 与 $H^*(X, \phi_f^{\text{inv}})$ 之间的精确对应，这是处理准 BPS 范畴的基础。

C. 预射影代数与局部 K3 曲面

• 定理 1.6 / 定理 10.6： 将上述结果应用于预射影代数。证明了预射影准 BPS 范畴 $T(d; \delta)$ 的拓扑 K 理论与预射影 BPS 上同调同构。
  $$\text{gr}^\ell K_{top}^0(T(d; \delta))_{\mathbb{Q}} \cong H^{-2\ell}(P(d), \text{BPS}^p_{d, \delta})$$
• 应用： 这一结果为计算局部 K3 曲面（Local K3 surfaces）的准 BPS 范畴的拓扑 K 理论提供了基础，进而恢复了 K3 曲面上 Hilbert 方案的欧拉示性数（即 BPS 不变量）。

D. 权重无关性（Weight-independence）

• 推论 1.8： 证明了在特定条件下（$\gcd(v, d) = \gcd(v', d)$），不同权重参数 $v$ 和 $v'$ 对应的准 BPS 范畴的拓扑 K 理论维数是相等的。这反映了枚举几何中的 $\chi$-无关性现象（$\chi$-independence）。

E. 具体计算与例子

• Toric 例子： 计算了特定拟（如 $2g+1$ 个环的拟）的 K 理论，恢复了 Reineke 关于交叠上同调维数的组合公式。
• 三点拟（Three loop quiver）： 对于 $C^3$ 的 BPS 不变量，证明了准 BPS 范畴的 K 理论维数等于 $n$ 的分划数 $p_2(n)$。

4. 意义与影响 (Significance)

1. 连接代数几何与拓扑： 该论文在代数几何的枚举不变量（BPS 不变量）与非交换代数几何的拓扑不变量（dg-范畴的拓扑 K 理论）之间建立了精确的桥梁。它表明准 BPS 范畴不仅仅是形式上的构造，而是确实“包含”了 BPS 上同调的拓扑信息。
2. 验证范畴化猜想： 结果强有力地支持了“准 BPS 范畴是 BPS 上同调的范畴化”这一猜想。特别是证明了 K 理论的维数精确匹配 BPS 上同调的维数，这是范畴化理论中最关键的数值检验。
3. 工具创新： 论文发展了一套处理带势拟模空间上 K 理论的系统方法，特别是结合了相对拓扑 K 理论、循环映射和分解定理。这些工具可以推广到其他模空间问题中。
4. 为后续研究奠基： 正如摘要和引言所述，这些结果是后续研究（如 [PT23b]）的基础，用于构建 K3 曲面上 BPS 不变量的完整范畴化，并可能应用于非交换创面（Non-commutative crepant resolutions）和量子群表示论的研究。

总结

这篇论文通过构建精细的循环映射和利用相对拓扑 K 理论，严格证明了对称带势拟的准 BPS 范畴的拓扑 K 理论在维数上完全恢复了单值化不变的 BPS 上同调。这一成果不仅解决了该领域的核心问题，还为理解 Calabi-Yau 流形上的枚举几何提供了强有力的非交换几何视角。