The normality conjecture for toric rings arising from cyclic polytopes

Let QQ be the affine semigroup associated with the cyclic polytope construction in the paper, and let K[Q]K[Q] be its semigroup algebra over the field KK. Write nn and dd for the parameters of the construction, and let τ1<τ2<<τn\tau_1<\tau_2<\cdots<\tau_n be the associated parameters. Normality conjecture. The KK-algebra K[Q]K[Q] is normal only in one of the following cases: n=d+1n=d+1; or d=1d=1 and

τ2τ1=τ3τ2==τnτn1.\tau_2-\tau_1=\tau_3-\tau_2=\cdots=\tau_n-\tau_{n-1}.

This conjecture seeks a complete characterization of normality beyond the cases already established, including the known characterization when d=1d=1 and the evident case n=d+1n=d+1; the normality question remains open in the stated generality.

Sources & referencesView supporting material

Primary source

Takayuki Hibi, Akihiro Higashitani, Lukas Katth"an and Ryota Okazaki, “Toric rings arising from cyclic polytopes”, arXiv:1204.5565 (2012).

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.