REVIEW 6 cited by
A $p$-Adic 6-Functor Formalism in Rigid-Analytic Geometry
Not yet reviewed by Pith; the record is open.
This paper has not been read by Pith yet. Machine review is queued; the pith claim, tier, and objections will appear here once it completes.
SPECIMEN: schema-true, not a live event
T0 review · schema-true
One-sentence machine reading of the paper's core claim.
pith:XXXXXXXX · record.json · timestamp
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.
Forward citations
Cited by 6 Pith papers
-
Cartier duality for gerbes of vector bundles
The Hodge-Tate stack of a smooth rigid variety is Cartier dual to the Simpson gerbe, so its solid quasi-coherent sheaves equal the weight-1 sheaves on the gerbe.
-
Representability of continuous K-theory in rigid analytic motivic $\mathbb{A}^1$-homotopy theory
Continuous K-theory of rigid analytic spaces is a Nisnevich sheaf, and, after A1-localization, it is represented by Z x BGL under a resolution-of-singularities assumption.
-
Notes on Tate cohomology
Tate cohomology is defined and studied in any three-functor formalism, unifying local-system and quasicoherent-sheaf examples with the same norm map and universal property.
-
Banach modules, almost mathematics and condensed mathematics
Banach modules over a Banach ring with compatible p-power roots are equivalent to certain complete, torsion-free almost modules, and embed fully faithfully into condensed almost modules.
-
M-modules
Left modules over the column-finite integer matrix ring M are equivalent to light solid abelian groups and form a closed monoidal abelian category containing complete metrizable linear groups.
-
A Classification of Six Functor Formalisms via Structured Spaces
The paper introduces 'suprematic spaces' and claims a fully faithful classification of certain six functor formalisms plus a universal factorization through animated S-stacks.
Discussion (0). Continue with ORCID to comment.