技术摘要：代数的可范畴化 Koszul 对偶

1. 问题与背景

Koszul 对偶是增广结合代数之间的一种经典对偶，建立了看似截然不同的代数对象之间的深层联系。在经典设定中，对于一个增广结合 $k$-代数 $A$，其 Koszul 对偶 $D_1(A)$ 被定义为导出自同构代数 $\text{End}_A(k)$。在理想条件下，双对偶映射 $A \to D_1(D_1(A))$ 是一个等价，且在 $A$ 的模范畴与 $D_1(A)$ 的模范畴之间存在一种 Fourier–Morita 型的等价关系。

本文旨在解决这一对偶性的可范畴化（categorification）问题。核心问题是将 Koszul 对偶从代数推广到单群稳定 $\infty$-范畴（monoidal stable $\infty$-categories）。在此框架下，单群稳定 $\infty$-范畴扮演着结合代数的角色，而模 $\infty$-范畴则扮演着模的角色。具体而言，本文研究了与 Artin 代数以及属于小 2-圆盘算子（little 2-discs operad，$E_2$-algebras）的代数相关的单群稳定 $\infty$-范畴之间的对偶现象。

2. 方法论与框架

作者使用了 $(\infty, 1)$-范畴（拟范畴/quasi-categories）和高阶代数的语言，利用了算子（operads）和稳定 $\infty$-范畴的理论。

2.1. 可范畴化的增广与对偶

设 $k$ 为基域，$\text{Mod}_k$ 为 $k$-模谱的稳定 $\infty$-范畴。本文考虑一个单群 $\infty$-范畴 $\mathcal{A}$，它配备了一个单群函子 $\mathcal{A} \to \text{Mod}_k$，这可以被视为代数增广 $A \to k$ 的可范畴化类比。
Koszul 对偶 $\mathcal{A}$ 定义为自同构单群 $\infty$-范畴：
$$D(\mathcal{A}) = \text{End}_{\mathcal{A}}(\text{Mod}_k)$$
该范畴分类了 $\mathcal{A}$-模函子 $\text{Mod}_k \to \text{Mod}_k$，其单群结构由复合运算诱导。

2.2. 聚焦于 Artin 与 $E_2$-代数

研究重点在于 $\mathcal{A} = \text{LMod}_A$ 的情况，其中 $A$ 是一个增广 $E_2$-代数（或 Artin 代数）的左模稳定 $\infty$-范畴。本文利用了：

• $E_n$-Koszul 对偶：增广 $E_n$-代数的经典对偶 $D_n$。
• 感应相干层（Ind-coherent Sheaves）：$A$ 上的 Ind-相干层 $\infty$-范畴 $\text{Ind}(\text{LCoh}(A))$，它将相干层推广到了非连通及导出情形。
• $t$-结构：对左完备和右完备 $t$-结构的详细分析，特别是模范畴和 Ind-相干层范畴上的“标准”与“对偶标准”$t$-结构。
• 代数化：使用函子 $\Theta_k$（自自同构代数函子 $E_k$ 的左伴随）将单群 $\infty$-范畴重新关联回代数。

3. 核心贡献与结果

3.1. 将 Koszul 对偶识别为 Ind-相干层

本文确立了 $E_2$-Koszul 对偶代数的模范畴的 Koszul 对偶与 Ind-相干层范畴之间的正则等价。

• 定理 1.2 (定理 3.6)：若 $A$ 是一个 Artin $E_2$-代数，则存在正则的单群 $\infty$-范畴等价：
  $$D(\text{LMod}_{D_2(A)}) \simeq \text{Ind}(\text{LCoh}(A))$$
  此处 $D_2(A)$ 是 $A$ 的 $E_2$-Koszul 对偶。这一结果将 Ind-相连层范畴识别为普通左 $D_2(A)$-模范畴的可范畴化 Koszul 对偶。$\text{Ind}(\text{LCoh}(A))$ 上的单群结构被解释为函子 $\text{Mod}_k \to \text{Mod}_k$ 的复合。

