Generators of Koszul homology with coefficients in a \(J\)-closed module (Q2176095): Difference between revisions

Inspired by the work of \textit{H. Rahmati} et al. [J. Algebra 498, 129--152 (2018; Zbl 1426.13006)] on weak complete intersection ideals, the author introduces a new class of modules call \(J\)-closed modules. In a commutative Noetherian local ring \(Q\), a weak complete intersection ideal \(I\) is an ideal where the minimal free resolution \(F\) of \(Q/I\) has differentials with images in \(IF\), that is, the entries of the differential are all in \(I\). In the same vein, a \(J\)-closed module \(M\) is a module with a projective resolution \(P\) of \(M\) whose differentials have entries in \(J\), and an ideal \(I\) is a \(J\)-closed ideal if \(Q/I\) has a projective resolution \(P\) whose differentials have entries in \(J\). One goal of the article is to compare weak complete intersection ideals and \(J\)-closed ideals. Though the definitions are similar in flavor, it turns out that neither class is contained in the other. Proposition~2.9 reveals that a weak complete intersection ideal is a \(J\)-closed ideal if and only if it is a complete intersection ideal embedded in \(J\). Section~2 also presents the necessary definitions, examples, and constructions, including deformation retracts and the de Rham contraction. Section~3 presents the generators of the Koszul homology of such modules. More specifically, for a regular sequence \(\underline{g}\) in \(Q\) that generates \(J\) and a \(J\)-closed module \(M\), an explicit presentation of the generators of the homology of the Koszul complex on \(\underline{g}\) with coefficients in \(M\). This broadens the work on the generators of Koszul homology in [\textit{J. Herzog}, Aportaciones Mat., Notas Invest. 6, 33--41 (1992; Zbl 0868.13015)] and [Rahmati et al., loc. cit.]. These explicit formulas are given in terms of a kind of partial derivative on the de Rham contraction built from \(\underline{g}\). Section~4 again examines the relation between \(J\)-closed ideals and weak complete intersection ideals. Using the formulas for Koszul homology in Section~3, the author studies the ideal \(\bar{J} = J/I\) of the quotient \(Q/I\), where \(I\) is a \(J\)-closed ideal of \(Q\). In particular, Proposition~4.4 gives a condition for when \(\bar{J}\) is a weak complete intersection ideal in \(Q/I\). Examples are given throughout, both showing an application of Proposition~4.4 and the fact that its converse is not true.