2025-11-10T02:41:50.458636

Generation of singularity categories and infinite injective dimension locus via annihilation of cohomologies

Dey, Liu, Mifune et al.
Let R be a commutative Noetherian ring. We establish a close relationship between the strong generation of the singularity category of R and the nonvanishing of the annihilator of the singularity category of R. As an application, we prove that the singularity category of R has a strong generator if and only if the annihilator of the singularity category of R is nonzero when R is a Noetherian domain with Krull dimension at most one. We introduce the notion of the co-cohomological annihilator of modules. If the category of finitely generated R-modules has a strong generator, we show that the infinite injective dimension locus of a finitely generated R-module M is closed, with the defining ideal given by the co-cohomological annihilator of M. Finally, we provide a connection between the existence of an extension generator of the category of finitely generated R-modules and the finiteness of the Krull dimension of R.
academic

Generation of singularity categories and infinite injective dimension locus via annihilation of cohomologies

基本信息

  • 论文ID: 2503.24186
  • 标题: Generation of singularity categories and infinite injective dimension locus via annihilation of cohomologies
  • 作者: Souvik Dey, Jian Liu, Yuki Mifune, Yuya Otake
  • 分类: math.AC (交换代数), math.RT (表示论)
  • 发表时间: 2025年3月 (arXiv预印本，2025年10月13日修订版)
  • 论文链接: https://arxiv.org/abs/2503.24186

摘要

设R是交换Noetherian环。本文建立了R的奇点范畴的强生成与R的奇点范畴的零化子非零之间的密切关系。作为应用，当R是Krull维数至多为1的Noetherian整环时，证明了R的奇点范畴有强生成元当且仅当R的奇点范畴的零化子非零。文章引入了模的余上同调零化子的概念。如果有限生成R-模范畴有强生成元，证明了有限生成R-模M的无限内射维数轨迹是闭的，其定义理想由M的余上同调零化子给出。最后，建立了有限生成R-模范畴的扩张生成元存在性与R的Krull维数有限性之间的联系。

研究背景与动机

问题背景

本文研究的核心问题是奇点范畴的生成性质。奇点范畴Dsg(R)是由Buchweitz和Orlov引入的重要概念，定义为有界导出范畴与完全复形构成的厚子范畴的Verdier商。这个范畴能够检测环R的奇点性质：Dsg(R)是平凡的当且仅当R是正则环。

研究动机

  1. 理论需求：如何刻画奇点范畴的(强)生成性质是一个自然而重要的问题
  2. 已有工作的局限：Iyengar和Takahashi建立了上同调零化子ca(R)≠0与模范畴mod(R)强生成之间的关系，但对奇点范畴的相应理论还不完善
  3. 技术挑战：需要建立新的工具来连接奇点范畴的代数性质与几何性质

现有方法的局限性

  • 以往的工作主要集中在模范畴和导出范畴的生成性质
  • 缺乏统一的框架来处理奇点范畴的零化子与生成性质
  • 对于无限内射维数轨迹的闭性缺乏一般性结果

核心贡献

  1. 建立了奇点范畴强生成与其零化子非零之间的密切关系，特别是证明了annR Dsg(R) = caR(mod(R))
  2. 对于一维Noetherian整环，完全刻画了奇点范畴强生成的等价条件
  3. 引入了模的余上同调零化子cocaR(M)的概念，并建立了其与无限内射维数轨迹的关系
  4. 证明了在适当条件下，无限内射维数轨迹IID(M) = V(cocaR(M))是闭的
  5. 建立了扩张生成元存在性与Krull维数有限性的联系

方法详解

核心概念定义

上同调零化子

对于有限生成R-模M和n≥0，定义第n个上同调零化子：

ca^n_R(M) := ann_R Ext^≥n_R(M, mod(R))

上同调零化子定义为：

ca_R(M) := ⋃_{n≥0} ca^n_R(M)

余上同调零化子

本文引入的新概念，对于R-模M和n≥0：

coca^n_R(M) := ann_R Ext^≥n_R(mod(R), M)

余上同调零化子定义为：

coca_R(M) := ⋃_{n≥0} coca^n_R(M)

奇点范畴的零化子

对于奇点范畴Dsg(R)中的复形X：

ann_{Dsg(R)}(X) := {r ∈ R | r · Hom_{Dsg(R)}(X,X) = 0}

奇点范畴的零化子：

ann_R Dsg(R) := ⋂_{X∈Dsg(R)} ann_{Dsg(R)}(X)

关键技术结果

定理1：奇点范畴零化子的刻画

命题4.2和推论4.3：对于有限生成R-模M，

ca_R(M) = ann_{Dsg(R)}(M)

进而，

ann_R Dsg(R) = ca_R(mod(R))

定理2：一维情况的完全刻画

推论4.21：设R是Krull维数≤1的交换Noetherian整环，则以下等价：

  1. Dsg(R)有强生成元
  2. ann_R Dsg(R) ≠ 0
  3. ca_R(mod(R)) ≠ 0
  4. mod(R)有点式强生成元

技术创新点

  1. 统一框架：通过上同调零化子将奇点范畴的代数性质与几何性质统一起来
  2. 新的零化子概念：余上同调零化子为研究无限内射维数提供了新工具
  3. 维数约束的利用：巧妙利用低维情况的特殊性质得到完全刻画

