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

Basic Information

• Paper ID: 2503.24186
• Title: Generation of singularity categories and infinite injective dimension locus via annihilation of cohomologies
• Authors: Souvik Dey, Jian Liu, Yuki Mifune, Yuya Otake
• Classification: math.AC (Commutative Algebra), math.RT (Representation Theory)
• Publication Date: March 2025 (arXiv preprint, revised October 13, 2025)
• Paper Link: https://arxiv.org/abs/2503.24186

Abstract

Let R be a commutative Noetherian ring. This paper establishes a close relationship between strong generation of the singularity category Dsg(R) and the non-vanishing of the annihilator of Dsg(R). As an application, when R is a Noetherian integral domain of Krull dimension at most 1, it is proved that Dsg(R) has a strong generator if and only if the annihilator of Dsg(R) is non-zero. The paper introduces the concept of cohomological annihilator of modules. If the category of finitely generated R-modules has a strong generator, it is shown that the infinite injective dimension locus of a finitely generated R-module M is closed, with its defining ideal given by the cohomological annihilator of M. Finally, a connection is established between the existence of extension generators for the category of finitely generated R-modules and the finiteness of the Krull dimension of R.

Research Background and Motivation

Problem Background

The core problem studied in this paper concerns generation properties of singularity categories. The singularity category Dsg(R), introduced by Buchweitz and Orlov, is an important concept defined as the Verdier quotient of the bounded derived category by the thick subcategory formed by perfect complexes. This category detects the singularity properties of the ring R: Dsg(R) is trivial if and only if R is a regular ring.

Research Motivation

1. Theoretical necessity: Characterizing (strong) generation properties of singularity categories is a natural and important problem
2. Limitations of existing work: Iyengar and Takahashi established a relationship between the non-vanishing of cohomological annihilator ca(R) ≠ 0 and strong generation of the module category mod(R), but the corresponding theory for singularity categories remains incomplete
3. Technical challenges: New tools are needed to connect algebraic and geometric properties of singularity categories

Limitations of Existing Methods

• Previous work has focused mainly on generation properties of module categories and derived categories
• Lack of a unified framework for handling annihilators and generation properties of singularity categories
• Absence of general results on the closedness of infinite injective dimension loci

Core Contributions

1. Establishes a close relationship between strong generation of Dsg(R) and non-vanishing of its annihilator, particularly proving that annR Dsg(R) = caR(mod(R))
2. Provides a complete characterization of conditions for strong generation of singularity categories for one-dimensional Noetherian integral domains
3. Introduces the concept of cohomological annihilator cocaR(M) of modules and establishes its relationship with infinite injective dimension loci
4. Proves that under appropriate conditions, the infinite injective dimension locus IID(M) = V(cocaR(M)) is closed
5. Establishes a connection between the existence of extension generators and the finiteness of Krull dimension

Methodology Details

Core Concept Definitions

Cohomological Annihilator

For a finitely generated R-module M and n ≥ 0, define the n-th cohomological annihilator:

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

The cohomological annihilator is defined as:

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

Cohomological Annihilator (Dual)

A new concept introduced in this paper, for an R-module M and n ≥ 0:

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

The cohomological annihilator is defined as:

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

Annihilator of Singularity Category

For a complex X in the singularity category Dsg(R):

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

The annihilator of the singularity category:

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

Key Technical Results

Theorem 1: Characterization of Singularity Category Annihilator

Proposition 4.2 and Corollary 4.3: For a finitely generated R-module M,

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

Furthermore,

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

Theorem 2: Complete Characterization for One-Dimensional Case

Corollary 4.21: Let R be a commutative Noetherian integral domain of Krull dimension ≤ 1. Then the following are equivalent:

1. Dsg(R) has a strong generator
2. ann_R Dsg(R) ≠ 0
3. ca_R(mod(R)) ≠ 0
4. mod(R) has a pointwise strong generator

Technical Innovations

1. Unified framework: Unifies algebraic and geometric properties of singularity categories through cohomological annihilators
2. New annihilator concept: The dual cohomological annihilator provides new tools for studying infinite injective dimension
3. Exploitation of dimension constraints: Cleverly utilizes special properties of low-dimensional cases to obtain complete characterizations

Main Theorems and Results

Theorem 1.1 (Generation of Singularity Categories)

Let R be a commutative Noetherian ring. Then:

1. The following conditions are equivalent:
   • (a) For each prime ideal p, Dsg(R/p) has a generator
   • (b) For each prime ideal p, ⋂{M∈mod(R/p)} √ca{R/p}(M) ≠ 0
2. If R is a non-regular ring with isolated singularities, then the following are equivalent:
   • (a) Dsg(R) has a strong generator
   • (b) R/ann_R Dsg(R) is an Artin ring
   • (c) R/(⋂_{M∈mod(R)} ca_R(M)) is an Artin ring
   • (d) mod(R) has a pointwise strong generator