3.2. 双对偶性与右完备化

本文研究了模范畴的双对偶映射。不同于经典情况下 $A \simeq D_1(D_1(A))$ 直接成立，可范畴化版本需要进行完备化。

• 定理 1.1 (定理 4.13)：若 $A$ 是 Artin 代数，则双对偶映射
  $$\delta_{\text{LMod}_A} : \text{LMod}_A \to D(D(\text{LMod}_A))$$
  在对目标进行**右完备化（right completion）**后成为一个等价。具体而言，若 $D_t^+$ 表示 Koszul 对偶函子 $D$ 随后的右完备化，则：
  $$\text{LMod}_A \simeq D_t^+(D_t^+(\text{LMod}_A))$$
  这是对经典双对偶性 $A \simeq D_1(D_1(A))$ 的范畴化推广。

3.3. 左完备化与 $E_2$-模

本文将 $E_2$-Koszul 对偶模范畴与原模范畴的左完备化联系起来。

• 定理 1.3：存在如下单群 $\infty$-范畴等价：
  $$\widehat{b}_L(\text{LMod}_{D_2(A)}) \simeq D_t^+(D_t^+(\text{LMod}_{D_2(A)}))$$
  其中 $\widehat{b}_L$ 表示关于标准 $t$-结构的左完备化。论文指出，$\text{LMod}_{D_2(A)}$ 上的标准 $t$-结构通常不是左完备的。

3.4. 结构特征与 $t$-结构

这些结果揭示了可范畴化对偶性的微妙结构特征：

• Koszul 对偶 $D(\text{LMod}_A)$ 与 $\text{LMod}_{D_2(A)}$ 的左完备化相关。
• 本文区分了“标准”$t$-结构（由连通部分决定）与“对偶标准”$t$-结构（由包含单位元且对共极限封闭的最小子范畴决定）。
• 文中展示了对于某些 Artin 代数（例如平凡平方零扩张），对偶范畴上的 $t$-结构不是右分离的，因此不是右完备的，这使得双对偶定理中必须使用右完备化函子。

4. 重要性与主张

本文声称其结果提供了对模进行可范畴化 Koszul 对偶的范畴化推广。通过用范畴取代模，用范畴的层取代层的层，这项工作将对偶范式扩展到了稳定 $\infty$-范畴领域。

文中强调的重要意义包括：

1. 几何解释：等价关系 $D(\text{LMod}_{D_2(A)}) \simeq \text{Ind}(\text{LCoh}(A))$ 为 Ind-相连层的单群结构提供了几何解释，即将其视为函子复合。
2. 对偶性的精细化：结果表明，可范畴化的 Koszul 对偶具有比 $A$ 与 $D_2(A)$ 之间的对偶更微妙的特征。具体而言，模范畴的对偶不仅仅是对偶代数的模范畴，而是 Ind-相连层范畴。
3. 与变形理论的联系：本文指出，这些结果受到并连接到 Landau–Ginzburg 模型的范畴不变量（例如矩阵因子化）以及稳定 $\infty$-范畴的变形理论。引言中构造的右伴随函子 $\kappa$ 在将 Hochschild 上同调类与具有右完备 $t$-结构的稳定 $\infty$-范畴的变形联系起来时起到了作用。
4. 推广：该框架被扩展到有向形式 $E_2$-叠层（pointed formal $E_2$-stacks）（第 6 节），表明双对偶等价对于这些叠层上的可范畴化结构层成立。

论文在应用方面保持了谦逊的语气，指出对变形理论的应用（特别是涉及非左完备 $t$-结构的部分）“将在未来的工作中讨论”。其主要贡献仍在于严格建立了对偶等价关系，并确定了使这些等价在 $\infty$-范畴设定下成立所必需的完备化（左完备化与右完备化）。