Quasi-Gorenstein morphisms of commutative local dg-algebras

技术摘要：交换局部 DG-代数的拟 Gorenstein 态射

问题与背景
本文致力于将拟 Gorenstein 态射的理论从交换诺特局部环的领域推广到更为一般的交换局部微分分次（dg）代数环境。在经典设定中，Avramov 和 Foxby 引入了拟 Gorenstein 同态以刻画 Gorenstein 性质：一个局部环 $R$ 是 Gorenstein 的，当且仅当映射 $R \to k$（到其剩余域）是拟 Gorenstein 的。此外，对于局部同态 $\phi: R \to S$，若 $\phi$ 是拟 Gorenstein 的，则 $R$ 是 Gorenstein 的当且仅当 $S$ 是 Gorenstein 的。

作者旨在将这些结果推广到 dg-代数，特别是那些满足 $H_0(R)$ 为诺特局部环且同调 $H(R)$ 在 $H_0(R)$ 上有限生成的 dg-代数。这一推广中的核心挑战在于利用 dg-环境内蕴的同调性质（如 Gorenstein 维数和“虚拟小”性质）来刻画这些态射，并应用这些刻画通过 Koszul 复形理解局部环中的正合序列。

方法论
作者在 dg $R$-模的导出范畴 $D(R)$ 中工作，重点关注具有有界且逐次有限生成同调的模的子范畴 $D^f_b(R)$。方法论依赖于：

1. 定义与背景：建立 Gorenstein 维数（$G\text{dim}$）、对偶 dg-模以及“虚拟 G 小”性质（由 Dwyer、Greenlees 和 Iyengar 引入的“虚拟小”性质的 Gorenstein 类比）的定义。
2. 同调刻画：证明关于拟 Gorenstein 态射的经典结果的 dg-类比。这涉及操纵导出函子如 $\text{RHom}$ 并利用厚子范畴的性质。
3. Koszul 复形分析：研究规范增广 $R \to H_0(R)$，其中 $R$ 是某个元素序列上的 Koszul 复形。作者分析了该映射为拟 Gorenstein 的条件，将其与“正合序列”（由正则元或正合零因子组成的序列）的概念联系起来。
4. 构造实例：利用平凡扩张（$R \ltimes M$）和分解的张量积来构造具体的 dg-代数和态射，以检验理论的边界。

主要贡献与结果

• 拟 Gorenstein DG-态射的定义：本文定义了交换局部 dg-代数之间的态射 $\phi: R \to S$（满足 $G\text{dim}_R S < \infty$）为拟 Gorenstein，如果 $\text{RHom}_R(S, R)$ 在 $D(S)$ 中同构于 $S$ 的移位。当限制在诺特局部环的模有限局部同态时，该定义与经典的环论定义一致。

• 通过虚拟 G 小模的刻画（定理 A）：
  本文建立了拟 Gorenstein 态射的新刻画。设 $\phi: R \to S$ 为态射，其中 $S_0$ 是诺特局部环且 $G\text{dim}_R S < \infty$。以下陈述等价：

  1. $\phi$ 是拟 Gorenstein 的。
  2. 每一个具有有界、逐次有限长度同调且在 $R$ 上具有有限 Gorenstein 维数的 dg $S$-模 $M$，在 $S$ 上都是虚拟 G 小的。
     作者指出，即使在 $R$ 和 $S$ 均为普通环的情况下，这一结果也是新的，这与 Briggs 等人以及 Dwyer 等人关于局部完全交态射的结果相平行。

• 正合序列的刻画（定理 B）：
  作者利用涉及 Koszul 复形的拟 Gorenstein 态射，给出了诺特局部环 $A$ 中正合序列的刻画。设 $x_1, \dots, x_n$ 是 $A$ 中的一个序列，$R$ 是该序列上的 Koszul 复形。该序列是正合的，当且仅当：

  1. 映射 $R \to H_0(R)$ 是拟 Gorenstein 的。
  2. 对于所有 $1 \le i \le n$，Gorenstein 维数 $G\text{dim}_{A/(x_1, \dots, x_{i-1})} A/(x_1, \dots, x_i)$ 是有限的。
     这一结果将正合性（正则元或正合零因子）的代数性质直接关联到相关 Koszul 复形的同调性质。

• 实例与非实例：

  • 本文证明了一个 dg-代数 $R$ 可以是 Gorenstein 的，而 $H_0(R)$ 不是，反之亦然，这意味着规范增广并不总是拟 Gorenstein 的。
  • 它提供了 Koszul 复形的规范增广为拟 Gorenstein 的条件，特别是当序列由正合零因子组成时。
  • 作者构造了在正合零因子序列的 Koszul 复形上的非自由 Gorenstein 投射 dg-模的实例。

• 对偶模与平凡扩张：
  本文推广了 Jørgensen 的结果，表明一个 dg-代数 $R$ 拥有对偶 dg-模，当且仅当它是某个 Gorenstein dg-代数的同态像。此外，它证明了对于满足 $\inf D > 0$ 的对偶 dg-模 $D$，映射 $R \to R \ltimes D$ 是拟 Gorenstein 的，当且仅当 $R$ 是 Gorenstein 的。

意义与主张
本文主张，为交换局部 dg-代数引入拟 Gorenstein 态射成功地将 Avramov 和 Foxby 的基础工作推广到了 dg-环境。其主要意义在于利用“虚拟 G 小”性质对这些态射进行了刻画，作者指出这一结果即使在经典环同态的情况下也是新颖的。

此外，本文提供了关于局部环中正合序列的新视角，通过其 Koszul 复形增广的拟 Gorenstein 性质来刻画它们。这为完全由正合序列生成的理想是拟完全交提供了充分条件。最后，该工作得出了在局部 Cohen-Macaulay dg-代数上非自由极大局部 Cohen-Macaulay dg-模的具体构造，扩展了 dg-背景下已知的 Gorenstein 投射模的图景。