Résume | Pro-étale cohomology of rigid-analytic varieties over the p-adic complex numbers has surprising features, which can be explained by calculating the pro-étale cohomology via quasi-coherent sheaves on the Fargues-Fontaine curve. In this talk I want to explain the recent construction of a 6-functor formalism with values in quasi-coherent sheaves on the Fargues-Fontaine curve, and to discuss some of its properties. This is joint work with Arthur-César Le Bras and Lucas Mann. |