01 · The idea
In everyday language
A rational point on a curve is a solution whose coordinates lie in the chosen number field. Curves behave differently according to their genus: some have infinitely many rational points, while sufficiently complicated ones do not. Faltings proved that every smooth projective curve of genus greater than one over a number field has only finitely many such points. His approach studies the curve’s Jacobian and finiteness properties of abelian varieties, bringing geometry and arithmetic together. The theorem rules out an endless supply of solutions without necessarily showing where the last one lies or giving an effective search bound.
Why it matters
The proof resolved the Mordell conjecture and established arithmetic-geometric methods as powerful tools for studying rational solutions, influencing later finiteness questions far beyond individual equations.
