arxiv: 2605.03658 · v1 · submitted 2026-05-05 · 🧮 math.NT · math.AG· math.CT· math.FA· math.GN

Recognition: unknown

Lectures on Condensed Mathematics

Peter Scholze

Authors on Pith no claims yet

Pith reviewed 2026-05-07 13:37 UTC · model grok-4.3

classification 🧮 math.NT math.AGmath.CTmath.FAmath.GN

keywords condensed mathematicscondensed setslecturesnumber theoryalgebraic geometrycategory theoryprofinite sets

0 comments

The pith

Condensed mathematics supplies a new categorical framework for treating topological spaces in algebraic geometry and number theory.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper delivers lecture notes from a 2019 course that lay out condensed mathematics, the theory developed jointly with Dustin Clausen. It seeks to replace ordinary topological spaces with objects that behave more like algebraic ones, so that continuity conditions align naturally with the operations common in number theory and geometry. A reader with the right background would see this as a way to make previously awkward limits and completions into straightforward categorical constructions. The notes serve as a stable reference for anyone wanting to apply the framework in arithmetic settings.

Core claim

Condensed mathematics, as presented here, defines condensed sets as sheaves on the site of profinite sets satisfying a gluing condition for surjective maps, thereby providing a replacement for topological spaces that integrates cleanly with the algebraic structures appearing in number theory and algebraic geometry.

What carries the argument

Condensed sets, which act as the basic objects that encode topology while remaining amenable to algebraic operations and limits.

If this is right

Continuous maps between spaces become morphisms that respect the algebraic operations without extra continuity checks.
Limits and colimits of spaces can be formed inside the category of condensed sets and still carry the expected topology.
Sheaf cohomology and other homological constructions on spaces become computable using the same tools as in algebraic geometry.
Profinite completions and other arithmetic completions acquire natural interpretations as condensed objects.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

The same replacement of spaces by condensed sets could streamline arguments that currently mix topological and algebraic language in rigid geometry.
Extending the framework to include additional sites beyond profinite sets might yield versions adapted to other geometric contexts.
If the theory scales to higher categories, it could supply a uniform language for both topological and derived algebraic geometry.

Load-bearing premise

The audience already commands the category theory, algebraic geometry, and number theory needed to follow the definitions and proofs.

What would settle it

A concrete topological phenomenon arising in number theory or p-adic geometry that cannot be captured by any condensed set would show the framework misses essential cases.

read the original abstract

This is an updated version of the lectures notes for a course on condensed mathematics taught in the summer term 2019 at the University of Bonn. The material presented is joint work with Dustin Clausen. This is intended as a stable citable version of the original lectures, with mostly cosmetic changes to the original document, together with some small corrections.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Desk Editor's Note private letter to a colleague

These are Scholze's updated 2019 lecture notes on condensed mathematics with Clausen, a stable reference for the framework rather than a source of new theorems.

read the letter

The key point here is that these are updated lecture notes from Scholze's 2019 course, presenting the condensed mathematics developed jointly with Dustin Clausen. They serve as a citable reference rather than introducing brand new results. What the notes do well is to give a systematic account of the condensed framework. This approach treats topological spaces through condensed sets, which are sheaves on profinite sets, allowing better handling of continuity and limits in categorical terms. It has already influenced work in p-adic geometry and number theory by providing tools for derived categories and homological methods that respect topology. The exposition benefits from Scholze's clarity, and the updates include corrections, making it more reliable than the original course notes. On the soft side, the material assumes quite a bit of background. You need comfort with category theory, especially sheaves and toposes, plus algebraic geometry and p-adic analysis to get much out of it. The lectures might skip some details that a full book would fill in, though the stable version helps. This paper is mainly for specialists in arithmetic geometry and related fields who are ready to dive into condensed mathematics. It could be valuable for a reading group if the group has the right expertise. I think it deserves serious refereeing as a foundational text, even if it's expository, because the ideas are important and having a vetted reference would help the community.

Referee Report

0 major / 1 minor

Summary. This manuscript is an updated version of lecture notes from a 2019 course on condensed mathematics at the University of Bonn. The material is joint work with Dustin Clausen; the text is presented as a stable, citable version of the original lectures, incorporating mostly cosmetic changes and small corrections.

Significance. If the exposition accurately reflects the joint development of condensed mathematics, the notes provide a structured introduction to a framework that reinterprets topological and algebraic structures via condensed sets and related categories. This could aid researchers in algebraic geometry and number theory by offering direct access to foundational ideas from one of the primary developers, complementing the original research papers.

minor comments (1)

[Abstract] The abstract mentions 'small corrections' but does not list them; a brief changelog or footnote indicating the nature of the corrections would improve traceability for readers comparing versions.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their positive evaluation of the manuscript and for recommending acceptance. The report correctly identifies the work as an updated version of the 2019 Bonn lectures on condensed mathematics, prepared as a stable citable reference in collaboration with Dustin Clausen.

