On growth in minimal totally acyclic complexes (Q2453700): Difference between revisions

Let \(A\) be a commutative Noetherian local ring with maximal ideal \({\mathfrak m}\), and let \(C=\{C_n\mid n\in{\mathbb Z}\}\) be a chain complex of finitely generated free \(A\) modules with differential \(d_n:C_n\rightarrow C_{n-1}\). Denote the dual chain complex \(\text{Hom}_A(C,A)\) of \(C\) by \(C^\ast\) and index such that \((C^\ast)_n=(C_{-n-1})^\ast\) and \(d_n^\ast=(d_{-n})^\ast\). The complex \(C\) is said to be \textit{minimally totally acyclic} if both \(C\) and \(C^\ast\) are exact, and if for all \(n\neq 0\) we have that \(d_n(C_n)\subseteq{\mathfrak m}C_{n-1}\). For such a complex, the sub--complex \(\{C_n\mid n\geq 0\}\) is a free resolution of \(M\doteq d_0(C_0)\), and \(\{C_n^\ast\mid n\geq 0\}\) is a free resolution of \(M^\ast\), so that the Betti numbers \(\beta_n(M)\) and \(\beta_n(M^\ast)\) are well--defined. The \textit{complexity} \(\text{cx}_AM\) of \(M\) is defined to be the smallest nonnegative integer \(t\) for which \(\beta_n(M)=O(n^{t-1})\). The authors of the article provide some general conditions under which the complexities of \(M\) and \(M^\ast\) are finite and equal. In particular, these conditions are met when \(A\) is the quotient of a local ring \(B\) by a regular sequence in the maximal ideal of \(B\), and \(M\) has finite projective dimension and depth equal to that of \(A\).