The three-dimensional restriction conjecture for quadratic monomial projection algebras

About 3 years old · traced to

Let n≥3n\ge 3 and take a cyclic group G⊂GL⁡(n+1,K)G\subset \operatorname{GL}(n+1,{\bf K}) of order dd generated by a diagonal matrix

(eα00⋯00eα1⋯0⋮⋮⋱⋮00⋯eαn)\left(\begin{array}{lllllll} e^{\alpha_0} & 0 & \cdots & 0\\\\ 0 & e^{\alpha_1} & \cdots & 0\\\\ \vdots & \vdots & \ddots & \vdots\\\\ 0 & 0 & \cdots & e^{\alpha_n}\end{array}\right)

where ee is a dd-th primitive root of 1∈K1\in {\bf K}. For i<j<ki<j<k, let Gi,j,k⊂GL⁡(3,K)G^{i,j,k}\subset \operatorname{GL}(3,{\bf K}) be the cyclic group generated by

(eαi000eαj000eαk).\left(\begin{array}{lllllll} e^{\alpha_i} & 0 & 0\\\\ 0 & e^{\alpha_j} & 0\\\\ 0 & 0 & e^{\alpha_k}\end{array}\right).

The three-dimensional restriction conjecture. The algebra A⁡(Xn,dG)\operatorname{A}(X_{n,d}^G) is quadratic if and only if, for all i<j<ki<j<k, the algebra A⁡(X2,dGi,j,k)\operatorname{A}(X_{2,d}^{G^{i,j,k}}) is quadratic.

This conjecture proposes that quadraticity of these algebras for cyclic diagonal group actions in arbitrary dimension is detected by all three-dimensional coordinate restrictions. It is motivated by the preceding results, a cited corollary, and Macaulay2 computations; no resolution is supplied in the source.

References

Primary source

Liena Colarte-Gómez, Rosa M. Miró-Roig and Lisa Nicklasson, “Monomial projections of Veronese varieties: new results and conjectures”, arXiv:2303.09582 (2023).

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.