Discrete geometry of Cox rings of blow-ups of $\mathbb{P}^3$ (2208.05258v1)

Abstract: We prove quadratic generation for the ideal of the Cox ring of the blow-up of $\mathbb{P}^3$ at $7$ points, solving a conjecture of Lesieutre and Park. To do this we compute Khovanskii bases, implementing techniques which proved successful in the case of Del Pezzo surfaces. Such bases give us degenerations to toric varieties whose associated polytopes encode toric degenerations with respect to all projective embeddings. We study the edge-graphs of these polytopes and we introduce the Mukai edge graph.