The projective-dimension conjecture for edge rings with 2-linear resolutions

Let G=(V,E)G=(V,E) be a graph, let n=Vn=|V|, and let k[G]=k[x1,,xn]/I(G)k[G]=k[x_1,\ldots,x_n]/I(G) be its edge ring, where I(G)I(G) is generated by {xixj:{i,j}E}\{x_ix_j:\{i,j\}\in E\}. Write pd(k[G])\operatorname{pd}(k[G]) for the projective dimension of k[G]k[G], and let the maximal degree of a vertex in GG mean the maximum of the vertex degrees. The edge-ring projective-dimension conjecture. If k[G]k[G] has a 2-linear resolution, then

pd(k[G])=maxvVdegG(v).\operatorname{pd}(k[G])=\max_{v\in V}\deg_G(v).

The conjecture relates the homological complexity of an edge ring to the maximum vertex degree of its graph. In the supplied source, it is presented as the conjecture being treated; the provided material gives no resolution status beyond the paper’s title, so its database status is recorded as open.

Sources & referencesView supporting material

Primary source

Ralf Fröberg, “Solution to a conjecture on edge rings with 2-linear resolutions”, arXiv:2205.14436 (2022).

Progress summary

Never refreshed

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

Solutions 0

No solutions have been posted yet.