rational point

TheInfoList

OR:

In
number theory Number theory (or arithmetic or higher arithmetic in older usage) is a branch of pure mathematics devoted primarily to the study of the integer An integer is the number zero (), a positive natural number In mathematics, the natura ...
and
algebraic geometry Algebraic geometry is a branch of mathematics Mathematics is an area of knowledge that includes the topics of numbers, formulas and related structures, shapes and the spaces in which they are contained, and quantities and their changes. ...
, a rational point of an
algebraic variety Algebraic varieties are the central objects of study in algebraic geometry Algebraic geometry is a branch of mathematics Mathematics is an area of knowledge that includes the topics of numbers, formulas and related structures, shapes ...
is a point whose coordinates belong to a given field. If the field is not mentioned, the field of
rational number In mathematics Mathematics is an area of knowledge that includes the topics of numbers, formulas and related structures, shapes and the spaces in which they are contained, and quantities and their changes. These topics are represented i ...
s is generally understood. If the field is the field of
real number In mathematics Mathematics is an area of knowledge that includes the topics of numbers, formulas and related structures, shapes and the spaces in which they are contained, and quantities and their changes. These topics are represented in ...
s, a rational point is more commonly called a real point. Understanding rational points is a central goal of number theory and Diophantine geometry. For example, Fermat's Last Theorem may be restated as: for , the Fermat curve of equation $x^n+y^n=1$ has no other rational points than , , and, if is even, and .

# Definition

