In this talk I want to explain some surprising features of the pro-etale cohomology of rigid-analytic varieties, and how they can be explained by a six functor formalism with values in solid quasi-coherent sheaves on the Fargues-Fontaine curve.
This is joint work in progress with Arthur-Cesar Le Bras and Lucas Mann.
This video is part of the Institute for Advanced Study‘s Arithmetic geometry seminar
