Gorenstein flat-cotorsion modules over tensor rings

技术摘要：张量环上的 Gorenstein 平坦 - 余挠模

问题陈述
本文旨在刻画张量环 $TR(M)$ 上的 Gorenstein 平坦 - 余挠（GFC）模。张量环定义为 $TR(M) = \bigoplus_{i=0}^{\infty} M^i$，其中 $M$ 为 $R$-双模，且假设 $M$ 是 $N$-幂零的（即 $M^{N+1}=0$）。尽管此类环上的 Gorenstein 同调性质（投射、内射、平坦）此前已有研究，且 Wang、He 和 Jin 曾探讨过平凡扩张环上的 GFC 模，但对于更广泛的张量环类 $TR(M)$ 上的 GFC 模的一般性描述仍是一个未决问题。具体而言，作者寻求确定 $TR(M)$-模（表示为对$(X, u)$，其中$X$是$R$-模，$u: M \otimes_R X \to X$是$R$-同态）为 Gorenstein 平坦 - 余挠模的充要条件。

方法论与框架
作者采用了伴随函子框架及张量环上模的结构分解。关键的方法论要素包括：

1. 函子方法：利用遗忘函子 $U: \text{Mod}(TR(M)) \to \text{Mod}(R)$ 及其伴随函子，特别是诱导函子 $\text{Ind} \cong TR(M) \otimes_R -$。论文确立了 $TR(M)$上的平坦模和余挠模通过这些函子与$R$ 上的相应模密切相关。
2. 条件 (P)：分析依赖于 Chen 和 Lu 引入的 Tor 消失条件：对所有 $i \ge 1$，$\text{Tor}^R_{\ge 1}(M, M^i) = 0$。
3. 相容与可容许双模：作者引入了“相容”和“可容许”双模的定义，以处理涉及 $M \otimes_R -$ 和 $\text{Hom}$ 函子的复形的无圈性。这些概念借鉴了关于 Gorenstein 投射模的先前工作，但针对 GFC 背景进行了调整。
4. 分解构造：证明策略涉及从 $R$ 上的平坦 - 余挠模的全无圈复形构造 $TR(M)$ 上的全无圈复形。解决的一个重大技术障碍是：与 Gorenstein 投射模不同，GFC 模的子范畴在满射的核下不封闭，且并非每个模都是投射模的像。作者开发了新的论证以绕过这些障碍，具体使用了蛇形引理和维数移动来构造正合序列。

主要结果
核心结果是定理 3.9，它在特定的同调条件下提供了 $TR(M)$ 上 GFC 模的刻画。

• 定理 3.9：设 $M$ 是满足条件 (P) 的 $N$-幂零 $R$-双模。若 $M \otimes_R -$ 保持余挠模，且平坦维数 $\text{fd}_R M < \infty$ 和 $\text{fd}_{R^{op}} M < \infty$，则 $TR(M)$-模$(X, u)$ 是 Gorenstein 平坦 - 余挠模，当且仅当：
  1. 映射 $u: M \otimes_R X \to X$ 是单射。
  2. 余核 $\text{Coker}(u)$ 是 Gorenstein 平坦 - 余挠 $R$-模。

论文通过命题 3.6（必要性）和命题 3.8（充分性）证明了该定理。命题 3.5 确立了关于 $M$ 的所述条件（条件 (P)、保持余挠性以及有限平坦维数）意味着 $M$ 既是相容的也是可容许的，这是主定理的前提条件。

应用
作者将主定理应用于两类特定的环，从而细化了现有结果：

1. 平凡扩张环 ($R \ltimes M$)：当 $M$ 是 1-幂零的（$M \otimes_R M = 0$）时，$TR(M)$同构于平凡扩张$R \ltimes M$。**推论 4.1** 刻画了$R \ltimes M$ 上的 GFC 模。作者指出，该结果改进了 Wang 等人 [26] 的成果，将假设从 $M_R$ 是平坦的减弱为仅需有限平坦维数和高阶 Tor 群的消失。
2. Morita 上下文环：对于具有零双模同态的 Morita 上下文环 $\Lambda = \begin{pmatrix} A & N \\ M & B \end{pmatrix}$，$\Lambda$ 同构于平凡扩张 $(A \times B) \ltimes (M \oplus N)$。推论 4.3 刻画了当 $M \otimes_A N = 0 = N \otimes_B M$ 时，此类环上的 GFC 模。与平凡扩张的情况类似，这通过放宽平坦性假设为有限平坦维数和 Tor 消失条件，细化了先前的结果。

意义与主张
本文声称提供了张量环上 Gorenstein 平坦 - 余挠模的统一刻画，扩展了此前局限于平凡扩张的工作。其意义在于：

• 推广：从特定情况（平凡扩张）扩展到具有 $N$-幂零双模的一般张量环 $TR(M)$。
• 技术细化：克服了 GFC 范畴中（特别是关于满射的核）缺乏封闭性质的问题，从而建立了该刻画。
• 减弱假设：在对平凡扩张和 Morita 上下文的应用中，本文证明了先前文献中要求的严格平坦性假设可以被有限平坦维数和 Tor 消失条件所取代，从而扩大了这些刻画适用的环的范围。

作者明确指出，其证明策略不同于用于 Gorenstein 投射模的策略（例如 [9] 中），因为投射模的特定性质不适用于 GFC 模，因此需要引入新的论证。