The h2=rh_2=r conjecture for artinian Gorenstein algebras

About 15 years old · traced to

Let R/IR/I be an artinian Gorenstein algebra of codimension r≥3r\geq 3 and socle degree ee, and assume that h2=rh_2=r. The h2=rh_2=r conjecture. Then

hi=rfor i=1,2,…,e−1.h_i=r\qquad\text{for }i=1,2,\dots,e-1.

Furthermore, if e≥4e\geq 4, the ideal (I)≤e−1(I)_{\leq e-1} generated by all forms in II of degree at most e−1e-1 is the saturated ideal of a zero-dimensional scheme, and II has an additional r−1r-1 minimal generators in degree ee. The claim is presented as the paper's final conjecture and is not resolved there.

References

Primary source

Juan Migliore and Uwe Nagel, “Gorenstein algebras presented by quadrics”, arXiv:1106.2825 (2011).

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.