Imagine you are an architect working on the 87th floor of a building. One day you discover a problem with the foundation three levels underground—not a small crack, but a flaw in the design language itself. You cannot tear the building down; 86 floors above are still in use. All you can do is quietly work around it, patch it, drive in steel pins.
This is precisely the situation mathematicians have faced for the past hundred years.
In 1914, the German mathematician Felix Hausdorff—a poet, philosopher, and playwright as well—defined an object called the "topological space" in his *Foundations of Set Theory*. From then on, it became mathematics' foundation. Calculus, geometry, algebra, number theory—nearly every field built on top of it. But there is an awkward fact: topological spaces do not 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 of describing "shape." A mathematician wanting to use both at the same time—like wanting to use your left and right hands together—finds that the topological foundation makes the algebraic tools slip. For a century, everyone made do. The people working on the 87th floor never went down to fix the basement.
Until 2019, when Peter Scholze and Dustin Clausen decided to dig down.
I. Topological Spaces: A Hundred-Year-Old Design
First, what is a topological space?
Imagine standing on a piece of land. You don't need to know how many meters apart two trees are—you only need to know "they are in the same region." Hausdorff's design is exactly that: a topological space is a collection of points, plus a collection of "regions" called open sets. Open sets satisfy two rules—the union of any number of open sets is open, and the intersection of finitely many open sets is open.
That simple. But the definition's power is astonishing.
With it, mathematicians can talk about "continuity" without distance. They can talk about "connectedness" without measurement. They can prove the fundamental theorem of algebra—the one that tripped up even Gauss—in three lines of topological argument. They can classify surfaces: sphere, torus, double torus... just count the holes.
After Hausdorff's book appeared, topology went from scattered insights to a discipline with a rigorous language. The French mathematical collective Bourbaki later wrote that Hausdorff's definition "endowed the theory with complete precision and complete generality."
But the problem was planted there too.
II. Category Theory: A Broken Car on the Highway
In 1945, two American mathematicians, Samuel Eilenberg and Saunders MacLane, published a bold paper creating a new discipline—category theory.
Category theory is not about any specific mathematical object, but about "the relationships between mathematical objects." A category consists of objects and "morphisms" between them. Even more powerful are "functors"—they can map an entire category into another one, translating not only objects but preserving relationships.
It was like building highways between the mathematical ridges.
But topologists couldn't get onto this highway. Or rather, they could, but driving a broken-down car that kept stalling.
The reason: the category of topological spaces lacks key properties that category theorists need. Algebraists wanted to use category theory to connect topology and algebra—constructing objects with "both topological and algebraic structure," called "topological abelian groups." But the category of topological abelian groups is simply bad to work with. Abstract nonsense that yields powerful conclusions in other categories is, here, just nonsense.
Scholze later put it bluntly: "I think topologists actually don't like topological spaces, because it's not a convenient category."
This is not a minor complaint. Category theory was one of the greatest accelerators of late twentieth-century mathematics. Grothendieck used it in the 1950s–60s to rebuild algebraic geometry, turning the whole field from a set of techniques into a language, with influence that continues today. Topology was excluded from this revolution, like a city never connected to the high-speed rail network.
III. Scholze and Clausen: Two Unusual People
Peter Scholze, winner of the 2018 Fields Medal and Germany's youngest full professor at 25, has a strange style—he says he is "not so interested in theorems or proofs." What interests him is naming things.
> "To a large extent I'm just reformulating in my own words what others have done. 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, Scholze's longtime collaborator, is even more extreme. He does not publish papers—because he believes academic publishing is fundamentally broken. He doesn't even bother writing informal notes, leaving that to collaborators. He once seriously considered becoming a literary translator.
Together, what these two set out to do sounds a bit crazy: replace topological spaces.
Not patch, not improve—swap the foundation.
IV. Condensed Sets: Making the Continuous from Dust
Their new object is called a "condensed set."
The most intuitive way to understand it starts with an old friend—the Cantor set.
Take a line segment of length 1 and remove its middle third. Then remove the middle third of each remaining segment. Then the middle third of each of the four remaining segments. Repeat infinitely.
What remains is a "dust" of points. No two points are adjacent—every point is separated from every other by gaps. This is called a "totally disconnected" space.
Intuitively, this dust is "more fragmented" than the continuous real line. But Scholze and Clausen discovered: you can build continuous things out of this dust.
How? By gluing the dust together.
The most familiar example is right at hand—decimal expansions.
The number 0.5 can be written as 0.5000... or as 0.4999.... They are the same number. But the decimal expansion itself is a "dust-ification" process—each added decimal digit cuts the number line into a smaller piece. 0.4 cuts the line to [0.4, 0.5). 0.49 cuts to [0.49, 0.50). 0.499 cuts to [0.499, 0.500). Done infinitely, every point becomes completely separated from every other—this is dust.
But as soon as you accept that 0.4999... = 0.5, the dust glues back into the continuous real line.
Scholze and Clausen's condensed sets are the rigorous version of this "dust + gluing." The Cantor set is the simplest condensed set, and the building block for constructing others. By smashing many Cantor-set-like dusts "together in strange ways," you can reconstruct the real line, reconstruct everything topological spaces can give you—and algebra runs smoothly on top.
> "These totally disconnected pieces are extremely simple algebraically." — Scholze
This is the most counterintuitive part. We assume "continuous" is more complex, harder to handle than "discrete." Scholze and Clausen say: no—building the continuous from the discrete is simpler than directly handling the continuous.
V. Solving a Problem "We Didn't Know We Had"
Stanford mathematician Ravi Vakil, also president of the American Mathematical Society, said this:
> "They're solving a problem we didn't know we had, because we thought we already had a reasonable solution."
> "As a result, a huge amount of math got a lot simpler."
This deserves careful chewing.
For a hundred years, mathematicians assumed topological spaces were "the correct language." Not because they were perfect—everyone knew they don't get along with algebra—but because there was no alternative. Like using an awkward screwdriver for thirty years: you no longer notice the awkwardness because your wrist has deformed to accommodate it.
Scholze and Clausen swapped the screwdriver. Suddenly, everyone's wrist stopped hurting.
VI. A Quiet Revolution
The revolution proceeded quietly.
In April 2019, Scholze taught a course on "condensed mathematics" at the University of Bonn. In May, he posted 77 pages of lecture notes. The notes ended with a new proof of an important theorem called "coherent duality"—previous proofs were extremely convoluted and technical; the new one was clean and elegant.
This gave mathematicians worldwide confidence. Johan Commelin in Freiburg organized a reading group. "Nobody in our group understood all the details," he admitted.
But condensed sets began to spread. From 2019 onward, Scholze and Clausen defined further variants—"light," "solid," "liquid," "gaseous"—a whole family of condensed mathematics. They also introduced "analytic stacks" and "gestalten"—which some mathematicians consider even more important than condensed sets themselves.
Clark Barwick and his student Peter Haine independently defined nearly the same thing, called "pyknotic sets" (from the Greek for "dense"). Barwick said:
> "The real excitement lies 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 nibbling 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 is, in some sense, reinventing everything."
VII. Why Naming Matters More Than Proving Theorems
Scholze says he doesn't care about theorems, only about naming things. This sounds like laziness. It is not.
Mathematical history has a strange pattern: major breakthroughs are often not new theorems but new languages.
Grothendieck rebuilt algebraic geometry not because he proved some new theorem, but because he introduced new words—"scheme," "topos," "motive." These words made previously invisible structures visible, and previously unprovable theorems obvious.
Hausdorff's definition of the topological space was likewise not a new theorem—it was a rigorous language for the intuitive concept of "nearness."
Scholze and Clausen are doing the same. They are not discovering a new continent; they are giving an existing continent a better name. Once the right name exists, mountains that were hard to climb become gentle slopes.
Scholze himself puts it modestly:
> "I'm not inventing anything. I'm just trying to give names to things that already exist."
Grothendieck wrote something similar in his late memoirs:
> "The most beautiful house is not the bigger, taller one, but the one that faithfully reflects the hidden structure and beauty in things."
Mathematicians are builders, but not inventors. They discover things that already exist.
VIII. A Cross-Domain Analogy: Solving Problems by Changing Levels
This story recalls a larger pattern.
The octopus does not modify its DNA blueprint to adapt to its environment—it edits RNA, making adjustments at the level of the construction drawings. Slime molds don't use neurons for memory—they externalize memory into slime trails. Birds don't use GPS chips—they sense magnetic fields using quantum-entangled radical pairs. The mantis shrimp doesn't rely on a thicker shell against impact—the inner layer of its shield is a photonic crystal that selectively filters out dangerous frequency bands.
None of these are "doing the same thing better." They are solving the problem at a different level.
Scholze and Clausen did the same thing. They did not make topological spaces more refined, more complex, more powerful—that would be "building thicker walls." They changed levels: from "open sets" to "dust + gluing." From "directly handling continuous objects" to "constructing the continuous from the discrete."
And like the octopus, slime mold, and mantis shrimp, this "level change" is not evasion but smarter use of what already exists. The Cantor set has existed since the 19th century, category theory since 1945, decimal expansions even earlier. Scholze and Clausen invented no new parts—they just recombined them, changed the perspective.
Acknowledging that an old tool fails at some level, and working around it rather than forcing a repair—this is an engineering principle, a biological principle, and now also a mathematical one.
IX. One Level Deeper: Language Shapes Thought
Condensed mathematics also points to a deeper insight.
We like to think mathematics is "objective"—the theorems are out there, waiting to be discovered. But the story of Scholze and Clausen shows: language shapes what you can see.
Using the language of topological spaces, you cannot see the unification of topology and algebra—because the language itself makes them incompatible. Switch to the language of condensed sets, and the unification appears naturally.
This is not unique to mathematics. In physics, Newton's language of "force" made conservation of energy invisible—until Leibniz's language of "living force" appeared. In chemistry, the "phlogiston" language made oxygen invisible—until Lavoisier changed the language. In AI, the "supervised learning" language made self-supervision invisible—until the language of contrastive learning appeared.
The world didn't change; the language did. The same world, with a different language, reveals different structures.
When Scholze says he "tries to give names to things that already exist," there is something deeper than his modesty—naming is not invention; it is making what already exists visible.
X. Next Step: Quantum Field Theory?
Scholze has hinted that condensed mathematics may not stop at number theory and topology. Quantum field theory—the core of modern physics—has long been troubled by an unclear foundation. It uses extremely sophisticated algebra and topology, but the two have never gotten along.
> "Quantum field theory is essentially very analytic and topological. Mixing these two worlds is not trivial, but condensed mathematics offers a possible framework." — Scholze
If this path works out, condensed mathematics may be not just a reconstruction of mathematics, but of physics.
But it is too early to say. Scholze himself is unsure how widely condensed sets will be adopted—they are powerful, but also complex and hard to learn. What he sees is more like a first step—the beginning of a larger program of "understanding why numbers behave the way they do."
Conclusion
In 1914, Hausdorff—a poet, philosopher, playwright—gave mathematics a definition. For a hundred years, this definition held up the entire mathematical world.
In 2019, two men who dislike publishing papers—one who cares only about naming things, one who once considered becoming a literary translator—decided to swap that definition.
They did not overthrow Hausdorff. They simply discovered: continuity built from dust works better than continuity handed down directly.
This sounds like a paradox. But that is mathematics. The deepest breakthroughs often come not from "trying harder" but from "changing the language." Not discovering a new continent, but giving an old continent a better name.
Scholze says: "I'm not inventing anything. I'm just trying to give names to things that already exist."
Perhaps that is the essence of all deep innovation—not creation, but seeing.