Condensed Mathematics: How Scholze and Clausen Rebuilt Continuity from Dust

Imagine you are an architect working on the 87th floor of a building. One day you discover that the foundation three levels underground is flawed — not small cracks, but a problem with the design language itself. You cannot tear it down and rebuild, because the 86 floors above are all in use. You can only quietly route around it, patch it, drive in steel pins.

That is exactly the situation mathematicians have been in for the past century.

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 the foundation of mathematics. Calculus, geometry, algebra, number theory — nearly every field built on top of it. But there is an awkward fact: topological spaces don't get along with algebra.

That sounds like a minor inconvenience. It isn't. Algebra is one of mathematicians' most powerful tools; topological spaces are their most natural way to describe "shape." Wanting to use both at once — like wanting to use your left and right hands together — mathematicians found that the topological-space foundation kept making algebra slip. For a hundred years, people made do. The people working on the 87th floor never repaired the basement.

Until 2019, when Peter Scholze and Dustin Clausen decided to dig down.

1. Topological spaces: a century-old design

First, what is a topological space?

Imagine standing on a patch of land. You don't need to know how far apart two trees are in meters — only whether "they're in the same region." Hausdorff's design works this way: a topological space is a set of points, plus a collection of "regions" called *open sets*. Open sets obey two rules — arbitrary unions of open sets are open, and finite intersections of open sets are open.

It's that simple. But the definition's power is astonishing.

With it, mathematicians can talk about "continuity" without distance, "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 rigorous language. The French collective Bourbaki later wrote that Hausdorff's definition gave the theory "complete precision and complete generality."

But the problem was planted then, too.

2. 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; it is about the *relationships between* mathematical objects. A category consists of objects and "morphisms" between them. Even more powerful is the "functor" — it maps an entire category into another, translating not just objects but preserving relationships.

It was like building highways between the ridges of mathematics.

But topologists couldn't get onto this highway. Or rather, they could, but driving a clunker 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 with algebra — constructing objects with both topological and algebraic structure, called "topological abelian groups." But the category of topological abelian groups is just bad to work with. Abstract nonsense that yields powerful conclusions in other categories yields only nonsense here.

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. 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 field from a bag of techniques into a language, with influence to this day. Topology was left out of that revolution — like a city never connected to the high-speed rail network.

3. Scholze and Clausen: two unusual people

Peter Scholze, 2018 Fields Medalist and Germany's youngest full professor at 25, has a strange style — he says he's "not so interested in theorems or proofs." What interests him is naming things.

> "To a large extent I'm just rephrasing in my own words what other people 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 more extreme still. He doesn't publish papers — because he thinks 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, these two set out to do something that sounds a bit crazy: replace topological spaces.

Not patching, not improving — swapping the foundation.

4. Condensed sets: building continuity from dust

Their new object is called a "condensed set."

The most intuitive way in is through 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 of the two remaining pieces. Then the middle third of each of the four remaining pieces. 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 a *totally disconnected* space.

Intuitively, this dust is "more shattered" than the continuous real line. But Scholze and Clausen found: you can build continuous things out of this dust.

How? By gluing the dust together.

The most familiar example is at our fingertips — 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 additional digit slices the number line into a smaller interval. 0.4 cuts it to [0.4, 0.5). 0.49 cuts to [0.49, 0.50). 0.499 cuts to [0.499, 0.500). Carried to infinity, every point becomes completely separated from every other — that is dust.

But the moment you accept 0.4999... = 0.5, the dust is glued 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 building block for constructing others. By smashing many Cantor-set-like dusts "together in strange ways," you can rebuild the real line and everything topological spaces 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 and harder to handle than "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"

Ravi Vakil, Stanford mathematician and president of the American Mathematical Society, put it this way:

> "They're solving a problem we didn't know we had, because we thought we already had a reasonable solution." > > "As a result, a swath of mathematics has become much simpler."

That's worth chewing on. For a hundred years, mathematicians assumed topological spaces were "the right language." Not because they were perfect — everyone knew they clashed with algebra — but because there was no alternative. It's like using a badly fitting screwdriver for thirty years: you stop noticing it fits badly because your wrist has deformed to accommodate it.

Scholze and Clausen swapped the screwdriver. Suddenly, everyone's wrist stopped hurting.