Given a field ''k'', and an algebraically closed extension ''K'' of ''k'', an affine variety ''X'' over ''k'' is the set of common zeros in $K^n$ of a collection of polynomials with coefficients in ''k'': :$f_1\left(x_1,\ldots,x_n\right)=0,\ldots, f_r\left(x_1,\dots,x_n\right)=0.$ These common zeros are called the ''points'' of ''X''. A ''k''-rational point (or ''k''-point) of ''X'' is a point of ''X'' that belongs to ''k''''n'', that is, a sequence (''a''1,...,''a''''n'') of ''n'' elements of ''k'' such that ''f''''j''(''a''1,...,''a''''n'') = 0 for all ''j''. The set of ''k''-rational points of ''X'' is often denoted ''X''(''k''). Sometimes, when the field ''k'' is understood, or when ''k'' is the field Q of
rational number In mathematics Mathematics is an area of knowledge that includes the topics of numbers, formulas and related structures, shapes and the spaces in which they are contained, and quantities and their changes. These topics are represented i ...
s, one says "rational point" instead of "''k''-rational point". For example, the rational points of the unit circle of equation :$x^2+y^2=1$ are the pairs of rational numbers :$\left\left(\frac ac, \frac bc\right\right),$ where $\left(a, b, c\right)$ is a Pythagorean triple. The concept also makes sense in more general settings. A projective variety ''X'' in projective space P''n'' over a field ''k'' can be defined by a collection of
homogeneous polynomial In mathematics Mathematics is an area of knowledge that includes the topics of numbers, formulas and related structures, shapes and the spaces in which they are contained, and quantities and their changes. These topics are represented in ...
equations in variables ''x''0,...,''x''''n''. A ''k''-point of P''n'', written 'a''0,...,''a''''n'' is given by a sequence of ''n''+1 elements of ''k'', not all zero, with the understanding that multiplying all of ''a''0,...''a''''n'' by the same nonzero element of ''k'' gives the same point in projective space. Then a ''k''-point of ''X'' means a ''k''-point of P''n'' at which the given polynomials vanish. More generally, let ''X'' be a scheme over a field ''k''. This means that a morphism of schemes ''f'': ''X'' →
Spec Spec may refer to: * Specification (technical standard), an explicit set of requirements to be satisfied by a material, product, or service ** datasheet, or "spec sheet" People * Spec Harkness (1887-1952), American professional baseball pitche ...
(''k'') is given. Then a ''k''-point of ''X'' means a section of this morphism, that is, a morphism ''a'': Spec(''k'') → ''X'' such that the composition ''fa'' is the identity on Spec(''k''). This agrees with the previous definitions when ''X'' is an affine or projective variety (viewed as a scheme over ''k''). When ''X'' is a variety over an algebraically closed field ''k'', much of the structure of ''X'' is determined by its set ''X''(''k'') of ''k''-rational points. For a general field ''k'', however, ''X''(''k'') gives only partial information about ''X''. In particular, for a variety ''X'' over a field ''k'' and any
field extension In mathematics Mathematics is an area of knowledge that includes the topics of numbers, formulas and related structures, shapes and the spaces in which they are contained, and quantities and their changes. These topics are represented in mo ...
''E'' of ''k'', ''X'' also determines the set ''X''(''E'') of ''E''-rational points of ''X'', meaning the set of solutions of the equations defining ''X'' with values in ''E''. Example: Let ''X'' be the conic curve ''x''2 + ''y''2 = −1 in the affine plane ''A''2 over the
real number In mathematics Mathematics is an area of knowledge that includes the topics of numbers, formulas and related structures, shapes and the spaces in which they are contained, and quantities and their changes. These topics are represented in ...
s R. Then the set of real points ''X''(R) is empty, because the square of any real number is nonnegative. On the other hand, in the terminology of algebraic geometry, the algebraic variety ''X'' over R is not empty, because the set of complex points ''X''(C) is not empty. More generally, for a scheme ''X'' over a commutative ring ''R'' and any commutative ''R''-
algebra Algebra () is one of the broad areas of mathematics Mathematics is an area of knowledge that includes the topics of numbers, formulas and related structures, shapes and the spaces in which they are contained, and quantities and their c ...
''S'', the set ''X''(''S'') of ''S''-points of ''X'' means the set of morphisms Spec(''S'') → ''X'' over Spec(''R''). The scheme ''X'' is determined up to isomorphism by the functor ''S'' ↦ ''X''(''S''); this is the philosophy of identifying a scheme with its functor of points. Another formulation is that the scheme ''X'' over ''R'' determines a scheme ''X''''S'' over ''S'' by base change, and the ''S''-points of ''X'' (over ''R'') can be identified with the ''S''-points of ''X''''S'' (over ''S''). The theory of Diophantine equations traditionally meant the study of integral points, meaning solutions of polynomial equations in the
integer An integer is the number zero (), a positive natural number In mathematics, the natural numbers are those number A number is a mathematical object used to count, measure, and label. The original examples are the natural number ...
s Z rather than the rationals Q. For homogeneous polynomial equations such as ''x''3 + ''y''3 = ''z''3, the two problems are essentially equivalent, since every rational point can be scaled to become an integral point.

# Rational points on curves

Much of number theory can be viewed as the study of rational points of algebraic varieties, a convenient setting being smooth projective varieties. For smooth projective curves, the behavior of rational points depends strongly on the
genus Genus ( plural genera ) is a taxonomic rank used in the biological classification of living and fossil organisms as well as virus A virus is a submicroscopic infectious agent that replicates only inside the living cells of an o ...
of the curve.

## Genus 0

Every smooth projective curve ''X'' of genus zero over a field ''k'' is isomorphic to a conic (degree 2) curve in P2. If ''X'' has a ''k''-rational point, then it is isomorphic to P1 over ''k'', and so its ''k''-rational points are completely understood. If ''k'' is the field Q of rational numbers (or more generally a number field), there is an
algorithm In mathematics Mathematics is an area of knowledge that includes the topics of numbers, formulas and related structures, shapes and the spaces in which they are contained, and quantities and their changes. These topics are represen ...
to determine whether a given conic has a rational point, based on the Hasse principle: a conic over Q has a rational point if and only if it has a point over all completions of Q, that is, over R and all ''p''-adic fields Q''p''.

## Genus 1

It is harder to determine whether a curve of genus 1 has a rational point. The Hasse principle fails in this case: for example, by Ernst Selmer, the cubic curve 3''x''3 + 4''y''3 + 5''z''3 = 0 in P2 has a point over all completions of Q, but no rational point. The failure of the Hasse principle for curves of genus 1 is measured by the Tate–Shafarevich group. If ''X'' is a curve of genus 1 with a ''k''-rational point ''p''0, then ''X'' is called an elliptic curve over ''k''. In this case, ''X'' has the structure of a commutative algebraic group (with ''p''0 as the zero element), and so the set ''X''(''k'') of ''k''-rational points is an abelian group. The Mordell–Weil theorem says that for an elliptic curve (or, more generally, an abelian variety) ''X'' over a number field ''k'', the abelian group ''X''(''k'') is finitely generated. Computer algebra programs can determine the Mordell–Weil group ''X''(''k'') in many examples, but it is not known whether there is an algorithm that always succeeds in computing this group. That would follow from the conjecture that the Tate–Shafarevich group is finite, or from the related Birch–Swinnerton-Dyer conjecture.

## Genus at least 2

Faltings's theorem (formerly the Mordell conjecture) says that for any curve ''X'' of genus at least 2 over a number field ''k'', the set ''X''(''k'') is finite. Some of the great achievements of number theory amount to determining the rational points on particular curves. For example, Fermat's Last Theorem (proved by Richard Taylor and Andrew Wiles) is equivalent to the statement that for an integer ''n'' at least 3, the only rational points of the curve ''x''''n'' + ''y''''n'' = ''z''''n'' in P2 over Q are the obvious ones: ,1,1and ,0,1 ,1,−1and ,0,−1for ''n'' even; and ,−1,0for ''n'' odd. The curve ''X'' (like any smooth curve of degree ''n'' in P2) has genus (''n'' − 1)(''n'' − 2)/2. It is not known whether there is an algorithm to find all the rational points on an arbitrary curve of genus at least 2 over a number field. There is an algorithm that works in some cases. Its termination in general would follow from the conjectures that the Tate–Shafarevich group of an abelian variety over a number field is finite and that the Brauer–Manin obstruction is the only obstruction to the Hasse principle, in the case of curves.

