Equivalent linear-algebraic formulation of the weighted initial-ideal conjecture

Let P=C[x,y,z]P=\mathbb{C}[x,y,z] with weights wt(x)=1\operatorname{wt}(x)=1, wt(y)=2\operatorname{wt}(y)=2, and wt(z)=3\operatorname{wt}(z)=3, and let m\bsinN>0m\bsin\mathbb{N}_{>0}. Set

R=C[x,y,z]/(x,y)3m2,M=(x,y,z)3m2/(x,y)3m2.R=\mathbb{C}[x,y,z]/(x,y)^{3m-2},\qquad M=(x,y,z)^{3m-2}/(x,y)^{3m-2}.

For a general wt\operatorname{wt}-homogeneous polynomial f\bsinPf\bsin P of weight 3m3m, multiplication by ff induces a vector-space map

f:RwMw+3m.f\cdot:R_w\longrightarrow M_{w+3m}.

Equivalent formulation. The map f:RwMw+3mf\cdot:R_w\to M_{w+3m} is an isomorphism for every w\bsinNw\bsin\mathbb{N}. This is presented as an equivalent linear-algebraic formulation of the weighted initial-ideal conjecture. It is intended to imply the primitive-multiple-line construction and hence the relevant maximum-genus cases; the source gives no resolution.

Sources & referencesView supporting material

Primary source

Alessio Sammartano and Enrico Schlesinger, “Initial ideals of weighted forms and the genus of locally Cohen-Macaulay curves”, arXiv:2501.00809 (2025).

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.