Frobenius functors and $n$-torsionfree objects

技术摘要：Frobenius 演算与 $n$-无挠对象

问题陈述
本文研究了具有足够射影对象的阿贝尔范畴中 $n$-无挠（$n$-torsionfree）对象的行为。虽然 $n$-无挠的概念最初是由 Auslander 和 Bridger 通过涉及转置的 Ext 群的消解，针对双边 Noetherian 环上的有限生成模所定义的，但本研究旨在将这些概念推广到范畴化设定中。具体而言，作者探讨了这些无挠过滤在精确伴随演算（特别是 Frobenius 演算和扩张）下的行为。一个核心目标是将这些过滤的稳定化与弱 Gorenstein 性（weak Gorensteinness）联系起来，并确定由 Frobenius 扩张连接的环之间如何传递同调条件，例如 Auslander 条件和 Auslander–Gorenstein 猜想（AGC）。

研究方法
研究是在具有足够射影对象的阿贝尔范畴框架内进行的。其方法论包括：

1. 范畴化推广： 通过左射影逼近的精确序列定义 $n$-无挠对象（$T^n(\mathcal{A})$），从而扩展了模论中的定义。
2. 演算分析： 分析精确伴随对 $(F, G)$ 以确定无挠性的保持与反射性质。特别关注 Frobenius 演算，其中 $(F, G)$ 和 $(G, F)$（在自同构意义下）均为伴随对。
3. 同调特征化： 建立无穷无挠对象（$T^\infty(\mathcal{A})$）、Ext 正交对象（$^\perp P(\mathcal{A})$）与 Gorenstein 射影对象（$GP(\mathcal{A})$）之间的关系。
4. 消解比较： 对于 Frobenius 扩张 $S/R$，本文比较了基环 $R$ 与扩张环 $S$ 上极小注入消解的项的平坦维数（flat dimensions）。
5. 显式计算： 通过计算特定非 Gorenstein 代数（即幂零平方根代数及其截断多项式扩张）的无挠过滤，验证并说明了理论结果。

主要贡献与结果

• 无挠性的保持与反射：
  本文证明，对于满足 $G$ 保持射影性的精确伴随对 $(F, G)$，左伴随演算 $F$ 保持 $n$-无挠对象。如果 $F$ 是忠实的且满足生成元条件（$P(\mathcal{A}) = \text{add } G(P(\mathcal{B}))$），则 $F$ 也反射 $n$-无挠性。这将其从模范畴推广到了广义阿贝尔范畴，并为 Gorenstein 射影对象提供了统一的证明。

• Gorenstein 射影性的特征化：
  研究确立了 Gorenstein 射影对象子范畴是 Ext 正交对象与无穷无挠对象的交集：
  $$GP(\mathcal{A}) = {}^\perp P(\mathcal{A}) \cap T^\infty(\mathcal{A}).$$
  因此，一个范畴是弱 Gorenstein 的（即 $GP(\mathcal{A}) = {}^\perp P(\mathcal{A})$）当且仅当 ${}^\perp P(\mathcal{A})$ 中的每个对象都是 1-无挠的。

• 稳定化与弱 Gorenstein 性：
  一个显著的结果是，如果无挠过滤在任何层级 $n$ 处稳定（即 $T^n(\mathcal{A}) = T^{n+1}(\mathcal{A})$），则该范畴是弱 Gorenstein 的，且过滤在 Gorenstein 射影对象处稳定。对于 Krull–Schmidt 范畴，若单个层级仅包含有限个不可约同构类，则会出现这种稳定化。

• 同调条件的传递：
  对于 $S_R$ 为生成元的 Frobenius 扩张 $S/R$，本文表明：

  • 正则模在极小注入消解中对应项的平坦维数相等（$fd_S E^i_S(S) = fd_R E^i_R(R)$）。
  • Quasi-$n$-Gorenstein 性和 Auslander 条件在 $R$ 与 $S$ 之间传递。
  • $R$ 满足 Auslander–Gorenstein 猜想（AGC）等价于 $S$ 满足该猜想。

• 显式示例：
  作者计算了代数 $S_{d,m} = k[x_1, \dots, x_d, t]/((x_1, \dots, x_d)^2, t^m)$ 的无挠过滤。这些代数被证明是非 Gorenstein 但属于弱 Gorenstein 的。其过滤在第 2 层稳定（$T^2 = T^\infty = GP$），并且论文明确识别了形式为 $S/(t^q)$ 的非射影 Gorenstein 射影模。

意义
本文声称提供了一个统一并扩展现有关于无挠性和 Gorenstein 同调代数结果的范畴化框架。通过将无挠性的保持推广到精确伴随对（特别是 Frobenius 演算），它为在不同代数结构之间传递同调性质提供了一个强大的工具。无挠过滤的稳定化与弱 Gorenstein 性之间的联系，为识别弱 Gorenstein 范畴提供了一个新的判据。此外，关于 Frobenius 扩张的结果提供了一种基于另一环来验证 Auslander–Gorenstein 猜想的机制，扩大了该猜想已知的适用范围。通过构造具有稳定过滤和非射影 Gorenstein 射影模的非 Gorenstein 代数，展示了其理论发现的锐利性与适用性。