# Higher dimensions

## Varieties with few rational points

In higher dimensions, one unifying goal is the Bombieri
Lang Lang may refer to: * Lang (surname), a surname of independent Germanic or Chinese origin Places * Lang Island (Antarctica), East Antarctica * Lang Nunatak, Antarctica * Lang Sound, Antarctica * Lang Park, a stadium in Brisbane, Australia * ...
conjecture that, for any variety ''X'' of general type over a number field ''k'', the set of ''k''-rational points of ''X'' is not Zariski dense in ''X''. (That is, the ''k''-rational points are contained in a finite union of lower-dimensional subvarieties of ''X''.) In dimension 1, this is exactly Faltings's theorem, since a curve is of general type if and only if it has genus at least 2. Lang also made finer conjectures relating finiteness of rational points to Kobayashi hyperbolicity. For example, the Bombieri–Lang conjecture predicts that a smooth hypersurface of degree ''d'' in projective space P''n'' over a number field does not have Zariski dense rational points if ''d'' ≥ ''n'' + 2. Not much is known about that case. The strongest known result on the Bombieri–Lang conjecture is Faltings's theorem on subvarieties of abelian varieties (generalizing the case of curves). Namely, if ''X'' is a subvariety of an abelian variety ''A'' over a number field ''k'', then all ''k''-rational points of ''X'' are contained in a finite union of translates of abelian subvarieties contained in ''X''. (So if ''X'' contains no translated abelian subvarieties of positive dimension, then ''X''(''k'') is finite.)

## Varieties with many rational points

