On associated graded modules having a pure resolution

DOI10.1090/PROC/13051MaRDI QIDQ2816991zbMATH OpenOpenAlexFDO

Authors Tony J. Puthenpurakal

Publication date 26 August 2016

Published in Proceedings of the American Mathematical Society (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1409.1762

zbMATH Keywords

associated graded ringsminimal free resolutionspure resolutions

Mathematics Subject Classification ID

Associated graded rings of ideals (Rees ring, form ring), analytic spread and related topics (13A30) Syzygies, resolutions, complexes and commutative rings (13D02)

Abstract: Let $A=K[[X_1,cdots,X_n]]$ and let $mathfrakm=(X_1,cdots,X_n)$. Let $M$ be a Cohen-Macaulay $A$-module of codimension $p$. In this paper we give a necessary and sufficient condition for the associated graded module $G_{mathfrakm}(M)$ to have a pure resolution over the polynomial ring $G_{mathfrakm}(A)congK[X_1,cdots,X_n]$.

Review text

Let \(A=KX_1,\dots,X_n\) and \(m=(X_1,\dots,X_n)\). Let \(G_m(A)=\bigoplus_{n\geq 0}m^n/m^{n+1}\) be the associated graded ring of \(A\), and \(M\) a finitely generated \(A\)-module. Let \(G_m(M) =\bigoplus_{n\geq 0} m^nM/m^{n+1}M\) be the associated graded module of \(M\) with respect to \(m\). In the paper, the author gives a necessary and suffiicent condition for \(G_m(M)\) to have a pure resolution. He proves in theorem 1.3 that, if \(G_m(M)\) has a pure resolution and \(F\) is a minimal free resolution of \(M\), then \(\mathrm{in}(F)\) is a minimal free resolution of \(G_m(M)\). Further, when \(M\) is Cohen-Macaulay, he shows the following:NEWLINENEWLINETheorem 1.4. Let \(M\) be a Cohen-Macaulay \(A\)-module and \(p=\mathrm{projdim }M\). Let \(\beta_i=\beta_i(M)\) and \(F\) a minimal resolution of \(M\). The following conditions are equivalent:{\parindent=0.6cm\begin{itemize}\item[i.] \(G_m(M)\) has a pure resolution. \item[ii.] The following hold: {\parindent=0.8cm\begin{itemize}\item[(a)] \(\mathrm{in}(F)\) is acyclic. \item[(b)] For \(i\geq 1\), \(\beta_i=(-1)^{i+1}\beta_0\prod_{\overset{1\leq j\leq p}{j\neq i}}\frac{dj}{d_j-d_i}\) \item[(c)] The multiplicity of \(M\), \(e_0(M) = \frac{\beta_0}{p!}\prod_{i=1}^p\).NEWLINENEWLINE\end{itemize}}NEWLINENEWLINE\end{itemize}}

Recommendations

• Modules with pure resolutions
• From associated graded modules to blowing-ups of generalized Cohen-Macaulay modules
• scientific article; zbMATH DE number 3912503
• On the bettinumbers of finite pure and linear resolutions
• Modules with pure resolutions over Koszul algebras.

Cites work

• A Note on the Multiplicity of Cohen-Macaulay Algebras with Pure Resolutions
• Betti numbers of graded modules and cohomology of vector bundles
• Bounds for multiplicities
• Graded Betti numbers of Cohen-Macaulay modules and the multiplicity conjecture
• scientific article; zbMATH DE number 43569 (Why is no real title available?)
• Koszul modules
• On the bettinumbers of finite pure and linear resolutions

Cited in

(3)

• A Family of Graded Modules Associated to a Module
• On the resolution of the cokernel of the generic map induced between schur functors corresponding to a partition
• Quasi-pure resolutions and some lower bounds of Hilbert coefficients of Cohen-Macaulay modules

Describes a project that uses

Uses Software

• BoijSoederberg

This page was built for publication: On associated graded modules having a pure resolution

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