Jöllenbeck's resolution conjecture for monomial rings

From papers

Let S=k[x1,,xn]S=k[x_1,\ldots,x_n], let a=m1,,ml\mathfrak a=\langle m_1,\ldots,m_l\rangle be a monomial ideal, and set A=S/aA=S/\mathfrak a. Let RR be the graded commutative algebra constructed from the Taylor resolution modulo the relations generated by [YI,YJ][Y_I,Y_J] whenever gcd(mI,mJ)=1\gcd(m_I,m_J)=1. Let FF_\bullet be a multigraded minimal AA-free resolution of kk, with

Fi=αNnA(α)βi,α.F_i=\bigoplus_{\alpha\in\mathbb N^n}A(-\alpha)^{\beta_{i,\alpha}}.

For J{1,,n}J\subset\{1,\ldots,n\} with J=l|J|=l, let αJ\alpha_J be its characteristic vector. Jöllenbeck's resolution conjecture. There is an isomorphism of kk-vector spaces

FiJ{1,,n}J=l uRu=ilA((αJ+deg(u))).F_i\operatorname{\cong}\bigoplus_{J\subset\{1,\ldots,n\}\atop |J|=l}\ \bigoplus_{u\in R\atop |u|=i-l}A\big(-\big(\alpha_J+\deg(u)\big)\big).

The conjecture proposes an explicit description of the multigraded minimal resolution of the residue field, and the paper states that it implies the Charalambous–Reeves Poincaré–Betti formula and a Hilbert-series formula. It is proved only for some classes of monomial algebras in the supplied context.

Progress summary

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Sources & referencesView supporting material

Primary source

Michael Joellenbeck, “On the multigraded Hilbert and Poincaré-Betti series and the Golod property of monomial rings”, arXiv:math/0501356 (2005).

Solutions 0

No solutions have been posted yet.