In the opposite direction, a variety ''X'' over a number field ''k'' is said to have potentially dense rational points if there is a finite extension field ''E'' of ''k'' such that the ''E''-rational points of ''X'' are Zariski dense in ''X''. Frédéric Campana conjectured that a variety is potentially dense if and only if it has no rational fibration over a positive-dimensional orbifold of general type. A known case is that every cubic surface in P3 over a number field ''k'' has potentially dense rational points, because (more strongly) it becomes rational over some finite extension of ''k'' (unless it is the cone over a plane cubic curve). Campana's conjecture would also imply that a K3 surface ''X'' (such as a smooth quartic surface in P3) over a number field has potentially dense rational points. That is known only in special cases, for example if ''X'' has an elliptic fibration. One may ask when a variety has a rational point without extending the base field. In the case of a hypersurface ''X'' of degree ''d'' in P''n'' over a number field, there are good results when ''d'' is much smaller than ''n'', often based on the Hardy–Littlewood circle method. For example, the Hasse–Minkowski theorem says that the Hasse principle holds for quadric hypersurfaces over a number field (the case ''d'' = 2). Christopher Hooley proved the Hasse principle for smooth cubic hypersurfaces in P''n'' over Q when ''n'' ≥ 8. In higher dimensions, even more is true: every smooth cubic in P''n'' over Q has a rational point when ''n'' ≥ 9, by Roger Heath-Brown. More generally, Birch's theorem says that for any odd positive integer ''d'', there is an integer ''N'' such that for all ''n'' ≥ ''N'', every hypersurface of degree ''d'' in P''n'' over Q has a rational point. For hypersurfaces of smaller dimension (in terms of their degree), things can be more complicated. For example, the Hasse principle fails for the smooth cubic surface 5''x''3 + 9''y''3 + 10''z''3 + 12''w''3 = 0 in P3 over Q, by Ian Cassels and Richard Guy. Jean-Louis Colliot-Thélène has conjectured that the Brauer–Manin obstruction is the only obstruction to the Hasse principle for cubic surfaces. More generally, that should hold for every rationally connected variety over a number field. In some cases, it is known that ''X'' has "many" rational points whenever it has one. For example, extending work of Beniamino Segre and Yuri Manin, János Kollár showed: for a cubic hypersurface ''X'' of dimension at least 2 over a perfect field ''k'' with ''X'' not a cone, ''X'' is unirational over ''k'' if it has a ''k''-rational point. (In particular, for ''k'' infinite, unirationality implies that the set of ''k''-rational points is Zariski dense in ''X''.) The Manin conjecture is a more precise statement that would describe the asymptotics of the number of rational points of bounded height on a Fano variety.

# Counting points over finite fields

A variety ''X'' over a finite field ''k'' has only finitely many ''k''-rational points. The Weil conjectures, proved by André Weil in dimension 1 and by Pierre Deligne in any dimension, give strong estimates for the number of ''k''-points in terms of the Betti numbers of ''X''. For example, if ''X'' is a smooth projective curve of genus ''g'' over a field ''k'' of order ''q'' (a prime power), then :$\big, , X\left(k\right), -\left(q+1\right)\big, \leq 2g\sqrt.$ For a smooth hypersurface ''X'' of degree ''d'' in P''n'' over a field ''k'' of order ''q'', Deligne's theorem gives the bound: :$\big, , X\left(k\right), -\left(q^+\cdots+q+1\right)\big, \leq \bigg\left( \frac\bigg\right) q^.$ There are also significant results about when a projective variety over a finite field ''k'' has at least one ''k''-rational point. For example, the Chevalley–Warning theorem implies that any hypersurface ''X'' of degree ''d'' in P''n'' over a finite field ''k'' has a ''k''-rational point if ''d'' ≤ ''n''. For smooth ''X'', this also follows from Hélène Esnault's theorem that every smooth projective rationally chain connected variety, for example every Fano variety, over a finite field ''k'' has a ''k''-rational point.Esnault (2003), Corollary 1.3.