On growth in minimal totally acyclic complexes

Abstract: Given a commutative Noetherian local ring, we provide a criterion under which a totally acyclic minimal complex of free modules has symmetric growth.

Review text

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\).

Recommendations

Cites work

Cited in

(8)

This page was built for publication: On growth in minimal totally acyclic complexes

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