View source for Diophantine geometry

''Diophantine analysis''

The branch of mathematics whose subject is the study of integral and rational solutions of systems of algebraic equations (or [[Diophantine equations|Diophantine equations]]) by methods of algebraic geometry. The appearance of algebraic number theory in the second half of the 19th century naturally resulted in the study of Diophantine equations with coefficients from an arbitrary algebraic number field, and the solutions are looked for either in that field or else in its rings of integers. The theory of algebraic functions developed in parallel with the theory of algebraic numbers. The fundamental analogy between the two, which was stressed by D. Hilbert and, in particular, by L. Kronecker, resulted in a uniform construction of various arithmetical theories for these two types of fields [[#References|[3]]], which are usually named global fields. This analogy is especially noticeable if the algebraic functions studied are functions in one variable over a finite field of constants. Concepts such as a [[Divisor|divisor]], ramification, and results such as [[Class field theory|class field theory]] are a good illustration of the above. This point of view was adopted in the theory of Diophantine equations only at a later date, while a systematic study of Diophantine equations — not only with numerical, but also with coefficients which are functions — only began in the 1950s. The development of algebraic geometry was a decisive factor in this approach. The simultaneous study of number and function fields, which arise as two equally important sides of the same subject, not merely yielded elegant and conclusive results, but resulted in a mutual enrichment of the two topics [[#References|[3]]].

In algebraic geometry, the non-invariant concept of a set of equations is replaced by the concept of an [[Algebraic variety|algebraic variety]] over a given field <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032630/d0326301.png" />, while their solutions are replaced by rational points with values in the field <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032630/d0326302.png" /> or in a finite extension of it. One may accordingly say that the fundamental task of Diophantine geometry consists in the study of the set <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032630/d0326303.png" /> of rational points of an algebraic variety <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032630/d0326304.png" /> defined over a field <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032630/d0326305.png" /> of the type defined above. Integer solutions of Diophantine equations also have a geometric sense.

In studying rational (or integral) points on algebraic varieties the first problem which arises is that of the existence of at least one such point. Hilbert's tenth problem is formulated as the problem of finding a general method for solving this question for an arbitrary algebraic variety. After the appearance of the exact definition of an algorithm, and after it had been proved that algorithmic solutions of a large number of problems do not exist, it became clear that Hilbert's problem may also have a negative solution (cf. [[Diophantine equations, solvability problem of|Diophantine equations, solvability problem of]]), and the most interesting question is to identify the classes of Diophantine equations for which such an algorithm exists. Several general approaches to this problem are known. The most natural approach from the algebraic point of view is the so-called [[Hasse principle|Hasse principle]]: The initial field <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032630/d0326306.png" /> is studied together with its completions <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032630/d0326307.png" /> with respect to all possible valuations. Since <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032630/d0326308.png" />, a necessary condition for the existence of a <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032630/d0326309.png" />-rational point is that the sets <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032630/d03263010.png" /> are non-empty for all <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032630/d03263011.png" />. The importance of Hasse's principle lies in the fact that it reduces the problem of the existence of a point to the analogous problem over a local field. The latter problem is much simpler — it is solvable by a known algorithm. In the important special case when the variety <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032630/d03263012.png" /> is projective and non-singular, the [[Hensel lemma|Hensel lemma]] and its generalizations make a further reduction possible: The problem can be reduced to the study of rational points over a finite field. It is then solved either by successive inspection or by more effective techniques (cf. [[Algebraic varieties, arithmetic of|Algebraic varieties, arithmetic of]]; see also [[#References|[2]]], [[#References|[12]]]). The last-named important consideration, connected with Hasse's principle, is the fact that the sets <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032630/d03263013.png" /> are non-empty for all <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032630/d03263014.png" /> except for a finite number, so that the number of conditions is always finite, and they may be effectively checked [[#References|[2]]]. However, Hasse's principle is not applicable to curves of degree even as low as three. E.g., the curve <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032630/d03263015.png" /> has points in all [[P-adic number|<img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032630/d03263016.png" />-adic number]] fields and in the field of real numbers, but has no rational points [[#References|[2]]], [[#References|[7]]]. This example served as the starting point for the construction of a theory describing the  "deviation"  from Hasse's principle in the class of principal homogeneous spaces of Abelian varieties [[#References|[7]]], [[#References|[10]]]. The deviation is described in terms of a special group <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032630/d03263017.png" />, which can be associated to each Abelian variety (the Tate–Shafarevich group). The principal difficulty of the theory is that methods for calculating the groups <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032630/d03263018.png" /> are hard to obtain. This theory has also been extended to other classes of algebraic varieties [[#References|[11]]].

Another heuristic idea utilized in the study of Diophantine equations is the fact that if the number of variables involved in the set of equations is large compared with the degree of the equation, the system usually has a solution. However, this is very difficult to prove for any specific case. A general approach to problems of this type makes use of analytic number theory and is based on estimates of trigonometric sums (cf. [[Trigonometric sums, method of|Trigonometric sums, method of]]; [[Vinogradov method|Vinogradov method]]; see also [[#References|[4]]]). This method had been originally applied to special types of equations (e.g. to the [[Waring problem|Waring problem]]). It was, however, subsequently proved with its aid that if <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032630/d03263019.png" /> is a form of odd degree <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032630/d03263020.png" /> in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032630/d03263021.png" /> variables and with rational coefficients then, if <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032630/d03263022.png" /> is sufficiently large compared with <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032630/d03263023.png" />, the projective hypersurface <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032630/d03263024.png" /> has a rational point [[#References|[2]]]. According to Artin's hypothesis [[#References|[2]]], [[#References|[10]]], this result is correct even if <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032630/d03263025.png" />. At the time of writing (1978) it has been proved for quadratic forms only. Similar problems may also be posed for other fields. See, in particular, [[Algebraic varieties, arithmetic of|Algebraic varieties, arithmetic of]], and [[#References|[5]]] for results obtained for local fields. The central problem of Diophantine geometry is the study of the structure of the set of rational or integral points, and the first question to be clarified, is whether or not this set is finite. In this problem, the fundamental heuristic assumption is that if the degree of the system is much larger than the number of variables, the system usually has a finite number of solutions [[#References|[10]]]. As distinct from the solvability problem discussed above, there are yet (1978) no general results available on this subject. The largest number of studies was performed for the case of algebraic curves. It was found that the structure of the set of rational points <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032630/d03263026.png" /> of a curve <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032630/d03263027.png" />, defined over a field <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032630/d03263028.png" />, strongly depends on its genus <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032630/d03263029.png" />. If <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032630/d03263030.png" />, the set <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032630/d03263031.png" /> is either empty or else the curve <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032630/d03263032.png" /> is birationally equivalent over the field <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032630/d03263033.png" /> to the projective straight line. The latter means that the set <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032630/d03263034.png" /> is infinite and that there exists a parametrization of it by rational functions in some variable with values from the field <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032630/d03263035.png" /> [[#References|[7]]], [[#References|[13]]], [[#References|[1]]]. Curves of genus <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032630/d03263036.png" /> with non-empty set <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032630/d03263037.png" /> were considered in 1901 by H. Poincaré, who showed that they are birationally equivalent to plane cubic curves, and introduced the structure of an Abelian group on the set <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032630/d03263038.png" /> (cf. [[Elliptic curve|Elliptic curve]]; see also [[#References|[1]]], [[#References|[7]]]). Poincaré's conjecture that if <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032630/d03263039.png" />, the group has a finite number of generators, was demonstrated by L.J. Mordell in 1922 [[#References|[15]]]. It was generalized by A. Weil (1928) to arbitrary algebraic number fields and by A. Néron (1952) to arbitrary global fields [[#References|[8]]].

The group <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032630/d03263040.png" /> may be represented as the direct sum of a free group of rank <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032630/d03263041.png" /> and a finite group of order <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032630/d03263042.png" />. The problem as to whether these numbers are bounded on the set of all elliptic curves over a given field <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032630/d03263043.png" /> has been under study ever since the 1930s [[#References|[7]]]. The boundedness of the torsion <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032630/d03263044.png" /> was demonstrated in 1971. In the functional case, curves of arbitrary high rank exist [[#References|[12]]]. In the numerical case there is still (1978) no answer to this question.

Finally, Mordell's conjecture states that the number of rational points is finite for curve of genus <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032630/d03263045.png" /> (proposed for <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032630/d03263046.png" />; for an exact formulation see [[#References|[9]]]). In the functional case this conjecture was demonstrated by Yu.I. Manin in 1963 [[#References|[12]]].

The progress achieved in the study of integral points has been much more encouraging. Here one has the fairly general method of [[Diophantine approximations|Diophantine approximations]], proposed by A. Thue in 1909 [[#References|[6]]], [[#References|[8]]], [[#References|[9]]], [[#References|[13]]]. It is based on the following. Let <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032630/d03263047.png" /> be a form with rational coefficients, and let there exist a solution in integers <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032630/d03263048.png" /> of the equation <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032630/d03263049.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032630/d03263050.png" />. Then for some <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032630/d03263051.png" />,

<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032630/d03263052.png" /></td> </tr></table>

If <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032630/d03263053.png" /> is an algebraic number of degree <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032630/d03263054.png" />, the inequality <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032630/d03263055.png" /> has a finite number of solutions in integers <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032630/d03263056.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032630/d03263057.png" /> if <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032630/d03263058.png" />. It follows that the number of integral points on curves of the type <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032630/d03263059.png" /> is finite. From that point on, any shift towards the problem of Diophantine approximations of algebraic numbers gave corresponding results for integral points. Thus, C.L. Siegel demonstrated in 1929 that the number of integral points on any curve of genus <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032630/d03263060.png" /> is finite. For further extensions of this theorem to the case of integral points in arbitrary global fields see [[#References|[9]]].

The principal tool used in proving finiteness theorems in Diophantine geometry is the height (cf. [[Height, in Diophantine geometry|Height, in Diophantine geometry]]).

Of the algebraic varieties of dimension higher than one, Abelian varieties (cf. [[Abelian variety|Abelian variety]]), which are multi-dimensional analogues of elliptic curves, have been most thoroughly studied. A. Weil generalized Mordell's theorem by extending the theorem on the finiteness of the number of generators of the group of rational points to Abelian varieties of any dimension (the Mordell–Weil theorem). In the 1960s there appeared the conjecture of Birch and Swinnerton-Dyer, connecting the rank of this group with the order of the pole of the [[Zeta-function|zeta-function]] of the variety <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032630/d03263061.png" /> at the point <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032630/d03263062.png" /> [[#References|[7]]], [[#References|[12]]]. Numerical evidence supports this conjecture.

Another class of algebraic varieties which is studied by general methods and ways of approach are varieties of the type

<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032630/d03263063.png" /></td> <td valign="top" style="width:5%;text-align:right;">(*)</td></tr></table>

where <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032630/d03263064.png" /> is a form which can be decomposed into linear factors in some extension of the basic field. Two methods are available for the study of integral points on such varieties. The first is the above method of Diophantine approximations, proposed by Thue for equations of this very type, but with two variables. Only in 1970 new advances in this method were made: It was proved, using Schmidt's theorem on simultaneous approximations, that the number of integral points on the variety (*) is always finite if a certain, readily verifiable, condition on the form <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032630/d03263065.png" /> is met (that this condition is necessary had been known at an earlier date [[#References|[2]]]). An altogether different method, based on the study of equation (*) in the domain of integral <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032630/d03263066.png" />-adic numbers, was proposed in 1935 by T. Skolem [[#References|[13]]]; the method was used to prove the finiteness theorem for equation (*) for small values of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032630/d03263067.png" /> or <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032630/d03263068.png" /> [[#References|[2]]].

Yet another class of algebraic varieties is now under intensive study; these are the rational varieties and varieties close to them, the analogues of curves of genus 0. Numerous results were obtained on their classification and on the structure of the set of rational numbers [[#References|[12]]]. Unlike in the examples mentioned above, the situation here is more complicated, and no general theorems of the type of Schmidt, Siegel or Mordell–Weil have yet (1978) been discovered.

A distinguishing feature of almost-all the results listed above is the fact that, while giving a qualitative picture of the set of integral or rational points, they yield no quantitative estimates with the aid of which such sets could be described. Obtaining such results or, as it is sometimes called, the effectivization of qualitative theorems, is one of the most difficult tasks of Diophantine geometry and of number theory in general. In the case of Thue's theorem, such an effectivization, obtained by A. Baker in 1968, consists of explicit estimates of the heights of the integral points as a function of the coefficients of the equation of the curve (cf. [[Diophantine approximation, problems of effective|Diophantine approximation, problems of effective]]). Such an estimate was then obtained for a wide class of hyper-elliptic curves, and, in particular, for all curves of genus one [[#References|[12]]]. In this way an algorithm was obtained for such curves which yields all integral points and thus indicates whether such points exist at all. An algorithm of this kind is not available for all Diophantine equations.

Another highly interesting approach to a quantitative description of the set of integral points is the development of the [[Circle method|circle method]] of G.H. Hardy and J.E. Littlewood. The extension of this approach to Abelian varieties generated the appearance of the conjecture of Birch and Swinnerton-Dyer [[#References|[15]]], the use of which resulted in the creation of an algorithm performing the effectivization of the Mordell–Weil theorem. There is every reason to believe that further development of this method, including the study of its connection with the theory of heights, will be of major importance in solving the fundamental problems in Diophantine geometry.

====References====
<table><TR><TD valign="top">[1]</TD> <TD valign="top">  I.G. Bashmakov,   "Diophant und diophantische Gleichungen" , Deutsch. Verlag Wissenschaft.  (1974)  (Translated from Russian)</TD></TR><TR><TD valign="top">[2]</TD> <TD valign="top">  Z.I. Borevich,   I.R. Shafarevich,   "Number theory" , Acad. Press  (1966)  (Translated from Russian)  (German translation: Birkhäuser, 1966)</TD></TR><TR><TD valign="top">[3]</TD> <TD valign="top">  A. Weil,   "Number theory and algebraic geometry" , ''Proc. Internat. Congress Mathematicians (Cambridge, 1950)'' , '''2''' , Amer. Math. Soc.  (1952)  pp. 90–100</TD></TR><TR><TD valign="top">[4]</TD> <TD valign="top">  I.M. Vinogradov,   "The method of trigonometric sums in the theory of numbers" , Interscience  (1954)  (Translated from Russian)</TD></TR><TR><TD valign="top">[5]</TD> <TD valign="top">  M. Greenberg,   "Lectures on forms in many variables" , Benjamin  (1969)</TD></TR><TR><TD valign="top">[6]</TD> <TD valign="top">  H. Davenport,   "The higher arithmetic" , Hutchinson  (1952)</TD></TR><TR><TD valign="top">[7]</TD> <TD valign="top">  J. Cassels,   "Diophantine equations with special reference to elliptic curves"  ''J. London Math. Soc.'' , '''41'''  (1966)  pp. 191–291</TD></TR><TR><TD valign="top">[8]</TD> <TD valign="top">  J.F. Koksma,   "Diophantische Approximationen" , Springer  (1936)</TD></TR><TR><TD valign="top">[9]</TD> <TD valign="top">  S. Lang,   "Diophantine geometry" , Interscience  (1962)</TD></TR><TR><TD valign="top">[10]</TD> <TD valign="top">  S. Lang,   "Some theorems and conjectures in diophantine equations"  ''Bull. Amer. Math. Soc.'' , '''66'''  (1960)  pp. 240–249</TD></TR><TR><TD valign="top">[11]</TD> <TD valign="top">  Yu.N. Manin,   "Cubic forms. Algebra, geometry, arithmetic" , North-Holland  (1974)  (Translated from Russian)</TD></TR><TR><TD valign="top">[12]</TD> <TD valign="top">  A.N. Parshin,   "Arithmetic on algebraic varieties"  ''J. Soviet Math.'' , '''1''' :  5  (1973)  pp. 594–620  ''Itogi Nauk. Algebra Topol. Geom. 1970''  (1971)  pp. 111–151</TD></TR><TR><TD valign="top">[13]</TD> <TD valign="top">  T. Skolem,   "Diophantische Gleichungen" , Springer  (1938)</TD></TR><TR><TD valign="top">[14]</TD> <TD valign="top">  H.P.F. Swinnerton-Dyer,   "Applications of algebraic geometry to number theory" , ''Proc. 1969 summer inst. number theory'' , ''Proc. Symp. Pure Math.'' , '''20''' , Amer. Math. Soc.  (1971)  pp. 1–52</TD></TR><TR><TD valign="top">[15]</TD> <TD valign="top">  J.W.S. Cassels (ed.)  A. Fröhlich (ed.) , ''Algebraic number theory'' , Acad. Press  (1967)</TD></TR></table>



====Comments====
In the 1980's there has been an explosive development of Diophantine geometry: Some of these results are among the most significant bits of progress in modern mathematics. Below some major successes are listed, together with improvements of the results mentioned in the main article above.

Mordell's conjecture, stating that every algebraic curve defined over a number field <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032630/d03263069.png" /> and of genus <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032630/d03263070.png" /> possesses only finitely many points with coordinates in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032630/d03263071.png" />, was proved in 1983 by G. Faltings. In doing so, Faltings also proved two famous conjectures of Tate and Shafarevich (see [[#References|[a1]]], [[#References|[a9]]], [[#References|[a8]]], [[#References|[a5]]]). [[#References|[a6]]] contains a proof of the fact that the rational torsion of an elliptic curve over <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032630/d03263072.png" /> is bounded.

Recently, K. Rubin [[#References|[a7]]] computed the mysterious group <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032630/d03263073.png" /> for a class of elliptic curves having complex multiplication.

D.R. Heath-Brown proved that every form of degree 3 in 10 variables and with coefficients in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032630/d03263074.png" />, representing a non-singular hypersurface, has a non-trivial rational point [[#References|[a11]]].

Schmidt's simultaneous approximation theorem states the following. Let <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032630/d03263075.png" /> be algebraic numbers such that <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032630/d03263076.png" /> are independent over the rationals. Then for any <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032630/d03263077.png" /> there are only finitely many positive integers <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032630/d03263078.png" /> such that <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032630/d03263079.png" />, where <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032630/d03263080.png" /> denotes the (positive) distance of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032630/d03263081.png" /> to the nearest integer.

Decomposable form equations of the type (*) and generalizations of it can be dealt with by a <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032630/d03263082.png" />-adic generalization of Schmidt's approximation theorem. An important ingredient, also in other parts of Diophantine geometry, is formed by <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032630/d03263084.png" />-unit equations. These are equations of the form <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032630/d03263085.png" />, where <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032630/d03263086.png" /> belong to a fixed number field <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032630/d03263087.png" /> and the primes of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032630/d03263088.png" /> belong to a fixed set <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032630/d03263089.png" />. It can be shown that under some natural restrictions the number of solutions is finite [[#References|[a12]]].

There is a remarkable (but conjectural) relation of the question of finiteness of rational points with the complex-analytic structure of the underlying variety, see [[#References|[a2]]], [[#References|[a3]]]. Some of these relations are included in an even vaster (conjectural) program of P. Vojta. It turns out that there is a close analogy of concepts in Diophantine approximation and in value-distribution theory of analytic functions of several variables. Some of the results of the latter theory have an interesting (conjectural) counterpart in Diophantine approximation and geometry [[#References|[a10]]].

For numerical support of the conjecture of Birch and Swinnerton-Dyer see [[#References|[a13]]], [[#References|[a14]]].

====References====
<table><TR><TD valign="top">[a1]</TD> <TD valign="top">  G. Faltings,   "Endlichkeitssätze für abelsche Varietäten über Zahlkörpern"  ''Invent. Math.'' , '''73'''  (1983)  pp. 349–366  (Erratum: Invent. Math. <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032630/d03263090.png" /> (1984), 381)</TD></TR><TR><TD valign="top">[a2]</TD> <TD valign="top">  S. Lang,   "Hyperbolic and diophantine analysis"  ''Bull. Amer. Math. Soc.'' , '''14'''  (1986)  pp. 159–205</TD></TR><TR><TD valign="top">[a3]</TD> <TD valign="top">  S. Lang,   "Fundamentals of diophantine geometry" , Springer  (1983)</TD></TR><TR><TD valign="top">[a4]</TD> <TD valign="top">  G. Faltings (ed.)  G. Wüstholtz (ed.) , ''Rational points'' , Vieweg  (1984)</TD></TR><TR><TD valign="top">[a5]</TD> <TD valign="top">  B. Mazur,   "Arithmetic on curves"  ''Bull. Amer. Math. Soc.'' , '''14'''  (1986)  pp. 207–260</TD></TR><TR><TD valign="top">[a6]</TD> <TD valign="top">  B. Mazur,   "Modular curves and the Eisenstein ideal"  ''Publ. Math. IHES'' , '''47'''  (1978)  pp. 33–186</TD></TR><TR><TD valign="top">[a7]</TD> <TD valign="top">  K. Rubin,   "Global units and ideal class groups"  ''Invent. Math.'' , '''89'''  (1987)  pp. 511–560</TD></TR><TR><TD valign="top">[a8]</TD> <TD valign="top">  J. Silverman (ed.)  G. Cornell (ed.) , ''Arithmetic geometry'' , Springer  (1985)</TD></TR><TR><TD valign="top">[a9]</TD> <TD valign="top">  L. Szpiro,   "Sém. sur les pinceaux arithmétiques: La conjecture de Mordell"  ''Astérisque'' , '''127'''  (1985)</TD></TR><TR><TD valign="top">[a10]</TD> <TD valign="top">  P. Vojta,   "Diophantine approximations and value distribution theory" , ''Lect. notes in math.'' , '''1239''' , Springer  (1987)</TD></TR><TR><TD valign="top">[a11]</TD> <TD valign="top">  R. Heath-Brown,   "Cubic forms in 10 variables"  H. Jager (ed.) , ''Number theory'' , ''Lect. notes in math.'' , '''1068''' , Springer  (1983)  pp. 104–109</TD></TR><TR><TD valign="top">[a12]</TD> <TD valign="top">  J.H. Evertse,   "On sums of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032630/d03263091.png" />-units and linear recurrences"  ''Compos. Math.'' , '''53'''  (1984)  pp. 225–244</TD></TR><TR><TD valign="top">[a13]</TD> <TD valign="top">  J. Coates,   A. Wiles,   "On the conjectures of Birch and Swinnerton-Dyer"  ''Invent. Math.'' , '''39'''  (1977)  pp. 223–251</TD></TR><TR><TD valign="top">[a14]</TD> <TD valign="top">  N. Koblitz,   "Introduction to elliptic curves and modular forms" , Springer  (1984)</TD></TR></table>