Skip to main content Accessibility help

Norm form equations IV: Rational functions

  • R. C. Mason (a1)


This paper is devoted to the establishment of explicit bounds on the rational function solutions of a general class of equations in several variables. The first general result on Diophantine equations over function fields was discovered in 1930 [1], as an analogy on the work of Thue on number fields: it was shown that the degrees of polynomial solutions X, Y in k[z] of f(X, Y) = c are bound for each c: here f denotes an irreducible binary form over k[z] of degree at least three, and k is an algebraically closed field of characteristic zero. The Manin-Grauert theorem [7] extended this conclusion to the rational function solutions X, Y in k(z) of any equation in two variables over k(z), provided that the curve corresponding to the equation has genus two or more: this is the analogue for function fields of the Mordell conjecture for number fields, proved by Faltings in 1983. Parsin [6] made the Manin-Grauert theorem effective by furnishing explicit bounds on the degrees of X and Y: this approach followed Grauert and Shafarevitch in relying heavily on algebraic geometry. In 1976 a different attack was made by Schmidt [8] using the theory of algebraic differential equations, first developed by Kolchin and Osgood. This method produced very good bounds for equations such as the Thue equation discussed above: for example, Schmidt provides the bound

for any rational function solution X, Y in k(z) of f(X, Y) = 1, where f denotes a binary form over k(z) of degree in X and Y at least five, and which factorises into distinct linear factors. Here deg zf is the degree of f in z. In 1983 [2] the power of Diophantine approximation provided another approach to attack Dlophantine equations.over function fields. By first establishing an inequality on solutions of the unit equation in two variables, it was shown in [3, p. 122] that the bound (1) could be improved to 36 degz f, and the condition on the degree in X and Y could be relaxed to include quartic forms. In fact the principal purpose of this new approach using Diophantine approximation had been to provide algorithms for the effective construction of all the polynomial solutions of various equations: it was a surprise to find that not only were these algorithms extremely efficient, but also that the technique extended to include rational function solutions. A full account of this approach and its consequences is given in a recent tome [3].



Hide All
1.Gill, B. P.. An analogue for algebraic functions of the Thue-Siegel theorem. Ann. of Math. (2), 31 (1930), 207218.
2.Mason, R. C.. The hyperelliptic equation over function fields. Proc. Camb. Phil. Soc., 93 (1983), 219230.
3.Mason, R. C.. Diophantine equations over function fields. Recent Advances in Transcendence Theory, London Math. Soc. Lecture Notes, 96 (Cambridge University Press), to appear.
4.Mason, R. C.. Norm form equations I. J Number Theory. To appear.
5.Mason, R. C.. Norm form equations II: Decomposable forms. To appear.
6.Parsin, A.N.. Algebraic curves over function fields. I. Math. USSR Izvestija, 2 (1968), 11451170.
7.Samuel, P.. Lectures on old and new results on algebraic curves (Bombay, 1966).
8.Schmidt, W. M.. Thue”s equation over function fields. J. Austral. Math. Soc. Ser. A, 25 (1978), 385422.
MathJax is a JavaScript display engine for mathematics. For more information see


Full text views

Total number of HTML views: 0
Total number of PDF views: 0 *
Loading metrics...

Abstract views

Total abstract views: 0 *
Loading metrics...

* Views captured on Cambridge Core between <date>. This data will be updated every 24 hours.

Usage data cannot currently be displayed