Annihilation of cohomology, generation of modules and finiteness of derived dimension
Abdolnaser Bahlekeh, Ehsan Hakimian, Shokrollah Salarian, Ryo, Takahashi

TL;DR
This paper establishes a connection between the annihilation of cohomology, module generation, and the finiteness of derived categories in commutative noetherian local rings, providing new characterizations of isolated singularities.
Contribution
It introduces criteria linking cohomology annihilators to module construction from syzygies and extends these results to derived and singularity categories, especially for Gorenstein rings.
Findings
Cohomology annihilator is m-primary iff certain syzygies are constructed from the residue field.
Rings with these properties are isolated singularities with finite derived and singularity category dimensions.
Modules free on the punctured spectrum are generated from finite length modules via extensions.
Abstract
Let be a commutative noetherian local ring of Krull dimension . We prove that the cohomology annihilator of is -primary if and only if for some the -th syzygies in are constructed from syzygies of by taking direct sums/summands and a fixed number of extensions. These conditions yield that is an isolated singularity such that the bounded derived category and the singularity category have finite dimension, and the converse holds when is Gorenstein. We also show that the modules locally free on the punctured spectrum are constructed from syzygies of finite length modules by taking direct sums/summands and extensions. This result is exploited to investigate several ascent and descent problems between and its completion .
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsAlgebraic structures and combinatorial models · Commutative Algebra and Its Applications · Algebraic Geometry and Number Theory
