Integral points and orbits of endomorphisms on the projective plane

Levin, Aaron; Yasufuku, Yu

doi:10.1090/tran/7263

Integral points and orbits of endomorphisms on the projective plane
HTML articles powered by AMS MathViewer

by Aaron Levin and Yu Yasufuku PDF

Trans. Amer. Math. Soc. 371 (2019), 971-1002 Request permission

Abstract:

We analyze when integral points on the complement of a finite union of curves in $\mathbb {P}^2$ are potentially dense. When the logarithmic Kodaira dimension $\bar {\kappa }$ is $-\infty$, we completely characterize the potential density of integral points in terms of the number of irreducible components at infinity and the number of multiple members in a pencil naturally associated to the surface. When $\bar {\kappa } = 0$, we prove that integral points are always potentially dense. The bulk of our analysis concerns the subtle case of $\bar {\kappa }=1$. We determine the potential density of integral points in a number of cases by incorporating the structure theory of affine surfaces and developing an arithmetic framework for studying integral points on surfaces fibered over curves.

We also prove, assuming Lang–Vojta’s conjecture, that an orbit under an endomorphism $\phi$ of $\mathbb {P}^2$ can contain a Zariski-dense set of integral points only if there is a nontrivial completely invariant proper Zariski-closed subset of $\mathbb {P}^2$ under $\phi$. This may be viewed as a generalization of a result of Silverman on $\mathbb {P}^1$.

References

