Orbits of points on certain \(K3\) surfaces (Q626846): Difference between revisions

The paper under review concerns specific Wehler \(K3\) surfaces over number fields, i.e. smooth intersections of a \((2,2)\) form and a \((1,1)\) form in \(\mathbb{P}^2\times\mathbb{P}^2\). Throughout the paper, the assumption is made that the Wehler \(K3\) surface \(X\) contain a \((-2)\) curve, given by a line inside a fiber of one of the two natural projections, and that the Picard number be \(3\). Then the Picard lattice has discriminant \(22\) and can be represented by the quadratic form \[ \begin{pmatrix} 2 & 4 & 1\\ 4 & 2 & 0\\ 1 & 0 & -2 \end{pmatrix} \] In short, the author proves that the orbit of a point on \(X\) under the automorphism group of \(X\) is either finite, or its exponent of growth is exactly the Hausdorff dimension of a certain fractal associated to the ample cone of \(X\) which was investigated in [Compos. Math. 137, No. 2, 115--134 (2003; Zbl 1044.14014)]. In particular, the exponent does not depend on the arithmetic of the surface, but only on its geometry. (In an addendum \textit{R. van Luijk} shows that the class of \(K3\) surfaces under consideration is indeed non-vacuous [J. Number Theory 131, No. 3, 600--603 (2011; Zbl 1209.14031)]).