The three-dimensional restriction conjecture for quadratic monomial projection algebras

From papers

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

(eα0000eα1000eα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 1K1\in {\bf K}. For i<j<ki<j<k, let Gi,j,kGL(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.

Progress summary

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Sources & referencesView supporting material

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).

Solutions 0

No solutions have been posted yet.