Imagine being an architect working on the 87th floor of a building, only to discover that the foundation three levels below ground is flawed—not cracked, but built on the wrong design language. You cannot demolish and rebuild because 86 floors above are still in use. So you quietly patch around it.
That, roughly, has been the situation of mathematicians for the past century.
In 1914, German mathematician Felix Hausdorff—also a poet, philosopher, and playwright—defined the "topological space" in his *Foundations of Set Theory*. Since then it has served as a foundation for nearly all of mathematics: calculus, geometry, algebra, number theory. But there is an awkward fact: topological spaces don't get along with algebra.
This sounds like a minor inconvenience. It is not. Algebra is one of mathematicians' most powerful tools, and topological spaces are their most natural way to describe "shape." Using both together is like wanting to use your left and right hands at once—only to find the topological foundation makes the algebraic tools keep slipping. For a hundred years, people made do. The folks on the 87th floor never fixed the basement.
Until 2019, when Peter Scholze and Dustin Clausen decided to dig down.
1. Topological Spaces: A Century-Old Design
A topological space is a set of points plus a collection of "open sets" (regions) satisfying two rules: arbitrary unions of open sets are open, and finite intersections of open sets are open.
That's it. But the definition is astonishingly powerful. With it, mathematicians can talk about continuity without distance, connectedness without measurement, prove the fundamental theorem of algebra in three lines of topological argument, and classify surfaces by counting holes. Bourbaki later wrote that Hausdorff's definition endowed the theory with "complete precision and complete generality."
But the problem was planted then too.
2. Category Theory: A Broken Car on the Highway
In 1945, Samuel Eilenberg and Saunders MacLane founded category theory—the study of relationships between mathematical objects, with functors mapping entire categories to each other while preserving structure. It built highways between the ridges of mathematics.
Topologists couldn't quite drive on them. The category of topological spaces lacks key properties category theorists need. Attempts to combine topology and algebra—e.g., topological abelian groups—produce categories where "abstract nonsense" fails to yield strong conclusions.
Scholze later put it bluntly: "I think topologists actually don't like topological spaces, because it's not a convenient category."
This is no small complaint. Grothendieck used category theory to rebuild algebraic geometry in the 1950s–60s; topology was largely left out of that revolution, like a city never connected to the high-speed rail network.
3. Two Unusual People
Peter Scholze, 2018 Fields Medalist and Germany's youngest full professor at 25, says he is "not so interested in theorems or proofs." He is interested in naming things:
> "To a large extent I'm just restating things that other people have done in my own words. I try to give names to things that already exist."
> "They have to make interesting theorems easy to state, and easy to prove."
Dustin Clausen, his longtime collaborator, is even more extreme. He doesn't publish papers—he believes academic publishing is fundamentally broken. He once seriously considered becoming a literary translator.
Together they set out to do something that sounds crazy: replace topological spaces. Not patch them—swap the foundation.
4. Condensed Sets: Building the Continuous from Dust
Their new objects are called condensed sets.
The most intuitive way in starts with an old friend: the Cantor set. Take a unit interval, remove its middle third, then the middle thirds of what remains, and so on forever. What's left is a "dust" of points—no two points adjacent. A totally disconnected space.
Intuitively this dust is more shattered than the continuous real line. But Scholze and Clausen found that you can build continuous things from this dust—by gluing.
The most familiar example is decimal notation. The number 0.5 can be written as 0.5000... or 0.4999...—the same number. But a decimal expansion is itself a "dusting" process: each digit carves the number line smaller (0.4 gives [0.4, 0.5), 0.49 gives [0.49, 0.50), ...). Carried out infinitely, every point is fully separated from every other—dust. But once you accept 0.4999... = 0.5, the dust glues back into the continuous real line.
Condensed sets are the rigorous version of this "dust + gluing." The Cantor set is the simplest condensed set and the brick for building others. Smash enough such dust together "in strange ways" and you can reconstruct the real line and everything topological spaces give you—and algebra runs smoothly on top.
> "These totally disconnected pieces are extremely simple algebraically." — Scholze
Here is the most counterintuitive part. We assume the continuous is more complicated than the discrete. Scholze and Clausen say: no—building the continuous from the discrete is simpler than handling the continuous directly.
5. Solving a Problem "We Didn't Know We Had"
Stanford mathematician Ravi Vakil, president of the American Mathematical Society, said:
> "They're solving a problem we didn't know we had, because we thought we already had a reasonable solution."
> "As a result, a big chunk of mathematics just got a lot simpler."
For a century, mathematicians assumed topological spaces were "the right language"—not because they were perfect, but because there was no alternative. Like using an ill-fitting screwdriver for thirty years until your wrist has deformed to match it. Scholze and Clausen swapped the screwdriver. Suddenly, wrists stopped hurting.
6. A Quiet Revolution
In April 2019, Scholze taught a course on condensed mathematics at the University of Bonn. In May he posted 77 pages of lecture notes, ending with a clean new proof of an important "coherent duality" theorem whose previous proofs were extraordinarily convoluted. That gave mathematicians worldwide confidence. Johan Commelin (Freiburg) organized a reading group: "Nobody in our group understands all the details," he admitted.
Since 2019, Scholze and Clausen have defined variants—"light," "solid," "liquid," "gaseous" condensed mathematics—plus "analytic stacks" and "gestalten," which some consider even more important. Clark Barwick and his student Peter Haine independently defined nearly the same thing as "pyknotic sets" (from Greek for "dense"). Barwick: "The real excitement is in defining new objects of study. It tells you there's a class of natural objects you've never seen before—like an unclimbed mountain. We're just gnawing at the corner of this vast territory."
Dagur Asgeirsson, a former student of Clausen, put it more directly: "I think it's fair to compare Peter to Grothendieck. He's reinventing everything, in a way."
7. Why Naming Beats Proving Theorems
Mathematical history has a strange pattern: major breakthroughs are often new languages, not new theorems. Grothendieck rebuilt algebraic geometry not by proving new theorems but by coining "scheme," "topos," "motive." Hausdorff's topology was a rigorous language for the intuition of "nearness."
Scholze and Clausen are doing the same. They aren't discovering new continents—they're giving existing continents better names. Once the right name exists, hard climbs become gentle slopes. Grothendieck wrote in his memoirs:
> "The most beautiful house is not the bigger, taller one, but the one that faithfully reflects the hidden structure and beauty in things."
8. A Cross-Domain Pattern: Solve Problems by Changing Levels
Octopuses don't edit their DNA blueprints to adapt—they edit RNA, adjusting at the construction-drawing level. Slime molds externalize memory into slime trails. Birds sense magnetic fields via quantum-entangled radical pairs, not GPS chips. Mantis shrimp don't rely on thicker armor—their shields' inner layers are phononic crystals filtering dangerous frequencies.
None of these is "doing the same thing better." They change the level at which the problem is solved.
Scholze and Clausen did the same. They didn't make topological spaces finer or more powerful—that would be "building thicker walls." They changed levels: from "open sets" to "dust + gluing," from "handling continuous objects directly" to "constructing the continuous from the discrete."
And like the octopus and the mantis shrimp, this wasn't avoidance—it was clever reuse of what already exists. The Cantor set dates to the 19th century, category theory to 1945. They invented no new parts; they recombined them from a new perspective.
Admit that the old tool fails at some level, route around it rather than force a repair. That is an engineering principle, a biology principle—and now a mathematics principle.
9. One Layer Deeper: Language Shapes Thought
We imagine mathematics is "objective"—theorems waiting to be discovered. But this story shows: language shapes what you can see.
In the language of topological spaces, the unification of topology and algebra is invisible—the language itself keeps them apart. In the language of condensed sets, the unification appears naturally.
This isn't unique to mathematics. In physics, Newton's "force" language hid conservation of energy until Leibniz's "living force" language appeared. In chemistry, "phlogiston" hid oxygen until Lavoisier changed the language. In AI, the "supervised learning" paradigm hid self-supervised methods until contrastive learning's language emerged.
The world didn't change; the language did. Naming, as Scholze practices it, is not invention—it's making what already exists visible.
10. Next: Quantum Field Theory?
Scholze has hinted that condensed mathematics may extend beyond number theory and topology. Quantum field theory—the core of modern physics—has long suffered from unclear foundations, using intricate algebra and topology that don't mix well.
> "Quantum field theory is essentially very analytic and very topological. Mixing these two worlds is not a small thing, but condensed mathematics gives a possible framework." — Scholze
If this path works, condensed mathematics may rebuild not just mathematics but physics. But it's too early to say. Scholze himself is unsure how widely condensed sets will be adopted—they are powerful but complex and hard to learn. He sees it as a first step in a larger program: understanding why numbers behave the way they do.
Conclusion
In 1914, Hausdorff—a poet, philosopher, playwright—gave mathematics a definition that propped up the whole edifice for a century. In 2019, two men who dislike publishing papers—one interested only in naming things, one who considered literary translation—decided to replace it.
They didn't overthrow Hausdorff. They simply found that continuity built from dust works better than continuity handed down directly.
It sounds like a paradox. But that's mathematics. The deepest breakthroughs often come not from "trying harder" but from "changing the language." Not discovering new continents, but giving old continents better names.
Perhaps that is the nature of all deep innovation—not creation, but seeing.