技术摘要：由 Perfectoid 代数实现的同调检测

问题陈述

本文旨在解决理解 perfectoid 代数（这些代数在 $p$-进几何和混合特征奇异性理论中已成为基础）如何与对偶同调不变量相互作用方面的空白。虽然之前的研究（特别是 Bhatt、Iyengar 和 Ma 的工作）已经确立了 perfectoid 代数在混合特征中通过平坦维数（flat dimension）检测正则性（类似于正特征下 Frobenius 态射关于 Kunz 和 Peskine–Szpiro 的结果），但关于射影维数（injective dimension, $\text{idim}_R(-)$）及相关对偶性质的研究则显著较少。作者旨在开发一种理论，使 perfectoid 代数能够检测混合特征下的有限射影维数、Gorenstein 性、Cohen–Macaulay 性以及正则性，从而为涉及 Frobenius 态射的经典结果提供类比。

研究方法

作者结合了同调代数、谱序列以及 perfectoid 代数的结构性质。

1. 商的维数估计： 基础步骤涉及建立 perfectoid 代数对根理想的商的射影维数和射影维数的界限。

   • 他们利用谱序列 $E_2^{p,q} = \text{Ext}_S^p(S/J, \text{Ext}_R^q(S, M)) \Rightarrow \text{Ext}_R^{p+q}(S/J, M)$ 来将 perfectoid 代数 $S$ 上的 Ext 群的消失与剩余域 $k$ 上的消失联系起来。
   • 他们分析了“完美主理想”（由 $p$ 次幂根的相容系统生成的理想）的射影维数，使用了导出范畴 $D(R)$ 中的极限与导出极限。具体而言，他们证明了由单位倍数的 $p$ 次幂根组成的理想的射影维数至多为 1。
   • 通过在生成根理想的集合上迭代这些论证，他们导出了 $A/\sqrt{I}A$ 的射影维数的上界 $2(r+1)$，其中 $I$ 在根意义下由 $r$ 个元素生成。

2. 对偶同调特征：

   • 作者利用 Matlis 对偶函子在射影维数和射影维数之间进行转换。
   • 他们利用 Enochs 和 Jenda 引入的 Gorenstein 射影维数 ($\text{Gpd}_R(-)$) 来将 Gorenstein 环的特征化扩展到非有限生成模。
   • 证明通常依赖于这样一个事实：如果一个模 $M$ 具有有限射影维数，那么对于任何代数 $A$，$\text{Ext}_R^i(A, M) = 0$ 对于 $i \gg 0$ 成立。其新颖之处在于证明其逆命题：如果对于特定的 perfectoid 代数 $A$，这种消失成立，那么 $M$ 必然具有有限射影维数。

3. Perfectoid 条件的使用： 本文定义了一组特定的条件（符号 3.1），使 $R$-代数 $A$ 在这些定理的语境下是“类 perfectoid”的。这包括是一个约化代数，包含单位倍数的 $p$ 次幂根的相容系统，且其由这些根生成的商是完美的。这使得作者能够在保留必要同调性质的同时，放宽对 strict perfectoid 代数的定义。

核心贡献与结果

1. 维数估计 (第 2 节)

• 命题 2.3： 对于满足特定类 perfectoid 条件的约化 $R$-代数 $A$，以及在根意义下由 $r$ 个元素生成的理想 $I$（包含 $p$），$\text{pd}_A(A/\sqrt{I}A)$ 的界限为 $2(r+1)$。
• 命题 2.5： 如果 $A$ 作为 $R$-模具有有限射影维数，那么 $A/\sqrt{I}A$ 也具有有限射影维数，且 $\text{idim}_R(A/\sqrt{I}A) \leq \text{idim}_R(A)$。
• 推论 2.6： 建立了消失判别准则：如果 $\text{Ext}_R^i(A, M) = 0$ 在足够长的指数范围内成立，则 $\text{Ext}_R^i(k, M) = 0$。这建立了 perfectoid 代数上的消失与剩余域上的消失之间的联系。

2. 有限射影维数与 Gorenstein 环的特征化 (第 3.1 节)

