Krull dimension for differential graded algebras (Q368499)

Let \((R, \mathfrak{m})\) be a commutative noetherian local ring with identity. A \textit{homologically finite} \(R\)-complex denotes a \(R\)-complex \(X\) such that the total homology module \(\amalg_{i \in \mathbb{Z}} H_i(X)\) is finitely generated. The \textit{infimum} of a \(R\)-complex is \(\text{inf}(X) := \{i \in \mathbb{Z}| H_i(X) \neq 0\}\). For the purpose of this review, all \(R\)-complexes are homologically finite. Let \(K^R(\mathbf{x})\) denote the Koszul complex over \(R\) on a sequence \(\mathbf{x} = x_1, \ldots ,x_n \in R\). The notion of \textit{Krull dimension} of an \(R\)-complex \(X\) was defined in [\textit{H.-B. Foxby}, J. Pure Appl. Algebra 15, 149--172 (1979; Zbl 0411.13006)] as \[ \text{dim}_R(X) := \text{sup}\{\text{dim}(R/p) - \text{inf}(X_p)| p \in \text{Supp}_R(X)\} \] \textit{L. W. Christensen} [Math. Scand. 89, No. 2, 161--180 (2001; Zbl 1021.13014)] defined the \textit{system of parameters} for a \(R\)-complex related to this Krull dimension. In the present paper, the authors define a \textit{length sequence} for \(X\) to be a sequence \(\mathbf{x} = x_1,\ldots ,x_d \in \mathfrak{m}\) such that the homologies of \(K^R(\mathbf{x}) \otimes X\) have finite length. A \textit{length system of parameters} is a length sequence of the smallest length. The authors also introduce the notion of \textit{length dimension} \(\text{ldim}_R(X)\) for a \(R\)-complex \(X\) as \[ \text{ldim}_R(X):= m - \text{inf}(X) \] where \(m\) is the length of a length system of parameters. In section 2, they introduce the notion of \textit{DG Krull dimension}, denoted \(\text{DGdim}(A)\), for a DG \(R\)-algebra \(A\), as the supremum of length of a chain of DG prime ideals of \(A\). Lemma 3.3 of the paper shows that \(\text{ldim}_R(X) \geq \text{dim}_R(X) \) where inequality can be strict (Example 3.4). The central result of the paper (Theorem 1.3) states that when \(X\) is a \(DG\) \(R\)-algebra these notions agree with the standard ones. More specifically, the authors show that when \(A\) is homologically finite positively graded commutative local noetherian DG \(A_0\)-algebra such that \((A_0, \mathfrak{m_0})\) is local noetherian then the notions of system of parameters for \(A\) (as defined by Christensen [Zbl 1021.13014]), system of parameters for \(H_0(A)\) and the length system of parameters for \(A\) (as defined by the authors), are all equivalent. For the various notions of dimension, they prove \[ \text{ldim}_{A_0}(A) = \text{dim}_{A_0}(A) = \text{dim}(H_0(A)) \] Furthermore, when \(A\) is generated over \(A_0\) in odd degrees or if \(A\) is bounded then they prove that \[ \text{DGdim}(A) = \text{ldim}_{A_0}(A) = \text{dim}_{A_0}(A) = \text{dim}(H_0(A)) \]