6. 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, which ended with a new proof of an important theorem called "coherent duality" — previously proved only by extremely convoluted and technical routes; the new proof was clean and elegant.

That gave mathematicians worldwide confidence. Johan Commelin in Freiburg organized a reading group. "Nobody in our group understands all the details," he admitted.

But condensed sets began to spread. From 2019 on, Scholze and Clausen defined 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, calling it "pyknotic sets" (from the Greek for "dense"). Barwick said:

> "The real excitement is in defining new objects of study. It tells you there's a class of natural objects you've never looked at before — like an unclimbed mountain. We're just nibbling at the corners 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 matters more than proving theorems

Scholze says he doesn't care about theorems, only about naming things. That sounds like laziness. It isn't.

Mathematical history has a curious pattern: major breakthroughs are often not new theorems but new languages.

Grothendieck rebuilt algebraic geometry not by proving new theorems, but by introducing words like "scheme," "topos," and "motive." These words made previously invisible structures visible, and previously unprovable theorems obvious.

Hausdorff's definition of the topological space proved no new theorem either — he found rigorous language for the intuitive concept of "nearness."

Scholze and Clausen are doing the same. They aren't discovering a new continent; they're giving the existing continent a better name. Once the right name exists, previously steep mountains become gentle slopes.

Scholze himself is modest:

> "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 what already exists.

8. A cross-domain analogy: solving problems at a different level

This story evokes a larger pattern.

The octopus doesn't modify its DNA blueprint to adapt — it edits RNA, making adjustments at the blueprint level. The slime mold doesn't use neurons for memory — it externalizes memory into its slime trails. Birds don't use GPS chips — they sense magnetic fields via quantum entanglement in radical pairs. The mantis shrimp doesn't rely on a thicker shell against impacts — its shield's inner layer is a photonic crystal that selectively filters dangerous frequencies.

None of these is "doing the same thing better." They all solve the problem at a different level.

Scholze and Clausen did the same. They didn't make topological spaces finer, more complex, more powerful — that would be "building thicker walls." They changed levels: from "open sets" to "dust + gluing"; from "handle continuous objects directly" to "construct the continuous from the discrete."

And like the octopus, the slime mold, and the mantis shrimp, this "level-switching" is not evasion but a cleverer use of what already exists. The Cantor set has been around since the 19th century, category theory since 1945, decimal expansions even earlier. Scholze and Clausen invented no new parts — they just recombined them from a different angle.

Acknowledge that the old tool fails at some level, route around it, don't force a repair. That's an engineering principle, a biological principle, and now a mathematical one.

9. One level deeper: language shapes thought

Condensed mathematics also points to a deeper insight.

We like to think mathematics is "objective" — the theorems are just there, waiting to be discovered. But the Scholze–Clausen story shows: language shapes what you can see.

In the language of topological spaces, you cannot see the unification of topology and algebra — because 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 language of "force" made conservation of energy invisible — until Leibniz's language of "vis viva" arrived. In chemistry, the "phlogiston" language made oxygen invisible — until Lavoisier changed the language. In AI, the "supervised learning" language made self-supervision invisible — until contrastive learning's language appeared.

The world didn't change; the language did. The same world, in a different language, reveals different structure.

When Scholze says he "tries to give names to things that already exist," there is more than modesty there — naming is not invention; it is making what already exists visible.

10. 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 unclear foundations. It uses extremely sophisticated algebra and topology, but the two have never fit together.

> "Quantum field theory is essentially very analytic and topological. Mixing those two worlds is not a small thing, but condensed mathematics offers a possible framework." — Scholze

If this path works out, condensed mathematics may rebuild not just mathematics but physics.

But it's too early to say. Scholze himself isn't sure 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, and playwright — gave mathematics a definition. For a hundred years, that definition held up the entire mathematical world.

In 2019, two men who dislike publishing papers — one who cares only about naming things, one who considered becoming a literary translator — decided to replace it.

They did not overthrow Hausdorff. They simply found that continuity built from dust works better than continuity handed down directly.

That sounds like a paradox. But that's mathematics. The deepest breakthroughs often come not from "trying harder" but from "changing language" — not discovering a new continent, but giving the old one 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 creating, but seeing.