# Rational and Integral Points ## 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.