Circularity Check

0 steps flagged

No significant circularity: expository lecture notes with no derivation chain

full rationale

The document consists of lecture notes presenting foundational material on condensed mathematics as joint work with Dustin Clausen. No novel theorems, quantitative predictions, or load-bearing derivations are advanced. The text is purely expository and does not contain any self-definitional steps, fitted inputs renamed as predictions, or self-citation chains that reduce claims to their own inputs. All content relies on external category theory, algebraic geometry, and number theory background, with no internal reductions by construction. This matches the default expectation for non-circular expository work.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

The abstract provides no explicit free parameters, axioms, or invented entities; it is an overview of course material.

pith-pipeline@v0.9.0 · 5338 in / 866 out tokens · 43657 ms · 2026-05-07T13:37:22.828830+00:00 · methodology

Review history (2 revisions) →

discussion (0)

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score.

Weil-Moore anima
math.NT 2026-05 unverdicted novelty 8.0

The Weil-Moore anima refines the Weil group into a space with higher homotopy groups to improve its cohomological behavior for number fields.

Reference graph

Works this paper leans on

37 extracted references · 9 canonical work pages · cited by 1 Pith paper

[1]

Andreychev, Pseudocoherent and P erfect C omplexes and V ector B undles on A nalytic A dic S paces , arXiv:2105.12591, 2021

G. Andreychev, Pseudocoherent and P erfect C omplexes and V ector B undles on A nalytic A dic S paces , 2021, https://arxiv.org/abs/2105.12591

work page arXiv 2021
[2]

\'A sgeirsson, The F oundations of C ondensed M athematics , 2021, Master Thesis, Paris, https://dagur.sites.ku.dk/files/2022/01/condensed-foundations.pdf

D. \'A sgeirsson, The F oundations of C ondensed M athematics , 2021, Master Thesis, Paris, https://dagur.sites.ku.dk/files/2022/01/condensed-foundations.pdf

2021
[3]

Bannister and D

N. Bannister and D. Basak, Condensed S ets and the S olovay M odel , 2026, https://arxiv.org/abs/2602.09283

work page arXiv 2026
[4]

II , Lecture Notes in Mathematics, vol

Pierre Berthelot, Lawrence Breen, and William Messing, Th\' e orie de D ieudonn\' e cristalline. II , Lecture Notes in Mathematics, vol. 930, Springer-Verlag, Berlin, 1982

1982
[5]

B\"ohnlein, B

F. B\"ohnlein, B. Bruske, and S. Wegner, Condensed mathematics through compactological spaces, 2025, https://arxiv.org/abs/2512.14612

work page arXiv 2025
[6]

Barwick and P

C. Barwick and P. Haine, Pyknotic objects, i. basic notions, 2019, https://arxiv.org/abs/1904.09966

work page arXiv 2019
[7]

Bergfalk and C

J. Bergfalk and C. Lambie-Hanson, Infinitary combinatorics in condensed mathematics and strong homology, Selecta Math. (N.S.) 31 (2025), no. 5, Paper No. 107, 53

2025
[8]

Hautes \' E tudes Sci

Lawrence Breen, Extensions du groupe additif, Inst. Hautes \' E tudes Sci. Publ. Math. (1978), no. 48, 39--125

1978
[9]

Brink, Condensed G roup C ohomology , 2025, https://arxiv.org/abs/2512.03648

E. Brink, Condensed G roup C ohomology , 2025, https://arxiv.org/abs/2512.03648

work page arXiv 2025
[10]

Bhatt and P

B. Bhatt and P. Scholze, The pro-\'etale topology for schemes, Ast\'erisque (2015), no. 369, 99--201

2015
[11]

Clausen and P

D. Clausen and P. Scholze, C ondensed M athematics and C omplex G eometry , https://people.mpim-bonn.mpg.de/scholze/Complex.pdf, 2022

2022
[12]

, Analytic stacks, 2026, book in preparation

2026
[13]

D \'e glise, Condensed and locally compact abelian groups, 2020, https://deglise.perso.math.cnrs.fr/docs/2020/condensed.pdf

F. D \'e glise, Condensed and locally compact abelian groups, 2020, https://deglise.perso.math.cnrs.fr/docs/2020/condensed.pdf

2020
[14]

C onf., M annheim, 1975), Springer, Berlin, 1976, pp

Roy Dyckhoff, Categorical methods in dimension theory, Categorical topology ( P roc. C onf., M annheim, 1975), Springer, Berlin, 1976, pp. 220--242. Lecture Notes in Math., Vol. 540

1975
[15]

I , Proc

Samuel Eilenberg and Saunders MacLane, Cohomology theory of A belian groups and homotopy theory. I , Proc. Nat. Acad. Sci. U. S. A. 36 (1950), 443--447

