Sectional genera of parameter ideals (Q891650)

Let \((A,\mathfrak{m})\) be a complete Noetherian local ring, with infinite residue field. In the article under review, the authors study relations involving sectional genus, homological degree \(\text{hdeg}_Q(M)\), Hilbert coefficients and homological torsions \(T^i_Q(M)\) of a finitely generated module \(M\) with respect to a parameter ideal \(Q\). The sectional genus was introduced by \textit{A. Ooishi} [Hiroshima Math. J. 17, 361--372 (1987; Zbl 0639.13016)], and it is defined as \(g_s(Q;M) = \ell_A(M/QM)-e^0_Q(M) +e_1^Q(M) = \chi_1(Q;M) + e^1_Q(M)\), where \(\chi_1(Q;M) = \sum_{i \geq 1} (-1)^{i-1} \ell_A(H_i(Q;M))\) is the first Euler characteristic of \(M\) with respect to \(Q\). The authors of this article first show that \[ g_s(Q;M) \leq \text{hdeg}_Q(M) - e^0_Q(M) -T^1_Q(M). \] Since \(\text{hdeg}_Q(M)-e^0_Q(M)\) is an upper bound for \(\chi_1(Q;M)\) [\textit{L. Ghezzi} et al., Acta Math. Vietnam. 40, No. 1, 37--60 (2015; Zbl 1329.13040)], and \(-T^1_Q(M)\) is a lower bound for \(e^1_Q(M)\) [\textit{M. Mandal} et al., J. Algebra 325, No. 1, 147--162 (2011; Zbl 1209.13025)], and equality holds in one case if and only if it holds in the other, it is natural to ask when does equality hold in (1). The main result of this paper is a complete characterization of equality in terms of relations between Hilbert coefficients and torsion modules. Furthermore, when equality holds, the authors show that \(Q\) can be generated by a \(d\)-sequence on \(M\). In the last section, the authors provide interesting examples.