Theorem 1.2 (Infinite Injective Dimension Locus)

Let R be a commutative Noetherian ring and M a finitely generated R-module. Then:

1. If mod(R) has an extension generator, then IID(M) is closed in Spec(R)
2. If mod(R) has a strong generator, then IID(M) = V(coca_R(M))

Theorem 1.3 (Extension Generators and Krull Dimension)

Let R be a commutative Noetherian ring. Then:

1. If mod(R) has an extension generator, then R has finite Krull dimension
2. If R has finite Krull dimension and the singular locus is a finite set, then mod(R) has an extension generator

Proof Strategy and Technical Key Points

Proof Strategy of Key Lemmas

Lemma 3.8: Establishes fundamental properties of cohomological annihilators, including:

• ca^n_R(M) = ann_R Ext^n_R(M, Ω^n_R(M))
• Geometric characterization of projective dimension
• Localization properties

Proof strategy of Proposition 4.2:

1. First prove ca_R(M) ⊆ ann_{Dsg(R)}(M): utilizing multiplication maps through projective resolutions
2. Then prove the reverse inclusion: utilizing boundedness of perfect complexes and homological dimension

Critical Role of Dimension Constraints

For the one-dimensional case, the key observation is:

• The singular locus of one-dimensional integral domains has special structure
• Properties of principal ideal domains can be exploited
• Non-vanishing of annihilators directly relates to non-empty openness of the regular locus

Applications and Examples

Example 4.26: One-Dimensional Counterexample

Constructs a one-dimensional Noetherian integral domain R such that ann_R Dsg(R) = 0, based on Hochster's example, where the regular locus does not contain a non-empty open set.

Corollary 4.14: Case of Quasi-Excellent Rings

For quasi-excellent rings R with finite Krull dimension:

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

Related Work

Historical Development

1. Iyengar-Takahashi (2016): Introduced the concept of cohomological annihilator and established the relationship between ca(R) ≠ 0 and strong generation of mod(R)
2. Elagin-Lunts (2018): For commutative Noetherian integral domains, if D^f(R) has a strong generator then ca(R) ≠ 0
3. Dey-Lank-Takahashi (2024): Established equivalences of various generation properties

Innovations of This Paper

• Extends the theory to singularity categories
• Introduces the concept of dual cohomological annihilator
• Provides a complete characterization for the one-dimensional case

Technical Details Analysis

Key Techniques in Proofs

1. Construction of thick subcategories: Utilizes inductive definitions of thick subcategories to control generation properties
2. Dimension shifting: Establishes connections between different dimensions through properties of syzygy modules
3. Local-global principle: Reduces global properties to local properties via localization

Application of Mathematical Tools

• Derived category theory: Properties of Verdier quotient categories
• Homological algebra: Computation and properties of Ext functors
• Commutative algebra: Geometric properties of prime ideals and dimension theory

Conclusions and Discussion

Main Conclusions

1. Establishes a profound connection between strong generation of singularity categories and non-vanishing of annihilators
2. Provides a complete characterization for the one-dimensional case
3. Provides new tools for studying infinite injective dimension loci

Limitations

1. Complete characterization for higher-dimensional cases remains open
2. The relationship between dual cohomological annihilators and cohomological annihilators requires additional conditions
3. Some results require special properties of the ring (e.g., isolated singularities)

Future Directions

1. Generalization to more general dimensional cases
2. Investigation of non-commutative settings
3. Exploration of deeper connections with algebraic geometry

In-Depth Evaluation

Strengths

1. Theoretical depth: Establishes profound connections between multiple important concepts
2. Technical innovation: The introduction of the dual cohomological annihilator concept is valuable
3. Completeness of results: Provides a complete characterization for the one-dimensional case
4. Rigorous proofs: Mathematical arguments are rigorous and technical treatment is refined

Weaknesses

1. Scope of applicability: Some results require relatively strong assumptions
2. Computational complexity: Actual computation of annihilators may be difficult
3. Geometric intuition: The geometric meaning of some algebraic results is not sufficiently clear

Impact

1. Theoretical contribution: Provides new research perspectives for singularity category theory
2. Methodological value: The introduced technical methods are general in nature
3. Subsequent research: Provides new tools for research on related problems

Applicable Scenarios

• Research on singularity theory in commutative algebra
• Study of generation properties of derived categories and triangulated categories
• Geometric applications of homological dimension theory

References

This paper cites 47 related references, primarily including:

• Pioneering work by Iyengar-Takahashi on cohomological annihilators
• Foundational theory of singularity categories by Buchweitz
• Important results on triangulated categories by Orlov
• Recent advances on generation properties

This paper makes important contributions to the fields of commutative algebra and homological algebra, particularly providing new research tools and profound results in singularity category theory. While some problems remain open, the theoretical framework established in the article provides a solid foundation for subsequent research.