Multiplicity-one generation criterion for blow-ups of projective toric surfaces

Let P=PΣ\mathbb P=\mathbb P_\Sigma be a projective toric surface with Cox ring C[x1,,xn]\mathbb C[x_1,\dots,x_n] and lattice ideal IPI_{\mathbb P}. Let ee denote the identity of the torus of P\mathbb P, and write BleP\operatorname{Bl}_e\mathbb P for its blow-up at ee. Multiplicity-one generation conjecture. The following are equivalent: (1) the Cox ring of BleP\operatorname{Bl}_e\mathbb P is generated in multiplicity 11; (2) for every three indices i,j,k{1,,n}i,j,k\in\{1,\dots,n\},

IP⊈xi,xj,xk2.I_{\mathbb P}\not\subseteq \langle x_i,x_j,x_k\rangle^2.

The theorem immediately preceding this conjecture proves that condition (1) implies condition (2); the converse is proposed based on the examples checked in the paper and remains open in the stated generality.

Sources & referencesView supporting material

Primary source

Antonio Laface and Luca Ugaglia, “On blowing up minimal toric surfaces”, arXiv:2403.05942 (2024).

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.