summary of proof

Stream: condensed mathematics

[Johan Commelin]

I'm giving a talk about the proof that there is a liquid structure on the reals. I've written a 10 page summary of the proof, including a 2 page summary of the proof of Thm 9.4. The notes are over here: https://math.commelin.net/2021/tokyo/sketch.pdf

[Johan Commelin]

I hope they will turn out to be useful.

[David Michael Roberts]

Is that pdf going to be available for the foreseeable future? (conversely: are you going to take that down at some point?)

[Peter Scholze]

(small typo: in 3.3, an $R$ should be $\mathbb R$. And at the very end $pi$ should be $\pi$ (and $\sum^\ast$ looks funny). in 11.3, the $C(A)$ should be $Q'(A)$. And I believe the shift at the very end is $[1]$ not $[-1]$.)

[Johan Commelin]

@David Michael Roberts Yes, I expect this to stay online for a while. (Until my server burns down :smile:)
@Peter Scholze Thanks for the corrections.