Torsion points and concurrent exceptional curves on del Pezzo surfaces of degree one
Julie Desjardins, Rosa Winter
TL;DR
This work investigates when a point on a degree-$1$ del Pezzo surface $S$ that lies on many exceptional curves induces a torsion point on its fiber in the associated rational elliptic surface $\mathscr{E}$. By mapping exceptional curves to sections of $\mathscr{E}$ and exploiting the $E_8$-lattice structure of the Mordell–Weil group along with height pairings, the authors reduce the problem to linear relations among sections drawn from concurrent curves. They prove a sharp result: if at least $9$ exceptional curves pass through a common point, the corresponding fiber point is torsion; they also construct explicit counterexamples showing that $7$ lines do not guarantee torsion, and provide partial results for the open case of $8$ lines, including a detailed classification of possible configurations in characteristic $0$. These findings advance understanding of the distribution of rational points on degree-$1$ del Pezzo surfaces and illuminate the interplay between line configurations and torsion phenomena in the associated elliptic fibrations.
Abstract
The blow-up of the anticanonical base point on a del Pezzo surface $S$ of degree 1 gives rise to a rational elliptic surface $\mathscr{E}$ with only irreducible fibers. The sections of minimal height of $\mathscr{E}$ are in correspondence with the $240$ exceptional curves on $S$. A natural question arises when studying the configuration of these curves: if a point on $S$ is contained in 'many' exceptional curves, it is torsion on its fiber on $\mathscr{E}$? In 2005, Kuwata proved for the analogous question on del Pezzo surfaces of degree $2$, where there are 56 exceptional curves, that if 'many' equals $4$ or more, the answer is yes. In this paper, we prove that for del Pezzo surfaces of degree 1, the answer is yes if 'many' equals $9$ or more. Moreover, we give counterexamples where a \textsl{non}-torsion point lies in the intersection of $7$ exceptional curves. We give partial results for the still open case of 8 intersecting exceptional curves.
