Pith. sign in

REVIEW 11 cited by

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

Not yet reviewed by Pith; the record is open.

Re-run · record.json Download PDF Read on arXiv ↗

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

arxiv 2206.02022 v1 pith:GGSUVGPX submitted 2022-06-04 math.AG math.NT

Lucas Mann This is my paper · ORCID
classification math.AGmath.NT
keywords mathcalformalismrigid-analyticcondensedsheavesadiccasedevelop
verification ladder T0 review T1 audit T2 compute T3 formal
0 comments
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.

Discussion (0). Continue with ORCID to comment.

Forward citations

Cited by 11 Pith papers

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score. Full citation record

  1. Cartier duality for gerbes of vector bundles

    math.AG 2025-12 conditional novelty 8.0 of 10

    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.

  2. Bernstein-Zelevinsky duality for locally analytic principal series representations

    math.RT 2025-01 conditional novelty 7.0 of 10

    For locally algebraic integral weights, the Bernstein-Zelevinsky dual of a locally analytic principal series representation equals another locally analytic principal series built from the dual Verma module and the smo...

  3. A 6-functor formalism for solid quasi-coherent sheaves on the Fargues-Fontaine curve

    math.AG 2024-12 accept novelty 7.0 of 10

    A 6-functor formalism for Z_p-linear solid quasi-coherent sheaves on small v-stacks is constructed, yielding Poincare duality for pro-etale Q_p-cohomology.

  4. On the Bauer--Furuta construction

    math.AT 2024-12 conditional novelty 7.0 of 10

    Using six-functor sheaf theory, the Bauer-Furuta invariant is defined as the proper pushforward f_* f^!(1), with f^!(1) computed as the Thom spectrum of the family index.

  5. Duality for Arithmetic $p$-adic Pro-\'etale Cohomology of Analytic Spaces

    math.AG 2024-12 conditional novelty 7.0 of 10

    The paper proves Colmez-Gilles-Nizioł duality for arithmetic p-adic pro-étale cohomology of smooth partially proper rigid spaces by Galois descent from the Fargues-Fontaine curve.

  6. Representability of continuous K-theory in rigid analytic motivic $\mathbb{A}^1$-homotopy theory

    math.KT 2026-08 conditional novelty 6.0 of 10

    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.

  7. Notes on Tate cohomology

    math.AT 2026-01 conditional novelty 6.0 of 10

    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.

  8. Banach modules, almost mathematics and condensed mathematics

    math.NT 2025-08 unverdicted novelty 6.0 of 10

    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.

  9. M-modules

    math.AG 2026-07 accept novelty 5.0 of 10

    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.

  10. A Classification of Six Functor Formalisms via Structured Spaces

    math.AT 2025-07 reject novelty 5.0 of 10

    The paper introduces 'suprematic spaces' and claims a fully faithful classification of certain six functor formalisms plus a universal factorization through animated S-stacks.

  11. Six-Functor Formalisms II : The $\infty$-categorical compactification

    math.AG 2024-12 conditional novelty 4.0 of 10

    The paper proves an ∞-categorical extension theorem (Theorems A and B) that extends functors on grids of commutative squares to compactifications, a load-bearing step in constructing exceptional pushforwards and the a...

Pith tools