• 定理 3.2： 提供了 Herzog 判别准则的混合特征类比。对于诺特局部环 $(R, \mathfrak{m})$ 且 $p \in \mathfrak{m}$，以及非零有限生成或 $\mathfrak{m}$-进完备模 $M$，以下命题等价：

  1. $M$ 具有有限射影维数。
  2. 对于所有 $i \gg 0$，$\text{Ext}_R^i((R/pR)^{\text{perf}}, M) = 0$。
  3. 对于某个 perfectoid $R$-代数 $A$（满足 $\mathfrak{m}A \neq A$），存在 $i \gg 0$ 使得 $\text{Ext}_R^i(A, M) = 0$。
  • 重要性： 该特征化被指出即使在特征 $p$ 下也是全新的，并且适用于完备模，而不仅仅是有限生成模。它意味着如果这些条件成立，则 $R$ 是 Cohen–Macaulay 的。

• 推论 3.4： 特征化 Gorenstein 局部环。$R$ 是 Gorenstein 的，当且仅当 $\text{Ext}_R^i((R/pR)^{\text{perf}}, R) = 0$ 对于 $i \gg 0$ 成立，或者等价于存在一个具有有限 Gorenstein 射影维数的 perfectoid 代数 $A$。这作为 Takahashi–Yoshino 和 Iyengar–Sather-Wagstaff 结果的混合特征类比。

3. Cohen–Macaulay 模的特征化 (第 3.2 节)

• 定理 3.7 与 推论 3.10： 一个有限生成（或完备）模 $M$ 是 Cohen–Macaulay 的，当且仅当存在一个 perfectoid 代数 $A$，使得对于所有 $i < \dim(M)$，$\text{Ext}_R^i(A, M) = 0$。
• 推论 3.13： 对于 Cohen–Macaulay 完备局部环，一个无挠模 $M$ 是规范模的有限直和，当且仅当对于所有 $i \neq \dim(M)$，$\text{Ext}_R^i(A, M) = 0$。

4. 正则性与射影维数 (第 3.3 节)

• 定理 3.15： 提供了 Bhatt–Iyengar–Ma 正则性判别准则的对偶。一个诺特局部环 $R$ 是正则的，当且仅当：
  1. 完美化 $(R/pR)^{\text{perf}}$ 具有有限射可能维数。
  2. 存在一个具有有限射影维数的 perfectoid $R$-代数 $A$。
  3. $R$ 具有孤立奇异性，且存在一个 perfectoid $A$ 使得 $\text{Ext}_R^i(A, A) = 0$ 对于 $i \gg 0$ 成立。
• 推论 3.16 与 3.18： 如果这样的 perfectoid 代数 $A$ 同时也是一个 big Cohen–Macaulay 代数且具有有限射影维数，那么 $\text{idim}_R(A) = \dim(R)$。这建立了一个二分法，即射影维数要么是环的维数，要么是无穷大。

意义与主张

本文声称建立了经典同调特征化（依赖于正特征下的 Frobenius 态射）的“混合特征类比”。通过用 perfectoid 代数（或其完美闭包）取代 Frobenius 态射，作者展示了这些高度非诺特对象如何有效地控制并检测标准的同调不变量，如射影维数、Gorenstein 性和正则性。

具体而言，作者强调了：

• 新的特征化： 这些结果提供了有限射影维数和 Gorenstein 环的新特征化，特别是在完备模和混合特征的情况下。
• 范围扩展： 该理论超越了有限生成模，扩展到了 $\mathfrak{m}$-进完备模和 big Cohen–Macaulay 模。
• 解决猜想： 这项工作解决了先前文献中关于素特征和混合特征下绝对整闭包 ($R^+$$) 的射影维数的隐含猜想，即如果该维数有限，则环必须是正则的。
• 对偶性： 本文成功构建了一个与 Bhatt、Iyengar 和 Ma 的平坦维数检测结果相对偶的理论，从而完成了关于 perfectoid 代数如何与交换代数中的同调猜想相互作用的更广泛图景。

作者保持了谦逊的基调，指出虽然 perfectoid 条件可以被放宽（至符号 3.1 中的条件），但核心结果依赖于这些代数的结构性质来限制同调维数并检测 Ext 群的消失。