The first Euler characteristics versus the homological degrees (Q487065): Difference between revisions

Let \((A,\mathfrak{m})\) be an \(\mathfrak{m}\)-adically complete Noetherian local ring of dimension \(d>0\), with infinite residue field. Let \(M\) be a finitely generated \(A\)-module of dimension \(d\). The purpose of this article is to study the relationship between the first Euler characteristic \(\chi_1(Q;M) = \sum_{i \geq 1} (-1)^{i-1} \ell_A(H_i(Q;M))\) of \(M\) with respect to a parameter ideal \(Q\), and other homological invariants of \(M\), such as the homological degree hdeg\(_Q(M)\). Let \(e^0_Q(M)\) be the multiplicity of \(M\) with respect to \(Q\). Then one always has \(\chi(Q;M) \leq \) hdeg\(_Q(M)-e^0_Q(M)\)[\textit{L. Ghezzi} et al., Acta Math. Vietnam. 40, No. 1, 37--60 (2015; Zbl 1329.13040)]. In the two main results of this article, the authors study when equality holds. In the first Theorem, they show that equality holds if and only if \[ \ell_A(M/Q^{n+1}M) = \sum_{i=0}^d (-1)^i e^i_Q(M) {n+d-1 \choose d-i} \] for all \(n \geq 0\) and the Hilbert coefficients \(e^i_Q(M)\) satisfy certain relations involving the homological torsions \(T^i_Q(M)\). Among these, \[ e^1_Q(M) = -T^1_Q(M). \] Furthermore, when one of these equivalent conditions is satisfied, \(Q\) can be generated by a \(d\)-sequence on \(M\). In the second main result, the authors show that, if \(d \geq 2\), the equality \(\chi_1(Q;M) = \) hdeg\(_Q(M)-e^0_Q(M)\) is equivalent to \(e^1_Q(M) = -T^1_Q(M)\), when \(M\) is unmixed. The authors provide an example to show that the assumption that \(M\) is unmixed is needed.