Pro-etale Cohomology of Rigid-Analytic Spaces

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.