English

Solution to a conjecture on edge rings with 2-linear resolutions

Commutative Algebra 2022-05-31 v1

Abstract

For a graph G=(V,E)G=(V,E) the edge ring k[G]k[G] is k[x1,,xn]/I(G)k[x_1,\ldots,x_n]/I(G), where n=Vn=|V| and I(G)I(G) is generated by {xixj;{i,j}E}\{ x_ix_j;\{ i,j\}\in E\}. The conjecture we treat is the following. If k[G]k[G] has a 2-linear resolution, then the projective dimension of K[G]K[G], pd(k[G])(k[G]), equals the maximal degree of a vertex in GG. As far as we know, this conjecture is first mentioned in a paper by Gitler and Valencia, and there it is called the Eliahou-Villarreal conjecture. The conjecture is treated in a recent paper by Ahmed, Mafi, and Namiq. That there are counterexamples was noted already by Moradi and Kiani. By interpreting k[G]k[G] as a Stanley-Reisner ring, we are able to characterize those graphs for which the conjecture holds.

Keywords

Cite

@article{arxiv.2205.14436,
  title  = {Solution to a conjecture on edge rings with 2-linear resolutions},
  author = {Ralf Fröberg},
  journal= {arXiv preprint arXiv:2205.14436},
  year   = {2022}
}

Comments

5 pages

R2 v1 2026-06-24T11:31:51.701Z