Homological full-and-faithfulness of comodule inclusion and contramodule forgetful functors

这是一篇由 Leonid Positselski 撰写的关于同调代数和余代数理论的学术论文。文章主要研究了**余模（Comodules）和对偶模（Contramodules）在特定条件下，其包含函子和遗忘函子在导出范畴中的完全忠实性（Full-and-Faithfulness）**问题。

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

1. 研究背景与核心问题

背景：
设 $C$ 是域 $k$ 上的一个余代数，$C^*$ 是其对偶代数。

• 余模包含函子 $\Upsilon: C\text{--Comod} \to C^*\text{--Mod}$：将 $C$-余模视为 $C^*$-模。已知该函子是完全忠实的（fully faithful），但其像（即“有理”模）在 $C^*\text{--Mod}$ 中通常不是扩张闭的（extension-closed）。
• 对偶模遗忘函子 $\Theta: C\text{--Contra} \to C^*\text{--Mod}$：将 $C$-对偶模遗忘为 $C^*$-模。该函子通常不是完全忠实的。

核心问题：
在什么条件下，这些函子诱导的有界（或有界下方/上方）导出范畴之间的三角函子是完全忠实的？
具体来说，文章探讨了 $\Upsilon$ 和 $\Theta$ 诱导的 Ext 群同构性（即 $\text{Ext}^i_C(L, M) \cong \text{Ext}^i_{C^*}(L, M)$）与余代数 $C$ 的代数性质（特别是 $\text{Ext}^n_C(k, k)$ 的有限维性）之间的等价关系。

2. 主要假设与定义

• 余幂零余代数（Conilpotent Coalgebra）： 文章假设 $C$ 是余幂零的（在旧文献中称为“点化不可约”）。这意味着 $C$ 有一个余增广 $\gamma: k \to C$，且 $C$ 可以通过余增广的核进行过滤。
• 弱有限 Koszul 性（Weakly Finite Koszulity）： 作者定义一个余幂零余代数 $C$ 为“弱有限 Koszul"的，如果对于所有 $n \ge 0$，向量空间 $\text{Ext}^n_C(k, k)$ 都是有限维的。
  • 注意：这比传统的 Koszul 代数定义更弱，因为它不要求 $C$ 是分次余代数，也不要求 $\text{Ext}$ 代数由 $\text{Ext}^1$ 生成，仅要求每个分次分量是有限维的。

3. 方法论

文章采用了以下主要数学工具和方法：

1. 最小内射/投射分解（Minimal Resolutions）： 利用余幂零余代数的性质，构造余模的最小内射分解和对偶模的最小投射分解。这些分解中的项与 $\text{Ext}^i_C(k, k)$ 直接相关。
2. 过滤技术（Filtration Techniques）： 引入 $C$ 上的自然过滤（基于余幂零性），将一般的余模/对偶模分解为平凡余模（即 $k$）的扩张。利用 Eklof 引理及其对偶形式，将问题归结为计算 $\text{Ext}^i_{C^*}(k, C \otimes U)$ 或 $\text{Tor}^{C^*}_i(k, P)$ 的消失性。
3. 对偶性论证： 利用向量空间对偶函子 $N \mapsto N^*$ 连接余模范畴和对偶模范畴，证明 $\text{Ext}^n_C(k, k)$ 与 $\text{Ext}^n_{C^*}(k, k)$ 之间的维数关系（特别是当 $\text{Ext}^n_C(k, k)$ 无限维时，$\text{Ext}^n_{C^*}(k, k)$ 会变为双重对偶空间，导致维数爆炸）。
4. 导出范畴理论： 利用伴随函子（右伴随 $\Gamma$ 和左伴随 $\Delta$）的性质，将阿贝尔范畴上的完全忠实性转化为导出范畴上的完全忠实性。

4. 关键结果与定理

定理 1.1：等价条件

对于余幂零余代数 $C$ 和整数 $n \ge 1$，以下五个条件是等价的：

