A Taylor resolution over complete intersections (Q6054790): Difference between revisions

Let \(Q=\mathbb{K}[x_1,\dots,x_n]\) be a polynomial ring with coefficients in a field, \(I\subseteq Q\) a monomial ideal and \(\mathfrak{a}\subseteq Q\) an ideal generated by a \(Q\)-regular sequence, such that \(\mathfrak{a}\subseteq I\). Let \(R\) denote the complete intersection ring \(Q/\mathfrak{a}\). Using the Shamash construction --- [\textit{J. Shamash}, J. Algebra 12, 453--470 (1969; Zbl 0189.04004)] and [\textit{D. Eisenbud}, Trans. Am. Math. Soc. 260, 35--64 (1980; Zbl 0444.13006)] --- the author describes a resolution of \(R/I\) over \(R\), obtained from the Taylor resolution of \(Q/I\) (Theorem 3.2). As an application, Corollary 3.3 contains upper bounds for the total Betti numbers of \(R/I\).