Condensed Mathematics: How Scholze and Clausen Are Replacing a Century-Old Foundation

Forum topic · ✨步子哥 · 2026-08-11

Summary

This article explains the emerging field of condensed mathematics, a foundational reform led by Fields Medalist Peter Scholze and Dustin Clausen beginning in 2019. For a century, Hausdorff's 1914 definition of topological spaces has underpinned nearly all modern mathematics, yet it has resisted clean integration with algebraic tools—an awkwardness mathematicians long accommodated. Scholze and Clausen propose replacing this foundation with condensed sets, built from totally disconnected 'dust' such as Cantor sets and glued together to reconstruct continuity. The result is a category in which algebra finally works smoothly. The piece draws analogies from biology (octopus RNA editing, mantis-shrimp phonon shields) to argue that breakthroughs often come from changing conceptual layers rather than refining existing ones. Implications may extend beyond number theory into quantum field theory, though widespread adoption remains uncertain.

Overview

In 2019, Peter Scholze and Dustin Clausen began replacing a century-old foundation of mathematics: Hausdorff's 1914 definition of topological spaces. Their replacement, called condensed sets, reconstructs continuity from totally disconnected 'dust' and lets algebraic machinery run smoothly where it previously stalled.

Key Points

The 1914 problem. Felix Hausdorff defined topological spaces in *Grundzüge der Mengenlehre*—a framework on which calculus, geometry, algebra, and number theory all rest. But the category of topological spaces lacks properties algebraists need. As Scholze put it: "I think topologists actually don't like topological spaces, because it's not a convenient category."
Category theory couldn't help. Eilenberg and MacLane's 1945 category theory built expressways between mathematical domains, but topologists could not use them effectively. Grothendieck's 1950s–60s reconstruction of algebraic geometry bypassed topology entirely.
Condensed sets. The new objects are built from totally disconnected fragments like the Cantor set. A familiar example: writing 0.5 as 0.4999... 'dusts' the number line into a Cantor-like set; once one accepts the equality 0.4999... = 0.5, the dust glues back into the continuous real line. Many such pieces, glued in strange ways, reconstruct everything topological spaces offered—while remaining algebraically tractable.
Scholze's philosophy. The 2018 Fields Medalist (and Germany's youngest full professor at 25) says he is "mostly just rephrasing in my own words things that others have done. I'm trying to give names to things that already exist." Names, not theorems, drive his work.
Clausen's philosophy. Scholze's long-term collaborator does not publish papers, considers academic publishing structurally broken, and once seriously thought of becoming a literary translator.
Proof of concept. In May 2019, Scholze posted 77 pages of lecture notes from a Bonn course. The notes ended with a clean new proof of coherent duality—previously a technical maze. Johan Commellein in Freiburg organized a reading group: "Nobody in our group understood all the details," he admitted, but momentum grew.
A family of objects. Since 2019, Scholze and Clausen have defined *light*, *solid*, *liquid*, and *gaseous* variants, plus *analytic stacks* and *gestalten*—some mathematicians view the latter as more important than condensed sets themselves.
Independent convergence. Clark Barwick and Peter Haine independently defined essentially the same objects, calling them *pyknotic sets* (Greek for "dense"). Barwick: "The real excitement is in defining new objects of study."
Ravi Vakil's verdict. The Stanford mathematician and AMS president: "They're solving a problem we didn't know we had, because we thought we already had a reasonable solution to it."
Biological analogies. The article draws parallels: octopuses edit RNA rather than DNA; slime molds externalize memory into slime trails; birds sense magnetic fields via quantum-entangled radical pairs; mantis shrimp filter impact frequencies with phonon-crystal shields. All solve problems by *changing the layer* rather than reinforcing it.
Language shapes thought. As chemistry's phlogiston hid oxygen and Newton's 'force' language hid energy conservation, the language of topological spaces hid the unity of topology and algebra. Condensed sets make that unity visible.
Toward physics? Scholze suggests condensed mathematics may eventually offer a framework for quantum field theory, which has long suffered from the same algebra-versus-topology mismatch. He is cautious: condensed sets are powerful but hard to learn, and he sees them as one step in a larger project to "understand why numbers behave the way they do."

Why It Matters

The deepest advances are often linguistic, not technical. Hausdorff did not invent new theorems—he named "neighborhood." Grothendieck did not prove new theorems—he named *scheme*, *topos*, *motive*. Scholze and Clausen are naming condensed sets. As Scholze says: "I'm not inventing anything. I'm just trying to give names to things that already exist."