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 for all and large enough , 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 for -units ; 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.

**[AR]**N. Ailon, Z. Rudnick, Torsion points on curves and common divisors of and ,*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 ,*Bull. London Math. Soc.***34**(2002), 21-32. MR**1866424 (2002j:11082)****[CZ1]**P. Corvaja, U. Zannier, On the diophantine equation ,*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 -unit points,*Monatshefte f. Math.***144**(2005), 203-224. MR**2130274 (2005k:11140)****[G1]**M. Green, On the functional equation 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 -unit equation in function fields,*Acta Arith.***94**(1993), 87-98. MR**1220487 (94c:11111)****[Z2]**U. Zannier, Polynomial squares of the form ,*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

Email:
corvaja@dimi.uniud.it

**Umberto Zannier**

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

Email:
u.zannier@sns.it

DOI:
https://doi.org/10.1090/S1056-3911-07-00489-4

Received by editor(s):
February 15, 2006

Received by editor(s) in revised form:
March 23, 2007

Published electronically:
December 5, 2007