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

About 2 years old · traced to

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 Bl⁡eP\operatorname{Bl}_e\mathbb P for its blow-up at ee. Multiplicity-one generation conjecture. The following are equivalent: (1) the Cox ring of Bl⁡eP\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,xk⟩2.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.

References

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.