1950
[16]

, Homology theories for multiplicative systems, Trans. Amer. Math. Soc. 71 (1951), 294--330

1951
[17]

Samuel Eilenberg and Norman Steenrod, Foundations of algebraic topology, Princeton University Press, Princeton, New Jersey, 1952

1952
[18]

L\' a szl\' o Fuchs, Infinite abelian groups. V ol. II , Academic Press, New York-London, 1973, Pure and Applied Mathematics. Vol. 36-II

1973
[19]

Gleason, Projective topological spaces, Illinois J

Andrew M. Gleason, Projective topological spaces, Illinois J. Math. 2 (1958), 482--489

1958
[20]

Roger Godement, Topologie alg\' e brique et th\' e orie des faisceaux , Hermann, Paris, 1973, Troisi\` e me \' e dition revue et corrig\' e e, Publications de l'Institut de Math\' e matique de l'Universit\' e de Strasbourg, XIII, Actualit\' e s Scientifiques et Industrielles, No. 1252

1973
[21]

Gaitsgory and N

D. Gaitsgory and N. Rozenblyum, A study in derived algebraic geometry. V ol. I . C orrespondences and duality , Mathematical Surveys and Monographs, vol. 221, American Mathematical Society, Providence, RI, 2017

2017
[22]

271, American Mathematical Society, 2001, pp

C. Heyer and L. Mann, 6 - F unctor F ormalisms and S mooth R epresentations , 2024, https://arxiv.org/abs/2410.13038

work page arXiv 2024
[23]

Norbert Hoffmann and Markus Spitzweck, Homological algebra with locally compact abelian groups, Adv. Math. 212 (2007), no. 2, 504--524. 2329311

2007
[24]

Huber, Continuous valuations, Math

R. Huber, Continuous valuations, Math. Z. 212 (1993), no. 3, 455--477

1993
[25]

, A generalization of formal schemes and rigid analytic varieties, Math. Z. 217 (1994), no. 4, 513--551

1994
[26]

N. J. Kalton, Convexity, type and the three space problem, Studia Math. 69 (1980/81), no. 3, 247--287

1980
[27]

le Stum, An introduction to condensed mathematics, 2025, https://www.bernardlestum.com/_files/ugd/6e3af6_672f5b3efef64fd7b44bba48aae3b77f.pdf

B. le Stum, An introduction to condensed mathematics, 2025, https://www.bernardlestum.com/_files/ugd/6e3af6_672f5b3efef64fd7b44bba48aae3b77f.pdf

2025
[28]

Liu and W

Y. Liu and W. Zheng, Enhanced six operations and base change theorems for artin stacks, 2012, https://arxiv.org/abs/1211.5948

work page arXiv 2012
[29]

Mair, Animated C ondensed S ets and T heir H omotopy G roups , 2021, https://arxiv.org/abs/2105.07888

C. Mair, Animated C ondensed S ets and T heir H omotopy G roups , 2021, https://arxiv.org/abs/2105.07888

work page arXiv 2021
[30]

Mann, A p - A dic 6 - F unctor F ormalism in R igid- A nalytic G eometry , 2022, https://arxiv.org/abs/2206.02022

L. Mann, A p - A dic 6 - F unctor F ormalism in R igid- A nalytic G eometry , 2022, https://arxiv.org/abs/2206.02022

work page arXiv 2022
[31]

Mac Lane and I

S. Mac Lane and I. Moerdijk, Sheaves in geometry and logic, Universitext, Springer-Verlag, New York, 1994, A first introduction to topos theory, Corrected reprint of the 1992 edition

1994
[32]

N \" o beling, Verallgemeinerung eines S atzes von H errn E

G. N \" o beling, Verallgemeinerung eines S atzes von H errn E . S pecker , Invent. Math. 6 (1968), 41--55. 0231907

1968
[33]

Ribe, Examples for the nonlocally convex three space problem, Proc

M. Ribe, Examples for the nonlocally convex three space problem, Proc. Amer. Math. Soc. 73 (1979), no. 3, 351--355. 518518

1979
[34]

Scholze, Lectures on A nalytic G eometry , 2020, https://people.mpim-bonn.mpg.de/scholze/Analytic.pdf

P. Scholze, Lectures on A nalytic G eometry , 2020, https://people.mpim-bonn.mpg.de/scholze/Analytic.pdf

2020
[35]

, Six- F unctor F ormalisms , people.mpim-bonn.mpg.de/scholze/SixFunctors.pdf, 2025

2025
[36]

Shulman, Comparing material and structural set theories, Ann

M. Shulman, Comparing material and structural set theories, Ann. Pure Appl. Logic 170 (2019), no. 4, 465--504

2019
[37]

9 (1950), 131--140

Ernst Specker, Additive G ruppen von F olgen ganzer Z ahlen , Portugaliae Math. 9 (1950), 131--140

1950