Paraskevas Alvanos, Yuri Bilu, and Dimitrios Poulakis, Characterizing algebraic curves with infinitely many integral points, Int. J. Number Theory 5 (2009), no. 4, 585–590. MR 2532274, DOI 10.1142/S1793042109002274
E. Amerik, F. Bogomolov, and M. Rovinsky, Remarks on endomorphisms and rational points, Compos. Math. 147 (2011), no. 6, 1819–1842. MR 2862064, DOI 10.1112/S0010437X11005537
E. Amerik and F. Campana, Exceptional points of an endomorphism of the projective plane, Math. Z. 249 (2005), no. 4, 741–754. MR 2126212, DOI 10.1007/s00209-004-0727-z
Hisayo Aoki, Étale endomorphisms of smooth affine surfaces, J. Algebra 226 (2000), no. 1, 15–52. MR 1749875, DOI 10.1006/jabr.1999.8105
F. Beukers, Ternary form equations, J. Number Theory 54 (1995), no. 1, 113–133. MR 1352640, DOI 10.1006/jnth.1995.1105
Yuri F. Bilu, Quantitative Siegel’s theorem for Galois coverings, Compositio Math. 106 (1997), no. 2, 125–158. MR 1457336, DOI 10.1023/A:1000172615719
Enrico Bombieri and Walter Gubler, Heights in Diophantine geometry, New Mathematical Monographs, vol. 4, Cambridge University Press, Cambridge, 2006. MR 2216774, DOI 10.1017/CBO9780511542879
Frédéric Campana, Orbifolds, special varieties and classification theory, Ann. Inst. Fourier (Grenoble) 54 (2004), no. 3, 499–630 (English, with English and French summaries). MR 2097416, DOI 10.5802/aif.2027
D. Cerveau and A. Lins Neto, Hypersurfaces exceptionnelles des endomorphismes de $\textbf {C}\textrm {P}(n)$, Bol. Soc. Brasil. Mat. (N.S.) 31 (2000), no. 2, 155–161 (French, with English and French summaries). MR 1785266, DOI 10.1007/BF01244241
H. Darmon, Faltings plus epsilon, Wiles plus epsilon, and the generalized Fermat equation, C. R. Math. Rep. Acad. Sci. Canada 19 (1997), no. 1, 3–14. MR 1479291
Henri Darmon and Andrew Granville, On the equations $z^m=F(x,y)$ and $Ax^p+By^q=Cz^r$, Bull. London Math. Soc. 27 (1995), no. 6, 513–543. MR 1348707, DOI 10.1112/blms/27.6.513
Gerd Faltings, Diophantine approximation on abelian varieties, Ann. of Math. (2) 133 (1991), no. 3, 549–576. MR 1109353, DOI 10.2307/2944319
Gerd Faltings, The general case of S. Lang’s conjecture, Barsotti Symposium in Algebraic Geometry (Abano Terme, 1991) Perspect. Math., vol. 15, Academic Press, San Diego, CA, 1994, pp. 175–182. MR 1307396
John Erik Fornæss and Nessim Sibony, Complex dynamics in higher dimension. I, Astérisque 222 (1994), 5, 201–231. Complex analytic methods in dynamical systems (Rio de Janeiro, 1992). MR 1285389
R. V. Gurjar and M. Miyanishi, Affine lines on logarithmic $\textbf {Q}$-homology planes, Math. Ann. 294 (1992), no. 3, 463–482. MR 1188132, DOI 10.1007/BF01934336
Joe Harris, Theta-characteristics on algebraic curves, Trans. Amer. Math. Soc. 271 (1982), no. 2, 611–638. MR 654853, DOI 10.1090/S0002-9947-1982-0654853-6
Robin Hartshorne, Algebraic geometry, Graduate Texts in Mathematics, No. 52, Springer-Verlag, New York-Heidelberg, 1977. MR 0463157, DOI 10.1007/978-1-4757-3849-0
Marc Hindry and Joseph H. Silverman, Diophantine geometry, Graduate Texts in Mathematics, vol. 201, Springer-Verlag, New York, 2000. An introduction. MR 1745599, DOI 10.1007/978-1-4612-1210-2
Shigeru Iitaka, Algebraic geometry, North-Holland Mathematical Library, vol. 24, Springer-Verlag, New York-Berlin, 1982. An introduction to birational geometry of algebraic varieties. MR 637060, DOI 10.1007/978-1-4613-8119-8
Shigeru Iitaka, Daisū kikagaku. I–III, 2nd ed., Iwanami Shoten Kiso Sūgaku [Iwanami Lectures on Fundamental Mathematics], vol. 23, Iwanami Shoten, Tokyo, 1984 (Japanese). Daisū [Algebra], vii. MR 845274
Yujiro Kawamata, On the classification of noncomplete algebraic surfaces, Algebraic geometry (Proc. Summer Meeting, Univ. Copenhagen, Copenhagen, 1978) Lecture Notes in Math., vol. 732, Springer, Berlin, 1979, pp. 215–232. MR 555700
Hideo Kojima, Structure of affine surfaces $\textbf {P}^2-B$ with $\overline \kappa \leq 1$, J. Algebra 253 (2002), no. 1, 100–111. MR 1925009, DOI 10.1016/S0021-8693(02)00060-1
Masayoshi Miyanishi and Tohru Sugie, On a projective plane curve whose complement has logarithmic Kodaira dimension $-\infty$, Osaka Math. J. 18 (1981), no. 1, 1–11. MR 609973
Shinichi Mochizuki, Inter-universal Teichmüller theory IV: Log-volume computations and set-theoretic foundations, preprint available on his webpage, 2012.
Joseph H. Silverman, Integer points, Diophantine approximation, and iteration of rational maps, Duke Math. J. 71 (1993), no. 3, 793–829. MR 1240603, DOI 10.1215/S0012-7094-93-07129-3
Arne Smeets, Insufficiency of the étale Brauer-Manin obstruction: towards a simply connected example, Amer. J. Math. 139 (2017), no. 2, 417–431. MR 3636635, DOI 10.1353/ajm.2017.0010
Keita Tono, Defining equations of certain rational cuspidal curves, 2000, Thesis (Ph.D.)–Saitama University.
Keita Tono, Rational unicuspidal plane curves with $\overline \kappa =1$, Sūrikaisekikenkyūsho K\B{o}kyūroku 1233 (2001), 82–89. Newton polyhedra and singularities (Japanese) (Kyoto, 2001). MR 1905271
Shuichiro Tsunoda, The complements of projective plane curves, Sūrikaisekikenkyūsho Kōkyūroku 446 (1981), 48–55.
Machiel van Frankenhuijsen, $ABC$ implies the radicalized Vojta height inequality for curves, J. Number Theory 127 (2007), no. 2, 292–300. MR 2362438, DOI 10.1016/j.jnt.2006.03.010
Paul Vojta, Diophantine approximations and value distribution theory, Lecture Notes in Mathematics, vol. 1239, Springer-Verlag, Berlin, 1987. MR 883451, DOI 10.1007/BFb0072989
Paul Vojta, Integral points on subvarieties of semiabelian varieties. I, Invent. Math. 126 (1996), no. 1, 133–181. MR 1408559, DOI 10.1007/s002220050092
Paul Vojta, A more general $abc$ conjecture, Internat. Math. Res. Notices 21 (1998), 1103–1116. MR 1663215, DOI 10.1155/S1073792898000658
Paul Vojta, Integral points on subvarieties of semiabelian varieties. II, Amer. J. Math. 121 (1999), no. 2, 283–313. MR 1680329, DOI 10.1353/ajm.1999.0014
Isao Wakabayashi, On the logarithmic Kodaira dimension of the complement of a curve in $P^{2}$, Proc. Japan Acad. Ser. A Math. Sci. 54 (1978), no. 6, 157–162. MR 498590
Junyi Xie, The existence of Zariski dense orbits for polynomial endomorphisms of the affine plane, Compos. Math. 153 (2017), no. 8, 1658–1672. MR 3705271, DOI 10.1112/S0010437X17007187
Yu Yasufuku, Deviations from $S$-integrality in orbits on $\Bbb P^N$, Bull. Inst. Math. Acad. Sin. (N.S.) 9 (2014), no. 4, 603–631. MR 3309943
Hisao Yoshihara, On plane rational curves, Proc. Japan Acad. Ser. A Math. Sci. 55 (1979), no. 4, 152–155. MR 533711