Rational and Integral Points
A central problem in number theory is to study solutions of polynomial equations whose coordinates belong to a specified number system. Two important cases are:
Polynomial Equations and Arithmetic Geometry
A central problem in number theory is to study solutions of polynomial equations whose coordinates belong to a specified number system. Two important cases are:
- integral points, where the coordinates are integers,
- rational points, where the coordinates are rational numbers.
For example, the equation
$$ x^2+y^2=1 $$
has infinitely many rational solutions, such as
$$ \left(\frac35,\frac45\right), $$
but only finitely many integral solutions:
$$ (\pm1,0),\qquad (0,\pm1). $$
The study of rational and integral points lies at the boundary between number theory and algebraic geometry.
Affine Curves
Consider a polynomial equation
$$ f(x,y)=0, $$
where
$$ f(x,y)\in\mathbb{Z}[x,y]. $$
The set of real solutions defines a geometric curve in the plane. Number theory asks which points on the curve have arithmetic coordinates.
For example,
$$ y=x^2 $$
contains infinitely many integral points:
$$ (0,0),(1,1),(2,4),(-1,1). $$
But the equation
$$ x^2+y^2=3 $$
has no integral solutions because squares modulo $3$ are only $0$ or $1$.
Thus arithmetic restrictions strongly influence geometric behavior.
Rational Parametrization
Some curves possess infinitely many rational points because they admit a rational parametrization.
Consider the unit circle
$$ x^2+y^2=1. $$
$$ x^2+y^2=1 $$
Every rational point on this circle can be obtained from a line through the point
$$ (-1,0) $$
with rational slope $t$.
Solving the resulting equations gives
$$ x=\frac{1-t^2}{1+t^2}, \qquad y=\frac{2t}{1+t^2}. $$
Thus every rational value of $t$ produces a rational point on the circle.
For example, taking
$$ t=\frac12, $$
we obtain
$$ x=\frac35, \qquad y=\frac45. $$
This parametrization is closely related to Pythagorean triples.
Elliptic Curves
More complicated equations behave very differently.
Consider an equation of the form
$$ y^2=x^3+ax+b, $$
where
$$ 4a^3+27b^2\neq0. $$
$$ y^2=x^3+ax+b $$
Such curves are called elliptic curves.
Unlike circles or conics, elliptic curves possess a remarkable algebraic structure: rational points form an abelian group.
If $P$ and $Q$ are rational points on the curve, one can define another rational point
$$ P+Q $$
geometrically using secant and tangent lines.
This group law transforms geometric questions into algebraic ones.
Mordell’s Theorem
A foundational result about rational points on elliptic curves is the following theorem.
Theorem (Mordell). The group of rational points on an elliptic curve over $\mathbb{Q}$ is finitely generated.
Thus the set of rational points has the form
$$ E(\mathbb{Q}) \cong \mathbb{Z}^r\oplus T, $$
where:
- $T$ is a finite torsion subgroup,
- $r$ is a nonnegative integer called the rank.
The rank measures the complexity of the rational solutions.
Elliptic curves therefore combine finite and infinite arithmetic structures in a highly nontrivial way.
Integral Points
Integral points are usually much rarer than rational points.
For example, the curve
$$ y^2=x^3-2 $$
has infinitely many rational points but only finitely many integral points.
This phenomenon is typical.
A major theorem due to entity["people","Carl Ludwig Siegel","German mathematician"] states that many algebraic curves possess only finitely many integral points.
Thus integrality imposes severe arithmetic constraints.
Genus and Arithmetic Complexity
The behavior of rational points depends strongly on the geometric complexity of the curve.
This complexity is measured by an invariant called the genus.
Genus $0$
Curves of genus $0$, such as circles and conics, often admit rational parametrizations and therefore infinitely many rational points.
Genus $1$
Curves of genus $1$ are elliptic curves. Their rational points form finitely generated groups.
Genus Greater Than $1$
Curves of genus greater than $1$ behave dramatically differently.
entity["people","Gerd Faltings","German mathematician"] proved that such curves possess only finitely many rational points.
This result was formerly known as the Mordell conjecture.
Local and Global Principles
A common strategy is to study solutions modulo primes and over real numbers before searching for rational or integral solutions.
For example, if an equation has no solution modulo some prime $p$, then it cannot have integer solutions.
This idea is called a local obstruction.
However, local solvability does not always imply global solvability. Understanding the gap between local and global behavior is one of the major themes of arithmetic geometry.
Modern Perspective
The study of rational and integral points now forms a central area of modern number theory.
Problems about polynomial equations lead naturally to:
- elliptic curves,
- modular forms,
- Galois representations,
- arithmetic surfaces,
- automorphic forms,
- the Langlands program.
The subject illustrates how elementary arithmetic questions evolve into deep geometric and algebraic theories.