Other meanings of Geometry of numbers
Number Theory
The geometry of numbers is a branch of number theory that applies geometric methods to study the arithmetic properties of integers, founded by Hermann Minkowski in the late 19th century. Its central objects are lattices in Euclidean space, and its main tools include convex bodies, determinants, and the fundamental theorem that bears Minkowski's name. The subject has deep connections to Diophantine approximation, quadratic forms, and algebraic number theory, and it has found applications in fields as diverse as coding theory, cryptography, and the theory of sphere packings.
The geometry of numbers originated with Minkowski's 1896 monograph Geometrie der Zahlen, which systematically used convex bodies to prove results about integer solutions to inequalities. The central result, Minkowski's theorem, states that any centrally symmetric convex body in n-dimensional Euclidean space with volume greater than 2n times the determinant of a lattice contains a nonzero lattice point.1 This theorem has a simple proof via the pigeonhole principle applied to translates of half the body, and it yields immediate proofs of classical results such as Lagrange's four-square theorem and Dirichlet's approximation theorem.2 Minkowski also introduced the notion of successive minima, which measure how far one must scale a convex body to contain a given number of linearly independent lattice points.
A lattice in Rn is the set of all integer linear combinations of a basis, and its determinant is the volume of its fundamental parallelepiped. The geometry of numbers studies the relationship between the lattice's arithmetic structure and its geometric properties, such as the length of the shortest nonzero vector (the minimum) and the covering radius. Reduction theory, initiated by Minkowski and developed by others, seeks a canonical basis for a lattice under the action of the general linear group, leading to the notion of Minkowski-reduced bases and the associated fundamental domains. These ideas are essential in the theory of positive definite quadratic forms, where they provide a geometric framework for classifying forms up to equivalence.3 The theory also connects to the geometry of the moduli space of lattices, which is a key object in arithmetic geometry.
The geometry of numbers provides powerful tools for Diophantine approximation, such as Minkowski's linear forms theorem, which guarantees simultaneous approximation of real numbers by rationals with bounded denominators.4 In algebraic number theory, the geometry of numbers is used to prove the finiteness of the class group and Dirichlet's unit theorem by embedding a number field into Euclidean space via its archimedean and non-archimedean places.5 The product formula and the notion of a lattice in the adele ring are direct outgrowths of this geometric viewpoint. These applications have made the geometry of numbers a cornerstone of modern number theory, influencing the development of Arakelov theory and the study of heights on abelian varieties.
Beyond its classical core, the geometry of numbers has surprising connections to other fields. For instance, the theory of sphere packings, culminating in the proof of the Kepler conjecture, uses lattice packings and the geometry of numbers to bound packing densities.6 In coding theory, lattices such as the Leech lattice are used to design error-correcting codes, and the geometry of numbers provides bounds on the minimum distance. In cryptography, lattice-based cryptography relies on the hardness of problems like the shortest vector problem, which is a direct geometric question. A lesser-known fact is that Minkowski's original work was motivated by problems in quadratic forms, and his theorem on the product of linear forms has applications to the theory of continued fractions. Another edge case is the study of the geometry of numbers over function fields, where analogues of Minkowski's theorem hold and have applications to algebraic geometry.
This article focuses on the classical geometry of numbers as founded by Minkowski, distinct from other uses of the term.
Help improve the encyclopedia. Reports go straight to the site manager.