1. 余模包含函子 $\Upsilon$ 诱导的 $\text{Ext}^i_C(L, M) \to \text{Ext}^i_{C^*}(L, M)$ 对所有 $1 \le i \le n$ 是同构。
2. 右余模情形下的类似同构。
3. 对偶模遗忘函子 $\Theta$ 诱导的 $\text{Ext}^i_C(P, Q) \to \text{Ext}^i_{C^*}(P, Q)$ 对所有 $0 \le i \le n-1$（对分离的对偶模 $Q$）是同构。
4. $\text{Ext}^i_C(k, k)$ 对所有 $1 \le i \le n$ 是有限维的。
5. $\text{Ext}^i_{C^*}(k, k)$ 对所有 $1 \le i \le n$ 是有限维的。

重要推论： 如果上述条件成立，则 $\Theta$ 诱导的映射在 $0 \le i \le n-2$ 时也是同构。

定理 1.2：导出范畴的完全忠实性

对于余幂零余代数 $C$，以下八个条件等价：

• 余模包含函子 $\Upsilon$ 诱导的有界（或有界下方）导出范畴三角函子是完全忠实的。
• 对偶模遗忘函子 $\Theta$ 诱导的有界（或有界上方）导出范畴三角函子是完全忠实的。
• $\text{Ext}^n_C(k, k)$ 对所有 $n \ge 0$ 是有限维的（即 $C$ 是弱有限 Koszul 的）。

关于无限维情况的反例（定理 6.1 和 8.1）

如果存在最小的 $n$ 使得 $\text{Ext}^n_C(k, k)$ 是无限维的：

• 对于余模：$\text{Ext}^n_C(k, k) \to \text{Ext}^n_{C^*}(k, k)$ 是单射但不是满射。实际上，$\text{Ext}^n_{C^*}(k, k)$ 的维数等于 $\text{Ext}^n_C(k, k)$ 的双重对偶空间的维数（$\kappa^{\kappa^\lambda}$），严格大于前者。
• 对于对偶模：$\text{Ext}^n_C(T, k) \to \text{Ext}^n_{C^*}(T, k)$ 甚至不是单射（其中 $T$ 是无限维平凡对偶模）。这意味着 $\Theta$ 在导出范畴层面完全失效。

特殊情形：交换与诺特性质

• 定理 10.2 & 11.1： 任何**左/右余诺特（co-Noetherian）**的余幂零余代数都是弱有限 Koszul 的。
• 推论 11.4： 对于**有限生成（finitely cogenerated）的交换（cocommutative）**余幂零余代数，其 $C^*$ 是完备诺特局部环。在这种情况下，不仅是有界导出范畴，无界导出范畴（Unbounded Derived Categories）之间的函子 $\Upsilon_\emptyset$ 和 $\Theta_\emptyset$ 也是完全忠实的。这是基于 [25] 中关于 $I$-挠模和 $I$-对偶模的结果。

5. 主要贡献与意义

1. 统一了余模与对偶模的视角： 文章揭示了余模包含函子和对偶模遗忘函子在“完全忠实性”这一性质上的深刻对偶性。两者都等价于同一个同调有限性条件（$\text{Ext}^n_C(k, k)$ 的有限维性）。
2. 提出了“弱有限 Koszul"概念： 这是一个比传统 Koszul 性更广泛但比一般余代数性质更强的条件。它捕捉了余代数在导出范畴中表现良好的核心特征。
3. 解决了导出范畴的完全忠实性问题： 明确了在什么条件下，从余模/对偶模范畴到对偶代数模范畴的嵌入是“同伦等价”的（在导出范畴意义上）。这对于理解非交换几何中的对偶性至关重要。
4. 揭示了无限维的病理行为： 文章详细构造了当 $\text{Ext}$ 空间无限维时，导出范畴函子失效的具体机制（维数爆炸和单射/满射性质的丧失），澄清了文献中关于“有理模”和“对偶模”在一般情况下的局限性。
5. 推广了经典结果： 将已知的关于有限生成交换余代数的结果（如 [25]）推广到了更一般的非交换、非交换（non-cocommutative）但满足弱有限 Koszul 条件的余代数。

总结

这篇论文通过精细的同调代数计算和范畴论论证，建立了一个清晰的判据：一个余幂零余代数 $C$ 的余模和对偶模理论在导出范畴中“行为良好”（即嵌入到对偶代数模范畴是完全忠实的），当且仅当 $C$ 的自 Ext 代数 $\text{Ext}^*_C(k, k)$ 是逐次有限维的。这一结果不仅统一了余模和对偶模的理论，也为研究非交换 Koszul 对偶性提供了新的视角。