Title:Duality for $p$-adic geometric pro-étale cohomology I: a Fargues-Fontaine avatar

Abstract:$p$-adic geometric pro-étale cohomology of smooth partially proper rigid analytic varieties over $p$-adic fields can be represented by solid quasi-coherent sheaves on the Fargues-Fontaine curve. We prove that these sheaves satisfy a Poincaré duality. This is done by passing, via comparison theorems, to analogous sheaves representing syntomic cohomology and then reducing to Poincaré duality for ${\mathbf B}^+_{\rm st}$-twisted Hyodo-Kato and filtered ${\mathbf B}^+_{\rm dR}$-cohomologies that, in turn, reduce to Serre duality for smooth Stein varieties -- a classical result. A similar computation yields a Künneth formula.