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 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]**Nir Ailon and Zéev Rudnick,*Torsion points on curves and common divisors of 𝑎^{𝑘}-1 and 𝑏^{𝑘}-1*, Acta Arith.**113**(2004), no. 1, 31–38. MR**2046966**, 10.4064/aa113-1-3**[Be]**F. Beukers,*Ternary form equations*, J. Number Theory**54**(1995), no. 1, 113–133. MR**1352640**, 10.1006/jnth.1995.1105**[BMZ1]**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**, 10.1155/S1073792899000628**[BMZ2]**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**, 10.1307/mmj/1070919552**[Bo]**Emile Borel,*Sur les zéros des fonctions entières*, Acta Math.**20**(1897), no. 1, 357–396 (French). MR**1554885**, 10.1007/BF02418037**[BrM]**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**, 10.1017/S0305004100066184**[CoZ]**Paula B. Cohen and Umberto Zannier,*Fewnomials and intersections of lines with real analytic subgroups in 𝐆ⁿ_{𝐦}*, Bull. London Math. Soc.**34**(2002), no. 1, 21–32. MR**1866424**, 10.1112/S002460930100858X**[CZ1]**Pietro Corvaja and Umberto Zannier,*On the Diophantine equation 𝑓(𝑎^{𝑚},𝑦)=𝑏ⁿ*, Acta Arith.**94**(2000), no. 1, 25–40. MR**1762454****[CZ2]**Pietro Corvaja and Umberto Zannier,*A lower bound for the height of a rational function at 𝑆-unit points*, Monatsh. Math.**144**(2005), no. 3, 203–224. MR**2130274**, 10.1007/s00605-004-0273-0**[G1]**Mark Green,*On the functional equation 𝑓²=𝑒^{2𝜑₁}+𝑒^{2𝜑₂}+𝑒^{2𝜑₃} and a new Picard theorem*, Trans. Amer. Math. Soc.**195**(1974), 223–230. MR**0348112**, 10.1090/S0002-9947-1974-0348112-4**[G2]**Mark Lee Green,*Some Picard theorems for holomorphic maps to algebraic varieties*, Amer. J. Math.**97**(1975), 43–75. MR**0367302****[KMK]**Seán Keel and James McKernan,*Rational curves on quasi-projective surfaces*, Mem. Amer. Math. Soc.**140**(1999), no. 669, viii+153. MR**1610249**, 10.1090/memo/0669**[NWY]**J. Noguchi, J. Winkelmann, K. Yamanoi, Degeneracy of Holomorphic Curves into Algebraic Varieties, preprint arXiv:math.CV/0507122 (2005)**[S]**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**, 10.1007/s00605-005-0299-y**[V]**Paul Vojta,*Diophantine approximations and value distribution theory*, Lecture Notes in Mathematics, vol. 1239, Springer-Verlag, Berlin, 1987. MR**883451****[W]**Julie Tzu-Yueh Wang,*An effective Schmidt’s subspace theorem over function fields*, Math. Z.**246**(2004), no. 4, 811–844. MR**2045840**, 10.1007/s00209-003-0618-8**[Z1]**Umberto Zannier,*Some remarks on the 𝑆-unit equation in function fields*, Acta Arith.**64**(1993), no. 1, 87–98. MR**1220487****[Z2]**Umberto Zannier,*Polynomial squares of the form 𝑎𝑋^{𝑚}+𝑏(1-𝑋)ⁿ+𝑐*, Rend. Sem. Mat. Univ. Padova**112**(2004), 1–9. MR**2109949**

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