Irrational Seshadri constants from dihedral orbits

Abstract

We construct an irrational one-point Seshadri constant on the blow-up $X_9$ of $\mathbb{P}^2$ at nine very general points. The divisor $L=9H-3(E_1+\cdots+E_5)-2(E_6+\cdots+E_9)$ is ample and satisfies $\varepsilon(L;x)=2\sqrt{5}$ at a very general point $x\in X_9$. To prove this, we establish that the Seshadri constant of $\mathcal{O}_{\mathbb{P}^1\times\mathbb{P}^1}(1,1)$ at ten very general points is $1/\sqrt{5}$, completing the reflection approach proposed by Dionne and Roth for the ten-point case. We also prove that the same equality holds at a very general free orbit of a fixed dihedral group of order ten. This yields an irrational one-point Seshadri constant on the singular quotient surface. A plane model of its minimal resolution and a deformation of the blow-up centers then give the result on $X_9$.

Abstract: arXiv descriptive metadata (CC0). Thank you to arXiv for use of its open access interoperability. This service was not reviewed or approved by, nor does it necessarily express or reflect the policies or opinions of, arXiv.