Algorithmische P-Zerlegungen und Anwendungen
The Cox ring provides a coordinate system on a toric variety analogous to the homogeneous coordinate ring of projective space. Rational maps between projective spaces are described using polynomials in the coordinate ring, and we generalise this to toric varieties, providing a unified description of arbitrary rational maps between toric varieties in terms of their Cox coordinates. Introducing formal roots of polynomials is necessary even in the simplest examples.
We degenerate Cox–Nagata rings to toric algebras by means of sagbi bases induced by configurations over the rational function field. For del Pezzo surfaces, this degeneration implies the Batyrev–Popov conjecture that these rings are presented by ideals of quadrics. For the blow-up of projective -space at points, sagbi bases of Cox–Nagata rings establish a link between the Verlinde formula and phylogenetic algebraic geometry, and we use this to answer questions due to D’Cruz–Iarrobino and Buczyńska–Wiśniewski....
We give a recursive formula for purely real Welschinger invariants of the following real Del Pezzo surfaces: the projective plane blown up at real and pairs of conjugate imaginary points, where , and the real quadric blown up at pairs of conjugate imaginary points and having non-empty real part. The formula is similar to Vakil’s recursive formula [22] for Gromov–Witten invariants of these surfaces and generalizes our recursive formula [12] for purely real Welschinger invariants of real toric...