Study Music. Click to play or pause. After it starts, press the Space Bar to play or pause. If enabled, it will resume across pages.

Field: Number theory

  • Alexander Grothendieck

    Alexander Grothendieck (1928–2014) was a mathematician whose conceptual inventions transformed algebraic geometry and reshaped the language of modern mathematics. He introduced schemes, a generalization of varieties that unifies geometry over fields and rings and makes arithmetic geometry natural rather than exceptional. He developed new cohomological tools, including étale cohomology, and promoted the use of categories, functors, and toposes to express geometric and logical structure. Grothendieck’s program reorganized algebraic geometry around universal properties, morphisms, and sheaf-theoretic invariants, creating a framework in which deep arithmetic questions, such as the Weil conjectures, could be addressed systematically. His influence extends far beyond specific theorems: he changed what objects are considered fundamental, how proofs are structured, and how geometry and arithmetic are unified under a single conceptual architecture.

    Basic information

    ItemDetails
    Full nameAlexander Grothendieck
    Born28 March 1928, Berlin, Germany
    Died13 November 2014, Saint‑Lizier, France
    FieldsAlgebraic geometry, category theory, number theory
    Known forSchemes; toposes; étale cohomology; Grothendieck’s foundations of modern algebraic geometry; motives
    Major worksÉléments de géométrie algébrique (EGA); Séminaire de géométrie algébrique (SGA); foundational papers

    Early life and education

    Grothendieck was born in Berlin and experienced an early life shaped by political upheaval and displacement. Despite these difficulties, he developed exceptional mathematical ability and pursued mathematics through education in France.

    He entered mathematics during a period when algebraic geometry needed new foundations. Classical varieties and coordinate-based methods struggled with singularities, non-algebraically closed fields, and arithmetic phenomena. At the same time, category theory and homological methods were emerging as powerful unifying tools.

    Grothendieck absorbed these currents and quickly began inventing new conceptual frameworks. His early work already showed a distinctive style: seek the most general context in which a statement is true, then prove it there so it becomes a reusable machine for many special cases.

    Career and major contributions

    Grothendieck’s introduction of schemes is one of the most decisive shifts in modern mathematics. A scheme is built from commutative rings and their prime ideals, with local pieces given by spectra of rings glued together. This construction generalizes classical algebraic varieties and allows geometry to be performed over arbitrary rings, making arithmetic geometry—geometry over the integers—part of the same theory as geometry over fields.

    Schemes resolve many foundational difficulties. They allow nilpotent structure, which captures infinitesimal behavior and makes deformation theory natural. They also handle singularities and base change systematically, providing a stable category in which morphisms, fiber products, and universal constructions behave well.

    Grothendieck developed and promoted sheaf-theoretic and cohomological methods, particularly étale cohomology, which provides a cohomology theory suitable for varieties over finite fields. This was central for approaching the Weil conjectures because it yields groups on which Frobenius acts and which satisfy analogues of topological duality and long exact sequences.

    Through major seminars and extensive written works—EGA and SGA—Grothendieck and collaborators rebuilt algebraic geometry with a new language of categories, functors, and representable objects. This work introduced foundational concepts such as representable functors, moduli problems, and stacks in early forms, and it created a setting where geometric objects are often characterized by their universal mapping properties rather than by equations alone.

    Grothendieck also developed topos theory, a generalization of topological space concepts that unifies sheaves, logic, and geometric morphisms. Toposes provide a setting where one can do geometry-like reasoning with internal logic, and they became influential in both algebraic geometry and categorical logic.

    He promoted the idea of motives, a hoped-for universal cohomology theory that would organize all cohomological invariants into a single conceptual object. While motives remain an evolving and complex program, the motivating ideas shaped later developments in arithmetic geometry, including the study of L-functions, periods, and deep conjectural correspondences.

    Grothendieck’s career included extraordinary productivity and influence during the 1950s–1970s. He later withdrew from much of academic life, but his earlier conceptual architecture remained dominant, and his writings continue to shape how mathematicians reason about geometry and arithmetic.

    Grothendieck’s representability philosophy made moduli problems central. Instead of constructing a space of objects directly, one defines a functor that assigns to each test scheme the family of objects over it, then asks whether this functor is representable by a scheme or stack. This turns classification into a universal property question and provides a systematic route to constructing parameter spaces for curves, bundles, and other geometric structures.

    His approach also refined descent theory, explaining when objects defined locally can be glued globally and how obstructions are measured cohomologically. Descent is essential in arithmetic geometry because local solutions at primes do not automatically assemble into global solutions, and schemes and sheaves provide the right language to manage this gluing problem.

    Key ideas and methods

    Universal properties are central in Grothendieck’s method. Rather than defining an object by a presentation, one defines it as a solution to a universal mapping problem. This makes constructions canonical and stable under change of coordinates or base, and it reveals deep functorial relationships among objects.

    Schemes unify geometry and arithmetic. By allowing base rings beyond fields, schemes make it natural to treat geometric objects defined over the integers and to study how their fibers behave over different primes. This creates a single language for problems that mix algebraic equations with prime arithmetic behavior.

    Sheaves and cohomology provide global invariants from local data. A sheaf encodes how local pieces of information glue, and cohomology measures obstructions to gluing and global structure. Grothendieck’s program made these tools central, so that geometric reasoning becomes systematically homological and functorial.

    Étale cohomology provides a “topology” for algebraic varieties over fields where classical topology does not apply. It allows one to use cohomological invariants to count points, prove duality theorems, and study Galois actions, making arithmetic geometry accessible through geometric invariants.

    Topos theory extends the idea that geometry has an internal logic. By interpreting logical statements inside a topos, one can treat geometric and logical phenomena uniformly, revealing deep connections between algebraic geometry, set theory, and logic.

    Grothendieck’s method is therefore a structural engine: define the right category, build the right universal objects, then let functoriality and cohomology produce results that apply across many settings.

    The emphasis on base change is another hallmark. A geometric object should be understood through its behavior after extending the base ring or field, and the theory should make such extension transparent and functorial. Schemes and fiber products were designed to make this behavior manageable, so that changing the base does not break the category but reveals new fibers and new arithmetic information.

    Later years

    Grothendieck’s later life included withdrawal from mainstream mathematics and a focus on personal and philosophical concerns. Even as he stepped away, the mathematical community continued developing his ideas, and his frameworks became the standard language of algebraic geometry.

    He died in 2014. His influence remains pervasive: schemes, sheaves, cohomology, and categorical methods are now the default toolkit in algebraic geometry and arithmetic geometry, and many modern programs in number theory and geometry depend on the foundations he created.

    Reception and legacy

    Grothendieck transformed algebraic geometry by providing schemes as the foundational objects. This made the subject more flexible, more general, and far more powerful, allowing singularities, arithmetic bases, and infinitesimal structure to be treated systematically.

    His development of étale cohomology and related tools enabled the modern proof of the Weil conjectures and created a cohomological approach to arithmetic that remains central to number theory.

    Topos theory influenced both geometry and logic, providing a general framework for sheaves and for internal reasoning, and it contributed to the modern understanding of how geometric and logical structures can be unified.

    The style of modern algebraic geometry—functorial, categorical, and invariant-based—owes much to Grothendieck. He changed how mathematicians write proofs, how they pose questions, and which objects are considered natural.

    His legacy is the creation of a conceptual architecture in which geometry and arithmetic become two faces of a single theory, and in which universal properties and cohomological invariants provide the stable language for deep mathematical structure.

    Works

    YearWorkNotes
    1950s–1960sSchemes developmentFoundational shift unifying geometry over fields and rings
    1960sEGA and SGAMassive foundational expositions and seminar volumes building modern algebraic geometry
    1960sÉtale cohomologyCohomological tools enabling arithmetic applications and Weil conjectures program
    1960s–1970sTopos theoryGeneralization of spaces and sheaves linking geometry and logic
    1960s–presentMotives programVision for universal cohomology organizing arithmetic and geometry

    See also

    • Schemes
    • Étale cohomology
    • Topos theory
    • EGA/SGA
    • Motives
  • Adrien-Marie Legendre

    Adrien‑Marie Legendre (1752–1833) was a French mathematician whose work influenced number theory, special functions, and mathematical physics. He developed Legendre polynomials, a family of orthogonal polynomials that arise naturally in solving Laplace’s equation in spherical coordinates and became fundamental in physics, approximation theory, and harmonic analysis. Legendre also contributed to elliptic integrals and to early number theory, including work related to quadratic reciprocity and prime counting approximations. In analysis and mechanics, the Legendre transform provides a systematic way to switch between dual descriptions of a convex function, a tool that became central in analytical mechanics through the relationship between Lagrangian and Hamiltonian formulations. Legendre’s influence extends through both theory and exposition: his geometry textbook shaped education, and his special-function work became embedded in the mathematical physics toolkit.

    Basic information

    ItemDetails
    Full nameAdrien‑Marie Legendre
    Born18 September 1752, Paris, Kingdom of France
    Died10 January 1833, Paris, Kingdom of France
    FieldsNumber theory, analysis, geometry, mathematical physics
    Known forLegendre polynomials; Legendre transform; least squares work; number theory and elliptic integrals
    Major worksÉléments de géométrie (1794); papers on number theory and elliptic integrals; special functions

    Early life and education

    Legendre was born in Paris and received education in an era when French mathematics was developing strong analytic and institutional traditions. He became associated with scientific circles that emphasized applied mathematics and the rigorous development of analytic methods.

    The late eighteenth century saw the consolidation of calculus, the growth of celestial mechanics, and the emergence of special-function theory motivated by physical PDE problems. Legendre’s early development was shaped by this environment, where solving physical equations required new families of functions and systematic approximation tools.

    Legendre also developed interest in number theory. The work of Fermat, Euler, and Gauss created a growing arithmetic tradition, and Legendre contributed to this tradition through proofs, conjectures, and computationally informed theory.

    Career and major contributions

    Legendre’s name is strongly associated with Legendre polynomials, solutions of a classical second-order differential equation arising from separation of variables in Laplace’s equation. These polynomials are orthogonal on the interval [−1, 1] with respect to the standard weight and form a basis for expanding functions in many physical contexts. In physics they appear in multipole expansions, gravitational and electrostatic potentials, and spherical harmonics constructions.

    He contributed to elliptic integrals, studying integrals that arise in arc-length problems and in mechanics. Legendre organized elliptic integral theory into standard forms and introduced systematic notation and classification, helping turn a collection of difficult special integrals into a structured domain that could be studied and applied.

    In number theory, Legendre worked on quadratic reciprocity and related residue questions. While Gauss provided definitive proofs and broader theory, Legendre’s contributions were significant in advancing the subject and in developing computational and conceptual tools for residue behavior and quadratic forms.

    Legendre also studied prime distribution and proposed an approximation for the prime counting function. Although later results refined the asymptotics and clarified the role of logarithmic integrals, his work reflects the early nineteenth-century attempt to understand primes statistically and analytically.

    In analysis and mechanics, the Legendre transform provides a method for constructing a dual function by taking a supremum of linear forms. In classical mechanics, this transform connects the Lagrangian description in terms of velocities to the Hamiltonian description in terms of momenta, showing that mechanical dynamics can be described equivalently in dual coordinate systems when convexity and regularity conditions are satisfied.

    Legendre also contributed to methods in least squares and estimation, interacting with the broader mathematical culture of measurement error and inference that included Gauss and Laplace. These methods became central in astronomy, geodesy, and later statistics.

    His Éléments de géométrie became a widely used textbook, shaping geometry education by presenting Euclidean material in a clear, organized format. This educational role amplified his influence beyond research and contributed to standardization of mathematical instruction in the nineteenth century.

    Legendre’s orthogonal polynomial work sits inside a broader theory of Sturm–Liouville problems, where differential operators with boundary conditions have eigenfunctions forming an orthogonal basis. In the spherical case, separation of variables yields Legendre’s equation and spherical harmonics. These tools became standard in gravitational potential modeling, quantum angular momentum theory, and numerical approximation on spheres.

    In mechanics, the Legendre transform clarifies the relationship between energy descriptions. When the Lagrangian is convex in velocity, the transform produces the Hamiltonian as a function of momenta, and Hamilton’s equations follow. This dual formulation is not merely a change of variables; it changes the viewpoint from configuration–velocity to phase space geometry.

    Legendre also contributed to geodesy and measurement contexts where spherical models and harmonic expansions are essential. The same Legendre polynomial expansions used in theoretical physics appear in Earth modeling and in describing gravitational fields, reinforcing the deep link between special functions and real measurement.

    Key ideas and methods

    Orthogonal polynomials such as Legendre polynomials provide a natural basis for expanding functions when an operator has a symmetric structure. Orthogonality makes coefficient extraction stable and separates modes, enabling efficient solution of PDEs through separation of variables and series expansion.

    The Legendre transform expresses duality. A function can be represented either by its dependence on a variable or by dependence on the conjugate slope variable, and the transform provides a systematic map between these representations. This duality is central in mechanics, optimization, thermodynamics, and convex analysis.

    Legendre’s elliptic integral work illustrates the value of canonical forms. By transforming complicated integrals into standardized types, one can compare problems, develop tables, and build function families with consistent identities and transformations.

    In number theory, Legendre’s residue and reciprocity work reflects a broader structural goal: characterize solvability of congruences through invariants and reciprocity laws. This tradition later developed into algebraic number theory and class field theory, but the early reciprocity viewpoint already shows the power of encoding solvability through symbolic structure.

    Orthogonality of Legendre polynomials yields efficient coefficient extraction through inner products, analogous to Fourier coefficients. This makes them natural tools for approximation: truncating the expansion provides the best approximation in an L^2 sense under the appropriate weight, and convergence behavior can be analyzed through spectral methods.

    The Legendre transform is also central in convex optimization. It provides a way to move between a function and its convex conjugate, turning constraints into penalties and enabling dual problems whose solutions provide bounds and certificates. This duality idea later became a major organizing principle in optimization theory and statistical inference.

    Legendre’s equation also illustrates the general phenomenon that symmetry creates special functions. Rotational symmetry leads to spherical coordinates, and spherical coordinates lead to eigenvalue problems whose solutions are Legendre polynomials and spherical harmonics, tying symmetry directly to the analytic basis used for expansion.

    Later years

    Legendre continued research and writing in France through political upheavals, maintaining scientific productivity and contributing to institutional mathematics. He remained engaged with both pure and applied problems, including special functions and number-theoretic questions.

    He died in 1833. His polynomials, transform, and special-function work remained central in nineteenth-century physics and analysis and continue to be standard tools in modern applied mathematics.

    Reception and legacy

    Legendre polynomials and associated special functions became fundamental in mathematical physics. They are central in spherical harmonic expansions and in solving PDEs with rotational symmetry, appearing throughout gravitational theory, electromagnetism, quantum mechanics, and numerical approximation.

    The Legendre transform is a core tool in modern analysis and mechanics, providing the mathematical mechanism behind switching between dual descriptions in Hamiltonian–Lagrangian theory and in convex optimization.

    Legendre’s organization of elliptic integrals created a standard framework that later mathematicians extended into elliptic functions, modular forms, and modern complex geometry contexts.

    In number theory, his work contributed to the evolving understanding of quadratic residues and prime distribution, helping advance a subject that later became central in modern mathematics.

    As an educator, Legendre helped standardize geometry instruction through a widely used text, contributing to the broader mathematical culture that supported nineteenth-century scientific expansion.

    Legendre’s functions and transforms remain embedded in modern scientific computing, where spherical harmonic expansions and convex duality are standard techniques for both theoretical derivation and numerical implementation.

    In number theory, Legendre’s residues and reciprocity work contributed to a growing computational tradition that later became essential in modern algorithmic number theory. Even where later proofs refined details, his emphasis on systematic criteria for congruence solvability remained influential.

    Works

    YearWorkNotes
    1794Éléments de géométrieInfluential Euclidean geometry textbook and educational standard
    Early 1800sLegendre polynomials workOrthogonal polynomial family for spherical potential problems
    Early 1800sElliptic integrals studiesCanonical forms and systematic organization of elliptic integrals
    18th–19th centuryNumber theory papersQuadratic residues, reciprocity-related work, and prime estimates
    19th centuryDuality methodsLegendre transform foundations used later in mechanics and optimization

    See also

    • Legendre polynomials
    • Legendre transform
    • Elliptic integrals
    • Quadratic reciprocity
    • Orthogonal expansions