Sequence-regular commutative DG-rings

DOI10.1016/J.JALGEBRA.2024.02.034arXiv2106.08109OpenAlexW4392455297MaRDI QIDQ6203789FDOQ6203789

Authors: Liran Shaul 

Publication date: 8 April 2024

Published in: Journal of Algebra (Search for Journal in Brave)

Abstract: We introduce a new class of commutative noetherian DG-rings which generalizes the class of regular local rings. These are defined to be local DG-rings $$ such that the maximal ideal $$ can be generated by an $A$-regular sequence. We call these DG-rings sequence-regular DG-rings, and make a detailed study of them. Using methods of Cohen-Macaulay differential graded algebra, we prove that the Auslander-Buchsbaum-Serre theorem about localization generalizes to this setting. This allows us to define global sequence-regular DG-rings, and to introduce this regularity condition to derived algebraic geometry. It is shown that these DG-rings share many properties of classical regular local rings, and in particular we are able to construct canonical residue DG-fields in this context. Finally, we show that sequence-regular DG-rings are ubiquitous, and in particular, any eventually coconnective derived algebraic variety over a perfect field is generically sequence-regular.

Full work available at URL: https://arxiv.org/abs/2106.08109

zbMATH Keywords

regular local ringcommutative DG-ringCohen-Macaulay DG-ring

Mathematics Subject Classification ID

Special types (Cohen-Macaulay, Gorenstein, Buchsbaum, etc.) (13H10) Differential graded algebras and applications (associative algebraic aspects) (16E45) Derived categories and commutative rings (13D09) Regular local rings (13H05)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Sequences for complexes
• Sequences for complexes II
• Singular support of coherent sheaves and the geometric Langlands conjecture
• Homotopical algebraic geometry. II. Geometric stacks and applications
• Title not available (Why is that?)
• Homological Dimension in Local Rings
• Locally Gorenstein Homomorphisms
• Bounded complexes of flat modules
• Residue fields for a class of rational \(\mathbf E_{\infty}\)-rings and applications
• Support and adic finiteness for complexes
• Gorenstein differential graded algebras
• DUALIZING DIFFERENTIAL GRADED MODULES AND GORENSTEIN DIFFERENTIAL GRADED ALGEBRAS
• Amplitude inequalities for differential graded modules.
• Complete intersections and mod \(p\) cochains
• Gorenstein spaces
• Acyclicity of Tate constructions.
• Title not available (Why is that?)
• The squaring operation for commutative DG rings
• Derived Categories
• Flatness and completion revisited
• The derived category of a locally complete intersection ring
• Title not available (Why is that?)
• Complete intersections in rational homotopy theory
• The Cohen-Macaulay property in derived commutative algebra
• Recognizing dualizing complexes
• Koszul complexes over Cohen-Macaulay rings
• Homological identities and dualizing complexes of commutative differential graded algebras
• Homotopy Invariant Commutative Algebra over Fields
• Injective DG-modules over non-positive DG-rings
• The twisted inverse image pseudofunctor over commutative DG rings and perfect base change
• Homological dimensions of local (co)homology over commutative DG-rings
• Completion, Čech and Local Homology and Cohomology
• Completion and torsion over commutative DG rings
• Open loci results for commutative DG-rings

Cited In (1)

• Finitistic dimensions over commutative DG-rings

This page was built for publication: Sequence-regular commutative DG-rings

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6203789)