Condensed Mathematics: Replacing Topology with Truth

TL;DR

Peter Scholze’s Lectures on Condensed Mathematics signals a paradigm shift in how we handle algebraic structures with topology. By replacing the traditional category of topological spaces with Condensed Sets, Scholze and Clausen resolve long-standing foundational issues in homological algebra and analytic geometry. The framework delivers an Abelian Category of "topological" objects, enabling a seamless 6-functor formalism and a rigorous treatment of duality.

The "Topological" Crisis

For decades, mathematicians have struggled with a fundamental friction: Algebra wants to be exact, but Topology is messy.

In the category of topological abelian groups, the kernel and cokernel do not play nicely. For instance, a continuous map might have a dense image that is not surjective, leaving the quotient object in a state of foundational limbo. This makes it nearly impossible to build a robust Derived Category—the essential playground for modern geometry. Scholze’s insight is that "Topology" is a poor way to describe the underlying structure; we should instead look at how these objects are probed by compact sets.

Methodology: The Power of Profinite Testing

The core idea is to view a topological space $X$ through its "functor of points" on profinite sets.

A Condensed Set $T$ is a sheaf on the site of profinite sets. Instead of defining $X$ by its points and open sets, we define it by the set of continuous maps $T(S)=extHom(S,X)$ for any profinite set $S$.

Why Extremally Disconnected Sets?

To make the category "behave," Scholze narrows the focus to Extremally Disconnected Sets (like the Stone–Čech compactification $\beta \mathbb{N}$). In this realm:

• Surjections split.
• Objects become projective.
• Limits and colimits become manageable.

Solid Modules and the Analytic Breakthrough

One of the lecture series' crown jewels is the theory of Solid Abelian Groups.

In traditional algebra, the tensor product of two p-adic rings is pathological. Scholze introduces Solidification ($M^{\square }$), a generalized notion of completion. A condensed group is "Solid" if it can "perceive" the measures on a profinite set. This leads to:

• A Symmetric Monoidal Tensor Product: $M{\otimes }^{\square }N$.
• Stability: The category of Solid modules is stable under all limits, colimits, and extensions.

Globalizing Duality

The lectures culminate in a 6-functor formalism for Discrete Adic Spaces. By moving to the $\infty$-categorical enhancement of condensed modules, Scholze provides a local-to-global glueing mechanism that surpasses the limitations of Zariski descent in the topological setting.

Key Experimental Result: Coherent Duality

Scholze proves that for a smooth map of dimension $d$: $f^{!}{\mathcal{O}}_Y\cong {\omega }_{X/Y}[d]$ This isn't just a re-derivation; it's a proof that works for non-proper maps and clarifies the role of the trace map in a way that classical "discrete" algebraic geometry could not.

Deep Insight & Conclusion

Scholze’s Condensed Mathematics isn't just a new tool; it's a new language.

Takeaway: The "Condensed" viewpoint proves that topological information is best handled as a type of sheaf-theoretic data. This methodology has already birthed "Liquid Mathematics" (dealing with $p$-p-convexity) and is rapidly becoming the standard for the next generation of arithmetic geometry.

Limitations: The machinery is heavy, requiring comfort with $\infty$-categories and sheaves on large sites. Furthermore, while it solves the foundations for p-adic and discrete rings, the "condensed" treatment of the real numbers $\mathbb{R}$ remains a distinct, more complex challenge (Liquid Mathematics).

Academic Note: This summary covers the summer term 2019 lectures at the University of Bonn, revised in 2026.