Current browse context:
math.AC
Change to browse by:
References & Citations
Mathematics > Commutative Algebra
Title: Koszul complexes over Cohen-Macaulay rings
(Submitted on 21 May 2020 (v1), last revised 17 May 2021 (this version, v3))
Abstract: We prove a Cohen-Macaulay version of a result by Avramov-Golod and Frankild-J{\o}rgensen about Gorenstein rings, showing that if a noetherian ring $A$ is Cohen-Macaulay, and $a_1,\dots,a_n$ is any sequence of elements in $A$, then the Koszul complex $K(A;a_1,\dots,a_n)$ is a Cohen-Macaulay DG-ring. We further generalize this result, showing that it also holds for commutative DG-rings. In the process of proving this, we develop a new technique to study the dimension theory of a noetherian ring $A$, by finding a Cohen-Macaulay DG-ring $B$ such that $\mathrm{H}^0(B) = A$, and using the Cohen-Macaulay structure of $B$ to deduce results about $A$. As application, we prove that if $f:X \to Y$ is a morphism of schemes, where $X$ is Cohen-Macaulay and $Y$ is nonsingular, then the homotopy fiber of $f$ at every point is Cohen-Macaulay. As another application, we generalize the miracle flatness theorem. Generalizations of these applications to derived algebraic geometry are also given.
Submission history
From: Liran Shaul [view email][v1] Thu, 21 May 2020 16:33:36 GMT (21kb)
[v2] Mon, 25 May 2020 10:10:09 GMT (22kb)
[v3] Mon, 17 May 2021 12:22:56 GMT (22kb)
Link back to: arXiv, form interface, contact.