Sequence-regular commutative DG-rings
From MaRDI portal
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 -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.
Cites work
- A study in derived algebraic geometry. Volume I: Correspondences and duality
- Acyclicity of Tate constructions.
- Amplitude inequalities for differential graded modules.
- Bounded complexes of flat modules
- Complete intersections and mod \(p\) cochains
- Complete intersections in rational homotopy theory
- Completion and torsion over commutative DG rings
- Completion, Čech and local homology and cohomology. Interactions between them
- Derived categories
- DUALIZING DIFFERENTIAL GRADED MODULES AND GORENSTEIN DIFFERENTIAL GRADED ALGEBRAS
- Flatness and completion revisited
- Gorenstein differential graded algebras
- Gorenstein spaces
- Homological Dimension in Local Rings
- Homological dimensions of local (co)homology over commutative DG-rings
- Homological identities and dualizing complexes of commutative differential graded algebras
- Homotopical algebraic geometry. II. Geometric stacks and applications
- Homotopy Invariant Commutative Algebra over Fields
- scientific article; zbMATH DE number 3122457 (Why is no real title available?)
- scientific article; zbMATH DE number 43569 (Why is no real title available?)
- scientific article; zbMATH DE number 482758 (Why is no real title available?)
- scientific article; zbMATH DE number 3337757 (Why is no real title available?)
- Injective DG-modules over non-positive DG-rings
- Koszul complexes over Cohen-Macaulay rings
- Locally Gorenstein Homomorphisms
- Open loci results for commutative DG-rings
- Recognizing dualizing complexes
- Residue fields for a class of rational \(\mathbf E_{\infty}\)-rings and applications
- Sequences for complexes
- Sequences for complexes II
- Singular support of coherent sheaves and the geometric Langlands conjecture
- Support and adic finiteness for complexes
- The Cohen-Macaulay property in derived commutative algebra
- The derived category of a locally complete intersection ring
- The squaring operation for commutative DG rings
- The twisted inverse image pseudofunctor over commutative DG rings and perfect base change
Cited in
(3)
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)
