Some cases of Vojta’s conjecture on integral points over function fields
Authors:
Pietro Corvaja and Umberto Zannier
Journal:
J. Algebraic Geom. 17 (2008), 295-333
DOI:
https://doi.org/10.1090/S1056-3911-07-00489-4
Published electronically:
December 5, 2007
MathSciNet review:
2369088
Full-text PDF
Abstract |
References |
Additional Information
Abstract:
In the present paper we solve, in particular, the function field version of a special case of Vojta’s conjecture for integral points, namely for the variety obtained by removing a conic and two lines from the projective plane. This will follow from a bound for the degree of a curve on such a surface in terms of its Euler characteristic.
This case is special, but significant, because it lies “at the boundary”, in the sense that it represents the simplest case of the conjecture which is still open. Also, it was already studied in the context of Nevanlinna Theory by M. Green in the seventies.
Our general results immediately imply the degeneracy of solutions of Fermat type equations $z^d=P(x^m,y^n)$ for all $d\ge 2$ and large enough $m,n$, also in the case of non-constant coefficients. Such equations fall apparently out of all known treatments.
The methods used here refer to derivations, as is usual in function fields, but contain fundamental new points. One of the tools concerns an estimation for the $\gcd (1-u,1-v)$ for $S$-units $u,v$; this had been developed also in the arithmetic case, but for function fields we may obtain a much more uniform quantitative version.
In the Appendix we shall finally point out some other implications of the methods to the problem of torsion-points on curves and related known questions.
References
- Nir Ailon and Zéev Rudnick, Torsion points on curves and common divisors of $a^k-1$ and $b^k-1$, Acta Arith. 113 (2004), no. 1, 31–38. MR 2046966, DOI https://doi.org/10.4064/aa113-1-3
- F. Beukers, Ternary form equations, J. Number Theory 54 (1995), no. 1, 113–133. MR 1352640, DOI https://doi.org/10.1006/jnth.1995.1105
- E. Bombieri, D. Masser, and U. Zannier, Intersecting a curve with algebraic subgroups of multiplicative groups, Internat. Math. Res. Notices 20 (1999), 1119–1140. MR 1728021, DOI https://doi.org/10.1155/S1073792899000628
- E. Bombieri, D. W. Masser, and U. Zannier, Finiteness results for multiplicatively dependent points on complex curves, Michigan Math. J. 51 (2003), no. 3, 451–466. MR 2021000, DOI https://doi.org/10.1307/mmj/1070919552
- Emile Borel, Sur les zéros des fonctions entières, Acta Math. 20 (1897), no. 1, 357–396 (French). MR 1554885, DOI https://doi.org/10.1007/BF02418037
- W. D. Brownawell and D. W. Masser, Vanishing sums in function fields, Math. Proc. Cambridge Philos. Soc. 100 (1986), no. 3, 427–434. MR 857720, DOI https://doi.org/10.1017/S0305004100066184
- Paula B. Cohen and Umberto Zannier, Fewnomials and intersections of lines with real analytic subgroups in $\mathbf G^n_m$, Bull. London Math. Soc. 34 (2002), no. 1, 21–32. MR 1866424, DOI https://doi.org/10.1112/S002460930100858X
- Pietro Corvaja and Umberto Zannier, On the Diophantine equation $f(a^m,y)=b^n$, Acta Arith. 94 (2000), no. 1, 25–40. MR 1762454, DOI https://doi.org/10.4064/aa-94-1-25-40
- Pietro Corvaja and Umberto Zannier, A lower bound for the height of a rational function at $S$-unit points, Monatsh. Math. 144 (2005), no. 3, 203–224. MR 2130274, DOI https://doi.org/10.1007/s00605-004-0273-0
- Mark Green, On the functional equation $f^{2}=e^{2\phi _{1}}+e^{2\phi _{2}}+e^{2\phi _{3}}\ $ and a new Picard theorem, Trans. Amer. Math. Soc. 195 (1974), 223–230. MR 348112, DOI https://doi.org/10.1090/S0002-9947-1974-0348112-4
- Mark Lee Green, Some Picard theorems for holomorphic maps to algebraic varieties, Amer. J. Math. 97 (1975), 43–75. MR 367302, DOI https://doi.org/10.2307/2373660
- Seán Keel and James McKernan, Rational curves on quasi-projective surfaces, Mem. Amer. Math. Soc. 140 (1999), no. 669, viii+153. MR 1610249, DOI https://doi.org/10.1090/memo/0669
- J. Noguchi, J. Winkelmann, K. Yamanoi, Degeneracy of Holomorphic Curves into Algebraic Varieties, preprint arXiv:math.CV/0507122 (2005)
- Joseph H. Silverman, Generalized greatest common divisors, divisibility sequences, and Vojta’s conjecture for blowups, Monatsh. Math. 145 (2005), no. 4, 333–350. MR 2162351, DOI https://doi.org/10.1007/s00605-005-0299-y
- Paul Vojta, Diophantine approximations and value distribution theory, Lecture Notes in Mathematics, vol. 1239, Springer-Verlag, Berlin, 1987. MR 883451
- Julie Tzu-Yueh Wang, An effective Schmidt’s subspace theorem over function fields, Math. Z. 246 (2004), no. 4, 811–844. MR 2045840, DOI https://doi.org/10.1007/s00209-003-0618-8
- Umberto Zannier, Some remarks on the $S$-unit equation in function fields, Acta Arith. 64 (1993), no. 1, 87–98. MR 1220487, DOI https://doi.org/10.4064/aa-64-1-87-98
- Umberto Zannier, Polynomial squares of the form $aX^m+b(1-X)^n+c$, Rend. Sem. Mat. Univ. Padova 112 (2004), 1–9. MR 2109949
References
- N. Ailon, Z. Rudnick, Torsion points on curves and common divisors of $a^k-1$ and $b^k-1$, Acta Arith. 113 (2004), 31-38. MR 2046966 (2004m:11045)
- F. Beukers, Ternary Form Equations, J. Number Theory 54 (1995), 113-133. MR 1352640 (96i:11028)
- E. Bombieri, D. Masser, U. Zannier, Intersecting a curve with algebraic subgroups of multiplicative groups, Int. Math. Research Notices 20 (1999), 1119-1140. MR 1728021 (2001c:11081)
- E. Bombieri, D. Masser, U. Zannier, Finiteness results for multiplicative dependent points on complex curves, Michigan Math. J. 51 (2003), 451-466. MR 2021000 (2004k:14079)
- E. Borel, Sur les zéros des fonctions entières, Acta Math., 20 (1897), 357-396. MR 1554885
- D. Brownawell, D. Masser, Vanishing sums in function fields, Math. Proceedings Cambridge Phyl. Soc, 100 (1986), 427-434. MR 857720 (87k:11080)
- P.B. Cohen, U. Zannier, Fewnomials and Intersections of Lines with Real Analytic Subgroups in $\mathbf {G}_m^n$, Bull. London Math. Soc. 34 (2002), 21-32. MR 1866424 (2002j:11082)
- P. Corvaja, U. Zannier, On the diophantine equation $f(a^m,y)=b^n$, Acta Arithmetica 94.1 (2000), 25-40. MR 1762454 (2001c:11041)
- P. Corvaja, U. Zannier, A lower bound for the height of a rational function at $S$-unit points, Monatshefte f. Math. 144 (2005), 203-224. MR 2130274 (2005k:11140)
- M. Green, On the functional equation $f^2=e^{2\phi _1}+ e^{2\phi _2}+e^{2\phi _3}$ and a new Picard theorem, Transactions of the American Math. Soc., 195 (1974), 223-230. MR 0348112 (50:610)
- M. Green, Some Picard theorems for holomorphic maps to algebraic varieties, American J. Math., 97 (1975), 43-75. MR 0367302 (51:3544)
- S. Keel, J. McKernan, Rational Curves on Quasi Projective Surfaces, Memoirs of the American Math. Soc., 669, (1999). MR 1610249 (99m:14068)
- J. Noguchi, J. Winkelmann, K. Yamanoi, Degeneracy of Holomorphic Curves into Algebraic Varieties, preprint arXiv:math.CV/0507122 (2005)
- J.H. Silverman, Generalized Greatest Common Divisor, Divisibility Sequences, and Vojta’s Conjecture for Blowups, Monatsh. f. Math. 145 (2005), 333-350. MR 2162351 (2006e:11087)
- P. Vojta, Diophantine Approximations and Value Distribution Theory, LNM 1239, Springer 1987. MR 883451 (91k:11049)
- J.T. Wang, An effective Schmidt’s subspace theorem over function fields, Math. Zeit., 246 (2004), 811-844. MR 2045840 (2004m:11117)
- U. Zannier, Some remarks on the $S$-unit equation in function fields, Acta Arith. 94 (1993), 87-98. MR 1220487 (94c:11111)
- U. Zannier, Polynomial squares of the form $aX^m+b(1-X)^n+c$, Rend. Sem. Mat. Univ. Padova, 112 (2004), 1-9. MR 2109949 (2005h:11071)
Additional Information
Pietro Corvaja
Affiliation:
Dipartimento di Matematica e Informatica, Via delle Scienze, 206, 33100 - Udine, Italy
MR Author ID:
327308
Email:
corvaja@dimi.uniud.it
Umberto Zannier
Affiliation:
Scuola Normale Superiore, Piazza dei Cavalieri, 7, 56100 Pisa, Italy
MR Author ID:
186540
Email:
u.zannier@sns.it
Received by editor(s):
February 15, 2006
Received by editor(s) in revised form:
March 23, 2007
Published electronically:
December 5, 2007