For a large class of isotrivial rational elliptic surfaces (with section), we
show that the set of rational points is dense for the Zariski topology, by
carefully studying variations of root numbers among the fibers of these
surfaces. We also prove that these surfaces satisfy a variant of weak-weak
approximation. Our results are conditional on the finiteness of
Tate-Shafarevich groups for elliptic curves over the field of rational numbers.
Let X be a del Pezzo surface of degree one over an algebraically closed field
(of any characteristic), and let Cox(X) be its total coordinate ring. We prove
the missing case of a conjecture of Batyrev and Popov, which states that Cox(X)
is a quadratic algebra. We use a complex of vector spaces whose homology
determines part of the structure of the minimal free Pic(X)-graded resolution
of Cox(X) over a polynomial ring. We show that sufficiently many Betti numbers
of this minimal free resolution vanish to establish the conjecture.
Let X be a del Pezzo surface of degree one over an algebraically closed field
(of any characteristic), and let Cox(X) be its total coordinate ring. We prove
the missing case of a conjecture of Batyrev and Popov, which states that Cox(X)
is a quadratic algebra. We use a complex of vector spaces whose homology
determines part of the structure of the minimal free Pic(X)-graded resolution
of Cox(X) over a polynomial ring. We show that sufficiently many Betti numbers
of this minimal free resolution vanish to establish the conjecture.
Duistermaat and van der Kallen show that there is no nontrivial complex
Laurent polynomial all of whose powers have a zero constant term. Inspired by
this, Sturmfels posed two questions: Do the constant terms of a generic Laurent
polynomial form a regular sequence? If so, then what is the degree of the
associated zero-dimensional ideal? In this note, we prove that the Eulerian
numbers provide the answer to the second question. The proof involves
reinterpreting the problem in terms of toric geometry.