Quasi-projective dimensions of complexes over rings

这是一篇关于同调代数领域的学术论文，主要研究了模复形（complexes of modules）的拟投射维数（quasi-projective dimension）。该维数概念由 Gheibi, Jorgensen 和 Takahashi 在模（modules）层面引入，本文将其推广到了复形层面，并建立了相关的基本性质、公式及应用。

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

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

• 背景：同调维数（如投射维数、G-维数、完全交维数）是研究诺特环上模和复形的核心不变量。Gheibi, Jorgensen 和 Takahashi 最近引入了拟投射维数（qpd），它推广了投射维数，但在性质上有所不同（例如，有限拟投射维数的有限生成模范畴不具有“三者中取二”的性质）。
• 核心问题：
  1. 问题 1 (Question 1)：设 $R$ 是交换诺特局部环。如果 $R$ 上每个有限生成模的拟投射维数都是有限的，那么 $R$ 是否一定是完全交环（complete intersection）？
  2. 问题 2 (Question 2)：设 $R$ 是交换诺特环，$x$ 是正则元，$M$ 是 $R/(x)$-模。如果 $M$ 在 $R$ 上的拟投射维数有限（$qpd_R M < \infty$），那么它在 $R/(x)$ 上的拟投射维数是否也有限（$qpd_{R/(x)} M < \infty$）？
• 动机：拟投射维数与“虚拟小复形（virtually small complexes）”密切相关，而虚拟小复形是刻画完全交环的关键工具。此外，该问题也关联到 Auslander-Reiten 猜想和 Tachikawa 第二猜想。

2. 方法论 (Methodology)

• 理论框架：利用导出范畴（Derived Categories） $D(R)$ 及其子范畴（如有界复形 $D^\square(R)$、有限同调复形 $D^f(R)$ 等）作为主要研究工具。
• 核心定义推广：
  • 将模的拟投射维数定义推广到复形 $M \in D(R)$。
  • 定义：$M$ 具有有限拟投射维数，如果存在一个有界投射复形 $P$，其同调 $H(P)$ 同构于 $M$ 的有限直和及其移位（$\Sigma^i M$）的直和。
  • 维数定义为：$qpd_R M = \inf \{ \sup P - hsup P \}$，其中 $P$ 是 $M$ 的拟投射分解。
• 技术工具：
  • 厚子范畴（Thick Subcategories）：利用由复形生成的厚子范畴 $\text{Thick}_R[M]$ 来研究复形的结构。
  • Koszul 复形：利用正则序列上的 Koszul 复形 $K(x; M)$ 来研究维数在商环上的行为。
  • 谱序列（Spectral Sequences）：用于计算 Ext 群和同调群之间的关系。
  • 极小分解（Minimal Resolutions）：在局部环上构造极小拟投射分解。

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

A. 拟投射维数的基本性质与比较定理 (Theorem 1.1)

论文建立了复形拟投射维数与投射维数（$pd$）及同调深度（depth）之间的关系：

1. 与投射维数的关系：若 $pd_R M < \infty$，则 $qpd_R M + hsup M = pd_R M$。
2. 有限性判定：若 $qpd_R M < \infty$ 且 $\text{Ext}^j_R(H(M), H(M)) = 0$（对于 $j \ge 2 + \text{amp} M$），则 $pd_R M < \infty$。
3. 同调控制：$qpd_R M \le \sup \{ qpd_R H^n(M) \mid n \in \mathbb{Z} \}$。
4. 导出 Auslander-Buchsbaum 公式：对于局部诺特环上的有限拟投射维数复形 $M$，有：
   $$qpd_R M + hsup M = \text{depth} R - \text{depth}_R M$$
   这推广了经典的 Auslander-Buchsbaum 公式。

B. 关于完全交环的刻画 (Theorem 1.2 & Corollary 1.3)

针对问题 1，论文给出了 $R$ 为完全交环的充分条件。假设 $R$ 的完备化 $\hat{R} \cong Q/I$（$Q$ 为正则局部环），若满足以下任一条件且所有有限生成模的 $qpd$有限，则$R$ 是完全交环：

1. $\dim Q \le \dim R + 2$。
2. $I$ 是 $Q$ 的 Burch 理想（即 $\mathfrak{m}I \neq \mathfrak{m}(I :_R \mathfrak{m})$）。
3. $I$ 的最小生成元个数 $\le 2$。

• 推论：对于 Artinian 环 $R \cong Q/I$，若嵌入维数 $\le 2$ 或 $I$ 是 Burch 理想，则 $R$ 是完全交环当且仅当所有有限生成模的拟投射维数有限。若生成元个数 $\le 2$，则 $R$ 是超曲面（hypersurface）当且仅当上述条件成立。

C. 关于正则序列上的维数变化 (Theorem 1.4 & Corollary 6.4)

针对问题 2，论文研究了模 $M$ 在模去正则序列 $x = x_1, \dots, x_d$ 后的拟投射维数变化：

• 不等式：在特定条件下（如 $R$ 是 von Neumann 正则环，或 $\text{Ext}^1_R(H(M), H(M)) = 0$），有：
  $$qpd_{R/(x)} M \le qpd_R M - d$$
• 等价性：对于局部诺特环上的非零有限生成模 $M$，若 $\text{Ext}^1_R(M, M) = 0$，则 $qpd_R M < \infty$ 当且仅当 $qpd_{R/(x)} M < \infty$。这为问题 2 提供了部分肯定答案。

4. 意义与影响 (Significance)

1. 理论推广：成功将拟投射维数从模层面推广到复形层面，建立了完整的导出范畴理论框架，包括与投射维数的精确比较和新的 Auslander-Buchsbaum 公式。
2. 解决开放问题：
   • 对 Gheibi-Jorgensen-Takahashi 提出的关于完全交环判定的开放问题（Question 1）给出了多种情形下的肯定回答，特别是引入了 Burch 理想和生成元个数作为关键判据。
   • 部分解决了关于正则序列上拟投射维数行为的开放问题（Question 2），揭示了在特定 Ext 消失条件下维数的稳定性。
3. 连接不同领域：通过“虚拟小复形”这一概念，将拟投射维数与完全交环的结构理论、厚子范畴理论以及 Koszul 同调紧密联系起来。
4. 工具创新：提供了处理复形同调维数的新工具（如基于同调的拟投射分解判定准则），为后续研究环的奇异性分类和导出范畴结构提供了新的视角。

总结

这篇文章通过引入复形的拟投射维数，深化了对交换诺特环同调性质的理解。它不仅推广了经典公式，还利用这一新工具在完全交环的判定和正则序列上的维数行为方面取得了突破性进展，为相关领域的未解猜想提供了有力的部分解答。