Journal of Algebraic Geometry

Journal of Algebraic Geometry

Online ISSN 1534-7486; Print ISSN 1056-3911



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
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 [Enhancements On Off] (What's this?)

  • [AR] 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)
  • [Be] F. Beukers, Ternary Form Equations, J. Number Theory 54 (1995), 113-133. MR 1352640 (96i:11028)
  • [BMZ1] 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)
  • [BMZ2] 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)
  • [Bo] E. Borel, Sur les zéros des fonctions entières, Acta Math., 20 (1897), 357-396. MR 1554885
  • [BrM] D. Brownawell, D. Masser, Vanishing sums in function fields, Math. Proceedings Cambridge Phyl. Soc, 100 (1986), 427-434. MR 857720 (87k:11080)
  • [CoZ] 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)
  • [CZ1] 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)
  • [CZ2] 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)
  • [G1] 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)
  • [G2] M. Green, Some Picard theorems for holomorphic maps to algebraic varieties, American J. Math., 97 (1975), 43-75. MR 0367302 (51:3544)
  • [KMK] S. Keel, J. McKernan, Rational Curves on Quasi Projective Surfaces, Memoirs of the American Math. Soc., 669, (1999). MR 1610249 (99m:14068)
  • [NWY] J. Noguchi, J. Winkelmann, K. Yamanoi, Degeneracy of Holomorphic Curves into Algebraic Varieties, preprint arXiv:math.CV/0507122 (2005)
  • [S] 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)
  • [V] P. Vojta, Diophantine Approximations and Value Distribution Theory, LNM 1239, Springer 1987. MR 883451 (91k:11049)
  • [W] J.T. Wang, An effective Schmidt's subspace theorem over function fields, Math. Zeit., 246 (2004), 811-844. MR 2045840 (2004m:11117)
  • [Z1] U. Zannier, Some remarks on the $ S$-unit equation in function fields, Acta Arith. 94 (1993), 87-98. MR 1220487 (94c:11111)
  • [Z2] 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

Umberto Zannier
Affiliation: Scuola Normale Superiore, Piazza dei Cavalieri, 7, 56100 Pisa, Italy

Received by editor(s): February 15, 2006
Received by editor(s) in revised form: March 23, 2007
Published electronically: December 5, 2007

American Mathematical Society