主要定理与结果

定理1.1（奇点范畴的生成）

设R是交换Noetherian环，则：

  1. 以下条件等价：
    • (a) 对每个素理想p，Dsg(R/p)有生成元
    • (b) 对每个素理想p，⋂{M∈mod(R/p)} √ca{R/p}(M) ≠ 0
  2. 若R是具有孤立奇点的非正则环，则以下等价：
    • (a) Dsg(R)有强生成元
    • (b) R/ann_R Dsg(R)是Artin环
    • (c) R/(⋂_{M∈mod(R)} ca_R(M))是Artin环
    • (d) mod(R)有点式强生成元

定理1.2（无限内射维数轨迹）

设R是交换Noetherian环，M是有限生成R-模，则：

  1. 若mod(R)有扩张生成元，则IID(M)在Spec(R)中是闭的
  2. 若mod(R)有强生成元，则IID(M) = V(coca_R(M))

定理1.3（扩张生成元与Krull维数）

设R是交换Noetherian环，则：

  1. 若mod(R)有扩张生成元，则R的Krull维数有限
  2. 若R的Krull维数有限且奇点轨迹是有限集，则mod(R)有扩张生成元

证明思路与技术要点

关键引理的证明策略

引理3.8：建立了上同调零化子的基本性质，包括：

  • ca^n_R(M) = ann_R Ext^n_R(M, Ω^n_R(M))
  • 投射维数的几何刻画
  • 局部化性质

命题4.2的证明思路：

  1. 先证明ca_R(M) ⊆ ann_{Dsg(R)}(M)：利用乘法映射通过投射模的分解
  2. 再证明反向包含：利用完全复形的有界性和同调维数

维数约束的关键作用

对于一维情况，关键观察是：

  • 一维整环的奇点轨迹具有特殊结构
  • 可以利用主理想整环的性质
  • 零化子的非零性直接关联到正则轨迹的非空开性

应用与例子

例4.26：一维反例

构造了一个一维Noetherian整环R使得ann_R Dsg(R) = 0，这基于Hochster的例子，其中正则轨迹不包含非空开集。

推论4.14：拟优秀环的情况

对于有限Krull维数的拟优秀环R：

√ca(R) = √ann_R Dsg(R) = √ca_R(mod(R))

相关工作

历史发展

  1. Iyengar-Takahashi (2016)：引入上同调零化子概念，建立ca(R)≠0与mod(R)强生成的关系
  2. Elagin-Lunts (2018)：对于交换Noetherian整环，若D^f(R)有强生成元则ca(R)≠0
  3. Dey-Lank-Takahashi (2024)：建立了各种生成性质的等价性

本文的创新

  • 将理论扩展到奇点范畴
  • 引入余上同调零化子概念
  • 提供了一维情况的完全刻画

技术细节分析

证明中的关键技巧

  1. 厚子范畴的构造：利用厚子范畴的归纳定义来控制生成性质
  2. 维数移位：通过syzygy模的性质建立不同维数间的联系
  3. 局部-全局原理：利用局部化将全局性质归结为局部性质

数学工具的运用

  • 导出范畴理论：Verdier商范畴的性质
  • 同调代数：Ext函子的计算和性质
  • 交换代数：素理想的几何性质和维数理论

结论与讨论

主要结论

  1. 建立了奇点范畴强生成与零化子非零之间的深刻联系
  2. 对一维情况给出了完全刻画
  3. 提供了研究无限内射维数轨迹的新工具

局限性

  1. 高维情况的完全刻画仍然开放
  2. 余上同调零化子与上同调零化子的关系需要额外条件
  3. 某些结果需要环的特殊性质（如孤立奇点）

未来方向

  1. 推广到更一般的维数情况
  2. 研究非交换情况
  3. 探索与代数几何的更深层联系

深度评价

优点

  1. 理论深度：建立了多个重要概念间的深刻联系
  2. 技术创新：余上同调零化子概念的引入很有价值
  3. 结果完整性：对一维情况给出了完全刻画
  4. 证明严谨：数学论证严密，技术处理精细

不足

  1. 适用范围：某些结果需要较强的假设条件
  2. 计算复杂性：实际计算零化子可能较为困难
  3. 几何直觉：某些代数结果的几何意义不够清晰

影响力

  1. 理论贡献：为奇点范畴理论提供了新的研究视角
  2. 方法价值：引入的技术方法具有一般性
  3. 后续研究：为相关问题的研究提供了新工具

适用场景

  • 交换代数中的奇点理论研究
  • 导出范畴和三角范畴的生成性质研究
  • 同调维数理论的几何应用

参考文献

本文引用了47篇相关文献，主要包括：

  • Iyengar-Takahashi关于上同调零化子的开创性工作
  • Buchweitz关于奇点范畴的基础理论
  • Orlov关于三角范畴的重要结果
  • 近期关于生成性质的相关进展

这篇论文在交换代数和同调代数领域做出了重要贡献，特别是在奇点范畴理论方面提供了新的研究工具和深刻结果。虽然某些问题仍然开放，但文章建立的理论框架为后续研究奠定了坚实基础。