Transversality of sections on elliptic surfaces with applications to elliptic divisibility sequences and geography of surfaces

We consider elliptic surfaces $\mathcal{E}$ over a field $k$ equipped with zero section $O$ and another section $P$ of infinite order. If $k$ has characteristic zero, we show there are only finitely many points where $O$ is tangent to a multiple of $P$. Equivalently, there is a finite list of integers such that if $n$ is not divisible by any of them, then $nP$ is not tangent to $O$. Such tangencies can be interpreted as unlikely intersections. If $k$ has characteristic zero or $p>3$ and $\mathcal{E}$ is very general, then we show there are no tangencies between $O$ and $nP$. We apply these results to square-freeness of elliptic divisibility sequences and to geography of surfaces. In particular, we construct mildly singular surfaces of arbitrary fixed geometric genus with $K$ ample and $K^2$ unbounded.

[1]  L. Roth,et al.  Algebraic Surfaces , 1950, Nature.

[2]  M. Artin SOME NUMERICAL CRITERIA FOR CONTRACTABILITY OF CURVES ON ALGEBRAIC SURFACES. , 1962 .

[3]  Sakinah,et al.  Vol. , 2020, New Medit.

[4]  Y. Kawamata Introduction to the minimal model problem, in Algebraic Geometry, Sendai, 1985 , 1987 .

[5]  S. Łojasiewicz Ensembles semi-analytiques , 1965 .

[6]  G. Ballew,et al.  The Arithmetic of Elliptic Curves , 2020, Elliptic Curves.

[7]  P. Deligne,et al.  Les Schémas de Modules de Courbes Elliptiques , 1973 .

[8]  R. Sarpong,et al.  Bio-inspired synthesis of xishacorenes A, B, and C, and a new congener from fuscol† †Electronic supplementary information (ESI) available. See DOI: 10.1039/c9sc02572c , 2019, Chemical science.

[9]  E. Bierstone,et al.  Semianalytic and subanalytic sets , 1988 .

[10]  T. Shioda New Trends in Algebraic Geometry: Mordell–Weil lattices for higher genus fibration over a curve , 1999 .

[11]  V. Alexeev,et al.  Bounding Singular Surfaces of General Type , 2004 .

[12]  D. Ghioca,et al.  A variant of a theorem by Ailon-Rudnick for elliptic curves , 2017, 1703.01343.

[13]  Generalized Greatest Common Divisors, Divisibility Sequences, and Vojta’s Conjecture for Blowups , 2004, math/0407415.

[14]  J. Tate,et al.  Algorithm for determining the type of a singular fiber in an elliptic pencil , 1975 .

[15]  Katherine E. Stange,et al.  ALGEBRAIC DIVISIBILITY SEQUENCES OVER FUNCTION FIELDS , 2011, Journal of the Australian Mathematical Society.

[16]  K. Kodaira On compact analytic surfaces II , 1963 .

[17]  U. Zannier Some Problems of Unlikely Intersections in Arithmetic and Geometry , 2012 .

[18]  Polynomial diffeomorphisms ofC2. IV: The measure of maximal entropy and laminar currents , 1992, math/9205210.

[19]  Douglas Ulmer Elliptic curves over function fields , 2011 .

[20]  Y. Kawamata,et al.  Introduction to the Minimal Model Problem , 1987 .

[21]  V. Alexeev,et al.  Log surfaces of Picard rank one from four lines in the plane , 2019, European Journal of Mathematics.

[22]  D. Masser,et al.  Torsion hypersurfaces on abelian schemes and Betti coordinates , 2018 .

[23]  On Mordell–Weil groups of Jacobians over function fields , 2010, Journal of the Institute of Mathematics of Jussieu.

[24]  David A. Cox,et al.  Intersection numbers of sections of elliptic surfaces , 1979 .

[25]  T. Shioda Mordell–Weil Lattices , 1990, Mordell–Weil Lattices.

[26]  Vladimir A Alexeev,et al.  On accumulation points of volumes of log surfaces , 2018, Izvestiya: Mathematics.

[27]  B. Birch,et al.  Modular Functions of One Variable IV , 1975 .

[28]  Yu. I. Manin,et al.  Rational points on algebraic curves over function elds , 1996 .

[29]  B. Moishezon Complex Surfaces and Connected Sums of Complex Projective Planes , 1977 .

[30]  D. Masser,et al.  Torsion anomalous points and families of elliptic curves , 2008, American Journal of Mathematics.