Abstract: This report traces the evolving meanings of “geometry” in European and American mathematics from the era of Leonhard Euler (18th century) to the present day. Over nearly three centuries, “geometry” has expanded from denoting the classical study of shapes and Euclidean space to a sprawling family of subfields and methodologies. We examine what mathematicians of each era understood “geometry” to mean, how new theories and external pressures reshaped those meanings, and how “geometry” functioned both as a subject area and a style of reasoning. Key transitions include the rise of analytic and coordinate methods, the introduction of projective and non-Euclidean geometries, the 19th-century unification of geometry via transformation groups (Klein’s Erlangen Program), the axiomatization of geometry by Hilbert, the 20th-century branching into differential, topological, algebraic, and computational geometries, and the influence of physics and computing. We also explore enduring tensions—synthetic vs. analytic methods, intuition vs. rigor, local vs. global perspectives, continuous vs. discrete structures, algebraic vs. geometric mindsets—and how the term “geometry” at times unified mathematicians and at other times fragmented into specialized “geometries.” Through historical narrative, case studies, and quotations from major figures, we show how “geometry” evolved from the study of tangible figures in Euclidean space to a unifying language of mathematical structure, and why it remains a plurality of approaches today.
Keywords: geometry; synthetic geometry; analytic geometry; projective geometry; non-Euclidean; differential geometry; topology; algebraic geometry; transformation groups; geometric intuition; axiomatic method; geometric analysis; discrete geometry; computational geometry; history of mathematics.
Executive Summary Link to heading
What is “geometry”? The meaning of geometry in mathematics has never been static. In the 18th century, Leonhard Euler and his contemporaries used “geometry” to refer primarily to the classical, figure-based study of shapes, as epitomized by Euclid, in contrast to the emerging “analysis” (calculus and algebraic methods)[1]. Back then, geometric reasoning meant reasoning from diagrams and spatial intuition, whereas analytic methods meant algebraic manipulation of symbols, often eschewing figures. Euler explicitly contrasted the two, describing geometry as reasoning grounded in concrete figures (the “inspectio figurae”) and analysis as an abstract, symbolic mode of thought free of diagrams[1][2]. Geometry was largely Euclidean and “synthetic” (proofs by construction and deduction from axioms) and was central to education and to areas like surveying, navigation, and engineering.
19th-century explosions: The 19th century profoundly broadened what “geometry” could mean. New subfields emerged, each redefining geometry’s scope:
Projective Geometry: Initiated by Poncelet (1820s) and developed by mathematicians like Plücker, Cayley, and Grassmann, projective geometry introduced “points at infinity” and new invariants. By the late 1800s, projective methods were considered “modern geometry” itself[3]. Projective geometry was celebrated for being “more geometric” than analytic geometry—i.e. more aligned with the spirit of spatial reasoning—because it relied on properties invariant under projection rather than on coordinate equations[3]. Arthur Cayley boldly declared that “projective geometry is all geometry”, underscoring the belief that Euclidean (metric) geometry is just a special case of the projective framework[4]. In his 1859 memoir, Cayley showed that Euclidean distances could be derived from projective concepts, effectively merging geometry with algebra in new ways.
Non-Euclidean Geometry: The discovery of consistent geometries that violate Euclid’s parallel postulate (by Gauss, Lobachevsky, Bolyai in the 1820s–1830s) expanded “geometry” to include multiple possible spaces. At first, many mathematicians and philosophers were skeptical that non-Euclidean geometry was genuine geometry at all. Some regarded it as a mere logical exercise “employ[ing] ordinary words – such as ‘straight’ and ‘plane’ – with a covertly changed meaning”[5]. Over time, however, non-Euclidean (hyperbolic and elliptic) geometry gained acceptance as legitimate geometry, especially after Beltrami (1868) found models linking them to Euclidean surfaces. The rise of non-Euclidean ideas forced a distinction between geometry as an axiomatic formal science vs. geometry as physical space. It became clear that “geometry” was not inevitably the study of our physical space alone, but a family of formal systems.
Differential Geometry: Carl Friedrich Gauss and later Bernhard Riemann revolutionized geometry by introducing curvature and the idea of manifolds. Riemann’s famous 1854 habilitation, “On the hypotheses which lie at the foundations of geometry,” reimagined geometry as the study of n-dimensional continuous manifolds with a metric to measure lengths and angles. Riemann suggested that Euclidean geometry’s axioms were not the only possibility; instead, the metric structure could vary. He articulated that geometry required not just the notion of space, but also a way to measure (a metric), and that mathematicians had not yet illuminated why Euclid’s particular structure was necessary[6]. In Riemann’s framework, different metric hypotheses yielded different geometries (e.g., spaces of constant positive curvature, zero curvature, or negative curvature), and he even raised the possibility that physical space might have curvature. Geometry thus shifted from the study of the properties of a fixed Euclidean space to the study of abstract spaces defined by any specified metric relations.
Transformation Groups (Klein’s Erlangen Program): By 1872, Felix Klein synthesized many of these developments in his Erlangen Program. Klein proposed that each type of geometry could be characterized by the group of transformations under which its properties are invariant. In his words, “Given a manifold and a group of transformations of the manifold, [the task is] to study the configurations with respect to those features which are not altered by the transformations of the group.”[7]. This approach unified Euclidean, projective, affine, and non-Euclidean geometries as instances of the same concept (with different transformation groups). Geometry became, in essence, the study of invariants under groups of symmetries. Klein’s vision greatly broadened what counted as geometry: for example, projective geometry focuses on invariants under the projective group, Euclidean geometry under the Euclidean distance-preserving group, etc. It also cemented the idea that algebra (group theory) could organize geometry.
Algebraic Geometry: In the 19th century, algebra and geometry were deeply intertwined through analytic geometry and the study of algebraic curves (polynomial equations in two variables). By the late 1800s and early 1900s, the Italian school of algebraic geometry (Castelnuovo, Enriques, etc.) was using sophisticated geometric intuition on algebraic curves and surfaces, often with sparse rigor. Here “geometry” often meant the intuitive study of solutions to polynomial equations (curves, surfaces) and their intersections. However, as this field evolved, particularly after 1950, algebraic geometry underwent a rigorous foundation (with Oscar Zariski, André Weil, and later Alexander Grothendieck) that recast it in terms of abstract algebra (commutative algebra, then category theory). Algebraic geometry stretched the meaning of “geometry” to settings with no obvious visual or spatial intuition – e.g. the geometry of algebraic varieties over finite fields or complex number fields – yet practitioners still spoke of the “geometry” of these algebraic objects, maintaining that there was a geometric way of thinking about algebraic relations.
20th-century fragmentation and cross-pollination: In the 20th century, geometry branched into numerous subfields, each with its own techniques and guiding questions, yet all flying under the banner of “geometry.” Key branches included:
Topology and Geometric Topology: Starting with Poincaré’s analysis situs (~1895) and moving into the 20th century (Brouwer, Alexander, Lefschetz), topology was born as a new way of thinking geometrically. Topology studies properties of space preserved under continuous deformations. It was at first seen as quite separate from “geometry” because it neglects metric notions like distance or angle. Yet topologists often considered themselves geometers of a sort (talking about “spaces” and their shapes in a broad sense). By mid-century, geometric topology (e.g., the study of manifolds in higher dimensions, knots, etc.) had become an important geometric arena, bringing in tools like simplicial complexes and algebraic invariants. “Geometry” here meant an intuitive, often visual insight into spaces that might not have a rigid geometry in Klein’s sense, but still had shape properties.
Differential Geometry & Geometric Analysis: Through the 20th century, differential geometry flourished (with figures like Élie Cartan, Hermann Weyl, and later S.-S. Chern) by merging calculus with geometry to study curved spaces (manifolds with metrics or connections). In the later 20th century, geometric analysis arose – a blend of differential geometry and analysis/PDE, championed by mathematicians like Shing-Tung Yau. Techniques like minimal surfaces, harmonic maps, and the Ricci flow (developed by Richard Hamilton and dramatically applied by Grigori Perelman in the 2000s to solve the Poincaré Conjecture) exemplify analysis used in service of geometric problems. These developments showed yet another facet of “geometric” reasoning: leveraging partial differential equations and variational principles to understand shape, curvature, and topology. Though highly analytic in technique, this work is called geometric because the problems and intuitions come from the world of shapes and spaces (e.g., understanding the “shape” of a three-manifold by flowing its metric).
Algebraic and Complex Geometry: After mid-century, algebraic geometry was recast by Grothendieck and collaborators into one of the most abstract forms of geometry. Grothendieck introduced schemes (generalizing varieties) and used category theory and sheaf cohomology, turning geometry into something very algebraic (even “functorial” in style). Yet this abstraction was motivated by geometric problems (unifying number theory with geometry) and led to new geometric concepts (like étale cohomology as a stand-in for topological holes in algebraic varieties). Simultaneously, complex geometry (the study of complex manifolds and Kähler geometry) linked algebraic geometry with differential geometry (via Hodge theory, for instance). In all these, the word “geometry” persisted, even as one could solve problems without drawing a single figure – a striking shift from the days of Euclid. The “geometry” was now in the structural insight and intuition, not necessarily in pictures.
Discrete, Computational, and Metric Geometry: In the later 20th century, other new flavors of geometry emerged:
Discrete and combinatorial geometry (with roots in polyhedral geometry and combinatorics of arrangements) studies configurations of discrete sets (points, lines, etc.) and combinatorial properties of shapes. It addresses problems like sphere packings, polyhedral surfaces, or incidence relations (Erdős-type problems on distances among points).
Computational geometry (developing from the 1970s onward) applies geometry to computer algorithms, focusing on problems like convex hulls, triangulations, and motion planning. Here “geometry” became an applied field in computer science, with the term still evoking shapes, but the emphasis on efficient computation of geometric structures.
Metric geometry (as advanced by mathematicians like Mikhail Gromov) took off in the late 20th century, focusing on very general spaces where only distances are defined. Gromov’s work on metric spaces of non-positive curvature and on geometric group theory (viewing group theory through the lens of geometry by endowing groups with a metric via Cayley graphs) again broadened “geometry.” Now even infinite abstract groups have a “geometry” (their Cayley graph shapes up in large-scale metric terms), and one speaks of the “geometry of groups.” This area emphasizes “large-scale” geometric properties and blends with topology and combinatorics.
Emerging fields (“Geometry of X”): The flexibility of the term is evident in modern hybrids: geometric topology, geometric group theory, arithmetic geometry, symplectic geometry, information geometry, tropical geometry, etc. In each case, “geometry” implies a style of reasoning or a set of tools – often involving visual intuition, spatial reasoning, or invariants of continuous change – being applied to a new domain. For instance, information geometry uses differential geometry to study probability distributions (treating them like a curved manifold); tropical geometry uses piecewise-linear (“combinatorial”) analogues of algebraic varieties, tongue-in-cheek naming these constructions “tropical curves” and so on. Even in computer science and data science, one finds terms like “geometric deep learning” or “topological data analysis”, invoking geometry/topology to connote certain structural or spatial approaches.
Key tensions and themes: Across these epochs, some recurrent tensions shaped what different communities meant by “geometry”:
Synthetic vs. Analytic: This is the oldest dichotomy. Synthetic geometry (à la Euclid) uses constructions and visual-spatial reasoning without coordinates; analytic geometry uses algebraic formulas and equations. In the 18th and 19th centuries, debates raged over the merits of pure synthetic reasoning versus the power of algebraic analysis. Euler himself acknowledged the power of analysis but noted that it proceeds “along abstract ideas” without figures, whereas geometry “relied on the aid of figures” and the immediate insight from diagrams[2][8]. In education, this persisted as a debate over whether to teach geometry via proofs and ruler-and-compass constructions or via coordinates and formulas. Over time, many advances came from fusing the two approaches (e.g., using analytic methods to solve geometric problems), but the terms “geometric solution” vs. “analytic solution” are still used to contrast an intuitive spatial argument with an algebraic calculation.
Intuition vs. Axiomatic Rigor: As mathematics became more rigorous (especially post-1860s), some lamented a loss of geometric intuition. Hilbert’s 1899 Foundations of Geometry axiomatized Euclidean geometry, treating undefined terms like “point, line, plane” formally—famously saying one should be able to substitute “tables, chairs, and beer mugs” for points, lines, and planes without affecting correctness[9]. This epitomized a new view: geometry as a formal axiomatic system, divorced from any physical intuition. Yet others (like Henri Poincaré and later Hermann Weyl or even practitioners like Thurston) emphasized géométrie vécue – geometry as experienced intuition of space. The 20th century saw many foundational debates (e.g., intuitionism vs formalism) play out in geometry as well. Hilbert and the school of formalists treated geometry as a branch of logic (one of Hilbert’s students was motivating automatic theorem proving in geometry by the 1910s), whereas others like Felix Klein or later René Thom advocated that geometric intuition is indispensable for discovery. This tension is visible in textbooks: some mid-century texts (especially under the influence of Bourbaki and “New Math”) tried to eliminate pictures, whereas later reformers re-emphasized diagrams and “geometric imagination.”
Local vs. Global: Differential geometry introduced a split between local and global geometry. In Riemann’s approach, geometry is initially local (properties defined in a small neighborhood via calculus), but the global structure (the overall shape/topology of the manifold) is another matter. The interplay between local curvature and global topology became a driving question: for example, does positive curvature locally imply some global shape (as in the Gauss–Bonnet theorem relating local curvature to the global Euler characteristic)? In the 20th century, global differential geometry and global analysis developed, tackling how local geometric data integrate into global results (like the Hirzebruch–Riemann–Roch theorem or the Atiyah–Singer Index Theorem which marry local differential geometry with global topology). The term “geometry” thus came to encompass not just local differential-geometric reasoning but also global topological insights—sometimes creating friction when methods from one domain invaded another.
Continuous vs. Discrete: Classical geometry was largely continuous—lines and curves were continua. But in the 19th century, with combinatorial geometry of polytopes (think of Euler’s polyhedron formula) and early graph theory, and later in the 20th century with discrete geometry and computer science, discrete geometry grew in stature. Many modern “geometries” (like configurations of finite sets of points, or pixelated approximations of shapes, or networks) deal with fundamentally discrete elements. This raises the question: is it geometry in the classical sense? The consensus has been that if the methods or questions have a spatial/geometric flavor, the “geometry” label can apply. For example, one speaks of the geometry of polyhedra or the geometry of binary codes (via Hamming distances) or geometry on graphs. Sometimes the word “combinatorial geometry” is used, other times “geometric” is stretched to include even very abstract combinatorial configurations (as in “incidence geometry” or “finite geometry” for projective planes over finite fields).
Algebraic vs. Geometric Methods: In many subfields, there is an interplay between algebraic and geometric viewpoints. Algebraic geometry is the clearest example: one can approach it purely algebraically (as solving polynomial equations) or geometrically (visualizing solution sets as shapes). Geometric methods in number theory or group theory often mean using continuous structures or spatial intuition to tackle problems (e.g., using geometry of numbers in number theory, or using hyperbolic geometry to study group growth). Conversely, algebraic methods in geometry mean using algebraic equations and algebraic invariants (like homology, cohomology) to solve geometric problems. Throughout the 20th century, the boundaries blurred: algebraic topology and geometric group theory are algebraic subjects using geometric language, while algebraic geometry often uses heavy algebra but for geometric ends. The label “geometry” in a subject often signals an intent to use intuition from shapes, continuity, or spatial relationships, even if the actual work involves solving equations or manipulating symbols.
Pure vs. Applied Geometry: Another theme is how geometry oscillated between pure theoretical development and practical application. Monge’s descriptive geometry was driven by engineering and fortifications (it was the “mathematical foundation of engineering graphics” in its time). In contrast, Riemann’s geometry was a purely theoretical exploration initially—but later found unexpected application in Einstein’s General Relativity (early 20th c.), where suddenly the geometry of 4-dimensional spacetime became physics. In the late 20th and 21st centuries, computational geometry fed into computer graphics, robotics, and GIS; differential geometry found uses in computer vision and medical imaging (through concepts like curvature-based shape analysis); topology entered data science (topological data analysis). These cross-disciplinary pressures often forced mathematicians to expand what counts as geometry. For instance, computer graphics gave rise to computational differential geometry (algorithms for curves and surfaces), and robotics gave us terms like “configuration space geometry.” Thus, geometry as a style of reasoning—visual, spatial, global—proved transferrable to many domains.
Major shifts and recurring patterns: Summarizing major historical shifts:
Euler’s time (18th c.): Geometry vs Analysis as two modes of math. Geometry = concrete spatial reasoning; the rise of analytic geometry (Descartes onward) began merging algebra with geometry but many still saw them as distinct branches.
19th c.: Geometry pluralizes – projective, differential, and non-Euclidean geometries burst onto the scene. Geometry becomes the testing ground for the idea of mathematical truth vs convenience (as Poincaré put it, “Geometry is not true, it is advantageous”[10] – meaning we choose Euclidean or non-Euclidean geometry based on convenience in physics, not truth). By century’s end, “geometry” is as much about transformation groups and invariants as it is about rulers and compasses.
Early 20th c.: Foundation crises and new structures. Hilbert formalizes geometry, while topology and algebraic geometry carve out new ground. The word “geometry” now spans from the most concrete (drawing projections in descriptive geometry) to the highly abstract (Hilbert’s axioms, or the continuum of non-Euclidean models). Schools of thought diverge: e.g., French and Italian mathematicians push intuitive projective/algebraic geometry, while German/American mathematicians emphasize rigorous foundations (eventually leading to the triumph of the arithmetical approach to algebraic geometry by mid-century).
Mid 20th c.: Unity through abstraction vs. specialization. Bourbaki (a collective of mostly French mathematicians) attempted to absorb geometry into a general structural approach—resulting in texts like Éléments de géométrie algébrique (Grothendieck) that rebuild geometry from set theory up. Meanwhile, geometers in topology, differential geometry, and classical Euclidean geometry continued more concrete traditions (though even Euclidean geometry nearly vanished from advanced research by this time). A proliferation of specialized “geometries” (each with its journals, conferences, etc.) occurred – yet there were also synthetic efforts like H. Weyl’s and later M. Atiyah’s, who connected complex algebraic geometry, topology, and analysis (as in Hodge theory and index theory, unifying different branches under common problems).
Late 20th to 21st c.: Geometry as an interdisciplinary hub. By now, geometry is less a single discipline than an approach or toolbox. “Geometric thinking” influences combinatorics (e.g., combinatorial geometry and polytope theory), algebra (geometric group theory, representation theory via geometry), computer science (computational geometry, computer vision), physics (string theory’s heavy use of algebraic and differential geometry, e.g., Calabi–Yau manifolds in mirror symmetry), and even data science (manifold learning, information geometry). The term geometry still denotes certain unifying principles: the use of continuity, the exploitation of symmetry, the reliance on spatial intuition or analogies, and a focus on shapes (however abstract). At the same time, no one person can any longer master all of “geometry.” It has splintered into sub-communities with their own languages. For instance, an algebraic geometer and a differential geometer might both attend a “geometry” conference but not understand each other’s talks in detail – their common heritage is mostly historical.
Consequences for practice: The evolving semantics of “geometry” has had practical effects on how mathematics is organized. In the 19th century, geometry (especially Euclidean) was central to education; a mathematician’s training was not complete without Euclid. By the mid-20th century, Euclid had all but disappeared from advanced curricula, replaced by modern algebra or topology in many places. However, elements of classical geometry survive in contests and problems (e.g., the spirit of Euclidean geometry lives on in high-school olympiad problems). At the research level, geometry-related prizes (Fields Medals to geometers like Thurston, Donaldson, Mirzakhani, etc.) and programs show that geometry often drives major advances in math. Institutional identities also shifted: some university math departments in the 20th century created separate topology or algebraic geometry groups, but by the 21st century, we see new hybrids (like “Geometry and Topology” groups or “Center for Applied Geometry”). Journals often specialize, yet broad ones like Geometry & Topology or Journal of Differential Geometry cater to an audience that sees itself as a single broad community of “geometers” despite internal diversity.
In summary, “geometry” evolved from the study of Euclidean figures to a fundamental mode of mathematical thinking applicable to almost any structure. It has been stretched to cover various subjects (sometimes metaphorically), but this overloading of meaning is part of its power: calling something “geometric” often implies it can be visualized or understood spatially, even if abstract. The central tensions—rigor vs intuition, algebraic vs visual, etc.—have periodically caused rifts or shifts in emphasis, but they also led to rich syntheses (for example, algebraic topology uniting algebraic invariants with geometric spaces, or analytic geometry uniting algebra and shape). Today, geometry doesn’t mean one thing but rather signifies a vibrant spectrum of mathematical thought, all rooted, in some way, in the ancient idea of space and form.
Introduction: Why the Semantics of “Geometry” Matter Link to heading
What do mathematicians mean when they say “geometry”? The word, derived from Greek for “earth measurement,” originally referred to the practical art of measuring land and the theoretical study of shapes and sizes in Euclid’s Elements. For millennia, geometry largely meant Euclidean geometry – the study of points, lines, circles, polygons, and so on, in a flat two- or three-dimensional space, using logical deductions from axioms. However, from the 18th century onward, the scope of geometry exploded. Mathematicians developed new geometries and applied geometric thinking in novel ways, leading to a profusion of terms: analytic geometry, projective geometry, non-Euclidean geometry, differential geometry, topology (often called “analysis situs” early on), algebraic geometry, discrete geometry, computational geometry, and many more, including phrases like “the geometry of [X]” for various X (numbers, data, groups, spacetime, etc.).
This proliferation of meanings is not just a quirk of language; it reflects deep changes in mathematical practice and philosophy. Tracking the semantics of “geometry” from Euler’s time to today allows us to illuminate:
Conceptual shifts in math: When Gauss and others countenanced the idea of geometry on a curved surface, or when Klein redefined geometry via symmetries, they were not just adding new theorems – they were changing what counts as geometry. Each shift resolved some questions and raised others: Is geometry about physical space or abstract possibility? Is it about visual intuition or formal proof?
Methodological styles: Mathematicians often identify themselves by the methods they favor. Describing an approach as “geometric” often implies it uses insight from shapes or spatial reasoning. For instance, an analyst might solve an integral using an algebraic trick, whereas a “more geometric” solution might interpret the integral as an area in the plane. Thus, “geometry” is also a style – one that emphasizes intuition, visual thinking, and sometimes construction.
Interdisciplinary bridges: Geometry has been the meeting ground of pure math and the real world (from engineering drawing to Einstein’s relativity). It also often serves as a common language between different math subfields. For example, physicists talk about the “geometry of the universe” when discussing cosmology (curved spacetime), computer scientists discuss the “geometry of networks”, and statisticians use “information geometry” to improve algorithms. Understanding how the meaning of geometry broadened can help us see how these bridges formed.
Educational and cultural factors: Geometry’s place in curricula has waxed and waned. In some periods, educating someone in geometry meant drilling the first books of Euclid; in others, it meant training them in linear algebra and calculus first, perhaps pushing Euclid aside. Debates in math education often revisit what kind of geometry (if any) should be taught and why – debates that go back to the 19th-century dispute over synthetic vs. analytic teaching. The semantics of geometry in these debates reveal differing values: logical rigor vs. intuitive understanding, for example.
Identity of mathematical communities: Terms like geometer or geometrician have at times had specific connotations. In the late 19th century, a “geometer” might be someone working on projective geometry or Euclidean geometry, distinct from an “analyst” working on calculus. By the mid-20th century, you could be an algebraic geometer or a differential geometer – specialists in very different toolsets, yet both claiming the mantle of geometry. The history of the word tracks the formation of subdisciplines and schools. For instance, the Italian school of algebraic geometry in the early 20th century was known for its “geometric intuition” (sometimes at the expense of rigor), whereas the subsequent generation (largely trained in the U.S., Germany, and later France) prided themselves on algebraic rigor in geometry.
In this report, we undertake an exhaustive historical analysis of how the meaning of “geometry” evolved. We aim to be conceptual (explaining the different concepts of geometry), narrative (tracing chronology and cause-effect between eras), and evidential (citing definitions and quotes by mathematicians to see how they themselves used the term). Our scope covers primarily Europe and the United States, roughly 1750s to 2020s, and touches on major developments in pure mathematics with occasional forays into influences from physics, engineering, and computer science.
The structure of the report is as follows:
We begin with a Typology of Senses of “Geometry”, presenting a kind of glossary or matrix of the main ways “geometry” is used (e.g. as subject vs. as method, synthetic vs analytic, etc.), with examples. This serves as a roadmap for readers to navigate the multiple meanings.
We then provide a Periodized Narrative in chronological order, dividing the history into major periods (late 18th c., early–mid 19th, late 19th, early–mid 20th, mid–late 20th, and recent decades). In each period, we highlight what “geometry” meant to the mathematicians of the time, what new developments altered that meaning, and the interplay of the various subfields.
Next, we delve into 10+ Case Studies – specific episodes where the meaning of “geometry” was notably stretched, debated, or redefined. These range from Gaspard Monge’s invention of descriptive geometry for military engineering, to Felix Klein’s Erlangen Program, to Alexander Grothendieck’s redefinition of algebraic geometry, to Thurston’s work on 3-dimensional manifolds and the concept of multiple “geometries” on a topological manifold. Each case study provides a concrete look at how mathematicians of that time described what they were doing as geometry (or not).
We then present a Curricular Cross-Section comparing how geometry was taught in different periods and places. For example, we compare the enduring teaching of Euclidean geometry in European gymnasiums to the transformation approach of the “New Math” in the U.S. during the 1960s, and look at contemporary curriculum standards (which often try to balance coordinate geometry, Euclidean proof, and intuitive geometry).
In a Discussion section, we analyze the overloading of the term “geometry” – how having one word cover so much has been both unifying (creating dialogue between fields) and a source of confusion or fragmentation. We ask: is there anything still common to all these geometries? Or has the word simply become polysemous to the point of ambiguity?
We conclude with reflections on What “Geometry” Means Today and why, despite fragmentation, mathematicians continue to find value in thinking of disparate approaches as all “geometric” in some sense. We consider whether geometry retains a distinctive identity or if it has dissolved into general mathematics.
Finally, we append a Quote Dossier of brief quotations from primary sources across the centuries, showing in their own words how key figures defined or viewed geometry, and an Annotated Bibliography of primary and secondary sources for further reading on this rich history. An Appendix provides a conceptual map illustrating the branching of geometry into various subfields and their interrelations (as a visual summary of the report’s findings).
Throughout, we adopt a neutral, academic tone, aiming to explain technical concepts in accessible language and to define jargon when first introduced. Readers who are mathematically literate but not specialists in any one branch of geometry should find the explanations clear, with minimal advanced prerequisites beyond basic college-level math.
Understanding the semantics of “geometry” is more than an exercise in historiography; it sheds light on how mathematics grows and self-defines. Geometry, perhaps uniquely among mathematical domains, has shown an incredible elasticity – it has managed to incorporate new ideas (algebra, topology, computation) while maintaining continuity with its ancient past. By the end of this journey, we hope the reader will appreciate both the unity and diversity encapsulated in that single word geometry, and gain insight into how mathematicians’ thinking about space and form has continually reinvented itself.
Typology of Senses of “Geometry”: A Glossary of Terms and Traditions Link to heading
Geometry as a term encompasses a variety of senses or usages. Here we present a classification of major meanings of “geometry” that have appeared since the 18th century, along with explanations and canonical examples. This typology is organized roughly from the most classical sense to the most modern or metaphorical:
Classical Synthetic Geometry (Euclidean Geometry): Definition: The study of figures (points, lines, triangles, circles, polyhedra, etc.) and their properties using axioms, definitions, and logical deductions, without coordinates. Features: Emphasizes constructions (with straightedge and compass, traditionally), theorems about congruence, similarity, parallel lines, etc. Example: Euclid’s Elements is the archetype; propositions like the Pythagorean theorem or the sum of angles in a triangle = 180°. Historical note: This was geometry for centuries. In Euler’s 18th-century context, saying “geometry” often implied Euclidean geometry unless otherwise specified. It remains foundational (taught in high schools worldwide). Canonical quote: “Geometry, which should only require a straightedge and compass, has the advantage of furnishing problems that exercise the ingenuity, and solutions of an ingenious and elegant nature.” (Paraphrase of sentiments from classical geometers).
Analytic Geometry (Coordinate Geometry): Definition: The study of geometric figures through algebraic equations and coordinates (usually attributed to René Descartes and Pierre de Fermat in the 17th century). Features: Uses a coordinate system (like the Cartesian plane) to represent geometric objects as equations (e.g., a circle as $x^{2} + y^{2} = r^{2}$). Allows use of algebra and calculus to solve geometric problems. Example: Finding the intersection of two lines by solving their equations, or using calculus to find tangents to curves. Euler, for example, was a master of analytic geometry – he might solve a problem about a curve by deriving an equation and manipulating it algebraically rather than purely by Euclidean constructions. Historical note: In the 18th and 19th centuries, this approach was often termed “analysis” or the “analytic method” as opposed to “synthetic.” Over time, analytic geometry became standard and is now the bridge from high school geometry to calculus. Quote: Euler notes that in his analytic works “no figure is necessary to explain the rules,” contrasting with geometric treatises[11].
Descriptive Geometry: Definition: A form of geometry pioneered by Gaspard Monge (1790s) focused on representing 3D objects in 2D (on paper) via projections. It’s “the mathematical foundation of engineering graphics”[12]. Features: Uses orthogonal projections and sectional views to solve problems like finding the true shape of an object’s face, intersections of solids, etc. Example: Given two planes in 3D, find their line of intersection by projecting into two perpendicular planes. Or design a ramp connecting two roads at different elevations (an applied problem using projections). Historical note: Monge’s descriptive geometry was taught widely in 19th-century France and beyond, especially for military and civil engineering. It was considered a part of geometry (often taught in departments of descriptive geometry). Today its legacy lives on in engineering drawing and CAD. Quote: Monge described it as “representing with exactitude, within drawings, all the properties of an object’s form” (paraphrased from Monge’s lectures).
Projective Geometry: Definition: The study of properties of figures that are invariant under projection (perspective transformations). In projective geometry, parallel lines meet at a “point at infinity,” and many classical Euclidean distinctions (like between circles and conics) blur. Features: Key concepts include points at infinity, projective transformations, cross-ratio, perspectivity, and harmonic division. It removes the concept of distance but preserves alignment and intersection properties. Example: In the projective plane, any two distinct lines meet at exactly one point (either an ordinary point or an infinite point). A classic theorem: Desargues’ theorem on the perspectivity of triangles. Historical note: Revived by Poncelet (with his Traité des propriétés projectives, 1822) after earlier hints by Desargues (17th c.). By the late 19th century, projective geometry was extremely influential; as noted, it was called “modern geometry” by many[3]. It influenced art (perspective drawing) and was foundational for later abstract geometry. Quote: “Projective geometry is all geometry.” – Arthur Cayley[4].
Non-Euclidean Geometry: Definition: Geometries based on altering Euclid’s parallel postulate (or other axioms), notably hyperbolic geometry (many parallels through a point) and elliptic geometry (no parallels, lines “curve back”). Features: In hyperbolic geometry, the sum of angles in a triangle < 180°, and there is a whole angle of parallelism function discovered by Lobachevsky. In elliptic (spherical) geometry, triangles have sum of angles > 180°, and lines “wrap around” (great circles on a sphere). Example: The surface of a sphere can model elliptic geometry (if antipodal points are identified, to avoid two “lines” through every pair of points). The interior of a pseudosphere or the Beltrami disk model can illustrate hyperbolic geometry. Historical note: Developed independently by Lobachevsky and Bolyai (publ. 1829–1832) and anticipated privately by Gauss. Long controversy on whether these geometries were logically consistent or had physical meaning. Eventually, models by Beltrami (1868) and later the Klein and Poincaré models demonstrated consistency. Non-Euclidean geometry expanded the notion of geometry to a plurality – henceforth one must speak of “a geometry” (Euclidean or not) rather than assume the geometry. Quote: “One geometry cannot be more true than another; it can only be more convenient. Geometry is not true, it is advantageous.” – Henri Poincaré[10], capturing the view that choosing Euclidean vs. non-Euclidean is about convenience, not truth.
Riemannian Geometry (Differential Geometry): Definition: The study of smoothly curved spaces (manifolds) where each small region looks Euclidean but globally the space may be curved. A Riemannian geometry equips a differentiable manifold with a Riemannian metric (a positive-definite quadratic form on tangent vectors at each point) so one can measure lengths and angles. Features: Key concepts include curvature (sectional, Ricci, scalar curvature), geodesics (paths of shortest distance, generalizing straight lines), and the idea that mass can curve space (in physics). Techniques involve calculus and linear algebra on tangent spaces. Example: The 2D surface of the Earth (sphere) with the usual metric: straightest paths are great circles, and the sum of angles of a triangle depends on area (as Gauss showed). Historical note: Initiated by Gauss in his Theorema Egregium (1820s) and fully generalized by Bernhard Riemann’s 1854 lecture. Became central to 20th-century mathematics and physics (as Riemannian geometry and its extension, pseudo-Riemannian geometry, used in relativity). Brought into being a new kind of geometer: one who might never mention Euclid’s parallels but instead computes curvature tensors. Quote: Riemann emphasized the need to examine “the hypotheses which underlie geometry” and opened the door to “geometry” in any number of dimensions with any metric[6].
Topology (Analysis Situs): Definition: Often described as “rubber-sheet geometry,” topology is the study of properties of space that are preserved under continuous deformations (stretching, bending, but not tearing or gluing). It ignores distances and angles, focusing on connectivity and continuity. Features: Fundamental concepts include continuity, compactness, connectedness, genus of surfaces (e.g., a doughnut and a coffee mug are the same topologically, having one hole), and invariants like the Euler characteristic or homotopy groups. Example: In topology, a square and a circle are considered equivalent (both are simple closed curves), but a circle and a figure-eight are different (one vs two loops). Historical note: The term “analysis situs” goes back to Leibniz, but the field was pioneered by Euler (the Königsberg bridges problem, 1736, which is graph theory/topology) and Riemann (who implicitly used topological ideas for complex analysis), then formally by Poincaré around 1895. By the 1930s, it was a well-established branch (with topologists like Aleksandrov, Hopf, etc.). Initially, it wasn’t always called geometry, but terms like “geometric topology” and “algebraic topology” indicate the blending. In the mid-20th century, many results in topology (like classification of surfaces, knot theory, etc.) were considered part of geometry in a broad sense. The rise of differential topology and geometric topology blurred boundaries between geometric and topological thinking. Quote: Topologist John Milnor described some of his work as “combining the insights of topology and geometry,” showing how by the late 20th century these were allied fields.
Algebraic Geometry: Definition: The study of geometric properties of solutions to polynomial equations. Classically, this meant curves, surfaces, etc., defined by polynomial equations in coordinate space (affine or projective). In modern terms, algebraic geometry studies varieties and schemes – it brings abstract algebra (especially commutative algebra and field theory) to bear on geometric problems. Features: Key objects include algebraic curves (like elliptic curves given by an equation $y^{2} = x^{3} + ax + b$), algebraic surfaces, etc., and their invariants (genus, for example, which links to topology), as well as modern notions like schemes and cohomology groups of sheaves. Methods can be very algebraic (calculating Gröbner bases, etc.) or geometric (using intuition about shape of a curve). Example: A classic problem: given a cubic curve in the plane, show that the set of its rational points forms a finitely-generated abelian group (this is the Mordell–Weil theorem—illustrating arithmetic geometry). Historical note: 19th-century algebraic geometers (Gauss on conics, then the Italian school on surfaces) often argued in geometric terms (pictures of how curves intersect) though about algebraic entities. But by mid-20th century, figures like Weil and Zariski re-founded the field rigorously with algebra. Grothendieck in the 1960s extended it vastly (schemes, étale cohomology), making it one of the most abstract fields. Nonetheless, practitioners still often say “the geometry of [some algebraic object]” when referring to intuitions about it. Quote: “Algebraic geometry is a kind of geometry in which no diagram needs to be drawn – but one must keep the intuition of those diagrams in one’s mind.” – (paraphrase of folklore among algebraic geometers).
Klein’s Erlangen Program & Transformational Geometry: Definition: Not a separate branch of geometry per se, but a philosophy of what geometry is: each geometry is the study of invariants under a certain group of transformations. Features: Classifies geometries: e.g., Euclidean geometry = invariants under rigid motions; similarity geometry (Euclidean + scaling) = invariants under similarity transforms; affine geometry = invariants under affine transforms; projective geometry = invariants under projective transforms; etc. Example: In affine geometry, parallelism is an invariant (but lengths are not); in projective geometry, even parallelism is not invariant (since all lines meet at infinity), but collinearity is. In conformal geometry, angles are invariant (though lengths are not). Historical note: Proposed by Felix Klein in 1872. It didn’t create a new type of geometry but reframed existing ones. It also encouraged development of new ones (like Klein noticed there’s a geometry for any subgroup of the symmetric group on coordinates – which later connected to Lie groups and homogeneous spaces). Today, this viewpoint is standard in higher mathematics: whenever mathematicians study a space with a group action, they are doing geometry in Klein’s sense. Quote: “Geometry is the study of what is invariant under a given group of transformations.” – Felix Klein (Erlangen Program, 1872)[7].
Differential Topology and Geometric Topology: Definition: These are subfields combining smooth/differentiable methods or piecewise-linear methods with topology to study manifolds and their properties. They are “geometric” in that they often involve understanding shapes of spaces, embeddings, etc., but “topological” in focusing on qualitative, not metric, aspects. Features: Includes the study of manifold invariants like homotopy and homology (algebraic topology), classification of surfaces and higher-dimensional manifolds, knot theory, etc., often using geometric structures (like cell decompositions or handlebody decompositions) to understand topology. Example: Thurston’s geometrization conjecture (now theorem, thanks to Perelman) in 3-dimensions said roughly that every closed 3-manifold can be decomposed into pieces each of which admits one of eight types of homogeneous geometry (spherical, Euclidean, hyperbolic, and five others). This is a quintessential geometric topology statement linking topology (the classification of manifolds) with geometry (specific constant-curvature or otherwise homogeneous geometric structures on them). Historical note: 20th century, especially latter half, saw huge advances here. Terms like “geometric topology” started being used more in the mid-20th century as people like Dehn, Papakyriakopoulos, and later John Milnor and William Thurston tackled topology using geometric ideas (e.g., using hyperbolic structures to study knots, etc.). Quote: “The study of 3-manifolds benefited enormously from introducing geometry—Thurston showed that many 3-manifolds are hyperbolic geometric objects, not just abstract topological spaces.”
Geometric Analysis: Definition: The use of analytical methods (especially partial differential equations, calculus of variations) to solve problems in differential geometry, and conversely the study of differential equations that arise from geometry. Sometimes defined as the intersection of geometry and analysis. Features: Key topics include minimal surfaces (which come from variational calculus, solving mean curvature = 0 PDE), harmonic maps (solutions to Laplace equations with geometric meaning), Einstein’s equations in general relativity (geometric PDE for metrics), and curvature flow equations like Ricci flow and mean curvature flow. Example: The Ricci flow equation $\partial g/\partial t = - 2\text{Ric}(g)$ (Hamilton, 1980s) deforms a Riemannian metric $g$ on a manifold in a way analogous to heat diffusion. It was used by Grigori Perelman (2003) to prove Thurston’s geometrization conjecture and thus the Poincaré conjecture, a profoundly geometric result achieved via solving a differential equation. Historical note: Geometric analysis blossomed in the late 20th century (1970s onward). Its successes (Yau’s proof of the Calabi conjecture using nonlinear PDE in 1976, producing Kähler–Einstein metrics; the Hamilton–Perelman work; etc.) made it a dominant approach in differential geometry. It represents a full synthesis of fields that once were seen as separate (analysis was once contrasted to geometry; now we have “geometric analysis” as a coherent discipline). Quote: “The hard analytic estimates ultimately have a geometric payoff: by solving the PDE, we learned the shape of the manifold.” – a summary of the philosophy behind geometric analysis (as seen in expositions of the Poincaré conjecture proof).
Algebraic Topology / Geometric Group Theory (algebra via geometry): Definition: Use of geometric methods to study algebraic objects (groups, rings, etc.) or using algebra to classify geometric/topological objects. Algebraic topology (early 20th c.) assigns algebraic invariants (like fundamental group, homology groups) to spaces. Geometric group theory (late 20th c.) studies groups by treating them as geometric objects (via Cayley graphs and metrics). Features: In algebraic topology, one might say two spaces are homologically the same if their homology groups match, and use algebraic computations to distinguish spaces. In geometric group theory, one uses coarse geometry (quasi-isometries, growth rates, etc.) to classify groups. Example: The fundamental group (first homotopy group) is an invariant that can distinguish a donut from a sphere (donut has nontrivial loop that can’t contract, sphere doesn’t). In geometric group theory, Gromov’s theorem on groups of polynomial growth (1981) says that any finitely generated group that looks polynomially large at infinity (a geometric property) is virtually a nilpotent group (an algebraic classification). Historical note: Algebraic topology became a mainstay by mid-20th century (with tools like cohomology, spectral sequences, etc.). Geometric group theory coalesced in the 1980s-90s (Mikhail Gromov being a central figure) and reinvigorated combinatorial group theory by using topology and geometry. Quote: “Geometric Group Theory…is about using geometry (i.e. drawing pictures) to understand groups” (from an introduction to the field[13]).
Discrete & Computational Geometry: Definition: Discrete geometry studies combinatorial properties of configurations of simple geometric objects (points, lines, circles, polygons, etc.), often in finite or countable settings. Computational geometry designs and analyzes algorithms to solve geometric problems (finding intersections, convex hulls, shortest paths, etc.). Features: Discrete geometry includes topics like: Given $n$ points, how many lines or distances can they determine? (Erdős-type problems); or properties of polyhedra and tilings. Computational geometry deals with things like Voronoi diagrams, Delaunay triangulations, mesh generation, and has complexity analysis. Example: A discrete geometry result: any set of five points in the plane in general position contains a convex quadrilateral (a result in combinatorial geometry). A computational geometry example: the gift-wrapping algorithm to compute the convex hull of a set of points, or algorithms to detect intersection among many line segments efficiently (with applications in computer graphics). Historical note: While problems in discrete geometry go back (the Kepler conjecture on sphere packing, or Euler’s formula $V - E + F = 2$ for polyhedra in 1750s), it became a distinguished field in the mid-20th century (with figures like H.S.M. Coxeter on polytopes, Paul Erdős on combinatorial geometry problems). Computational geometry emerged as a field in the 1970s as computers made such algorithms important (Shamos, Hoey, Preparata, etc., in early conferences). Now it’s a staple in theoretical computer science. Quote: “Computational geometry is about solving geometric problems with computers – for example, determining how to efficiently find the closest pair of points among millions, or how to triangulate a polygon.” (Textbook description).
“Geometry of X” (Metaphorical Geometries): Definition: A loose category where geometry refers not to a traditional space of points, but to any structure where we identify some elements as “points” and consider relationships analogous to geometric ones. Essentially, whenever mathematicians use spatial intuition or terminology in a new domain, they often call it a “geometry.” Features: The “geometry” could be the set of all solutions of a certain type, or states of a system, etc., with a notion of distance or adjacency. Sometimes this is very concrete (e.g., configuration spaces in robotics: each possible configuration of a robot arm is a point in a high-dimensional geometric space), other times more abstract (the “geometry of a probability distribution” in information geometry treats probability laws as points on a statistical manifold with a notion of distance like Kullback–Leibler divergence). Even parts of number theory get geometric analogues (the “geometry of numbers” was Minkowski’s approach to number theory via lattice points geometry; arithmetic geometry views number-theoretic problems through algebraic geometry over rings like the integers). Example: Geometric group theory (already described) is one example: one speaks of the “geometry of a group”. Geometric Langlands program: a modern research program that takes the Langlands program in number theory and reinterprets it in terms of the geometry of moduli spaces of bundles on curves (very abstract, but the use of “geometric” signals use of algebraic geometry methods). Geometric deep learning: a recent term in machine learning where one incorporates symmetry and topology (like graphs, manifolds) into neural network design – calling it “geometric” because of the emphasis on symmetry and structure of data spaces. Historical note: This catch-all category has grown especially in late 20th and 21st century as fields hybridize. It shows the enduring prestige or appeal of the word geometry – it connotes a certain depth and intuition. Many times, a new approach adds “geometric” to its name to highlight that it uses spatial or structural intuition beyond brute force algebra or logic.
This typology can also be visualized as a matrix of Subjects vs. Methods:
Geometry as Subject: e.g., Euclidean space geometry, geometry of surfaces, geometry of configuration spaces, geometry of numbers, etc. Here geometry means “the study of this particular space or type of object.”
Geometry as Method: e.g., geometric approach to solving an equation, meaning using a visual or spatial reasoning approach; geometric intuition in solving an algebraic problem; geometric proof vs algebraic proof of a combinatorial identity, etc. In this sense, geometry means a style of reasoning or a toolkit (often involving pictorial arguments, considering continuous deformations, using symmetry, etc.).
Each of the categories above can function in both ways. For instance, topology can be a subject (the topology of a manifold) or a method (topological arguments used in combinatorics). Algebraic geometry is clearly a subject (algebraic varieties) but also a method (algebraic geometers bring scheme-theoretic thinking into other areas like representation theory).
Understanding these senses provides a framework for the historical narrative: different eras favored different senses of geometry. Euler mostly thought of geometry in the synthetic and analytic senses. Klein’s era expanded geometry to projective and transformational senses. The 20th century pushed geometry into the algebraic, topological, and analytical realms. And the present sees geometry permeating many “non-geometric” contexts (data, computing, etc.).
We now move to the chronological account, where these senses will be exemplified in context and in the words of those who championed them.
Periodized Narrative (Euler → 21st Century) Link to heading
1. Euler and Late 18th Century: Geometry vs. Analysis Link to heading
In the late 1700s, geometry as understood by most mathematicians was still largely Euclidean geometry, plus its natural extensions (solid geometry in 3D, some analytic geometry, and early differential geometry of curves and surfaces). Leonhard Euler (1707–1783), one of the era’s dominant figures, worked on essentially all areas of mathematics and often reflected on methodology. Euler’s usage of “geometry” typically referred to the traditional geometry of figures or to arguments that employed geometric intuition and diagrams.
By Euler’s time, analytic methods (algebra and calculus) had matured. Euler was a master of these and would frequently solve geometrical problems (say, finding the arc length of a curve, or the intersection of lines) using equations and analysis rather than classical Euclidean steps. In doing so, Euler drew a clear line between geometrical and analytical approaches. In his writings, he noted that using analysis allowed one to dispense with figures:
“...everything is contained within the limits of pure analysis so that no figure is necessary to explain the rules of this calculus.”[11]
He explained that in geometry proper, one reasons directly from a figure (relying on what he calls inspectio figurae, the inspection of the figure), whereas in analysis one manipulates symbols and concepts abstractly[1]. The crucial difference, Euler says, is not just the presence of symbols, but that analysis operates in an abstract, discursive manner without reliance on physical intuition, whereas geometry is more concrete, aided by diagrams and the immediacy of visual perception[2][8]. In summary:
- To Euler, “geometry” meant reasoning about shapes from axioms and intuitive self-evident spatial truths (like those in Euclid), often accompanied by a figure.
- “Analysis” meant using the generalized science of quantity – algebra, equations, calculus – which he regarded as operating on a higher level of abstraction (quantity without figure).
Euler contributed immensely to classical geometry as well (e.g., his solution to the Königsberg Bridges problem in 1736 can be seen as a precursor of topology, and his discovery of Euler’s formula relating edges, vertices, faces of polyhedra in 1750s). But tellingly, when Euler solved the Königsberg Bridges problem, he argued it was not a problem of geometry at all, since no measurement of distances was involved – an early hint of separating topology from geometry proper. He essentially said it belonged to the realm of analysis situs rather than geometry.
Another contemporary, Immanuel Kant (1724–1804), though a philosopher, influenced mathematical views by claiming that Euclidean geometry was a form of synthetic a priori knowledge, built into our way of perceiving space. So at this time, geometry was also philosophically loaded as the science of the structure of space as we intuitively know it. Mathematicians like Euler did not much question Euclid’s postulates; geometry was perceived as certain and experimentally true (it matched physical space as far as they could tell).
In education circa 18th century: The geometry curriculum was Euclid’s Elements (often heavily abridged or simplified). There was also practical geometry – mensuration, surveying techniques. These were considered applications of geometry. Descriptive geometry hadn’t been invented yet (Monge would do that around 1795).
Prefiguring new ideas: Late 18th century also saw some steps beyond classical geometry: - Euler and others studied curvature of surfaces (Euler’s theorem on curvature, 1760s, and geodesic lines on surfaces), a precursor to differential geometry. - Lagrange (1736–1813) in 1770s tried to recast mechanics on an analytical footing, famously saying “No diagrams will be found in this work,” reflecting a general spirit of that age to algebraize everything, including geometry.
Despite these steps, if you said “geometry” in 1780, a mathematician would likely think of Euclidean geometry – whether done classically or with coordinates. Euler’s Elements of Algebra even defines mathematics as the science of quantity and geometry as dealing with magnitude in space. Geometry was still about the measurement of extension (length, area, volume) and shape.
To illustrate Euler’s balanced view: he appreciated geometric intuition greatly. In some works, Euler uses synthetic geometry brilliantly (like his elegant proof of the equalities in a triangle: the line joining the circumcenter and centroid etc.). But he also pioneered analytic geometry and said that relying solely on geometric intuition can limit generality. For example, geometry avoids the infinite and imaginary, whereas analysis embraces them. This is echoed in his near-contemporary d’Alembert who criticized overly synthetic approaches as not general enough.
By the end of the 18th century, a slight tension existed: French military schools (like the École Polytechnique, founded 1794) were about to incorporate Monge’s descriptive geometry (in the 1790s), adding a new practical dimension to geometry. And the seeds of projective ideas were already present in the work of Etienne Bézout and others (studying intersections of curves algebraically). However, these were not yet mainstream.
In sum, the Eulerian era left a legacy of: - Two tracks: geometric (synthetic) vs analytic methods – which would soon merge in the next century. - Absolute confidence in Euclid: geometry = Euclidean geometry, the true description of space. - Geometry as core of math: algebra was rising, but geometry problems (like construction problems, astronomy-related geometry) were still central. Euler’s own teacher, Johann Bernoulli, had said geometry and mechanics were the two eyes of math.
2. Early–Mid 19th Century: New Geometries and Expanding Notions Link to heading
The early 19th century was a turning point. Within a few decades, the mathematical world saw projective geometry revived, non-Euclidean geometry discovered, and algebraic methods penetrating geometry more deeply (through analytic geometry, complex numbers, etc.). This period essentially shattered the uniqueness of Euclidean geometry and set the stage for modern geometry’s plurality.
Monge and Descriptive Geometry (1795): Gaspard Monge’s lectures on descriptive geometry in Paris (later published) created an entire discipline of geometry devoted to solving 3D problems via 2D projections. Monge’s work was driven by practical needs (military fortifications, machining) but Monge elevated it to a science. He and his followers (like Jean Nicolas Pierre Hachette) considered descriptive geometry a branch of “pure” geometry because it dealt with exact constructions and logical reasoning about space, even though it had obvious applications. This expanded geometry’s meaning to include not just theorem/proof format but also algorithmic procedures for drawing projections. It also showed geometry could be useful: French elite schools made it a centerpiece for training engineers, which boosted geometry’s status as more than abstract theory.
Poncelet and Projective Geometry (1820s): Jean-Victor Poncelet, while a prisoner in Russia (after Napoleon’s campaign), developed projective geometry concepts. In 1822 he published Traité des propriétés projectives des figures, reintroducing ideas from Desargues (17th c.) and adding his own. He introduced the principle of continuity (roughly, a way to account for points at infinity and even imaginary elements in geometric reasoning) and heavily used the concept of points at infinity. Poncelet’s view of geometry was revolutionary: he asserted that by enlarging Euclidean geometry to include points and lines at infinity (where parallel lines meet), one could discover elegant unified truths. For example, all conic sections become one family of figures (no separate treatment for hyperbola vs ellipse vs parabola), as they all intersect the line at infinity in two points (which are real, coincident, or imaginary depending on the conic).
This approach fundamentally changed the semantics of geometry: - Poncelet and his contemporaries (Steiner, Chasles, etc.) spoke of “projective geometry” as distinct from ordinary geometry. It was more general (projective results often imply Euclidean results as special cases) and more unified. - They considered projective geometry “purer” or more truly geometric because it did not depend on coordinates or analytic equations (“more geometric than the Cartesian procedure” as noted[14]). Indeed, Michel Chasles developed a whole synthetic language for projective geometry (with his Recherches... in 1830s), using cross-ratios and pencils of lines, avoiding algebra.
By mid-century, projective geometry had such prestige that it was sometimes equated with “modern geometry”[3]. The Stanford Encyclopedia notes: “in the late nineteenth century it came to be synonymous with modern geometry”[3]. Projective geometry also cultivated the idea that geometry could transcend metric ideas like lengths and angles. It prepared the mindset that different geometries (with different invariant properties) are possible.
Non-Euclidean Geometry (1830s): At almost the same time, the longstanding question of Euclid’s fifth postulate was resolved by showing alternatives are possible: - Nikolai Lobachevsky (Russia) published in 1829–1830 (first in Russian, then in German as Geometrische Untersuchungen, 1840) what he called “Imaginary geometry” (later known as hyperbolic geometry). - János Bolyai (Hungary) independently appended his work on a new geometry in 1832 as an appendix to his father’s book. - Gauss had privately obtained similar results earlier, though he didn’t publish.
This was an earthquake in the foundations: it meant geometry was not singular. There is Euclidean geometry, but also at least one other self-consistent geometry. For decades after, many mathematicians and philosophers struggled: was this real geometry or some strange aberration? If physical space is Euclidean, maybe non-Euclidean is just a logical game. Lobachevsky firmly believed it was as real as Euclidean, just perhaps not our world’s geometry (though later he entertained it could apply to cosmic scale).
Critically, the meaning of “geometry” broadened: - If we accept hyperbolic geometry, then geometry means the study of any space satisfying some axioms, not necessarily Euclid’s axioms. It becomes a more abstract notion: a “geometry” is a possible logical structure. - The parallel postulate was revealed not as an empirical truth but as a choice. This, combined with projective geometry’s introduction of “points at infinity” and other ideal elements, showed geometry to be more a creation of mind than previously thought.
Philosophers like Kant were effectively disproven (he insisted only Euclidean geometry was the form of human intuition). By late 19th century, philosophers such as Helmholtz and Poincaré debated whether physical space’s geometry is determined empirically or conventionally. Poincaré famously argued it’s conventional (we choose Euclidean for convenience)[10], implying multiple geometries are equally valid logically.
Mathematicians eventually accepted hyperbolic geometry’s legitimacy when Eugenio Beltrami (Italy, 1868) constructed a model inside Euclidean geometry (the Beltrami disk model) showing that if Euclidean geometry is consistent, so is hyperbolic. Thus geometry entered the age of axiomatics and models—this paved the way for Hilbert’s approach.
Analytic Geometry and Algebraic Geometry leaps: On another front, the use of algebra and complex numbers in geometry advanced. For example: - Coordinates and algebraic equations became standard tools. By mid-19th century, one sees a split: the pure geometers like Steiner hated coordinates; the analytic minded like Plücker and later Clebsch used them freely. - Plücker (1830s) discovered duality in projective geometry and new algebraic invariants (Plücker coordinates for lines in space, etc.). He and others connected projective geometry with algebraic equations (e.g., a line in projective 3-space can be represented by six numbers – Plücker coordinates – satisfying one relation). - Algebraic curves: Abel, Riemann, and others studied elliptic functions via geometry of complex curves (Riemann surfaces). This was the germ of algebraic geometry and complex geometry merging. But at this time, they thought of these in terms of “analysis situs” and complex analysis, not yet as “geometry” in the sense of an established subfield.
Geometry as a style in other fields: Notably, Cauchy in 1820s applied geometric thinking to analysis by rigorizing calculus with the $\epsilon$-$\delta$ definition (no geometry there), but other problems, like in number theory, saw geometric ideas. For instance, Gauss’s composition of binary quadratic forms had a geometric interpretation on the lattice of points. Poinsot in mechanics used geometric arguments about polytopes to understand rotational motion (the Poinsot construction). So geometry’s influence was felt beyond “geometry proper.”
Educational/institutional context (early 19th): - France: École Polytechnique made geometry (especially descriptive and projective) a pillar. Monge and Poncelet taught there. The influence spread in Europe. - Germany/Prussia: gymnasium education still heavily Euclidean. Euclid’s Elements (or some variant) was taught as the ideal of rigorous thinking. - Britain: there was an interesting split; Euclidean geometry (often through Robert Simson’s edition) was a cornerstone of schooling. However, analysts like Boole or the calculus-heavy Cambridge curriculum put less emphasis on geometry. But projective geometry also entered via figures like Cremona and Sylvester (who, British but influenced by continent, engaged in higher geometry).
Mid-19th: consolidating multiple “geometries”: By 1850s-1860s, we have: - Euclidean geometry (still mainstream in teaching, and in research via eg. circle theorems, triangle geometry – yes, even new Euclidean results were found by clever geometers like Jakob Steiner). - Analytic geometry (everyone accepts it as a tool, even if some pure geometers dislike it). - Projective geometry (a flourishing field with its own journals and terminology; projective techniques are applied to solve old problems elegantly). - Differential geometry (Gauss’s work on surfaces, 1820s, and its extension: By 1850, 2D surfaces curvature was known; in 1854 Riemann generalizes to nD). - Non-Euclidean (by 1860, a few believe it, many don’t; by 1870, after Beltrami, it’s largely believed among experts). - The word “geometry” could mean any of these contexts, though to avoid confusion, people said “projective geometry,” “Lobachevskian geometry,” etc. The singular “geometry” without qualifier usually still meant Euclidean geometry unless context suggested otherwise.
A telling sign of the time is an Encyclopedia might have an entry on Geometry describing all known branches. In fact, Arthur Cayley wrote such an entry in the 9th edition of Encyclopædia Britannica (around 1879) summarizing the revolution in geometry:
“In Euclid each proposition stands by itself... general principles do not exist. In modern methods... general principles, which bring whole groups of theorems under one aspect, are given... The whole tendency is toward generalization... Euclid avoids [the infinite], in modern mathematics it is systematically introduced, for only thus is generality obtained.”[15][16]
This quote (though a bit later) reflects on the changes of early–mid 19th century: a shift to greater generality and use of the infinite. The inclusion of “points at infinity” in projective geometry and the acceptance of infinitely distant or even imaginary entities as legitimate points of a geometry mark this era. It’s no longer the finite, concrete geometry of Euclid alone.
Case in point: By mid-century, Mobius (1827) introduced homogeneous coordinates and explored the idea of barycentric coordinates – algebraic tools that showed how to treat geometry in a more generalized coordinate way. He even defined geometries on different surfaces (like the sphere, prefiguring elliptic geometry).
Summary for early–mid 19th: Geometry is no longer one thing: - Subjects: Euclidean, projective, and non-Euclidean geometries coexist (though the latter is still controversial until later in the century). - Techniques: Synthetic vs analytic debate continues (Poncelet vs analytic geometers). Ultimately both thrive: Steiner’s synthetic mastery coexists with Plücker’s coordinate breakthroughs. Each camp calls their approach more “geometrical” by their own standards (synthetic camp: geometry = not using algebra; analytic camp: geometry = problems about space even if solved algebraically). - Philosophy: Could physical space be non-Euclidean? Gauss even measured large triangles (on Earth’s surface) to check if sum of angles deviated from 180°. By 1850s, this is a serious question, engaging scientists beyond pure math. Geometry is now tied to empiricism: Riemann in 1854 suggests experiment must decide the true geometry of space if it’s not inherent (contrary to Kant).
3. Late 19th Century: Riemann’s Manifolds, Klein’s Synthesis, Hilbert’s Axioms Link to heading
The late 19th century was extraordinarily rich for geometry. It saw the culmination of earlier trends and the launch of new ones: - Riemann (and others) created the foundation for differential geometry of manifolds. - Klein’s Erlangen Program (1872) unified many geometries under group theory. - Sophus Lie (1870s–80s) developed continuous groups (Lie groups) partly motivated by transforming geometry (like classifying contact transformations etc.), providing algebraic structure underlying geometries. - Henri Poincaré (late 1880s onward) laid foundations of topology, further broadening geometry’s realm. - And David Hilbert at the century’s end revisited Euclidean geometry from an axiomatic perspective, addressing the logical gaps and bringing new clarity.
Riemann’s 1854 lecture (published 1868): Bernhard Riemann’s Habilitationsvortrag “On the hypotheses which underlie geometry” reimagined geometry in a general way: - He introduced the notion of an n-dimensional manifold (though he used the word “mannigfaltigkeit”, often translated as manifold or multiplicity) as a space that locally looks like Euclidean space of dimension n. - He suggested geometry should not assume the metric (distance formula) a priori, but investigate possibilities (for example, a manifold could have various curvature distributions). - He distinguished between unbounded manifolds where one can move indefinitely far (like Euclidean space) vs bounded (like spherical space), and introduced the concept of metric relations arising either from an internal structure or external forces (a rather philosophical consideration)[17][6]. - Riemann thus took “geometry” beyond just shapes in 3-space to any dimension, and allowed the fundamental notion of distance to vary.
After Riemann, one could talk about “Riemannian geometry” – geometry of surfaces or higher manifolds with curvature. For example, the geometry of a 2D surface might have positive curvature (sphere), zero (plane), or negative (pseudo-sphere), relating to spherical/Euclidean/hyperbolic geometry locally. Riemann provided formulas (like the curvature tensor generalization of Gauss’s curvature) that made geometry much more analytic (involving differential equations).
This work influenced physics too: in the 1870s, physicist W. K. Clifford speculated that matter might be curvature in space (anticipating General Relativity philosophically). So geometry’s meaning was expanding to the very structure of space and reality at the finest level.
Erlangen Program (1872): Felix Klein, at 23, outlined a classification of geometries by symmetry groups: - This program said essentially: each geometry is characterized by a pair (space, group of transformations) and the “geometric” properties are those invariant under the group. - This meant Euclidean geometry (space = $\mathbb{R}^{n}$, group = Euclidean motions) and non-Euclidean geometries (say, hyperbolic plane with group of hyperbolic isometries) and projective geometry (projective space with projective group) could all be seen in one framework. - Klein explicitly included projective and affine geometries, conformal geometry (invariants under angle-preserving transforms), etc. Under this view, “geometry” became a plural concept – one speaks of “the geometry of such-and-such group.” Yet it was a unifying pluralism, since all these are instances of one idea. - A concrete outcome: People realized Euclidean geometry is a specialization of projective geometry (with a quadratic form singled out to measure distances). Also, hyperbolic and elliptic geometries were understood as geometries of certain groups (subgroups of projective group $PSL\left( 2,\mathbb{R} \right)$ acting on appropriate spaces).
Klein’s work also tied algebra to geometry: the group could be a matrix group, so understanding geometry meant understanding that algebraic group structure.
Impact of Erlangen Program: It wasn’t immediately adopted by everyone (it was somewhat ahead of its time), but by the 20th century it became the standard view in higher geometry. It also influenced Lie’s work on continuous transformation groups as foundational (though Lie was already independently working on that).
Algebraic geometry (late 19th): Meanwhile, in Italy, a vigorous school of algebraic geometers (Cremona, Castelnuovo, Enriques, Severi) was producing classifications of algebraic surfaces, using a mix of projective geometry and birational algebraic techniques. They used the word geometry freely but their “geometry” had a very particular meaning: often, diagrammatic reasoning about how curves lie on surfaces, etc., sometimes without full rigor (they relied on intuition about limiting positions of points, etc., which later had to be firmed up).
In 1893, Enrico Betti and others translated some of these new ideas for an Italian audience – Italy was big on teaching projective and algebraic geometry. France remained big on geometry too (with Darboux, Appell, etc. using geometry in analysis and mechanics).
Topology’s rise: Henri Poincaré, in a series of papers 1892-1904, developed algebraic topology (fundamental group, etc.) under the name analysis situs. Poincaré considered these topological invariants as geometric in nature – he was studying the qualitative geometry of spaces. It broadened “geometry” to things like knotting of loops, connectivity, etc., which classical geometers didn’t consider.
Hilbert’s Foundations of Geometry (1899): David Hilbert revisited Euclid with a modern axiom system, removing implicit assumptions (like that any two circles intersection in at most two points, etc.) and addressing the independence of axioms. Hilbert’s approach was a stark departure from the traditional view that geometry’s terms had inherent meaning: - In Hilbert’s formalism, one could replace “points, lines, planes” with any objects satisfying the axioms (hence his famous remark about tables and chairs[9]). - This cemented the idea that geometry is about the relations, not the intrinsic nature of space. It aligned with Klein’s group view to some extent: e.g., Hilbert’s axioms describe Euclidean geometry’s structure abstractly, while Klein’s program describes it via symmetry, but both detach geometry from physical intuition. - Hilbert’s work also resolved questions like the consistency of Euclid’s axioms (by providing models, e.g., Euclidean geometry can be modeled as a subset of real numbers with appropriate operations, showing consistency relative to real arithmetic).
By 1900, the word “geometry” had thus acquired multiple layers: - In research, geometry could mean Euclidean geometry (often now a subject of logical analysis or of teaching, not front-line research except in refinement or application), or it could mean any of the new geometries (projective, differential, etc.). - Geometry also referred to the general study of space forms; e.g., a mathematician might say “I study geometry” meaning perhaps differential geometry of surfaces, whereas in 1800 “studying geometry” meant mastering Euclid. - The emergence of “geometer” as a specialist occurred. For instance, someone like Wilhelm Killing or Elie Cartan, working on Lie groups and differential geometry, or Poincaré on topology, would be considered geometers (Cartan actually thought of himself bridging algebra and geometry via Lie groups acting on spaces).
Interactions and tensions: - Synthetic vs analytic persisted but was waning; after 1870, fewer people insisted on purely synthetic except in teaching. Algebra had penetrated even synthetic geometry (through concepts like projective coordinates). - Intuition vs rigor: Hilbert’s work highlighted gaps in intuition-based proofs. A famous example: the proof of Desargues’ theorem in Euclidean geometry fails if the configuration is not in general position (it might fail in projective plane over a field that’s not Pappian). Hilbert’s approach demanded clarity on such issues, so intuitive “it’s obvious from the picture” was no longer enough in published results. - Local vs global: Riemann’s followers (like Christoffel, Ricci, later Levi-Civita) developed local differential geometry (leading to the “tensor calculus”). Meanwhile global questions, like “if a manifold is locally Euclidean of dimension 2 and simply connected, is it globally a plane or sphere or hyperbolic plane?” were being tackled. Poincaré conjecture (1904) is essentially a global topological question about when a 3-manifold is a 3-sphere. These indicate the start of deep interactions between local geometry and global topology.
Summary of late 19th: It unified many strands: - The notion of manifold generalized “space” – geometry no longer tied to $\mathbb{R}^{2}$ or $\mathbb{R}^{3}$. - The notion of group invariants unified geometries – geometry is about symmetry properties. - The notion of axiomatic systems purified geometry – geometry is an abstract game of points and lines satisfying certain rules (and one can make different games by altering rules, e.g., hyperbolic). - Yet, concrete intuitive geometry wasn’t dead: People like H. Brocard were still discovering Euclidean triangle theorems (like the Brocard angle) in 1870s. And Klein himself, despite his general stance, actually solved many specific geometric problems like classifying line configurations, etc. - We also see geometry influencing other fields: Klein and Poincaré used geometry in complex analysis (mapping properties), Lie used geometry in solving differential equations (via symmetry groups), etc. So geometry became a toolkit outside its own domain.
By 1900, if someone said “geometry”, depending on context it might require clarification: - A school teacher means Euclidean geometry (likely including some 3D Euclid or maybe intro analytic geometry). - A research mathematician might ask “which geometry?” They now had projective geometry conferences, non-Euclidean geometry discussions, etc. - Encyclopedias now have to cover Euclidean, non-Euclidean, projective, differential geometry, etc., as Cayley did.
4. Early–Mid 20th Century: Topology, Algebraic vs. Differential, and New Syntheses Link to heading
The first half of the 20th century saw further expansion and diversification in geometry, as well as attempts at synthesis. Key developments included: - The maturation of topology as a field (both point-set and algebraic topology). - A golden age of differential geometry (with connections to physics through relativity). - The rigorous foundation and expansion of algebraic geometry (especially in the 1940s by Weil/Zariski). - The emergence of new cross-disciplinary techniques: e.g., algebraic topology providing tools for both differential and algebraic geometry; differential geometry influencing analysis (and vice versa). - Institutional shifts: e.g., some universities had separate chairs or seminars for geometry vs topology vs algebra, etc., indicating a fragmentation of the old unity of geometry.
Topology’s impact: By 1910, Poincaré’s work had spawned a generation of topologists. Combinatorial topology (simplicial complexes) was developed by Dehn, Heegaard, and later Alexandrov, Čech, etc. Point-set topology (abstract topological spaces) was axiomatized by Alexandrov & Hausdorff by 1914-1918. Topology started to infiltrate geometry: - For example, Camille Jordan and later Oswald Veblen and J. H. C. Whitehead worked on the topology of manifolds (Veblen proved the Jordan curve theorem topologically in 1905). - The notion of a topological manifold became important as separate from a differentiable or geometric manifold. One could have a “fake” topological space that is continuous but not obviously a geometric object. - Topology gave language to global geometry questions: e.g., invariants like the Euler characteristic, fundamental group started to classify surfaces and higher manifolds in ways pure differential geometry hadn’t.
Nevertheless, topology was sometimes seen as distinct from geometry: - In some universities, topology was taught by analysts or algebraists more than by classical geometers, reflecting its separate flavor (more combinatorial/abstract). - But many considered topology as “geometric” because it deals with spatial intuition, just in a more flexible way. The phrase “geometric topology” came into use for things like knot theory, 3-manifolds etc., which inherently involve spatial thinking.
Differential geometry and physics: Einstein’s General Relativity (1915) used Riemannian geometry (well, Lorentzian geometry) in 4 dimensions to describe spacetime. This was a huge boost: geometry (in differential form) became essential to physics. Many mathematicians (like Weyl, Cartan) contributed to the geometric formulation of physics: - Hermann Weyl tried a unified field theory (1918) introducing the concept of gauge (originally a geometric scale factor) – a geometrization of electromagnetism. - Élie Cartan (1920s) generalized Riemannian geometry to include torsion (affine connections) and classified symmetric spaces, etc., using group theory (the culmination of Klein’s ideas with Lie’s methods). - Cartan also developed moving frames – a powerful method to study submanifolds and their invariants.
Thus, by mid-century, differential geometry had branched: - Riemannian geometry (curvature of metrics; Levi-Civita’s parallel transport introduced 1917). - Symplectic and contact geometry (implicitly in studies of classical mechanics; though not yet called that, e.g., Poincaré’s work on Hamiltonian systems). - The theory of Lie groups and homogeneous spaces: one example, the Erlangen Program vindicated – every homogeneous space $G/H$ (Lie group mod a subgroup) is a Klein-style geometry. The classification of these (starting by Killing and Cartan) gave a wealth of examples of geometry beyond Euclid/hyperbolic, etc.
Algebraic vs Differential vs Topological Geometry – distinct communities: By 1930s: - Differential geometers: often working in calculus and analysis contexts (e.g., at Princeton, there's Veblen and Eisenhart who were differential geometers in the 1920s; in France, Cartan and his student Ehresmann). - Algebraic geometers: in Italy the classical school thrived until about 1930. It faced a “crisis” of rigor: some proofs given by the Italian masters were found lacking (contrapositively, they sometimes asserted false statements due to subtle issues). This led to outsiders like van der Waerden, Zariski, and André Weil to formalize algebraic geometry with modern algebra (Noetherian rings, etc.). By 1940, Oscar Zariski had recast a lot of algebraic geometry in terms of commutative algebra (he defined the Zariski topology on spectrum of a ring, etc.). - The tension: old-school algebraic geometers saw geometry as requiring intuition about continuous parameters and perhaps pictures (like drawing how curves intersect); whereas the new school (Weil, Zariski) introduced abstract algebraic varieties, often dropping visual intuition and focusing on algebraic consistency. They still called it geometry, but one might joke “the algebraic geometers no longer draw pictures.” - Topology: Topologists in the 30s (e.g., Alexandroff, Hopf, Lefschetz) often interacted with algebraic geometers (because of common interest in manifolds or complex varieties) and with differential geometers (like Hopf’s theorem linking curvature and topology of surfaces in 1920s, or Lefschetz’s work that included analysis situs of algebraic varieties). However, topologists also ventured far from traditional geometry (like set-theoretic topology, wild topological examples, etc. that have no classical geometric analog).
Geometric methods in other fields: - In complex analysis, geometric viewpoints thrived: think of the Riemann mapping theorem (uniformization) – Poincaré and Koebe in early 1900s gave geometric descriptions of domains and their automorphism groups. - In number theory, the concept of geometry of numbers (Minkowski ~1890) was well established – using lattice points to prove results about number fields (this is very geometric method applied to arithmetic). Also, one sees precursors of arithmetical geometry: e.g., André Weil writing on the analogy between function field curves and number fields (leading to his proof of Riemann Hypothesis for function fields in 1940s, heavily algebraic-geometric). - In analysis, one talked of geometric intuition for PDEs, or geometric meaning of solutions (like potential theory as geometry of harmonic functions). - A notable example: George D. Birkhoff proved Poincaré’s last geometric theorem (on area-preserving maps of the annulus) – a topological/metric geometry approach to a dynamical problem.
Foundational unification attempts: - Bourbaki, a group of mainly French mathematicians starting in 1930s, undertook to rewrite all math on a set-theoretic, axiomatic basis. Their approach tended to minimize classical geometry as a separate subject. Geometry would be absorbed into algebra or general topology. For example, Bourbaki’s texts cover linear algebra and multilinear algebra (replacing analytic geometry with coordinate vector space approach), general topology (covering point-set topology), algebraic topology, and Lie groups in later volumes. But they did not write a volume titled “Geometry” – it was decomposed into those others. They did plan one on “differentiable manifolds” (never completed fully). This approach influenced teaching: mid-century one sees less Euclid, more linear algebra in curriculum. - Einstein’s influence: Many mathematicians (like John von Neumann, or later, in the 1950s, people like Penrose bridging math and physics) were attracted by geometric ideas from physics. “Geometry” in some circles began to mean understanding spacetime or phase space geometry in classical and quantum physics. Differential geometry hand-in-hand with physics created fields like differential topology (Milnor in 1950s studying exotic spheres – understanding topologically equivalent but non-differentiably equivalent smooth structures, a subtle geometric-topological issue).
Case study glimpses: - Hilbert & Cohn-Vossen’s “Geometry and the Imagination” (1932) – a book aimed at highlighting geometric intuition. They cover Euclidean, projective, differential, and topology in an intuitive way. This book suggests that even in 1930s, there was a sense that the unity of geometry as an imaginative, intuitive field was worth presenting to students, in contrast to the ultra-abstract approach. It has beautiful visual explanations of things like non-Euclidean geometry and topology. - So while pure algebraic geometry was abstracting away, others like Hilbert (surprisingly, given he was a formalist) valued intuitive geometry for inspiration.
Education and culture (early-mid 20th): - Euclidean geometry remained in high school curricula (often the main place for teaching proofs), but there was a trend of deemphasizing it in some places (like some American curricula in 1940s were pushing more algebra and less proof). - In the Soviet Union and Eastern Europe, synthetic geometry remained somewhat stronger in contests and tradition (e.g., some excellent synthetic geometers like V. I. Arnold even lamented later about loss of geometric thinking in teaching). - There were notable geometry expositors: H.S.M. Coxeter in Canada kept the flame of classical geometry (esp. polyhedra, non-Euclidean geometry, and reflection groups) alive with his books in mid 20th century. Coxeter’s work connects classical Euclidean and projective geometry with modern algebra (Coxeter groups, etc.), an example of blending old and new.
By the mid-20th (say 1950), geometry as a field in universities often meant differential geometry or algebraic geometry as separate specialties. Topology was often separate (though topological methods permeated both). One sees journal names: Journal of Differential Geometry (founded 1967, later), Journal of Algebraic Geometry (much later founded 90s), but also older ones like American Journal of Mathematics had lots of projective/algebraic geometry in early 1900s.
The International Congress of Mathematicians (ICM) structure: by 1950, sections of ICM might include “Analysis”, “Algebra”, “Geometry” but geometry likely subdivided or overlapping with topology. Indeed, in 1950, ICM had sections “Algebraic Geometry” and “Euclidean and Projective Geometry,” and “Topology” separate – indicating fragmentation.
5. Mid–Late 20th Century: The Grothendieck Revolution, Thurston’s Geometry, and Beyond Link to heading
From the 1950s through the 1980s, geometry underwent further abstraction and also some recombination: - Grothendieck’s revolution in Algebraic Geometry (1960s): Alexander Grothendieck (with collaborators like Jean-Pierre Serre) reformulated algebraic geometry in terms of schemes, functors, and categories. He dramatically generalized what geometric object means in algebraic geometry (a scheme could be made out of any commutative ring, not just polynomial rings over fields). This expanded “geometry” to very abstract realms: for example, arithmetic geometry where one looks at Spec($\mathbb{Z}$) as a space, treating prime numbers as points – a highly abstract geometric vision. Grothendieck also introduced toposes (environments generalizing topological spaces for doing geometry) and emphasized functorial thinking (a scheme is a functor from rings to sets satisfying certain conditions, capturing “the essence of geometricity”). He often described his view as “doing geometry over general bases”, meaning even if working over weird fields or rings, one should still have a “geometric intuition”[18]. - Grothendieck’s school solved major problems (Weil conjectures, etc.) by these methods. However, to the wider math world, his Séminaire de Géométrie Algébrique and Éléments de Géométrie Algébrique looked forbiddingly abstract – a far cry from drawing curves! Yet, they insisted on calling it geometry, and rightly so, as it continued the line of thought that started with algebraic curves = geometry, now extended to number theory contexts. - This caused some generational tension: older style algebraic geometers had to learn heavy category theory, or step aside. But ultimately, by 1970s, algebraic geometry firmly meant scheme theory for new researchers. - Consequence: Geometry now fully absorbed category theory. So one can say geometry now comes in different flavors: smooth manifolds (category of differentiable manifolds), topological spaces (category of topological spaces), schemes (category of schemes), etc. Each category has its own notion of morphism and invariants, but there’s a unifying idea of studying spaces and maps.
Differential Geometry meets Topology (1960s–70s): A major theme was using techniques like Morse theory (critical points of functions on manifolds) and partial differential equations to solve topology problems.
Stephen Smale, John Milnor, etc., developed differential topology. Milnor’s discovery of exotic 7-spheres (manifolds homeomorphic but not diffeomorphic to standard sphere) in 1956 showed the subtleties between topological and smooth geometry. That is a very “geometric” insight: there could be weird smooth structures, implying geometry in the smooth sense differs from pure topology.
The Atiyah-Singer Index Theorem (1963) connected differential geometry (elliptic operators on manifolds) with topology (index as topological invariant). This was a major synthesis: it meant you could solve a topological invariant by computing an analytic (and hence geometric) quantity.
Hodge theory was developed earlier (1940s) linking topology of manifolds (cohomology) with analysis (harmonic forms) on Riemannian manifolds. Again, geometry as bridging concept: one can see cohomology by solving a differential equation Δf=0.
As a result, a new term “geometric analysis” really came into vogue by 1970s (though the practice started earlier). For example, S.-T. Yau and others used PDE to prove existence of certain metrics (Calabi–Yau metrics on complex manifolds, etc.). The study of minimal surfaces (variationally solving for area-minimizing shapes) and the use of heat equation (e.g., Ricci flow by Richard Hamilton in 1982) are prime examples of geometric analysis.
Thurston’s Geometrization (1970s–80s): William Thurston, a young American mathematician, revolutionized geometric topology (particularly of 3-dimensional manifolds) by introducing a new vision: that many topological 3-manifolds actually carry one of a handful of canonical geometric structures. In 1982, he announced the Geometrization Conjecture which generalizes the Poincaré Conjecture. He identified 8 model geometries (e.g., spherical, Euclidean, hyperbolic, and 5 others like $S^{2} \times \mathbb{R},\mathbb{H}^{2} \times \mathbb{R},\widetilde{SL_{2}},Sol,Nil$). He and his collaborators showed large classes of manifolds are hyperbolic – introducing hyperbolic geometry techniques into topology (like Haken manifolds, using deformations of hyperbolic structures).
Thurston’s approach was highly visual and intuitive; he would draw pictures of how geodesic foliations work on surfaces, etc. His proofs sometimes lacked rigor initially but gave correct results (later formalized by others).
Thurston’s work in the 1970s gave rise to a resurgence of classical geometry—hyperbolic geometry of Riemann surfaces and 3-manifolds – connected with complex analysis (Teichmüller theory of moduli of Riemann surfaces) and combinatorics (circle packings, etc.). This was a case where traditional geometric intuition (hyperbolic polyhedra, etc.) solved problems where pure group theory or topology had hit a wall. The success helped unify pieces: group theory, via Kleinian groups, became part of geometry; e.g., “geometric group theory” often traces its roots to late 80s and Gromov, but it also relates to how Thurston looked at fundamental groups of manifolds as geometric objects.
Ultimately, Perelman’s proof (2003) of Thurston’s conjecture (and thus Poincaré) via Ricci flow is a triumph of geometric methods (differential equations) solving a topological classification problem. It is the capstone of the idea that to solve a topology problem, one finds a geometric structure that evolves nicely.
Gromov and “soft” vs “hard” geometry (1980s): Mikhail Gromov, a Soviet-then-French geometer, introduced groundbreaking ideas:
Geometric group theory: in 1987 he published “Hyperbolic groups” defining a finitely generated group to be hyperbolic if its Cayley graph behaves like a hyperbolic space in large-scale. This spawned an entire field where group theorists use geometric language (metrics, curvature-like properties, geodesics in Cayley graphs, etc.) to classify groups.
Metric geometry: Gromov studied spaces in very general metric terms, introducing concepts like the Gromov-Hausdorff distance between metric spaces (a way to say a sequence of shapes converges to a limit shape), and applying this to Riemannian manifolds (leading to results like any sequence of compact metrics with bounded curvature has a subsequence converging to a limit space, possibly with singularities – opening study of such limits).
Symplectic geometry: Although symplectic geometry (geometry of a non-degenerate 2-form) existed earlier, in 1985 Gromov’s non-squeezing theorem gave the field a famous foundational result, using pseudoholomorphic curves – an analytical yet geometric technique – bridging complex analysis and symplectic topology. Symplectic geometry and topology took off, connecting to classical mechanics and dynamical systems.
Gromov’s style often contrasted “soft” geometric methods (topological, flexible arguments like continuous deformations) vs “hard” (analytic, rigid inequalities). Both are part of geometry now: for example, soft in geometric topology (e.g., you can always slightly perturb a map to be in general position), hard in Riemannian geometry (e.g., volume comparison theorems using Ricci curvature bounds).
Emergence of new “geometries”: In the late 20th century many subfields get their own identity:
Algebraic geometry became even more algebraic with Grothendieck’s successors, but also strangely looped back: some algebraic geometers in 1980s (like Shafarevich) wrote books reintroducing more intuitive geometry to explain schemes, trying to make the abstract ideas visualizable again.
Complex geometry matured: Yau’s solution of Calabi conjecture (1978) created Calabi–Yau manifolds which immediately became central in string theory. That is algebraic (complex) geometry, differential geometry, and physics meeting. Terms like “Kähler geometry”, “Harmonic maps”, “minimal submanifolds” all became specialized mini-fields.
Convex geometry and discrete geometry blossomed: e.g., the solution of the Kepler conjecture (sphere packing) by Hales (1998) used computational and geometric arguments. The theory of polytopes (since 1960s with Grünbaum and others) became part of “discrete geometry”.
Computational geometry grew as a discipline distinct from math but with overlaps; algorithms for geometric problems and combinatorial geometry results (Erdős problems, etc.) were significant by 1990s.
Education: the “New Math” movement around 1960 in the US attempted to introduce more abstract structures even in school (some tried coordinates instead of Euclid, sets, transformations). That largely failed by 1970s, but left a vacuum where less proof-based geometry was taught. Later, countries balanced it differently; some reintroduced more classical Euclid to improve rigor.
By 1990s, US high schools had watered down geometry (more about heuristic reasoning, less formal proof), whereas places like France still had géométrie (with transformations and vectors in high school).
Meanwhile, things like international math Olympiads kept synthetic Euclidean geometry alive as a subculture; Eastern European and Asian students became notably skilled in it. This is interesting culturally: contest geometry problems remained a sphere of creativity separate from research math, but overlapping academically with classical geometry.
Unifying trends: Several unifications occurred by century’s end: - Index theory and surgery unified algebraic topology, differential geometry, and analysis. - Mirror symmetry (1990s): a surprising link between algebraic geometry (Calabi–Yau varieties) and symplectic geometry (holomorphic curves), inspired by string theory. It’s called “mirror symmetry” but often described as part of geometric Langlands or geometric representation theory, again broadening geometry beyond classical. - Geometric Langlands program (early 2000s): tries to recast Langlands correspondence (a deep number theory conjecture) in terms of sheaves on moduli spaces (algebraic geometry) and gauge theory (differential geometry). The use of “geometric” signals that it’s a more visual, shape-driven interpretation of an arithmetic phenomenon.
- Terminology by 2000: Many subfields had “geometry” or “geometric” in the name. For example:
- Geometric group theory
- Geometric combinatorics (sometimes used for polytope theory etc.)
- Computational geometry
- Information geometry (differential geometry of probability distributions, mid-1980s by Chentsov and others, then popularized by Amari)
- Topological geometry (less common term, sometimes referring to combinatorial incidence geometry or topological groups)
- The proliferation indicates how geometry became a versatile adjective. If a mathematician wanted to emphasize intuitive or structural aspects of their work, they might slap “geometric” on it.
6. Late 20th–21st Century: Unity and Fragmentation in Modern Geometry Link to heading
In the 21st century, geometry is both ubiquitous and specialized: - Ubiquitous: geometric ideas permeate many new fields. For instance: - Data science: terms like “manifold learning” presume data lies on a low-dim geometric manifold in high-dim space; topological data analysis uses persistent homology to find shape features in data; geometric deep learning uses symmetry (group invariance) and graph manifolds to generalize neural networks. - Theoretical computer science: uses geometry in complexity (e.g., geometric complexity theory approach to P vs NP, though speculative), metric embeddings, computational topology for graphics, etc. - Physics revival: string theory and quantum field theory heavily use geometry (Calabi–Yau spaces, moduli spaces, conformal geometry, etc.). Terms like “quantum geometry” appear (though often meaning discrete structures approximating continuous). - Biology/Medicine: shape analysis, protein folding geometry, etc., are practical uses of geometry.
- Specialized: at the same time, each subfield of geometry has become very advanced and technical. An algebraic geometer (post-Grothendieck) speaks a language of stacks and derived categories that a differential geometer might not understand, and vice versa with things like gauge theory or minimal surfaces. Topologists might use homotopy type theory now – very abstract – which is far from classical imagery.
- People often identify as, say, “symplectic geometers”, “Riemannian geometers”, “algebraic geometers”, etc. Yet, a common bond is an annual or biannual huge conference like International Congress of Mathematicians where these communities cross-pollinate. Also, many of the big prize-winning breakthroughs have been geometric:
- 2010 Fields Medal to Ngo Bao Chau for the fundamental lemma (part of geometric Langlands).
- 2014 Fields Medal to Maryam Mirzakhani for geometry of Riemann surfaces (hyperbolic, complex).
- Perelman’s (declined) Fields for solving Poincaré (geometric topology).
- This trend highlights geometry’s central role in current math.
Present tensions: - Abstract vs Concrete: Some lament that in many modern geometry papers, there's “no picture to be found” and one has to have enormous algebraic machinery, whereas others celebrate that we now can solve problems once thought intractable by these methods. - There’s also a renewed interest in visualization and computational tools. Software like Mathematica or Geogebra allows exploring geometry dynamically. There’s a branch called experimental geometry where you might guess theorems via computer experiments. - Continuous vs Discrete: This tension is alive in topics like discrete differential geometry – where one tries to define analogues of curvature and geodesics for discrete meshes (with applications to graphics). So even the concept of what is geometry on a discrete set is being studied. - Education: There’s a push and pull. For a while, pure logic and algebra overshadowed classical geometry in curricula, but now many educators call for more geometry to develop spatial reasoning and creative problem solving. Some US states reintroduced more Euclidean proof to high school in Common Core (around 2010). In contrast, some countries incorporate transformation-based geometry earlier (e.g., using vectors and matrices to teach geometry, which is more linear algebra style). - Public perception: “Geometry” to the layperson still often means what one learns in school (shapes, formulas for volumes, maybe basic proofs). The higher-dimensional or abstract geometry is not widely appreciated outside math, except when a specific idea (like the shape of the universe) catches attention.
What is geometry today? It may be easier to answer by saying what geometers do: - They might classify shapes or spaces up to certain equivalence (homeo, diffeo, etc.). - They might find optimal shapes (minimal surfaces, etc.). - They study moduli spaces (space of all shapes of a certain type, which itself is a geometric object). - They use symmetry and invariants to understand structures. - They often draw analogies between different fields via geometric language (e.g., treat a number theory problem as a statement about a curve over a finite field). - They often rely on visual thinking, even if the rigor is algebraic. Many leading geometers draw doodles (even Grothendieck was said to have strong geometric intuition behind his abstractions). - They also often build examples (specific geometric constructions to test conjectures, which in other fields might be “counterexamples”).
Integration attempts: Some modern programs try to reunify geometry’s branches: - The Langlands program has “bridges” between number theory and geometry. - Unity of Mathematics is a phrase often invoked: geometry is one area where unity shows because you can start from something visual and end in something arithmetical. - Fields like category theory are sometimes called “abstract nonsense” but in algebraic topology and algebraic geometry, they serve as a unifying language (like model categories unify homotopy theories). - Perhaps the biggest unifier has been physics: a quantum field theory may require understanding algebraic curves (for mirror symmetry) and low-dimensional topology (for knot invariants via Chern-Simons theory) all at once. This forced cross-specialization collaboration starting in the 1980s (Donaldson theory, Seiberg–Witten, etc. brought differential geometers and topologists together, using both PDE and algebraic geometry).
Conclusion of narrative: The term “geometry” from Euler to today has morphed from a singular, well-defined domain (essentially Euclidean space study) to a label for a diverse array of mathematical endeavors. Yet, a through-line persists: a geometric viewpoint emphasizes structures (be it shape, space, or invariants under transformations) and often provides deeper insights or simplified solutions to problems that might be opaque via pure algebra or analysis alone. Mathematicians continue to use the word as a badge of honor: calling something “geometric” is usually meant approvingly, suggesting that it leverages some innate structure or intuition rather than brute force.
The narrative now segues to specific Case Studies that highlight critical moments when the meaning of “geometry” changed significantly.
Case Studies Link to heading
To concretely illustrate how “geometry” has been redefined and expanded, we present a series of case studies. Each is an episode in mathematical history where new concepts stretched the notion of geometry or where debates about what counts as geometry came to the fore. The case studies are roughly chronological and collectively cover synthetic, analytic, projective, differential, algebraic, topological, and applied flavors.
Case Study 1: Descriptive Geometry – Monge’s Revolution in Visualization (1795) Link to heading
Context: In the late 18th century, technical drawing for military and engineering purposes was more art than science. Gaspard Monge (1746–1818), a French mathematician and engineer, invented descriptive geometry as a systematic method to project 3D objects onto 2D planes. In 1795, after the French Revolution, Monge gave a famous course at the newly founded École Polytechnique, publishing his notes as Géométrie descriptive. This marks the birth of descriptive geometry as a discipline.
What is Descriptive Geometry? It’s a method to represent 3D shapes in 2D by using multiple orthogonal projections (views from different angles)[19][20]. The key idea is that by drawing an object’s projections on two perpendicular planes (say, the horizontal and vertical plane), one can reconstruct and solve spatial problems entirely in the 2D drawings. For example, to find the true length of a line segment in space, one looks at its projections and rotates views until the segment is shown in true size.
Monge’s own description: “representing with exactitude, in drawings, all the properties of objects’ forms” (paraphrased from Monge). Descriptive geometry allowed solving problems like the intersection of two surfaces, angles between lines and planes, and shadows, all through construction in the drawing.
Geometry redefined: Before Monge, one might not have considered these projection techniques as part of “pure geometry.” They would be seen as mechanical or practical arts. Monge elevated it to a science with proofs that the constructions worked and were logically sound. As Monge’s student and successor Claude Crozet said, descriptive geometry “is the mathematical foundation of engineering graphics”[12].
Importantly, Monge claimed this was geometry in the pure sense: - It’s synthetic: no coordinates or equations, just ruler-and-compass style operations (though adapted to projections). - It’s rigorous: he proved e.g. why certain auxiliary lines give the true intersection. - It deals with spatial properties (parallelism, perpendicularity, etc.) directly.
Impact: Descriptive geometry became a staple in European technical education. It broadened the scope of geometry to include visual problem-solving in 3D for practical ends. It was “geometry” in service to real-world design (fortifications, architecture). By 19th century, textbooks on geometry often had two parts: pure geometry (Euclidean propositions) and descriptive geometry (techniques of projection).
While descriptive geometry did not introduce new theorems about, say, triangles or circles, it introduced new methods and problems considered geometric: - The idea of configurations in space (like a line’s relation to a plane) as geometric objects. - The use of auxiliary imaginary constructions: Monge introduced the concept of folding out the projection planes (the “glass box” model, where one unfolds the 2D views) which is a conceptual leap.
Geometry as visualization: Monge’s work underscored a theme: geometry is about seeing relationships. He took something one might do with models or by measurement, and turned it into exact geometry on paper. It set precedent that geometry can be about representing reality accurately, not just theorizing about abstract points. It’s akin to the idea that a good diagram is a geometric argument – descriptive geometry made that into a whole system.
Later developments: By mid-19th century, some aspects of descriptive geometry were absorbed into projective geometry (since projection methods relate to projective transformations). For instance, methods for finding true lengths or angles had projective interpretations. Thus, descriptive geometry was a stepping stone to more theoretical projective geometry. However, as late as the mid-20th century, descriptive geometry was still taught (especially in architecture and mechanical drawing courses).
Meaning shift: After Monge, “geometry” in a university setting could well include descriptive geometry. People would refer to it as “géométrie descriptive” to distinguish from “géométrie élémentaire”. This was the first time geometry was explicitly partitioned into subfields for different purposes (elementary vs descriptive).
Quotation: From a historical account: “Monge describes his new geometry as ’the art of representing with exactness any spatial form on a plane surface, and of deducing from these representations all the truths of geometry and all the details of the forms of objects.’” (This quote captures how Monge considered it a complete geometric art.)
In summary, Monge’s descriptive geometry expanded the notion of geometry to include practical space representation and solution of 3D problems via 2D constructions, bridging drawing and rigorous reasoning.
Case Study 2: Projective Geometry – Poncelet and the Principle of Continuity (1820s) Link to heading
Context: Euclidean geometry distinguishes between different conic sections (ellipse, parabola, hyperbola), between parallel and intersecting lines, etc., and it cannot directly handle “points at infinity” or imaginary intersections. Projective geometry, revived by Jean-Victor Poncelet (1788–1867), changed that. In his 1822 Traité, written after reflecting on geometry as a POW in Russia, Poncelet laid down the principles of projective geometry.
Key innovations: - Introduction of points at infinity: Every set of parallel lines is said to meet at an ideal point at infinity. There is one such point for each direction of parallelism, and collectively they lie on a “line at infinity.” This completed the Euclidean plane to a projective plane. - Principle of continuity (or principle of “perspective continuity”): Roughly, it allowed extending results from real points to imaginary points and from intersections in finite plane to those at infinity, under a continuity argument. Poncelet used it informally to assert that properties observed in one case (where certain points are distinct, etc.) continue to hold in limiting cases (where points coincide or go to infinity). This was controversial, but powerful. - Emphasis on invariant properties: Poncelet identified those properties of figures that remain unchanged under projection (casting a figure from one plane to another along lines through a point). For example, collinearity of points and concurrency of lines are projective invariants; metric notions like lengths are not.
Geometry redefined: Projective geometry claimed to be more general than Euclidean geometry. As Poncelet says, “des propriétés projectives” are deeper or at least as potent as metric properties. It redefined geometry’s scope: - It’s geometry of position (German term: Lagegeometry): concerned only with relative positions (incidence, cross-ratio, etc.), not distances or angles. - It normalized the use of homogeneous coordinates (later formalized by Möbius and Plücker). Although Poncelet did not himself use coordinates, others like Plücker (1830s) provided coordinates for projective space, bridging analytic geometry into the projective realm. - It accepted imaginary elements as potentially useful fiction: e.g., two circles in the plane always intersect in two points if we allow complex coordinates (even if they don’t in the reals). Projective geometers spoke of imaginary points as if they were just as good as real ones (though mystically located).
This introduced a more algebraic view of geometry implicitly, since handling imaginary points is essentially using complex numbers. But Poncelet himself stayed synthetic in style.
Example of changed viewpoint: In Euclidean geometry, a theorem might require many special cases (if lines are parallel do this, if not do that). In projective geometry, often one theorem covers all cases elegantly, because a parallel line is just one that intersects at infinity (so no need for a special case). For instance: - Desargues’ theorem about triangles in perspective from a point and in perspective from a line is much cleaner in projective terms (no exceptions for parallel lines). - Pascal’s theorem on hexagon inscribed in a conic is projectively true for all conics, whereas in Euclidean terms one might have to consider degenerate conics separately.
Poncelet’s self-conscious expansion of “geometry”: He pitched projective geometry as reviving the pure geometry of Desargues and Pascal (17th c.), which had been overshadowed by analytic methods. So in a sense, he was broadening geometry by going back to synthetic roots but with new concepts (infinite and imaginary points).
He saw it as giving geometry more power and unity. For example, Poncelet derived the principle of duality (interchanging roles of points and lines yields a valid dual theorem). This was a startling new symmetry in geometry not noticed in Euclid’s approach.
Reception and formalization: Initially, Poncelet’s continuity principle was criticized for lack of rigor (what does it mean to treat an imaginary intersection as if real?). Over the 19th century, mathematicians like Karl von Staudt gave synthetic foundations to projective geometry free of coordinates (mid-1840s), and others like Cayley connected it to algebraic metrics (Cayley-Klein metric in 1850s). Ultimately, projective geometry became well-accepted and rigorous.
Impact on the meaning of geometry: - Geometry is not tied to measurement. Projective geometry stripped away measurement and showed there is still a rich theory. This eventually led to the Erlangen idea that Euclidean geometry = projective geometry + metric (a projective invariant called cross-ratio, with circular points at infinity fixed). - It influenced art and perception: the mathematics of perspective became part of geometry – previous eras kept perspective as separate (artists’ domain). - The rise of projective geometry made it so that by late 19th c., one could say “geometry” and might mean projective geometry primarily. As the Stanford quote earlier noted, projective became synonymous with “modern geometry”[3].
Example theorem: “Projective geometry is all geometry.” – Arthur Cayley (quote likely referring to Cayley’s assertion that metric geometry is just a subset of projective geometry with a conic (the “absolute”) fixed)[4]. This indicates how 19th-century thinkers saw projective geometry as the broad framework encompassing Euclid and even non-Euclidean as special cases (Cayley showed Euclidean and hyperbolic metrics can be derived via an “absolute” conic’s imaginary circle in projective space).
Conclusion of this case: Poncelet’s projective geometry broadened “geometry” to include: - Points at infinity and a line at infinity (completing the plane). - Duality (points and lines symmetric). - Continuity principle (treating imaginary on par with real). - New invariants like cross-ratio.
It set the stage for geometry as a more unified field and diminished the sharp line between geometry and algebra (since coordinates naturally enter to compute cross-ratios, etc., albeit one can do it synthetically). By integrating the infinite and imaginary, Poncelet made geometry more algebraically complete and conceptually expansive.
Case Study 3: Non-Euclidean Geometry – The “Geometry” of Bolyai and Lobachevsky (1830s) Link to heading
Context: For two millennia, “geometry” meant Euclidean geometry. The 19th-century discovery of non-Euclidean geometry (hyperbolic geometry in particular) by János Bolyai and Nikolai Lobachevsky shattered the uniqueness of Euclid’s world. This is a prime example of stretching a term: calling something a geometry that violated Euclid’s fifth postulate was initially hard to swallow.
The discoveries: - Nikolai Lobachevsky published in 1829–1830 (Kazan Messenger, then 1835–1838 in German as Geometrische Untersuchungen) what he called Imaginary Geometry (later called hyperbolic geometry). - János Bolyai included his independent discovery in an appendix to his father’s book in 1832 (in Latin). - Both created a consistent geometry where the parallel postulate is replaced: through a point not on a given line, there are infinitely many lines that do not meet the given line (in hyperbolic geometry’s model). - In their geometry: angle sum of triangle < 180°, area of triangle is proportional to this angle deficit; there is an absolute length scale (curvature negative).
Initial reactions: - These were at first met with skepticism or ignorance. Bolyai’s father thought maybe it’s just a weird algebraic result. Gauss privately was supportive (he had thought the same way but feared publishing). - The term “non-Euclidean geometry” was coined later (by Gauss’s student, probably). Lobachevsky called it “imaginary geometry” and Bolyai “absolute geometry” (though “absolute” sometimes meant geometry not using the parallel postulate, which includes both Euclid and hyperbolic as possibilities). - Some felt, as the Stanford Encyclopedia note suggests, that Lobachevsky’s geometry was using common words like “line” and “plane” but meaning something else, so it was just a logical game[5].
Philosophical importance: - It showed that geometry as an axiomatic system had alternatives, thus geometry is not a priori knowledge but contingent or hypothetical. This had a huge impact on philosophy of science and math (eventually influencing Hilbert’s formalism, Poincaré’s conventionalism, etc.). - It raised the question: Which geometry is true of physical space? This moved geometry into the realm of empirical science in some minds. Helmholtz later argued that you could experimentally distinguish geometries by measuring large triangles or such (though measuring rods might change length if space is curved, complicating it).
Geometry redefined: Now, “a geometry” could be one of many logically consistent systems of postulates. As Gauss wrote (to Taurinus, 1824), the new geometry is “a new paradoxical geometry” but he recognized it as true in its domain as Euclidean in its domain (he did not publicize this though).
It introduced the term “space of constant curvature”: - Euclidean = zero curvature - Hyperbolic = negative curvature - (Elliptic = positive curvature, which was developed by Riemann and others later, essentially geometry on a sphere or projective plane). So geometry could be classified by curvature, a notion foreign to Euclid.
Acceptance: By 1860s, non-Euclidean geometry became more accepted thanks to: - Beltrami’s models (he constructed a model of hyperbolic geometry on surfaces of constant negative curvature and within Euclidean disk). - Klein’s work (in 1871, Klein gave the disk model of hyperbolic geometry, linking it to projective geometry with a conic – the “Beltrami-Klein model”).
Once models were found inside Euclidean geometry, it proved that if Euclidean is consistent, so is hyperbolic. That resolved the logical worry.
Shift in education and culture: - Non-Euclidean geometry became something educated people discussed as a marvel. It began to appear in advanced math curricula by late 19th century. - It also influenced literature and popular thought (e.g., discussion about curved space in the context of possible physical space curvature).
Mathematical practice: - Non-Euclidean geometry opened new research: e.g., studying trigonometry on a hyperbolic plane (Lobachevsky did that extensively, deriving sine and cosine rules analogous to spherical trig but for hyperbolic). - It also led to differential geometry concept of curvature field on surfaces, connecting local geometry to global behavior (Gauss’s Theorema Egregium in 1827 already linking curvature to geometry). - Eventually, it set precedent that geometry could be studied as spaces satisfying different axioms – a more abstract conception (leading to Hilbert’s axiomatic approach, where “geometry” is any model of his axioms, Euclid or not).
Quote to represent: Poincaré’s quote from 1902 is apt: “Geometry is not true, it is advantageous”[10]. This encapsulates the idea that we choose Euclidean geometry not because it’s truer than Lobachevsky’s, but because it’s simpler for our experience. Poincaré argued that our minds have adapted to Euclidean because it’s convenient, not because one is right and the other wrong.
Bolyai’s famous quote (in a letter to his father, 1823): “Out of nothing I have created a strange new universe”. That dramatic statement shows how non-Euclidean geometry felt – a whole new world of geometric truth parallel to Euclid’s.
Conclusion of this case: Non-Euclidean geometry broadened the meaning of “geometry” from the study of space as we know it to the study of any self-consistent spatial system obeying different axioms. It marks the transition of geometry from an empirical science (in Greek view, describing God’s physical space) to a formal mathematical science exploring possibilities. Later, Einstein’s adoption of non-Euclidean (specifically Riemannian) geometry for spacetime ironically brought geometry back to describing physical space, but now which geometry is a matter of physics, not pure math alone.
Case Study 4: Riemann’s Manifolds – Geometry in Higher Dimensions and Variable Curvature (1854) Link to heading
Context: In 1854, Bernhard Riemann (1826–1866) defended his habilitation with a lecture “On the hypotheses which lie at the foundations of geometry” (published posthumously in 1868). In this visionary talk, Riemann extended geometry far beyond the classical realm: - He introduced the concept of an n-dimensional manifold (he didn’t use that term exactly, but described an n-parameter family of quantities representing points). - He proposed that geometry need not be confined to constant curvature (like Euclid’s zero, or the constant positive of a sphere, or negative of hyperbolic). Instead, at each point there could be different curvature, etc. – basically the idea of Riemannian metric varying from point to point. - He discussed empirical considerations: either space is discrete or continuous; if continuous, metric relations might come from external physical causes (anticipating a bit the idea that physics determines geometry)[21].
Riemann’s new geometry: - Defined by a quadratic form $ds^{2} = \sum g_{ij}(x)dx_{i}dx_{j}$. This notion wasn’t written with indices by Riemann, but essentially he described how to measure lengths in a coordinate patch by a positive definite form that can vary. - Special cases: if $g_{ij}$ is constant and identity, that’s Euclidean. If $g_{ij}$ is something like spherical coordinates metric, that’s a sphere locally, etc. - Riemann showed how geometry could be studied via such analytic objects (Riemannian metric) and introduced the concept of curvature tensor (though fully developed later by Ricci and Levi-Civita). - Notably, Riemann proved that for 2D surfaces, at each point a notion of Gaussian curvature can be defined from the metric – generalizing Gauss’s curvature. And he generalized to higher dimensions: what we call sectional curvature and the Riemann curvature tensor are in germ in his lecture notes.
Reactions: At the time, this was extremely abstract. Even Gauss, who was Riemann’s mentor, was impressed but likely recognized the deep difficulty. The formal development of Riemann’s ideas took decades: - Christoffel (1869) formalized covariant derivatives. - Ricci and Levi-Civita (1890s) developed the absolute differential calculus (tensor calculus) that encoded Riemannian geometry’s equations. - So, only by the late 19th century was Riemannian geometry a toolkit for mathematicians. Then early 20th, it found its star application in Einstein’s general relativity (1915).
Geometry redefined: - Dimension was no limit: 4D, 5D, or ND geometry became acceptable to consider. This opened the idea of using geometry in other areas (e.g., phase space in mechanics has 6 dimensions, why not think of that geometrically? People did later). - Intrinsic viewpoint: Riemann emphasized understanding geometry from within the space (the metric gives you distances, and that’s all you need to define curvature, no need to embed in Euclidean space). Gauss had done this for surfaces with his Theorema Egregium (showing curvature can be computed intrinsically). Riemann made it general – a huge conceptual shift where geometry is not shapes sitting in a higher space, but a self-contained manifold. - Therefore, one could conceive of geometries that are not subsets of some Euclidean $R^{N}$ at all – an abstract manifold defined by overlapping coordinate charts and transition functions (this more abstract view fully came later, but Riemann started it). - Metric vs Topology: Riemann’s talk distinguishes the topological notion of manifold (just continuity and dimensionality) from the metric notions (lengths, etc.). He said geometry presupposes the concept of space (topology) and additional structure (metric) and that the connection between them was not understood[6]. That foreshadows how later math separated topology (no distances) from geometry (with metric).
Implications for “geometry” as a field: - The study of specific manifolds (like special curved spaces) became a branch of geometry (differential geometry). - Some even considered Riemann’s work as bridging analysis and geometry, since it used calculus on manifolds. In fact, “geometric analysis” is rooted here. - It gave a language to articulate differences between local and global geometry (e.g., Riemann even speculated about if space is finite/infinite, which is global). - Allowed definition of non-Euclidean geometry in higher dimension too (Lobachevsky and Bolyai were about 2D surfaces of constant curvature or 3D hyperbolic space implicitly; Riemann let you consider e.g. 3D spherical or hyperbolic geometry explicitly as specific constant-curvature Riemannian manifolds). - So hyperbolic, Euclidean, elliptic are now just special cases in an infinite landscape of possible Riemannian geometries.
Case significance: It is a key step in abstractification of geometry. Compare: - Euclid: geometry of our intuitive 3-space. - Lobachevsky: one alternate 3-space geometry (hyperbolic). - Riemann: infinitely many possible geometries (any manifold with any metric). Now geometry is an entire infinite universe of mathematical structures to explore, far beyond tangible visualization.
It also required mathematicians to become comfortable with higher dimensions. After Riemann, one sees more work in 4D and up (Schläfli in 1850s studied 6D polytopes, etc., partly inspired by thinking about higher geometry).
Quotation: Riemann’s own words in the intro: “It is well known that geometry presupposes not only the concept of space but also the first fundamental notions for constructions in space as given in advance… the relationship of these presumptions is left in the dark…”[6]. This was a critique: that Euclid and followers had left the foundations unclear (e.g., what is the link between straight line as shortest path and axiom structure). He sought to clarify by suggesting one could conceive a notion of length from a more fundamental standpoint (the metric function).
He ends famously musing about the empirical question: “either geometry’s axioms are of empirical origin (space might be discrete or forces define measure)…” basically throwing it to physicists to decide what actual space we live in[21].
Conclusion: Riemann’s case study shows “geometry” evolving into a general science of manifolds and metrics. It is a watershed after which geometry is firmly entwined with analysis and any notion of unique geometry is gone. Also it’s the genesis of what would become Riemannian geometry, arguably the core of modern differential geometry.
Case Study 5: The Erlangen Program – Klein Unifies Geometry by Groups (1872) Link to heading
Context: By 1872, as we’ve seen, many types of geometry existed. Felix Klein (1849–1925) gave a famous programmatic speech upon appointment at Erlangen University. This Erlangen Program pamphlet provided a unifying definition of geometries in terms of group theory and transformation invariants.
Key idea: Klein proposed that each geometry can be characterized by a pair $(G,X)$ where $X$ is a set (interpreted as the space of the geometry) and $G$ is a group of transformations acting on $X$. The “geometric” properties are those that are invariant under $G$. In Klein’s words: “Given a manifold and a group of transformations, to study the properties of figures that are not changed by those transformations.”[7].
For example: - Euclidean geometry: $X = \mathbb{R}^{n}$, $G = E(n)$ the Euclidean group (rotations, reflections, translations). Invariants: distances, angles. - Affine geometry: $X = \mathbb{R}^{n}$, $G =$ affine group (linear transformations + translations). Invariants: parallelism, ratios of segments on lines. - Projective geometry: $X =$ projective space $P^{n}$, $G = PGL(n + 1)$ (projective linear group). Invariants: incidence, cross-ratio. - Hyperbolic geometry can be seen as $X =$ upper-half-plane, $G = PSL\left( 2,\mathbb{R} \right)$ (fractional linear transforms), invariants like cross-ratio realness, etc. - etc.
This redefinition did two major things: 1. Unified diverse geometries: They all became instances of “geometry = space + symmetry group.” This bridged Euclidean and non-Euclidean, and encompassed new geometries like projective, affine, conformal, symplectic, etc. If one found a new group acting nicely on a set, one had a new geometry. 2. Shifted emphasis from figures to transformations: Traditionally, geometry was about studying figures (like given some lines, find their intersection). Klein said focus on the group action; a figure’s properties mean nothing unless you specify under what motions it’s considered the same or changed.
Invariants become central: The question “what is a geometric fact?” becomes “what property is preserved under the allowed transformations?”. For example, in Euclidean geometry a circle’s roundness is preserved (it may move but stays a circle) whereas its position is not significant. In projective geometry, even circularness is not invariant (circles can turn into ellipses under projective maps).
Consequences for meaning of geometry: - Geometry as an organizational scheme: It encouraged mathematicians to classify geometry types by subgroups of one another. For example, Euclidean is a subgroup of affine, which is a subgroup of projective. So Euclidean geometry properties are those invariants under a smaller group than projective invariants. This layering was conceptually clarifying. - It also implied that if one studied group theory, one was effectively studying geometry in abstract. This influenced the development of Lie groups and representation theory (though Lie was independently developing his theory, the Erlangen view made it clear these continuous groups give geometries like spherical, hyperbolic, etc.)
Examples from the program: Klein explicitly listed projective geometry as the most general (with various subgroups yielding Euclidean, etc.), and also mentioned the group of motions on surfaces of constant curvature (giving spherical and hyperbolic geometry) as legitimate.
Not included explicitly: Topology was not in Klein’s original scope because topological invariants are not about rigid group actions (topology deals with continuous deformations which is an infinite-dimensional group essentially). However, one could retroactively fit it: continuous bijections group yields topological invariants (like connectedness is invariant under homeomorphisms). But Klein’s program had more rigid groups in mind, like Lie groups.
Influence: - The Erlangen Program wasn’t immediately popular, but by early 20th c, it was absorbed as standard vocabulary. For instance, mathematicians would refer to “Klein’s view” when teaching geometry, especially in Germany. - It kept synthetic geometry alive in a modern form: rather than coordinates, emphasize transformation properties. In fact, many 20th c. geometrical texts (like Coxeter’s) lean on symmetry as a guiding principle.
Enhanced concepts: - Homogeneous spaces: The idea a geometry’s space is $G/H$ for some subgroup $H$ (like Euclidean space = Isometries / Rotations, a coset space) crystallized subsequently. - People realized new connections: e.g., sphere and hyperbolic plane are both homogeneous spaces of Lie groups (spherical geometry = $SO(n + 1)/SO(n)$, hyperbolic = $SO(n,1)/SO(n)$ for appropriate signature). - The Program propelled the usage of linear algebra in geometry because many groups are matrix groups. It’s telling that soon after, Killing and Cartan classified Lie algebras, partly motivated by symmetry of spaces.
Quote: From Klein (translated): “Geometry is the study of the invariant properties of a space under a group of transformations.”[7]. That’s the thesis in a nutshell.
Conclusion: The Erlangen Program didn’t discover a new geometry but reframed all geometry. It basically answered the question “what is geometry?” in a new way. After Klein, one might say geometry = symmetry. It gave a clear criterion: if you can identify the group of symmetries, you understand the geometry. This moved geometry even closer to algebra (group theory being algebraic) while preserving a lot of the intuition (since we still think of motions in space). It also allowed crossing categories: algebraic geometry can be seen in this lens too (Birational geometry was later described by Cremona transformations group invariants, etc., though that’s more complicated as not everything is a group action on a well-defined set).
The success of Erlangen Program is evidenced by how naturally we now think in those terms. For example, when studying fractal geometry (20th c.), one might ask “what group or semi-group of scalings generates the fractal?” – still a symmetry viewpoint, albeit less classical.
Case Study 6: Hilbert’s Axioms – Geometry as a Formal Axiomatic System (1899) Link to heading
Context: By end of 19th century, Euclidean geometry’s logical gaps (like the tacit use of continuity and congruence notions) were well known due to work of Pasch, Peano, etc. David Hilbert (1862–1943) took on the challenge of axiomatizing geometry in his 1899 book Grundlagen der Geometrie (Foundations of Geometry). This transformed the notion of geometry from an intuitive science of space to an abstract formal system.
Hilbert’s contributions: - He provided a set of axioms (around 20) for Euclidean geometry in first-order logic, covering incidence, betweenness, congruence, continuity, and parallelism. - He proved the axioms are consistent relative to arithmetic by constructing a model (e.g., a coordinate model over $\mathbb{R}$). - He showed independence of axioms by constructing models where one axiom fails but others hold. - Importantly, he formalized the idea that the terms “point, line, plane” have no meaning except through the axioms. They could be any objects satisfying those relations.
Beer mugs and tables: The famous anecdote (detailed earlier) is that Hilbert said one must be able to replace “points, lines, planes” with “tables, chairs, and beer mugs” and the theory still holds[9]. This emphasizes the semantic indifference: geometry is about the form of relations, not their content. This was a radical departure from the classical view that points and lines are intuitive primitive concepts.
Geometry redefined: - It becomes a branch of mathematical logic: an axiomatic theory akin to algebra or number theory, not necessarily tied to physical space. - Euclidean geometry is now one theory among many. Hilbert actually also gave axioms for hyperbolic geometry by modifying the parallel axiom. So “geometry” splits into different axiom systems (Euclidean vs hyperbolic etc.) but unified by method: each is a formal axiomatic theory. - Hilbert’s approach clarified what different geometries have in common: e.g., all satisfy incidence and betweenness axioms (absolute geometry) but differ in parallel axiom. - It also allowed exploration of “strange” geometries (later Tarski studied geometry over real closed fields, etc.). If one changes the continuity axioms, one can get geometries over discrete ordered fields, etc. Geometry became any model of some axiom subset.
Effect on mathematical practice: - Early 20th century saw a trend of formalizing other parts of math, inspired by Hilbert’s success. - However, a bit ironically, Hilbert’s axiomatization did not become the usual way working geometers did geometry. It was more for foundations and pedagogy. Researchers in geometry (like differential geometers or projective geometers) didn’t suddenly start writing formal axioms; they kept a healthy informal approach. But they could be confident the foundations were sorted out. - Education: Some schools integrated more rigor in teaching Euclid after Hilbert. Others (like the “new math” around 1960) took it extremely far with logic even in school geometry (not very successfully with kids).
Intuition vs formalism tension: Hilbert’s work ignited debates. For example, Henri Poincaré, a big believer in intuition, was skeptical of treating points as meaningless. He worried if we empty geometry of intuition, we lose why it’s applicable to nature (a philosophical view). Others, especially the Bourbakists later, celebrated Hilbert as the father of formal math approach.
Further developments: - In the 20th century, Tarski gave a simplified axiom system amenable to decision procedures. - Also, people studied different geometries by varying axioms (like elliptic geometry by discarding an axiom about lines having two distinct infinite points). - Hilbert’s axiom of completeness (a second-order axiom to rule out weird models like using rationals instead of reals) foreshadowed the idea that one might simply assume a maximal model.
Quote from Hilbert: The open lines from Grundlagen (roughly): “We think of three distinct systems of things: the system of points, the system of lines, the system of planes. Points, lines, and planes are undefined objects satisfying the following axioms…” This plain statement was epoch-making: it’s the birth of abstract geometry.
His influence on current meaning of geometry: Now we can easily say: - “Consider a geometry where, say, elliptic geometry (no parallels) or a finite geometry (like Fano’s plane) – that’s still called a geometry even if it’s a 7-point space or something, because it satisfies some incidence axioms.” - Thus, finite geometries (important in combinatorics and coding theory) came to be seen as geometries, too. E.g., projective planes over finite fields are considered geometries (though not Euclid’s continuous space). - Hilbert’s approach also makes it natural to consider non-Archimedean geometries or others where distance behaves weirdly.
Conclusion: Hilbert cemented the view of geometry as a formal structure that may or may not correspond to physical space. This completed the liberation of geometry from physical intuition that non-Euclidean geometry started. Geometry became a playground for logical exploration: as long as a set of axioms is consistent, that geometry “exists” mathematically.
This case also marks the end of an era: after Hilbert, classical Euclidean geometry research (like proving new theorems about circles and triangles) became less fashionable compared to higher geometries, partly because the foundational questions were settled and geometry moved on to other contexts like algebraic or differential geometry.
Case Study 7: Italian Algebraic Geometry vs. Modern Algebraic Geometry – “Geometry” without Pictures (1900–1950) Link to heading
Context: In late 19th and early 20th centuries, a brilliant Italian school of mathematicians (Cremona, Castelnuovo, Enriques, Severi, etc.) advanced algebraic geometry, focusing on classification of algebraic curves and surfaces. They used a blend of geometric intuition and algebraic formula manipulation. However, some of their arguments lacked rigor (they assumed results about existence of certain points or solutions that were not fully proven). By mid-20th century, a new approach led by Oscar Zariski, André Weil, and later Grothendieck rigorized and rebuilt algebraic geometry on commutative algebra and category theory.
Italian School’s “geometry”: - It was called geometry because problems were posed in geometric terms: e.g., classify all surfaces of a given degree in projective space up to birational equivalence; find geometric properties of curves on surfaces; prove theorems about lines on surfaces (like on a cubic surface, there are 27 lines). - They often drew analogies to surfaces as if they were like deformed planes. They might use a parameter count heuristic (“this family has $n$ parameters, that one also $n$, so they intersect” etc). - Enriques and Severi wrote influential treatises (1906, 1921) summarizing results, but careful readers (like the young Weil) found gaps.
Crisis and transition: By the 1930s, outsiders began pointing out that some proofs were incomplete. For example: - The Severi problem of the existence of certain linear systems on surfaces wasn’t fully solved. - Resolution of singularities was assumed possible (simplifying algebraic varieties by blowing up points to remove singularities), but not rigorously proven in general until 1964 (by Hironaka). - There was an attitude that “if no one can find a counterexample, it must be true.” This clashed with the rising standards of rigor.
Enter Oscar Zariski: originally trained in Italy, he emigrated to the U.S. and steeped himself in modern algebra (Noether’s school). He recast concepts: e.g., defined an algebraic variety via prime ideals and used valuation theory to tackle unresolved issues (like resolving singularities in characteristics 0 in 1940s). André Weil in 1946 published Foundations of Algebraic Geometry using set theory and ring theory to redefine variety, point, etc.
For a while, a gulf existed: - Old style algebraic geometers used “birational geometry” with geometric language. - New style used ringed spaces and ideals, often not drawing any pictures.
Some older mathematicians felt the soul of geometry was being lost. Young ones felt the field would collapse under paradox if not made rigorous. Eventually, the new style prevailed.
Geometry reinterpreted: After this transition: - An “algebraic geometry” paper became mostly algebraic symbols, fewer diagrams of curves on surfaces. However, the geometric intuition didn’t vanish – it went underground, so to speak. Grothendieck was extremely algebraic, yet he named concepts evocatively (scheme, motif, etc.) to maintain geometric flavor. - The word “geometry” in “algebraic geometry” started to require justification: Why call it geometry at all? The defense was that one still has intuitive mental pictures (like Spec of a ring as a kind of space), and one uses analogies to classical geometry. - Also, many classical geometric conjectures were solved using the algebraic method, vindicating the approach. For example, the Italian conjecture that on a surface, any curve moves in a linear system (Kodaira vanishing and such in 1950s addressed analogous questions).
Impact on the term "geometry": This is an interesting case: geometry was almost in name only for a while. Some people in 1950 might open a paper titled “geometric classfield for function fields” and see nothing but Dedekind domains and functors – and could doubt if it’s geometry. But by Grothendieck’s era, a sort of new intuition was developed for these abstractions (like visualizing a scheme via its points and specialization relations, etc., or Grothendieck’s functor-of-points, saying a scheme is the geometry of its set-valued functor).
Case example: The concept of Grothendieck’s scheme (early 1960s): - It generalizes variety to include also “infinitesimal” structure (nilpotent elements). To a classical geometer, this is extremely abstract – why allow weird points with no clear classical picture? But it turned out to unify algebraic geometry and make everything robust. - Many classical geometers had to adapt or retire. Some, like Enriques, attempted to read the new work, others couldn’t follow. - In the 1970s, there was a synthesis: the next generation (like Hartshorne) wrote texts to explain Grothendieck's geometry to those with geometric background, closing the gap.
Quotations capturing the shift: David Mumford (an algebraic geometer bridging eras) said in 1975: “Algebraic geometry seems to have acquired the reputation of being esoteric, exclusive, and very abstract...”[22]. He was addressing that outsiders thought the field lost its connection to classical geometry. Mumford and colleagues then worked to apply algebraic geometry to other fields (like curve moduli in topology, etc.), giving it more external grounding.
Another quote from Gian-Carlo Rota: “The primer of algebraic geometry is not Euclid’s Elements, but rather the theory of ideals in a polynomial ring.” This starkly points how the foundation changed from axioms of points/lines to algebraic structures.
Conclusion of case: The period 1900–1950 in algebraic geometry epitomizes a transformation in what constitutes acceptable geometric reasoning. “Geometry” in this field went from largely synthetic and intuitive (with pictures of curves on surfaces) to algebraic and abstract (with ideals and sheaves). Yet, interestingly, the field still thrives on geometric problems (like counting number of solutions, describing shapes of solution sets) and geometric language (like intersection multiplicity as how curves meet). This transformation led to one of the richest frameworks in math, showing geometry could thrive even when completely merged with abstract algebra.
Case Study 8: Sheaves and Cohomology – The Rise of “Geometric Algebraic Topology” (1930s–1950s) Link to heading
Context: In the mid-20th century, tools from algebraic topology (like homology and cohomology groups) were adapted into both algebraic and differential geometry. The concept of a sheaf (initially by Leray, 1940s) and the use of cohomology theories in geometry profoundly changed how geometers thought and talked about “geometry.”
Sheaf and Cohomology basics: - A sheaf is a data structure that assigns to each open set of a topological space some algebraic structure (like functions, solutions of equations) and glues local data to global. For example, the sheaf of differentiable functions on a manifold, or sheaf of regular functions on a variety. - Cohomology groups $H^{i}\left( X,\mathcal{F} \right)$ for a space $X$ and sheaf $\mathcal{F}$ measure the obstruction to solving something globally given local solutions. They generalize the earlier singular or de Rham cohomology from topology, but in a way that suits algebraic geometry as well. - These ideas allowed one to treat problems like: “Does an equation defined locally patch to a global solution?” as a question of cohomology class vanishing.
Who and when: - Jean Leray (while in POW camp in WWII) developed sheaf theory and spectral sequences to compute cohomology (published 1946). - Henri Cartan and his seminar (late 40s, 50s) applied sheaves to complex geometry (Hartogs extension, etc.). - Jean-Pierre Serre (1953) in “FAC” (sheaf cohomology of coherent analytic sheaves) and “GAGA” (algebraic vs analytic geometry comparison) was pivotal. - Alexander Grothendieck (late 50s) applied sheaves and derived functors to create a vast cohomological machinery for algebraic geometry (e.g., defining $H^{*}\left( X,\mathcal{F} \right)$ and proving Weil conjectures partially by constructing étale cohomology).
Geometry’s meaning shift: - The statement “cohomology is a geometric invariant” became common. For example, two shapes that are continuously deformed have isomorphic cohomology (topological), but now even algebraic varieties got cohomology groups (via sheaf theory or singular cohomology over $\mathbb{C}$). So algebraic geometers could talk about the “holes” in an algebraic variety in an algebraic way. - A famous result linking these worlds: Hodge Theory (1940s by Hodge): for a compact Kähler manifold (which is a complex algebraic variety basically), the singular cohomology over $\mathbb{C}$ splits into pieces $H^{p,q}$ – bringing together topology, analysis, and algebraic geometry. This is inherently geometric: it’s about the shape (holes) of a complex manifold and the integrals of differential forms on cycles. It’s a far cry from classical geometry, but it answered geometric questions like the existence of harmonic representatives, etc.
Example: The Riemann-Roch theorem: - Classical (1850s): for a Riemann surface (algebraic curve) it relates dimension of spaces of meromorphic functions and differentials (an analytic/geometric count). - Modern (1950s by Hirzebruch and Grothendieck): in any dimension, it’s expressed in terms of sheaf cohomology groups and Chern classes (topological invariants). - The modern formulation, “Chi = c1 * etc.,” turned a geometric counting problem into algebraic-topological data. That is geometry being solved by cohomology.
Reception among geometers: - Initially, many classical geometers were not versed in these new tools. The seminar of Cartan (Paris) trained a generation (Serre, Grothendieck, Schwartz, etc.) who then exported these methods to algebraic geometry and elsewhere. - Differential geometers also adopted sheaves for PDE questions (the idea of elliptic complex and de Rham’s theorem linking forms and cohomology came earlier in 1930s). - It created terms like “geometric class field theory” (Weil and others tried to use geometry of curves over finite fields to analogize number theory). - Algebraic topology had already used the term “geometry” metaphorically (like one speaks of “geometric realization of a simplicial complex”).
But the big infiltration was into algebraic geometry: the idea that one can apply topological methods (like fundamental group or homology) to an algebraic variety. This cross-pollination was epitomized by Serre’s GAGA (1955) which showed an equivalence between categories of algebraic and analytic sheaves on projective complex varieties[18]. It told geometers that they could import results from complex analysis into algebraic geometry, secure that things correspond.
Simplification of viewpoint: Sheaf cohomology provided a coordinate-free, intrinsic way to handle problems which earlier would require messy coordinate patch arguments. It became the lingua franca: - Instead of chasing solutions of polynomial equations patch by patch, say “the obstruction lies in $H^{1}$” – if that cohomology vanishes, you can solve globally. - This kind of language is extremely common now in geometry.
Terminology introduced: Grothendieck introduced terms like étale cohomology, motive, topos – highly abstract, but he always insisted these were geometric concepts. For instance, a Grothendieck topos is a category that behaves like sheaves on a space – basically a generalized space. That’s pushing “geometry” to its limit: one can talk about the “geometry” of very abstract categories.
Quote: Alexander Grothendieck wrote in “Recoltes et Semailles” about the period of 1950s as “the time when algebraic geometry was recast into a new form, embedding it in the nourishing flow of homological algebra.” (paraphrase). This candidly acknowledges geometry’s marriage with algebraic topology (homological algebra is basically the algebra of computing cohomology).
Consequences: - New fields: Differential topology emerged (analysis plus topology on manifolds, as in case of Atiyah-Singer). - Complex geometry uses Hodge theory heavily, now considered standard geometry toolkit. - If one says in 21st c. “I’m a geometer,” it might well mean “I compute cohomology of certain moduli spaces” – which on the surface doesn’t sound like classical geometry but is regarded as geometric work.
In summary, the introduction of sheaves and cohomology changed the practice of geometry from classical constructions to reasoning about abstract invariants. It’s a strong case of the “geometric method” spreading outside classical geometry – algebraic topology was not considered geometry originally (some would say Poincaré’s analysis situs was borderline), but by integrating its tools, the boundaries blurred, and one could call these algebraic-topological methods “geometric” because they solved geometric problems.
Case Study 9: Thurston’s Geometrization of Topology – Pictures and Proofs (1970s–80s) Link to heading
Context: In 1982, William Thurston announced a set of groundbreaking results about 3-dimensional manifolds, culminating in the Geometrization Conjecture. Thurston’s work in geometric topology re-emphasized intuitive, visual reasoning in a field (topology) that had become algebraic and combinatorial in many ways. He introduced new “geometric structures” on topological manifolds and used them to classify and understand topology.
Thurston’s contributions: - Identified 8 model geometries in 3D (spherical, Euclidean, hyperbolic, and five less symmetric ones: $S^{2} \times \mathbb{R},\mathbb{H}^{2} \times \mathbb{R}$ (hyperbolic plane cross line), the universal cover of $SL\left( 2,\mathbb{R} \right)$, Nil, and Sol geometries). - Conjectured that every compact 3-manifold can be cut into pieces, each of which admits one of these 8 geometries. - Proved large cases of this conjecture, particularly that if a 3-manifold has certain properties (irreducible, infinite fundamental group etc.), then the “default” geometry is hyperbolic (this is Thurston’s hyperbolization theorem for Haken manifolds). - Developed tools like Kleinian groups and Teichmüller theory further, linking 3D hyperbolic manifolds with complex 2D dynamics (boundary at infinity as Riemann sphere fractals, etc.). - His proofs often relied on constructing explicit geometric structures: e.g., triangulate the manifold and then assign hyperbolic shapes to tetrahedra and adjust to get a consistent global hyperbolic metric (using Andreev’s theorem, Mostow rigidity, etc.).
Style: Thurston’s “proofs” in his notes were sometimes sketches with heavy reliance on diagrams and intuition (like how foliations by circles can lead to hyperbolic structures). He faced criticism initially for lack of rigor in the eyes of some algebraic topologists. But his ideas were later formalized and verified by others (many in the 1980s).
Geometry’s role: This case is where geometry solved a topology classification, something previously attempted by purely algebraic invariants (like fundamental group classification, which was hopelessly hard). Thurston posited that requiring a manifold to carry a homogeneous geometry is a strong, useful condition akin to a canonical form.
He said something like: “It is natural to try to find a geometric structure on a 3-manifold” (paraphrasing) because all other known manifolds in other dimensions had some geometric model (by earlier classification: 2-manifolds have constant curvature geometries, as per Gauss; surfaces classify by genus with spherical, Euclidean, hyperbolic as the 3 possibilities; in 3D it’s more complex but conceptually similar classification via geometry).
- He revived interest in hyperbolic geometry as an applied tool, not just a curiosity. Many 19th c. geometers studied hyperbolic in abstract; Thurston showed it actually classifies infinitely many 3-manifolds (so hyperbolic geometry moved from counter-model to central object).
- His work also used physical intuition: for instance, imagine a manifold with a complete hyperbolic metric, geodesics behave a certain way; used volume as an invariant (the hyperbolic volume of a manifold is a topologically invariant quantity for hyperbolic ones).
- This gave birth to geometric topology as a more distinct subfield, combining hard analysis (some steps using Riemann’s mapping theorem in analysis) with pictures (train track automata, etc.)
Consequences: - The Poincaré Conjecture (a special case of Thurston’s general conjecture) was solved by Perelman (2003) using a totally different method (Ricci flow, a geometric analysis PDE approach). But Thurston’s influence was huge: Perelman’s end goal was essentially verifying Thurston’s picture. - Geometers in the 80s and 90s often cited Thurston’s work as proof that “geometric thinking leads to real breakthroughs in topology.” It shifted emphasis from pure algebra (like complicated group presentations of fundamental groups) to finding geometric structures or invariants (volume, lengths of geodesics, etc.). - The success of hyperbolic manifold theory spilled into group theory (Gromov’s hyperbolic groups concept came partly inspired by seeing how hyperbolic geometry influences fundamental group behavior). - And into dynamical systems: Thurston also classified surface diffeomorphisms by a geometric criterion (Nielsen-Thurston classification using hyperbolic structures on surfaces to understand mapping classes). This again shows geometry bridging to another area (dynamics on surfaces).
Quote from Thurston: In a 1982 Bulletin AMS paper, Thurston writes: “I have always tried to maintain a geometric view of mathematics... It seems that in many cases geometric insight can precede and guide algebraic formalism.” (paraphrased). Or his remark that “one picture is worth a thousand symbols” could be something he’d agree with, given his style.
Meaning of “geometry”: Thurston reaffirmed a classical meaning: geometry as something you can draw and see. In an era where topology had been dominated by algebraic invariants (like homology groups, homotopy groups, which are sequences of algebraic objects), Thurston’s work suggests the actual shapes that a manifold can have are the key to understanding it. This re-introduced terms like “geometric intuition” as positive methodology in a field that had become very abstract.
It also entwined with complex analysis (via Teichmüller theory – a surface’s complex structure yields a hyperbolic metric via uniformization). That synergy reconnected two branches of geometry (hyperbolic and complex analysis) that historically parted after Poincaré and Koebe’s uniformization.
Conclusion: Thurston’s case emphasizes geometry as the method (pictures, continuous deformations, existence of metrics) to achieve results outside of traditional geometry (classifying topological manifolds). It validated that, even after the heavy algebraization of 20th century math, there remained deep power in classical geometric intuition, enhanced by new tools like hyperbolic metrics. This fosters the current attitude that many problems in combinatorics, group theory, etc., might have a “geometric solution” if we can find the right space or structure to visualize them.
Case Study 10: Grothendieck’s Schemes – “Geometry” as Functorial Algebra (1960s) Link to heading
Context: Alexander Grothendieck (1928–2014) led a revolution in algebraic geometry in the late 1950s and 1960s. We touched on the transition from Italian to modern algebraic geometry earlier, but here we focus on Grothendieck’s concept of a scheme and related categorical viewpoints, which greatly stretched the notion of what a geometric object is.
What is a scheme? In classical terms, an algebraic variety is like the set of solutions to polynomial equations. Grothendieck generalized this to scheme, which is locally like Spec of a ring (the space of all prime ideals of a ring, equipped with the Zariski topology and a structure sheaf). Schemes allow “functions” that are generalized (coming from the ring). - Schemes include not just nice curves/surfaces, but also more singular objects, finite stuff, glueing of things, and also arithmetic objects like Spec(Z). - A scheme can have nilpotent elements in the structure sheaf, meaning it has "infinitesimal fuzz" – something not interpretable as points in a usual sense.
Grothendieck often described a scheme as a space plus a sheaf of rings. But more profoundly, he encouraged a functorial viewpoint: - Even if one can’t visualize a scheme $X$, one can study it by what maps (morphisms) it sends into other objects or out of. For instance, he famously said “to understand $X$, consider the functor it represents: $Hom(_,X)$”. - This was distilled into slogan: “schemes are functors of points.” Meaning to Grothendieck, a scheme $X$ is the way it assigns to any other scheme $Y$ the set of morphisms $Y \rightarrow X$. This abstracted geometric thinking to an algebraic extreme.
How this redefined geometry: - Universal language: It unified number theory and geometry: an integer prime $p$ can be thought of as a point on Spec(Z). So properties of integers could be seen geometrically (like a prime ideal in Z corresponds to a closed point mod p). - It changed problems in number theory (like Diophantine equations) into questions about points on schemes – effectively a geometric lens on arithmetic. - Topology analogy extended: People started referring to arithmetic analogues of topological ideas, e.g., “étale fundamental group”, “motivic cohomology”, etc. This turned number theory into something like a “geometry of spectra of rings,” an entirely new perspective by 1970s.
- Categories and Yoneda viewpoint: Category theory, which many found very abstract, became deeply embedded in geometry. For instance, instead of saying "points of $X$" we say "all morphisms from Spec(k) to X are points of X with values in field k." That is an abstract way to think of points, good for working over any base ring, not just algebraically closed fields.
Reception: - At first, even brilliant algebraic geometers like Weil were skeptical: an anecdote is Weil said he found EGA (Éléments de Géométrie Algébrique) unreadable. Many needed Serre and others to produce more accessible accounts (Hartshorne’s textbook in 1977 did that for a generation). - Over time, schemes became the standard. Now anyone doing algebraic geometry uses them. The older variety language is seen as a special case (schemes of finite type over a field).
Terminology: Grothendieck introduced terms like étale, fppf, topos, motive, etc. – all analogies: - Étale roughly means no new extension fields on fibers (like local homeomorphism analogue). - Topos (from Greek “place”) generalizes a space as a category of sheaves – an attempt to capture the essence of “geometric space” in logical terms. E.g., sets (with trivial topology) form a topos, so logic itself can be studied geometrically in a “logical topos.”
He basically said geometry need not be about points and lines at all: it could be about generalized points (functors) and their relationships. The word geometry now encompassed extremely abstract objects like moduli spaces (which themselves might not be classical manifolds but are schemes or stacks possibly).
Example: Moduli of elliptic curves – classically, one might consider the upper half-plane modulo an action as the moduli space, which is a Riemann surface. But Grothendieck defined the moduli scheme of elliptic curves as a scheme representing the functor that to any base scheme T associates isomorphism classes of elliptic curves over T. This “moduli scheme” is something defined over Z, not just C, so it simultaneously encodes elliptic curves in characteristic p, etc. That’s a truly broader concept of geometry bridging arithmetic.
Geo vs. arithmetic synergy: Thanks to Grothendieck, terms like “arithmetic geometry” and “Diophantine geometry” became robust fields: e.g., Faltings' proof of Mordell Conjecture (1983) used height functions and Arakelov geometry (an analogue of geometry over Spec(Z) which includes archimedean info). This is geometry in that we consider line bundles, metrics, etc., on an arithmetic surface.
Conceptual shift: - In the 19th c, you might have thought geometry stops at complex numbers (Riemann surfaces etc.). Grothendieck blew past that: geometry can be done over any ring. Doing geometry over F_p (finite fields) and even over Z is meaningful. - This means bridging discrete and continuous: e.g., analogies between a number field and a 3-manifold (Weil’s analogies, then realized partly by Belyi’s theorem linking curves over number fields with dessins d’enfants etc.). All that is part of modern “geometry” discourse.
Quote: From Grothendieck’s EGA preface (not a direct quote but gist): “It is now generally acknowledged that to solve problems in algebraic geometry, one must work in the most general scope – not only over fields but over arbitrary base schemes – to allow the full force of induction and specialization methods.”[18]. This underscores that generality (which sounds anti-geometric at first) is ironically the key to doing geometry thoroughly.
Conclusion: Grothendieck’s scheme theory represents geometry’s complete assimilation into abstract algebraic structures without losing identity. He basically said: algebraic geometry = commutative algebra + sheaves. Yet, the problems addressed remained geometric (like understanding shapes defined by equations).
Now in 2020s, geometric language has even pervaded logic (e.g., “geometric model theory”), and physics (string theory’s extra-dimensional geometries that might be defined as Calabi-Yau schemes in some cases!). Grothendieck’s influence means a “geometer” could be someone who never draws a picture but deals with highly abstract forms — and still, the results are considered geometry because they answer questions about spaces and mappings (just in a generalized sense).
This was arguably the most radical redefinition of geometry in pure math: one that fully abstracts the subject, akin to how Hilbert abstracted Euclid, but on a much grander scale that incorporates many classical subfields.
The above ten case studies illustrate how fluid the concept of geometry has been. From Monge’s practical art to Grothendieck’s categorical abstraction, the word covers a lot of ground (literally and figuratively!). Each episode not only changed geometry but often influenced other fields and was influenced by extra-mathematical ideas (like physics for Riemann and Einstein, or logic for Hilbert, etc.).
In the next sections, we will briefly discuss curricula and institutional aspects, then synthesize overarching themes and conclude.
Curricular Cross-Section: Geometry in Education (Europe and U.S. over Time) Link to heading
Geometry’s role in education has waxed and waned, reflecting its changing status in mathematics. Here we compare how “geometry” in curricula evolved:
Euclid in Schools (18th–19th c.): - In Europe (notably Britain, France, Germany), a classical education included mastering Euclidean geometry as the exemplar of logical thinking. Often, specific books like Euclid’s Elements (or local adaptations like Legendre’s Éléments de Géométrie in France, or Simpson’s edition in England) were standard textbooks[15]. - The emphasis was on proofs and constructions. Students learned to prove triangle congruences, circle theorems, etc. This was seen not just as math training but mind training. - For instance, in England the phrase “Assault of Euclid” referred to the challenge students faced with Euclid’s first propositions, and Cambridge even had a famous student joke book Euclid and his Modern Rivals.
19th-century changes: - Continental reforms introduced analytical geometry earlier for those pursuing advanced science/engineering. For example, the École Polytechnique (Paris) under Monge taught descriptive geometry intensively and analytic geometry as well. So French engineers in 1820 knew more coordinate geometry than a British student who might focus on Euclid alone. - Germany had influential texts by K.F. Gauss’s student, but Euclid remained core until late 19th c. Some German educators (like Klein later on) advocated to modernize geometry teaching—introduce transformation geometry, for instance.
- The decline of synthetic geometry in research by late 19th c (due to rise of algebraic and analytic methods) didn’t immediately translate to schools. In fact, some countries double-downed on Euclid as a bulwark of classical education. But others, especially influenced by Felix Klein’s educational ideas (Erlangen, 1872 and later his lectures on elementary math), began to incorporate more real-world geometric thinking and less classical rigour (Klein advocated linking arithmetic, algebra, and geometry early on).
Early 20th century (circa 1900–1950): - The U.S. adopted Euclidean geometry (high school, 1 year) as a staple around 1900, largely influenced by British curricula and universities’ entrance requirements. The typical sequence was: Arithmetic → Algebra → Euclid’s geometry → Advanced Algebra, etc. - However, the actual implementation in many American schools was procedural (lots of memorization of theorems) and by mid-20th c, critics said it failed to teach real proof skills, just rote “two-column proofs”. - Europe had varying degrees: - France: maintained a high level, including projective geometry in lycées for students specializing in math by the 1930s. - Italy: also taught Euclid, but interestingly their mathematicians who led algebraic geometry often lamented poor teaching of proofs in school. - In the Soviet Union (mid 20th c.), geometry was strongly present (two courses: planimetry and solid geometry) with emphasis on problem solving and proofs, some of which involved transformations and even intro to coordinates, but largely classical.
New Math era (1960s): - Following Sputnik (1957), the U.S. and others attempted to modernize math education. New Math in the U.S. tried to introduce set theory and abstract algebraic structures early. In geometry, this meant: - Some textbooks recast geometry in terms of transformations or vector spaces. For example, instead of Euclid’s axioms, use a minimal set of axioms or even coordinate approach to prove properties. Or define congruence as a transformation invariance. - There was an experiment to introduce students to non-Euclidean geometry basics, to show Euclid’s postulates are not the only way. - However, often the outcome was confusion, as many teachers were not prepared for these changes. By the 1970s, there was backlash and a swing back to basics.
- Europe had less extreme swings.
- France’s 1960s “Bourbaki-inspired” curriculum did stress set language and structure, but Euclidean geometry remained a staple albeit with more vector/analytic flavor creeping in for older students.
- The USSR also introduced more coordinate geometry and vector methods by 1970s textbooks, but still kept a lot of classical content as well.
Late 20th century: - The U.S. saw geometry in high school losing ground to calculus and algebra. Many states made geometry optional or integrated. The 1980s “Back to Basics” movement re-emphasized traditional Euclid in some places, but overall, many students were graduating with only a limited exposure to formal geometry proofs. - Meanwhile, contests (e.g., Math Olympiads) still had significant synthetic geometry problems, which meant interested students learned more than typical curriculum (often via extracurricular study). This created a niche culture of “olympiad geometry” that preserved advanced classical geometry knowledge (like spiral similarities, inversion, etc.) outside the school system. - In contrast, some Eastern European countries maintained a higher standard. For example, in Russia, the use of geometric transformations (like symmetry, rotation, homothety) in problem solving was taught and known widely, even if not formal in curriculum. - University curriculum: At the college level, by late 20th c., geometry courses had diversified: - For math majors: courses in differential geometry, topology, algebraic geometry, etc., none of which directly connect to Euclid’s geometry except historically. - Some universities had a “geometry for teachers” or “college geometry” course, revisiting Euclid and sometimes introducing non-Euclidean geometry, to prepare future teachers or give breadth. But these were often elective or for specific tracks.
21st century (2000s): - Common Core (U.S.): rolled out ~2010, tried a compromise: High school geometry should include: - Euclidean basics (triangles, circle theorems, area/volume). - More emphasis on transformations (they explicitly included congruence defined by rigid motions, similarity by dilations, which is very much Felix Klein coming full circle into schools). - Some coordinate geometry integration (equations of circles, using slope criteria for parallel/perp lines). - Proof is included but not all states enforce heavy emphasis. - Some basics of constructions (with compass/straightedge, now sometimes using dynamic geometry software). - Many U.S. textbooks now start geometry by exploring symmetry and transformations (translations, rotations, reflections) before formal proof – a departure from the old “Euclid start with axioms” approach. - In Europe, curricula differ but generally: - Most include some explicit coverage of Euclidean geometry in lower secondary. - Some include vectors and analytic geometry in upper secondary (embedding geometry in algebra). - For example, the UK introduced coordinate geometry earlier and reduced Euclid’s proof intensity mid-century; recently there's slight revival of reasoning aspects due to PISA testing’s influence on reasoning skills.
Comparative outcome: - Historically, Europe (especially gymnasium traditions in Germany/Eastern Europe and lycées in France) kept rigorous geometry in school longer than U.S. did. - But by late 20th c., everyone saw a decline in time devoted to classical geometry as other topics crowded. - On the other hand, university level in U.S. saw a revival in geometry popularity through differential geometry due to physics (relativity, string theory) and through computational geometry due to CS. So geometry is far from dead at higher levels; it's just moved to specialized courses.
Geometry in University Departments: - The 19th century often had a “Chair of Geometry” explicitly (like in Italy separate from Chair of Algebra). That distinction blurred. Now math departments often group by broad areas: algebra, analysis, geometry/topology. So geometry lives on as an identity in academia. - Some departments named “Geometry and Topology” groups, which reflect how closely topology (esp. geometric topology) aligns with geometry. - Textbooks in 20th c.: Interesting to note, many textbooks for advanced math took a linear algebra or calculus approach to geometry: - e.g., “Analytic Geometry” courses became overshadowed by “Linear Algebra.” - “Differential Geometry” textbooks (like do Carmo, Pressley) focusing on curves and surfaces reintroduced some classic geometry but via calculus. - “Topology” textbooks often have few pictures; they rely on axioms – an irony given topology’s origin in pictorial puzzles.
In sum, the curriculum analysis shows a rise-fall-rise pattern: - Geometry was the queen of early math education (through Euclid). - It receded mid-20th c in many places (as abstract algebra took stage in “new math” and also as calculus was prioritized for STEM prep). - Recently, there’s recognition that geometry teaches reasoning and visualisation differently than algebra, so some reforms push it back in (like Common Core’s inclusion of transformations, or the UK’s inclusion of more problem-solving). - Also, technology (dynamic geometry software, 3D printing, etc.) is providing new ways to teach geometry, potentially sparking renewed interest. For example, students can experiment with Euclidean and non-Euclidean constructions on a computer (e.g., on a sphere or hyperbolic plane via software).
Cultural aspects: - In some countries (like France, Russia, China), doing well in geometry is seen as a mark of mathematical talent due to its difficulty, so it holds prestige in competitions. - In contrast, some educators in U.S. argued to de-emphasize formal proof to not scare away students (leading to a minimalist approach in many states where maybe only simple two-column proofs of base angles isosceles triangle are done). - The pendulum may swing again as STEM fields realize spatial skills are important (for fields like robotics, graphics, etc., which are geometric in nature).
As geometry content changed in education, so did its institutions: - Journals like The American Mathematical Monthly kept publishing expository geometry pieces and new synthetic proofs, keeping that spirit alive. - Specialized journals in geometry (like Journal of Geometry, founded 1971, focusing on classical Euclidean geometry results) exist but are niche. - On the other hand, top research journals in geometry are often titled to reflect modern flavors: e.g., Geometry & Topology, Algebraic Geometry, Differential Geometry & its Applications.
Thus, the educational trajectory of “geometry” mirrors its expansion and abstraction: teachers struggle to balance imparting the classical rigour vs. modern relevance. The fragmentation of geometry into multiple research domains made it harder to present as one coherent subject to learners – you can’t directly teach a teen about sheaf cohomology. Instead, you teach them about triangles and circles and hope down the line they see the connection.
Nonetheless, geometry remains crucial in curricula for its historical role and unique development of deductive reasoning and visual imagination.
Discussion: Overloading, Unity, and Fracture in the Meaning of “Geometry” Link to heading
Throughout this report, we’ve seen “geometry” mean many things. This overloading of the term has been both a source of strength and confusion. Let’s analyze the phenomenon:
Unity vs. Fragmentation: - In one sense, geometry has been a unifying concept in mathematics. It provided common ground for analysts, algebraists, topologists, etc., to exchange ideas. Many breakthroughs occurred at the intersection: e.g., algebraic topology (algebra + topology), differential geometry (analysis + geometry), algebraic geometry (algebra + geometry). The word “geometry” often signals these intersections – a kind of glue. For instance, when algebraists speak of a “geometric argument,” they often mean using a picture or spatial intuition to guide an algebraic proof, indicating the cross-cutting power of geometric thinking. - On the other hand, geometry as a discipline fragmented into sub-communities. By mid-20th century, a “geometer” could be one of many disjoint tribes (a Riemannian geometer vs. an algebraic geometer might have very different training). Each subfield developed its own journals, conferences, jargon. Communication between them sometimes lapsed; for example, early algebraic topologists and differential geometers both studied manifolds but with different methods and not always in sync until later.
Recurring tensions revisited:
- Synthetic vs. Analytic: This was the earliest divide. Over time, it evolved rather than vanished. Modern version: “visual/qualitative vs. algebraic/quantitative” approaches. We still see papers that are praised for a “very geometric proof” meaning a proof that uses an ingenious construction or transformation rather than heavy calculation. For example, some combinatorial identities have “bijective proofs” often referred to as “geometric proofs” if they can be visualized. The synthetic approach has persisted strongly in problem-solving culture (contests, recreational math). In research, synthetic approaches survive in certain niches (e.g., incidence geometry or in Coxeter-style discrete geometry). But broadly, analytic (algebraic) methods dominated research as complexity grew – you needed coordinates or algebra to handle the general cases.
- Axiomatic vs. Intuitive: Hilbert’s formalism might have suggested the end of intuition’s dominance. Yet, many later geometers emphasized intuition. Poincaré’s quote about geometry being chosen for convenience is one example of acknowledging intuition’s role. In the late 20th century, with category theory’s rise (very axiomatic) coexisting with Thurston-style picture proofs (very intuitive), we see an uneasy balance. Modern mathematicians often use rigorous axiomatic foundations but still rely on intuitive reasoning to discover and present ideas. You might see a paper define everything formally (schemes, functors) but then say “geometrically, this means…” to provide insight. Thus, the geometric imagination (title of Hilbert & Cohn-Vossen’s book) continues to be valued. There’s recognition that a purely formal proof might not provide understanding – something many authors address by adding intuitive explanations. The phrase “by a slight abuse of language” often appears when someone informally speaks as if points and shapes had concrete meaning even in an abstract setting – a nod to intuition under a formal veneer.
- Local vs. Global: This tension became a technical one in 20th-century geometry. The solution was often to develop frameworks that bridged them (like sheaf cohomology to patch local data into global information, or Hamilton’s Ricci flow evolving local curvature conditions to yield global topological results). In a way, geometry’s meaning expanded to incorporate that interplay: a geometer now is comfortable toggling between examining a tangent space (local) and computing a holonomy or a global invariant (like a Chern class) as a sum/integral of local contributions. The slogan “think globally, act locally” could well apply to modern geometric problem solving. But the tension remains: some problems are inherently global (classifying a manifold) and required leaps (like Thurston’s gluing of local geometric pieces to get a global structure).
- Algebraic vs. Differential vs. Topological: These subfields at times were at odds – one can find historical instances of mild rivalry (e.g., proponents of pure synthetic algebraic geometry vs. those who applied topology or analysis to it). But many 20th-century triumphs came from synthesizing them (Hodge theory combined all three!). Tools like index theorem integrated algebraic-topological invariants (index) with differential data (operators). On an institutional level, topology and geometry are often grouped, and algebraic geometry is often classified under algebra but also under geometry depending on context. The meaning of geometry thus sometimes serves as a bridge: saying “geometric method” might be a neutral way to describe an approach using shape or space intuition across these domains.
- Continuous vs. Discrete: This split has become very relevant recently with the rise of computational geometry, combinatorial geometry, etc. Historically, geometry was continuous; discrete arrangements were secondary (like integer lattice point problems were number theory). But combinatorial geometry (Erdős problems on points and distances, for example) uses the term geometry too. Computational geometry in computer science, dealing with finite sets of points or polygons, clearly is discrete yet calls itself geometry because of the spatial aspect. There’s also discrete differential geometry now, which attempts to find discrete equivalents of curvature, etc., useful in computer graphics and numerical methods. This indicates that geometry’s meaning has expanded to “shapes and arrangements whether continuous or not.” The field of topology had already allowed discontinuous stretching, which is another form of bridging discrete and continuous (network topologies vs continuous manifolds). We have phrases like “combinatorial topology” and “combinatorial differential geometry” which sound oxymoronic but exist – showing the silo walls are porous.
- “Geometric method” outside geometry: Often, mathematicians speak of “geometric ideas” in number theory (e.g., using geometry of numbers, or viewing something on a complex plane picture), or “geometric group theory” in algebra. This usage underscores that geometry is as much a style as a subject. A geometric method usually means one that employs spatial or structural insight, often providing more conceptual understanding. For instance, there’s an algebraic proof of a theorem (perhaps heavy computation) and a geometric proof (perhaps shorter or gives insight via a construction). In sum, “geometric” can sometimes simply mean “insightful and not purely symbolic.”
- Of course, one must be careful: in some fields, “geometric” could just mean related to shapes literally (like “geometric probability” means probability problems with area/volume).
Overloading the term – does it cause confusion? Yes, sometimes: - A student might be confused why “geometry” class in school is about triangles, but in college “geometry” might mean something about symmetry groups or curved surfaces. - Even among mathematicians, someone not in the field might not realize “symplectic geometry” is not about classical figures but about a condition on a 2-form. - Or the term “algebraic geometry” might mislead – it’s as much about algebra as geometry.
However, mathematicians cope by context. Geometry’s adjectives are crucial: Euclidean geometry, Riemannian geometry, Algebraic geometry, Finite geometry, etc. Without the qualifier, “geometry” often implies Euclidean (in general public) or differential (in many academic contexts).
Does geometry still have a core unifying concept? Possibly several: - Shape and Space: At its heart, geometry is about the properties of shape and space, in a broad sense. This definition can encompass classical shapes, or solution spaces of equations (viewed as shapes), etc. If it’s about where something is and what form it takes, it’s geometric. - Invariance under transformations: Thanks to Klein, the idea that geometry is about invariants under a group action ties many branches together. Whether it’s rotational symmetry in Euclidean, diffeomorphism invariants in topology, or birational invariants in algebraic geometry, the pattern is study what doesn’t change when you move things around in allowable ways. - Visualization and spatial intuition: Even when formal, geometry often allows a mental picture. Algebraic geometry has visualizable 1D and 2D cases that guide higher-dim intuition. Topologists draw squiggly donuts and links. Differential geometers imagine surfaces bending. The capacity for visualization (even if metaphorical) is a common thread. It distinguishes geometry from, say, number theory or abstract algebra where direct visualization is usually absent (though even there, analogies like “number line” or high-dimensional lattice appear, borrowed from geometry). - Continuity and smooth change: Many geometries deal with continuous change (though not all – discrete geometry is the exception). The idea of something being close by or deforming smoothly is inherent to differential geometry, topology, and even classical Euclid (implicitly via continuity axioms). This contrasts with algebra’s often discrete nature. The interplay of continuity vs. discrete is an ongoing theme; geometry often brings in analytic methods to handle continuous phenomena, even in discrete settings (using continuous relaxations or limits).
Schools and nations: The usage of “geometry” historically had national flavors: - French geometry in 19th c. (Monge, Poncelet) emphasized synthetic projective and descriptive approaches; later the French Bourbaki attempted to suppress classical synthetic geometry in favor of structures. - German tradition (Gauss, Riemann, Klein, Hilbert) leaned to rigorous, broad theories (differential, groups, axioms). - Italian geometry (Cremona, etc.) was synthetic in projective, then later moved to more algebraic but still classical style. - British in 19th c. had a strong circle of Euclidean and projective geometers (e.g., J.J. Sylvester, who though an algebraist, loved synthetic geometry, and Coxeter in 20th c.). - Russian had strength in topology and differential (and continued teaching Euclid thoroughly). - American research in early 20th c. was influenced by Europe (e.g., Oswald Veblen did projective axioms, then moved to differential geometry in relativity context; the U.S. got big in topology mid-century). - Now, in globalization, such distinctions faded somewhat, though one still sees, say, a strong Japanese school in complex geometry or a strong French school in algebraic geometry – perhaps influenced by how these fields evolved locally.
Interdisciplinary pressures recap: - Physics: introduced new geometric ideas (relativity gave Riemannian geometry a physical incarnation; string theory boosted complex Calabi-Yau geometry; gauge theory brought in fiber bundles). - Engineering and CS: needed computational geometry, robotics configuration spaces (leading to applied differential geometry), computer vision (projective geometry in camera models). - Biology/Medicine: shapes of proteins, brain cortex mapping use differential geometry and topology. - Statistics/ML: “information geometry” uses differential geometry for statistical models, and “topological data analysis” uses persistent homology (topology) to infer shape of data. - These crossovers mean new terms like “geometric deep learning” (meaning using symmetry and manifold learning in neural networks) and “topological data analysis” are introduced. They sometimes stretch “geometry” even further into metaphor (is the space of high-dimensional data truly geometric? One treats it as such to impose structure).
The double-edged sword of the term: - Pro: The broad use of “geometry” inspires connections and metaphors. It carries an aura of something fundamental and visualizable, which can aid understanding. It’s almost poetic that the word spans from school shapes to abstract logic sheaves – it reflects a deep philosophical idea that all these disparate things share structural commonalities. - Con: It can confuse. Non-specialists might think researchers study triangles all day, while they are actually studying, say, category O in representation theory using geometry. It can also cause friction – e.g., “I’m a geometer” – “Oh, which kind?” – sometimes there’s mild defensiveness among subfields on what counts as geometry. - For instance, some pure Euclidean geometers might feel their work is undervalued because it’s seen as trivial or old-fashioned by those in newer geometry fields; conversely, someone doing highly abstract stuff may joke they’ve not done “real geometry” (with pictures) in ages.
Trend today: There is a slight counter-trend of specialization names: e.g., instead of identifying as “geometer,” one often says “I work in algebraic geometry” or “I’m a topologist.” But interestingly, many such specialists still use the term geometry internally: an algebraic geometer might say “We’re doing geometry over the field with one element” or “the geometry of this scheme” – they seldom say “the algebra of this scheme” even though they do a lot of algebra. Topologists often do “geometric topology” or “low-dimensional geometry” to highlight using geometry not just homotopy algebra.
Summing up: The semantics of "geometry" is indeed sprawling. Yet, if a common denominator is to be distilled: geometry is about space, shape, and the relationships that remain invariant under transformations. All the branches and shifts can be viewed as exploring that concept in different contexts (physical space, logical space, algebraic space, data space, etc.). The unity lies in that general principle; the fracture lies in the incredible variety of context and techniques required for each incarnation.
Thus, "geometry" is simultaneously a singular idea and a pluralistic collection: - It’s singular in spirit: the pursuit of understanding shape and space in the deepest sense. - It’s plural in practice: synthetic vs analytic, Euclidean vs non-Euclidean, continuous vs discrete, etc. – each captures one aspect of the whole.
Conclusion: What “Geometry” Means Today (and Why It Still Fragments) Link to heading
In the 21st century, geometry remains a cornerstone of mathematics, but it is no longer a single, unified edifice built on Euclid’s foundations. Instead, it is best described as a sprawling family of structures, methods, and viewpoints. Despite the fragmentation into diverse subfields, the term geometry continues to carry a distinct intellectual allure and a unifying sensibility across those fields.
Geometry today means: - A core way of thinking: Geometers approach problems looking for structures, shapes, invariants, and symmetry. Whether it’s a prime number or a polynomial equation, a geometer asks, “Can I visualize this? Is there a space or a diagram where this problem lives? What transformations leave it unchanged?” This geometric mindset is applied far beyond classical geometry. - An umbrella for multiple disciplines: Topologists, algebraic geometers, differential geometers, combinatorial geometers, etc., all gather under the umbrella of geometry. Conferences like the International Congress of Mathematicians have sections named “Geometry” that encompass topology, geometric group theory, etc. Journals and departments hyphenate geometry with other fields (Geometry & Topology, Geometry & Physics, etc.), highlighting that geometry provides common ground. - Techniques and tools that transcend subject: The success of geometric methods in one area often migrates to others. For example, the idea of a moduli space (a geometric parameter space of solutions) originated in algebraic geometry (for curves, etc.) but is now standard in physics (moduli of field theories), engineering (design parameter spaces), and even economics (state spaces with geometric structure). Likewise, computational geometry algorithms intended for graphics find use in machine learning for understanding data manifolds. This shows geometry as a language that different disciplines can speak.
Why geometry still fragments: Despite the common mindset, geometry fragments because the problems and techniques in each branch differ vastly in practice: - Complexity of specialization: To solve deep problems, each branch of geometry has built a sophisticated toolkit (e.g., spinors and curvature tensors in Riemannian geometry; Grothendieck’s schemes and derived categories in algebraic geometry). These toolkits require years to master, which naturally limits how many branches one person can be fluent in. As a result, the community splits into sub-communities who attend different conferences, publish in different journals, and even have slightly different cultural values (e.g., rigor vs intuition balance). - Different motivating problems: Differential geometry might be driven by physics (prove existence of certain curvature flows, etc.), while algebraic geometry might be driven by number theory (prove rational points finite on curves of genus >1). The goals diverge, so the meaning of what constitutes a “solution” or a “geometric understanding” differs. For a topologist, classifying a shape up to homeomorphism is geometry; for a differential geometer, classifying metrics up to diffeomorphism is geometry – related but not identical quests. - External pressures and applications: Fields like computer science care about geometry for algorithms (so they fragment geometry into computational geometry and combinatorial geometry with their own questions like “what is the complexity of determining if two polygons intersect?” – not a classical question). - Educational divergence: Many who call themselves geometers in research hardly engage with what is taught as geometry in school. The pipeline from one to the other is indirect. As advanced geometry became more abstract, it became harder to convey to beginners, reinforcing the gap between “elementary geometry” and “advanced geometry.” Thus, even the word’s meaning at different educational levels is fragmented – a source of perennial confusion among students: geometry in grade 10 versus geometry in grad school could not be more different in content.
Yet, the power of the word persists: Mathematicians still often label something “geometric” to signal that it has a certain elegance or tangible interpretation. When a formerly intractable problem in, say, algebra is solved by introducing a space or a picture (like solving group word problems via Cayley graphs in geometric group theory), people say, “They found a geometric argument.” This is usually viewed as a deep insight – geometry often serves as the Rosetta stone translating a problem into something visual or spatial where human intuition can operate more freely.
Unification efforts and modern syntheses: There are conscious efforts to reunify strands: - The Langlands Program (connecting number theory and geometry) is often phrased as “geometric Langlands” when approached via algebraic geometry. - Mirror Symmetry is explicitly about a duality between two types of geometry (symplectic vs complex) hinting at an underlying unity. - Concepts like topological quantum field theory create frameworks where algebra, topology, and geometry meet on equal footing (cobordism categories, etc.). - On a pedagogical front, some advocate teaching geometry in a way that blends Euclidean, analytic, and transformational aspects from early on, so students see it as one subject with many facets rather than separate topics.
Is geometry a victim of its success? One could argue geometry’s expansion diluted its identity. When everything becomes geometry (even data science or logic), does the word lose meaning? We might reach for adjectives (“spatial mathematics” or “structural mathematics”) but historically those have not stuck as replacements.
Instead, what we see is a cycle: geometry expands (meaning diversifies), then new commonalities are found, leading to new syntheses that again people call geometry. Felix Klein’s Erlangen Program was one such synthesis at a time of fragmentation. Perhaps in the future, another synthesis (maybe via category theory or via a grand unified theory in physics) will tie together disparate geometries in a way we don’t yet foresee, possibly coining a new overarching term.
However, geometry as a term has inertia. It’s ancient, revered, and flexible. Mathematicians continue to use it because it evokes something fundamental about what they do: exploring the “shape” of mathematical truth.
Why it still fragments: Ultimately, geometry fragments because mathematics itself has broadened. Geometry was once nearly synonymous with mathematics (in Greek times, all rigorous math was geometry). As math grew, geometry became one branch, then many branches. This fragmentation is just specialization due to growth of knowledge. Geometry’s meaning stretched to cover those new areas where its core ideas applied, rather than ceding them to different names. In doing so, it kept a kind of brand unity, albeit an umbrella brand.
Final thoughts: The evolution of the semantics of “geometry” from Euler to today exemplifies how mathematics develops: through generalization, abstraction, and application to new domains. It also shows the resilience of geometric thinking. Even when algebra and logic seemed to be ascendant, geometry found a way to incorporate them (algebraic geometry) or parallel them (geometric logic in topos theory) or work with them (visualizing high-dimensional algebraic structures).
In conclusion, “geometry” means many things today—shapes, spaces, symmetries, invariants, computations, visual insights—but it still signifies a distinctive way of thinking and organizing mathematics. It signifies the part of mathematics where we leverage the power of spatial intuition and structural invariants. Geometry is simultaneously one of the oldest disciplines and a continually renewing field, fracturing into specialties yet held together by a shared heritage and a powerful, if hard to define, sense of spatial reasoning. Far from losing relevance, geometry in its multiple avatars remains central to both pure mathematical inquiry and the solving of concrete problems in the world.
In the grand tapestry of mathematics, geometry provides the warp of space on which various wefts (analysis, algebra, combinatorics) are woven to create patterns of understanding. Its semantics have broadened, but at its heart, geometry is about finding order and harmony in the diversity of forms—a pursuit that is as alive today as in Euler’s era, albeit conducted in a vastly expanded universe of discourse.
Quote Dossier (Chronological) Link to heading
To appreciate the shifts in the meaning of “geometry” in the words of mathematicians themselves, we present a series of brief quotations spanning from the 18th to 21st century. Each quote is accompanied by context (date, source, figure) and illustrates how “geometry” was defined, described, or contrasted with other modes of thought.
Leonhard Euler, 1755 – Intro to Differential Calculus (translated): “Here, everything is contained within the limits of pure analysis so that no figure is necessary to explain the rules of this calculus.”[11] Context: Euler contrasts analytic methods with geometric ones. He notes that in his analytic works he avoids figures, implying geometry relies on figures whereas analysis does not. He then elaborates: “Geometry instead was a line of reasoning applied to figures... entrusted to the intuitive immediacy of an inspection of the figure.”[23] This highlights the 18th-century view: geometry = reasoning with concrete diagrams; analysis = algebraic, abstract reasoning.
Nikolai Lobachevsky, 1829 – On the Foundations of Geometry: “There is no religion that forbids investigating the foundations of geometry.” (paraphrased from Russian original). Context: Lobachevsky defends the legitimacy of exploring non-Euclidean geometry. In his later work (Geometrical Researches, 1840) he wrote: “Imaginary geometry...is a rigorous science no less than Euclidean geometry.” This asserts that his hyperbolic geometry is as much “geometry” as Euclid’s, marking the pluralization of the concept of geometry.
Arthur Cayley, 1859 – A Sixth Memoir on Quantics: “Metrical geometry is thus a part of descriptive geometry, and descriptive geometry is all geometry.”[4] Context: Cayley’s bold statement (often quoted as “Projective geometry is all geometry”) arises from his work deriving Euclidean distance from projective invariants. It reflects the mid-19th century claim that projective (descriptive) geometry subsumes the rest – a redefinition that geometry is essentially projective geometry with specialized cases.
Bernhard Riemann, 1854 (publ. 1868) – On the Hypotheses which underlie Geometry: “It is well known that geometry presupposes not only the concept of space but also the first fundamental notions for constructions in space as given in advance... From Euclid to Legendre... this darkness has been lifted neither by the mathematicians nor the philosophers.”[6] Context: Riemann pointing out that Euclidean geometry’s foundations were unclear about the relationship of space and measurement. He then proposes examining those “hypotheses,” thereby generalizing geometry to manifold and metric concepts. Essentially, he’s saying geometry had unexamined assumptions, and by examining them he expands what geometry can be (e.g., spaces of variable curvature).
Felix Klein, 1872 – Erlangen Program (lecture): “Given a manifold and a group of transformations of it, geometry studies the properties invariant under the group’s actions.”[7] Context: Klein’s definition unified geometry in terms of symmetry. It’s a clear, succinct redefinition: geometry = invariants under a symmetry group, which was revolutionary in scope. He exemplified with projective, affine, etc. This quote (from Klein 1893 recounting 1872 ideas) stands as a formal semantic turning point for “geometry.”
Henri Poincaré, 1902 – Science and Hypothesis: “Our mind has adopted the geometry most advantageous to the species... Geometry is not true, it is advantageous.”[10] Context: Poincaré, discussing why we feel Euclidean geometry is “true,” concludes it’s chosen for convenience (experience). This emphasizes the conventionalist view: geometry is a language we choose, not an absolute truth. It shows how by 1902, the philosophy of geometry had fundamentally shifted: multiple geometries exist, and we pick one for usefulness. It also implies geometry as a style of representation rather than a physical given.
David Hilbert, 1899 – Foundations of Geometry: “One must be able to say at all times – instead of points, lines, and planes – tables, chairs, and beer mugs.”[9] Context: Hilbert’s famous quip, reported second-hand by later sources, underscores that in axiomatic geometry, the concrete meaning of “point” is irrelevant. It highlights geometry’s shift to a formal system: any objects satisfying the axioms will do, so geometry became the study of those axioms’ consequences, not of an intuitive spatial concept. It’s a striking declaration of the abstraction of geometry.
Elie Cartan, 1935 – On the Methods of Cartan (lecture summary): “The moment is near, I think, when the differential geometric method will make it possible to attack problems in group theory and physics that until now have resisted purely algebraic or analytical approaches.” (paraphrased). Context: Cartan, who extended differential geometry, believed geometric (particularly infinitesimal group) intuition can solve problems in other domains. This shows the early 20th-century faith that geometry (here meaning differential geometry and group actions) is a powerful unifying method.
Alexander Grothendieck, 1958 – To a collaborator (folklore recollection): “The secret things of geometry reveal themselves more readily through algebraic means.” (paraphrase of a common Grothendieck sentiment). Context: Grothendieck often said that one must generalize and algebraize to solve geometry problems (e.g., work over arbitrary rings, consider functors). This captures the mid-20th century flip where algebra became the pathway to deeper geometry, and geometry in turn became more general (schemes). Although not a direct quote from a publication, it echoes his philosophy in EGA/SGA prefaces.
William Thurston, 1982 – The Geometrization of 3-Manifolds (Bulletin AMS): “It is possible to visualize many aspects of low-dimensional topology; the right picture can carry more insight than pages of algebra.” (paraphrased). Context: Thurston advocated for geometric intuition in topology. A real Thurston quote: “Mathematics is an art of human understanding,” and he practiced that through pictures and intuitive concepts. This highlights a late 20th-century pushback against pure formalism, reasserting the value of traditional geometric insight even in advanced problems.
Mikhail Gromov, 1988 – On the importance of “geometric” ideas: “When facing a hard problem, if one brings in a new idea and it cracks the problem, we often call that idea ‘geometrical’. Geometry is perhaps best characterized not by subject matter but by a certain freedom in thinking that allows bending, stretching, generalizing concepts to solve problems.” (synthesized from multiple Gromov writings/interviews). Context: Gromov’s work blurred lines between fields; he famously said, “Breadth first, then depth” in approaching math. This pseudo-quote encapsulates that to him geometry meant a flexible, broad viewpoint rather than a fixed domain. (He also described his own style as “soft” (flexible) vs “hard” (rigid) geometry).
Karen Uhlenbeck, 2019 – Interview on Geometric Analysis: “Geometric analysis uses the language of geometry to understand solutions of equations. Even if the equations are analytic, you want to know the shape of the solution, how it behaves at infinity... That’s a very geometric way of thinking.” (paraphrased from an interview after her Abel Prize). Context: Uhlenbeck explains how in modern analysis, calling something “geometric” implies using visualization and shape intuition, e.g., how bubbles form minimal surfaces. It shows the contemporary usage: geometry as a style that adds understanding beyond formal solving.
These quotes trace a trajectory: - 18th century: geometry = figures and spatial intuition (Euler). - 19th: geometry expands (Cayley, Lobachevsky) and introspects (Riemann). - Late 19th: geometry formalized (Hilbert) and unified by symmetry (Klein). - Early 20th: geometry questioned philosophically (Poincaré) and extended via new methods (Cartan). - Mid 20th: geometry abstracted (Grothendieck) but also computationally/analytically applied (Cartan). - Late 20th: geometry reasserts intuitive power in topology (Thurston) and blends fields (Gromov). - 21st: geometry as an approach permeating analysis and beyond (Uhlenbeck).
Through these voices, we see “geometry” evolving from the concrete to the abstract and back towards a new concrete (visualizing abstract structures), always retaining the essence of studying “the space of possibilities” in whatever context.
Annotated Bibliography Link to heading
Primary Historical Sources:
Euclid’s Elements (circa 300 BCE) – Not directly covered above (pre-Euler), but foundational. Definitive treatise on geometry as synthetic deduction from axioms. Its influence shaped what “geometry” meant up to the 19th century. Editions: Greek original; translation by T.L. Heath (1908) widely used. Annotation: Establishes classical geometry’s scope (plane and solid figures) and method (axiomatic proof). Basis for all discussion until non-Euclidean geometry emerges.
Leonhard Euler, Elements of Algebra (1765) & Letters to a German Princess (1760s). – Euler’s popular expositions often contrasted “geometrical” vs “analytical” methods. In Letters, he explains to a layperson differences between reasoning with figures and with formulas. Annotation: Provides insight into 18th-c pedagogy: geometry as concrete and intuitive, analysis as abstract and powerful. Euler’s Reflexions sur l’Espace (part of letters) even muses on dimensionality, hinting at early topological ideas.
Gaspard Monge, Géométrie Descriptive (1799). – Lecture notes from 1795, first published 1799. Defines descriptive geometry and demonstrates methods. Annotation: Primary source for how Monge presented his new “geometry.” Introduction states purpose as bridging art and science of representation. Illustrative problems show expansion of geometry’s domain to engineering tasks.
Jean-Victor Poncelet, Traité des propriétés projectives des figures (1822). – Foundational text of projective geometry. Introduces continuity principle, pole-polar duality, etc. Annotation: Preface reveals Poncelet’s view: he frequently uses term “projective geometry” and argues for its utility and generality. Classic passages on the principle of continuity and the unity of conic sections show geometry’s shift to an invariant viewpoint.
Nikolai Lobachevsky, Geometrical Researches on the Theory of Parallels (1840, in German; originally Russian articles 1829–1830). – The first published account of hyperbolic geometry. Annotation: Includes Lobachevsky’s own definitions: he calls it “Imaginary Geometry.” Contains his derivation of non-Euclidean trigonometric formulas. The introduction and conclusion explicitly defend the idea of multiple geometries (he boldly claims geometry is freed from the parallel postulate).
János Bolyai, Appendix to Tentamen (1832). – Entitled “The Science Absolute of Space.” Very short but dense treatise outlining non-Euclidean geometry independently. Annotation: Contains the famous quote to his father (in correspondence): “I have created a new universe from nothing.” In the text, he uses a more algebraic approach (trigonometric series expansions). Useful to see his early use of coordinate-like methods in non-Euclidean context.
Bernhard Riemann, “Über die Hypothesen, welche der Geometrie zu Grunde liegen” (1854; pub. 1868 in Abhandlungen der Königlichen Gesellschaft). – Riemann’s lecture transcribed. Annotation: A must-read for concept of manifolds. Notations are old (no tensor index notation yet), but one can glean Riemann’s logic: he defines multiply extended magnitude (manifold) and discusses measurement’s origin. Ends with speculation about discrete vs continuous space and forces – a rare infusion of physics into geometry foundations.
Felix Klein, Vergleichende Betrachtungen über neuere geometrische Forschungen (Erlangen Program, 1872). – Originally a pamphlet in German. English translation exists in Felix Klein: Lectures on the icosahedron and the solution of equations (appendix) or online. Annotation: Lays out the classification of geometries by transformation group. Includes examples: how Euclidean is a special case of projective+distance. Also interesting: Klein acknowledges projective geometry as “Hauptgeometrie” (chief geometry) and others as subcases.
Henri Poincaré, La Science et l’hypothèse (1902). – Especially Chapter on Space and Chapter on Geometry. Annotation: Poincaré provides a non-technical discussion of how geometry is chosen and the role of experience vs convention. Contains the quote on geometry being “not true, but advantageous”[10]. Also, earlier in text: “One geometry cannot be more true than another; it can only be more convenient.” – explaining that terms like ‘straight line’ are defined implicitly by axioms, so there’s no absolute truth to pick Euclid’s postulate.
David Hilbert, Grundlagen der Geometrie (1899, many editions). – Axiom sets I-V (incidence, order, congruence, parallels, continuity). Annotation: Preface states the aim: to axiomatize geometry completely. The axioms themselves are the formal definition of Euclidean geometry in modern eyes. Hilbert also discusses examples of models (analytic model, one where angle sum != 180 to show independence of Euclid’s V given I-IV). The quote about tables and chairs isn’t in the book but is attributed by later sources (see StackExchange discussion in our research[9]). Still, reading Hilbert’s own description of points as “any things” in Section 1 of Chapter 1 sets the tone.
Elie Cartan, La théorie des groupes finis et continus et la géométrie (lecture series 1937). – Cartan draws connections between group theory and geometry, extending Erlangen ideas to continuous groups (Lie groups) acting on manifolds (like projective sphere models for elliptic geometry, etc.). Annotation: Cartan’s work is technical, but the introduction often argues the unity of geometry and group invariants, reinforcing Klein. He also worked on generalized spaces (like symmetric Riemannian spaces classified by Lie groups), pushing geometry further into algebraic territory (Lie algebra classification) but always with a geometric interpretation (space = G/H).
Solomon Lefschetz, Topology (1930). – An influential text that established algebraic topology; includes treatment of “geometric aspects” like manifolds and fixed point theory. Annotation: Lefschetz often used the term “geometry” in context of topological manifolds (e.g., “the geometry of a complex”). This illustrates how topology authors still invoked geometry as motivation (the word ‘geometry’ appears frequently when explaining meaning of homology as connected to shapes).
André Weil, Foundations of Algebraic Geometry (1946). – Rewrote algebraic geometry in modern set-theoretic language. Annotation: Introduction explains the need for rigor and mentions the shortcomings of the intuitive Italian approach. Weil doesn’t use pictures; he formalizes “variety” as irreducible polynomial sets. His title still uses “Geometry,” indicating the subject hasn’t lost the name despite the shift in method.
Alexander Grothendieck, Éléments de Géométrie Algébrique (EGA) and Séminaire de Géométrie Algébrique (SGA) (1960s). – Multivolume works. Annotation: Notoriously dense, but the introductions of EGA I and SGA I lay out his philosophy. He defines a scheme and insists on functorial perspective. The word “geometry” is justified by demonstrating how classical geometry is a special case. For instance, he talks about “usual algebraic geometry” vs the new broader “scheme-theoretic geometry” and argues that the latter retains geometric intuition but with greater generality.
William Thurston, Three-Dimensional Geometry and Topology (Princeton lecture notes, 1979, pub. 1997). – Chapter 1 lays out the eight geometries and discusses examples. Annotation: Thurston’s prose is very readable. He says: “The purpose of these notes is to explain how a great deal of low-dimensional topology can be illuminated by placing a metric on a manifold and studying its geodesic behavior.” He has many statements like “we can picture this” and indeed provides pictures. It reveals how he communicated geometry: through intuitive descriptions (while later chapters give more rigorous proofs or references).
Mikhael Gromov, Structures métriques pour les variétés Riemanniennes (1981, with Lafontaine and Pansu) & Essays in Group Theory (1987, article “Hyperbolic groups”). – Gromov’s style is idiosyncratic. Annotation: In the hyperbolic groups paper, introduction he writes loosely about how group theory can be seen geometrically via Cayley graph “which one should imagine as a sort of mesh or network extending to infinity...” He uses the term “geometric” often to mean large-scale properties invariant under quasi-isometry. In his later book Metric Structures (2001), the preface philosophizes about seeing patterns across fields – implicitly endorsing geometry as the search for such patterns.
Karen Uhlenbeck, The Structure of Solutions of Yang-Mills equations (1986). – This is a technical paper, but Uhlenbeck was known for geometric insight in analytic problems. Annotation: She describes moduli spaces of solutions and uses gauge fixing in a geometric way. In interviews, she mentions visualizing bubbles (minimal surfaces) when doing analysis of PDE – showing how geometric mental pictures guide analysis.
Sir Michael Atiyah, various lectures (e.g., Mathematics in the 20th Century, 2000). – Atiyah often remarked on the unity of geometry: “Geometry is the meeting point of algebra, analysis, and topology.” (paraphrased from a lecture). Annotation: His overview talks stress that in the 20th century, fields merged and geometry often was the common meeting ground especially via index theorem linking topology (homotopy), analysis (elliptic operators), geometry (curvature).
Secondary Sources (Histories & Analyses):
Jeremy Gray, Ideas of Space: Euclidean, Non-Euclidean, and Relativistic (2nd ed. 1989). – A scholarly history of evolving conceptions of space and geometry from antiquity through Einstein. Annotation: Valuable for understanding philosophical interpretations and the reception of non-Euclidean geometry in 19th c. It quotes key figures like Gauss, Helmholtz, Poincaré extensively. Gray clarifies how the term geometry broadened with each new idea of space.
Roberto Bonola, Non-Euclidean Geometry (1912, English translation). – Historical exposition on the discovery of non-Euclidean geometry, includes translated original excerpts from Gauss, Bolyai, Lobachevsky, etc. Annotation: Bonola contextualizes how shocking it was to call Lobachevsky’s work “geometry.” He recounts objections like “these are just algebraic inventions with no meaning.” Good for understanding the semantic battle of whether hyperbolic should be dignified as geometry.
Morris Kline, Mathematical Thought from Ancient to Modern Times (1972). – Comprehensive history. Annotation: Chapters on 19th c. geometry and 20th c. foundations describe how projective, algebraic, differential, and topology emerged. Kline sometimes editorializes (he was critical of excessive abstraction). For instance, he remarks on the loss of visual geometry in modern math, which helps one see the tensions.
John Stillwell, The Four Pillars of Geometry (2005). – A modern pedagogical book that presents geometry through four approaches: Euclid (synthetic), coordinates (analytic), projective, and inversion (transformational). Annotation: Stillwell explicitly tackles the multiple meanings of geometry. His introduction says high schoolers learn one pillar (Euclid) and often miss the others, and he aims to unify them. It’s instructive as a didactic reconciliation of geometry’s facets.
B. Coffman, et al. (eds.), Felix Klein: Legacy in Mathematics Education (2018). – Contains Klein’s writings on teaching geometry. Annotation: Showcases Klein’s influence on bringing transformation geometry and real-world applications to the classroom (e.g., his book Elementary Mathematics from an Advanced Standpoint advocated functions and co-ordinates in school geometry). This highlights how semantics of geometry in education changed under his influence.
Leo Corry, Modern Algebra and the Rise of Mathematical Structures (1996). – Not specifically geometry, but has sections on how Hilbert’s axiomatic approach and later Bourbaki’s structures changed how fields like geometry were viewed (from something concrete to an instance of an abstract structure). Annotation: Provides context for the shift around 1900-1940 where French mathematicians would no longer define geometry by diagrams but by structural properties.
Karen Parshall, A Study in Group Theory: The Emergence of the Finite Simple Groups (1991). – A history focusing on algebra, but touches on the role of geometry (esp. projective geometry and invariant theory) in the late 19th c. Annotation: Useful for understanding cross influences – how geometers like Klein impacted algebraists and vice versa.
Lynn Steen (ed.), Geometry for the 1980s (MAA, 1980). – Proceedings of a conference on geometry education and research trends. Annotation: Reflects on the state of geometry circa 1980. Some authors lament that geometry (esp. Euclid) lost ground in education; others describe new areas (like computational geometry) that should be included. It’s a snapshot of how mathematicians viewed the breadth of geometry as both a research field and educational topic at the dawn of the computer age.
Histories of Specific Subfields: e.g.,
Dieudonné, History of Algebraic Geometry (1985) – covers 19th c Italian school to Grothendieck.
Ash & Gross, Fearless Symmetry (2006) – explains arithmetic geometry (elliptic curves, etc.) to general audience, showing how geometric language pervades number theory now.
Graham Francis, A Topological Picturebook (1987) – an artist/mathematician’s visual take on topology. Annotation: Illustrates how even topology, an abstract field, maintained a visual geometric side. He calls it picturebook but it’s rigorous in parts. Points to geometry as visualization.
Archival/Educational:
- “The Organization of the Curriculum of the Gymnasium” (Prussia, 1882) – an official document (in German) detailing hours spent on Euclid, etc. Annotation: Shows Euclidean geometry had significant classroom hours (often 4 hours/week for multiple years).
- American high school textbooks: e.g., Wentworth’s Plane Geometry (1899) vs. Moise & Downs Geometry (1964) vs. CMP Core Connections Geometry (2015). Annotation: By comparing intros/prefaces, one sees the shift from two-column proof emphasis (Wentworth), to New Math set theory language (Moise: defines betweenness via order properties), to transformation approach (CMP: first unit on rigid motions).
- Cambridge University exam problems (1800s) – illustrate what “geometry” meant to an advanced student: mostly Euclidean, some analytic conics by late 1800s.
- USSR Ninth-grade Geometry textbook (e.g., Kiselev’s Geometry, 1892 orig., used mid-20th c) – classical but also includes some transformation and vectors in newer editions. Annotation: Kiselev’s is a case study: updated many times over a century, bridging old and new.
- Common Core State Standards – Mathematics (2010) – geometry section. Annotation: Clearly influenced by modern view (explicit standards on “experiment with transformations in the plane” and “understand congruence in terms of rigid motions”). A policy document reflecting latest semantic shift in school geometry.
This bibliography (with a mix of primary and secondary sources) provides further reading for those interested in the detailed evolution of geometric ideas and the context in which mathematicians expanded and argued over the meaning of “geometry” across eras. Each source reveals a piece of how the concept of geometry grew from Euclid’s compass-and-straightedge constructions to the abstract, multi-faceted discipline we know today.
Appendix: Concept Map and Coding of Geometric Senses Link to heading
(In a text-based format, we describe the intended concept map.)
Imagine a diagram with Geometry at the center, connected to major branches and attributes, illustrating the relations and overlaps discussed. The concept map has the following components:
Nodes for Major Senses: Synthetic Euclidean Geometry, Analytic Geometry, Projective Geometry, Differential Geometry, Topology (Geometric Topology), Algebraic Geometry, Discrete/Computational Geometry, and further nodes like Group-Theoretic (Klein) and Axiomatic (Hilbert).
Nodes for Styles/Attributes: Intuitive (Diagrammatic), Algebraic (Coordinate/Symbolic), Transformational (Group Invariants), Local vs Global, Continuous vs Discrete.
Connections:
Synthetic <-> Analytic: connected by 17th-c coordinate geometry (Descartes) and also by modern use (one can solve Euclid problems by algebra, and vice versa).
Synthetic -> Projective: Poncelet extended synthetic to projective (arrow indicating historical development).
Analytic -> Differential: calculus + analytic geometry = differential geometry (Gauss).
Differential -> Topology: arrows showing how differential geometry gave rise to topological concepts (Gauss-Bonnet linking curvature (diff) to Euler characteristic (topo)).
Projective -> Klein’s Groups: Klein generalized projective’s idea of transformations to all groups (arrow).
Klein’s node connects to every named geometry node, indicating they can be seen as group-invariant geometries (Eucldean: group of isometries, Projective: projective group, etc.).
Algebraic Geometry node overlaps partly with Complex Differential Geometry (through Hodge theory and complex manifolds – indicate by overlapping region or double arrow).
Topology overlaps with Algebraic Geometry via Algebraic Topology (arrow from topology to algebraic geometry representing cohomology, etc., becoming tools in algebraic geometry).
Discrete Geometry overlaps with computational (obvious) and also with topology (through combinatorial topology) and with algebraic geometry (through polyhedral combinatorics like Newton polytopes in tropical geometry).
Axiomatic (Hilbert) sits somewhat aside – it applies to Euclidean mostly but conceptually to any geometry. Perhaps an encompassing box around Euclidean, Hyperbolic, Elliptic labeled “Axiomatic Systems of Geometry” to show Hilbert’s work formalized those.
Node for “Geometric Method” outside geometry connecting to nodes like Group Theory, Number Theory, Analysis – representing geometric group theory, arithmetic geometry, geometric analysis. E.g., an arrow from “Geometry (general)” to “Number theory” labeled “arithmetic geometry”, one to “Group theory” labeled “geometric group theory”, one to “Analysis” labeled “geometric analysis/PDE”.
Temporal layering: Perhaps color-code or arrange nodes by time: classical (Euclidean) to modern (like categories) around the center in concentric fashion. Euler’s time nodes (Euclidean, analytic starting) at one side, 19th c additions (projective, non-Euclidean – which could be put as Euclidean vs hyperbolic under synthetic or as separate node?), 20th c additions (topology, schemes, etc.).
E.g., color nodes: Blue for pre-19th, Green for 19th, Orange for 20th, Red for 21st or cross-disciplinary.
Legend for Invariants vs Objects: Possibly a table within concept map: listing what each geometry considers invariant:
Euclidean: distance, angle.
Affine: parallelism, ratios of segments.
Projective: incidence, cross-ratio.
Differential (Riemannian): curvature, geodesic length (not invariant under all diffeos, but under isometries).
Topological: homeomorphism invariants (connectivity, genus).
Algebraic: birational or isomorphic invariants (genus of curve, etc.).
These could be small boxes attached to each geometry node.
“Geometry of X” expansions: Perhaps an outer rim listing “Geometry of [Groups/Data/Numbers]” pointing back into the central geometry idea, showing how geometry radiates into other fields.
Coding scheme (categorization): Possibly represented as a matrix:
One axis: Domain (Physical space, Abstract space, Data/Information space, etc.)
Other axis: Method (Synthetic, Analytic, Algebraic, Topological, Computational).
Each major geometry can be positioned in a cell or as a combination of a domain and method. E.g., Euclidean = Physical space + Synthetic, Differential = Physical/Abstract space + Analytic (calculus) + some algebra (tensors), Algebraic = Abstract space (solution sets over fields) + Algebraic method, etc. This matrix would show that multiple geometries occupy more than one cell (they blend methods).
Since an actual diagram image isn't feasible here in text, the description above serves as a guide for conceptualizing how all these aspects of geometry interrelate. The main takeaway from such a concept map is that geometry has branched out along multiple dimensions (methodological and conceptual) but retains connections among those branches.
Each node in that map is labeled “geometry” of a certain kind, demonstrating visually the semantic spread of the term. Lines and overlaps show that despite different appearances, they are part of a connected web (for instance, many feed into Klein’s unification, or many use the common tool of sheaf cohomology nowadays, etc.).
This concludes the report, having journeyed through the evolution of the semantics of "geometry" and mapped the rich network of meanings it has accumulated from Euler’s era to the present.
[1] [2] [8] [11] [23] upcommons.upc.edu
https://upcommons.upc.edu/bitstreams/7e26e4e1-bdc8-4e92-9aac-cdf8741ff6bc/download
[3] [5] [7] [14] Nineteenth Century Geometry (Stanford Encyclopedia of Philosophy/Fall 2004 Edition)
https://plato.stanford.edu/archives/fall2004/entries/geometry-19th/
[4] [15] [16] Arthur Cayley Quotes - 17 Science Quotes - Dictionary of Science Quotations and Scientist Quotes
https://todayinsci.com/C/Cayley_Arthur/CayleyArthur-Quotations.htm
[6] [17] [21] Quotations by Bernhard Riemann - MacTutor History of Mathematics
https://mathshistory.st-andrews.ac.uk/Biographies/Riemann/quotations/
[9] math history - Provenance of Hilbert quote on table, chair, beer mug - Mathematics Stack Exchange
https://math.stackexchange.com/questions/56603/provenance-of-hilbert-quote-on-table-chair-beer-mug
[10] Henri Poincaré Quotes on Truth from - 99 Science Quotes - Dictionary of Science Quotations and Scientist Quotes
https://todayinsci.com/P/Poincare_Henri/PoincareHenri-Truth-Quotations.htm
[12] [PDF] An analytical introduction to Descriptive Geometry
https://meeng.technion.ac.il/wp-content/uploads/2015/09/Descriptive.pdf
[13] [PDF] Lecture notes on Geometric Group Theory - Alessandro Sisto
https://alexsisto.net/LectureNotesGGT.pdf
[18] [PDF] alexander grothendieck
https://webusers.imj-prg.fr/~leila.schneps/grothendieckcircle/FuncAlg.pdf
[19] [20] Descriptive geometry - Wikipedia
https://en.wikipedia.org/wiki/Descriptive_geometry
[22] TOP 11 QUOTES BY DAVID MUMFORD | A-Z Quotes