Abstract:We develop a full 6-functor formalism for $p$-torsion \'etale sheaves in rigid-analytic geometry. More concretely, we use the recently developed condensed mathematics by Clausen--Scholze to associate to every small v-stack (e.g. rigid-analytic variety) $X$ with pseudouniformizer $\pi$ an $\infty$-category $\mathcal D^a_\square(\mathcal O^+_X/\pi)$ of "derived quasicoherent complete topological $\mathcal O^+_X/\pi$-modules" on $X$. We then construct the six functors $\otimes$, $\underline{Hom}$, $f^*$, $f_*$, $f_!$ and $f^!$ in this setting and show that they satisfy all the expected compatibilities, similar to the $\ell$-adic case. By introducing $\varphi$-module structures and proving a version of the $p$-torsion Riemann-Hilbert correspondence we relate $\mathcal O^+_X/\pi$-sheaves to $\mathbb F_p$-sheaves. As a special case of this formalism we prove Poincar\'e duality for $\mathbb F_p$-cohomology on rigid-analytic varieties. In the process of constructing $\mathcal D^a_\square(\mathcal O^+_X/\pi)$ we also develop a general descent formalism for condensed modules over condensed rings.

A six-functor formalism for quasi-coherent sheaves and crystals on rigid-analytic varieties

A $p$-Adic 6-Functor Formalism in Rigid-Analytic Geometry

The six-functor formalism for rigid analytic motives

Coherent sheaves, sheared D-modules, and Hochschild cochains

Rigidification of arithmetic $\mathscr{D}$-modules and an overconvergent Riemann-Hilbert correspondence

Quasi-coherent sheaves on complex analytic spaces

Descent for solid quasi-coherent sheaves on perfectoid spaces

Half-spherical twists on derived categories of coherent sheaves

Duality between Cartier crystals and perverse $\mathbb{F}_p$-sheaves, and application to generic vanishing

6-Functor Formalisms and Smooth Representations

Towards $\mathbb{A}^1$-homotopy theory of rigid analytic spaces

Derived category of equivariant coherent sheaves on a smooth toric variety and Koszul duality

A prismatic approach to crystalline local systems

Diamantine Picard functors of rigid spaces

A Category of Banach Space Functors

Flat quasi-coherent sheaves as directed colimits, and quasi-coherent cotorsion periodicity

Quasi-coherent torsion sheaves, the semiderived category, and the semitensor product: Semi-infinite algebraic geometry of quasi-coherent sheaves on ind-schemes

Prismatic $F$-crystals and Wach modules

A Tannakian framework for prismatic $F$-crystals

The analytic de Rham stack in rigid geometry

Coherent sheaves and quantum Coulomb branches I: tilting bundles from integrable systems