Pith. sign in

REVIEW 3 major objections 5 minor 3 cited by

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

T0 review · 3 major / 5 minor · reviewed 2026-08-10 · deepseek-v4-flash

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

Pith's one-line read A 6-functor formalism for p-adic sheaves on v-stacks is built from solid quasi-coherent sheaves on Fargues–Fontaine curves, yielding Poincaré duality and finiteness for pro-étale Q_p-cohomology.

desk verdict A major, carefully-built 6-functor formalism for p-adic coefficients on v-stacks, with the caveat that its central descent theorem is imported from the authors' own prior work. read the letter →

arxiv 2412.20968 v1 pith:LC7WWSRS submitted 2024-12-30 math.AG math.NT

Johannes Anschütz , Arthur-César Le Bras , Lucas Mann This is my paper · ORCID
classification math.AGmath.NT MSC 14F0814G2214G45
keywords 6-functorformalismFargues-Fontainecurvesolidquasi-coherentsheavespro-étalecohomologyv-stacksp-adicHodgetheoryBanach-ColmezspaceslocalLanglands
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The reading

This paper constructs a 6-functor formalism $S \mapsto D_{[0,\infty)}(S)$ with $\mathbb{Z}_p$-linear coefficients on the category of small v-stacks, the geometric spaces of p-adic geometry. The category attached to a space $S$ is not made of ordinary sheaves of $\mathbb{Z}_p$-modules but of modified solid quasi-coherent sheaves on the relative Fargues–Fontaine curve over $S$, and the paper proves this assignment satisfies hypercomplete descent for the v-topology, which lets it pass from perfectoid spaces to all small v-stacks. From this formalism the paper derives finiteness and Poincaré duality for pro-étale $\mathbb{Q}_p$-cohomology of rigid-analytic varieties, with the infinite-dimensional cohomology groups that had seemed pathological reinterpreted as finite pieces of Banach–Colmez spaces. The payoff is a uniform explanation of known examples (the affine line and a rank-two local system on $\mathbb{P}^1$) and a first batch of examples pointing toward a p-adic version of the Langlands geometrization program.

What carries the argument

The load-bearing mechanism is the hypercomplete v-sheaf of categories $D^a_{\hat{\square}}(O^{+}_{(-)})$ of almost solid $O^{+a}$-modules on the site of perfectoid spaces over $\mathbb{Z}_p$: for an untilted perfectoid space this is the almost variant (killing topologically nilpotent elements) of modified solid modules over the integral structure sheaf $O^+$, and the v-descent theorem for it, recalled as Theorem 3.1.2 from the authors' earlier work, is what allows $D_{[0,\infty)}$ to be defined on arbitrary small v-stacks by v-descent. On a characteristic-$p$ perfectoid space $S$ the category $D_{[0,\infty)}(S)$ is identified with $D_{\hat{\square}}(Y_{[0,\infty),S})$, the category of modified solid quasi-coherent sheaves on the relative Fargues–Fontaine curve $Y_{[0,\infty),S} = \mathrm{Spa}(W(R^+)) \setminus V([\varpi])$; the identification is made by base-changing to $\mathbb{Z}_{p,\infty}$, where the curve becomes perfectoid, and reducing to $D^a_{\hat{\square}}(O^{+}_{(-)})$ (Lemma 4.2.1, Theorem 4.2.2). The six operations are then assembled from the étale and proper p-bounded cases — $j_!$ for étale maps, $f_*$ for proper maps, with base change and projection formula — using the abstract framework of geometric setups and universal !-descent (Theorem 4.3.3).

What would settle it

Produce a v-hypercover $S_{\bullet} \to S$ of perfectoid spaces (over $\mathbb{F}_p$ or, in the untilted case, over $\mathbb{Z}_p$) for which the canonical functor $D^a_{\hat{\square}}(O^{+}_{S}) \to \lim_{n} D^a_{\hat{\square}}(O^{+}_{S_n})$ fails to be an equivalence; such a counterexample would falsify Theorem 3.1.2 and, with it, the extension of $D_{[0,\infty)}$ to arbitrary small v-stacks.

Watch

Extended reading notes

Core claim

The paper's central claim is that there exists a 6-functor formalism $S \mapsto D_{[0,\infty)}(S)$ on the category of small v-stacks, with $\mathbb{Z}_p$-linear coefficients, satisfying hypercomplete v-descent, and agreeing on a nice perfectoid space $S$ with the category $D_{\hat{\square}}(Y_{[0,\infty),S})$ of modified solid quasi-coherent sheaves on the relative Fargues–Fontaine curve. The formalism is constructed so that every smooth morphism of analytic adic spaces over $\mathbb{Q}_p$ is cohomologically smooth with $f^{!}(1) = 1(d)[2d]$, and the arithmetic morphism $\mathrm{Spd}(\mathbb{Q}_p)/\phi^{\mathbb{Z}} \to \mathrm{Spd}(\mathbb{F}_p)$ is cohomologically smooth and proper with dualizing complex $\mathrm{RH}_{\mathbb{Z}_p}(\chi_{\mathrm{cycl}})[2]$. On the derived category $D_{\mathrm{FF}}(S,\mathbb{Q}_p) = D_{(0,\infty)}(S/\phi^{\mathbb{Z}})$ one obtains a fully faithful Riemann–Hilbert embedding of nuclear overconvergent $\mathbb{Q}_p$-sheaves, hence of pro-étale $\mathbb{Q}_p$-local systems, and proper smooth pushforwards send dualizable objects to dualizable objects. The announced consequences are Poincaré duality and finiteness for pro-étale $\mathbb{Q}_p$-cohomology of smooth rigid-analytic varieties, formulated on the v-site and matching the earlier computations for the affine line and the rank-two local system on $\mathbb{P}^1$ once cohomology is read through the functor $\sigma_{\mathbb{Q}_p}$ into Banach–Colmez spaces.

Load-bearing premise

The whole construction rests on the hypercomplete v-descent theorem for the sheaf of categories $D^a_{\hat{\square}}(O^{+}_{(-)})$ on perfectoid spaces (Theorem 3.1.2, proved in the authors' prior work); if that theorem had a gap, the extension of $D_{[0,\infty)}$ from perfectoid spaces to all small v-stacks would collapse.

Editorial extensions

If this is right

  • Every smooth proper rigid-analytic variety $X$ over a complete algebraically closed extension of $\mathbb{Q}_p$ has the property that the derived pushforward of a dualizable object (e.g. a pro-étale $\mathbb{Q}_p$-local system) is a relative Banach–Colmez space, with Poincaré duality $f_* L^{\vee}(d)[2d]$.
  • Smooth morphisms of analytic adic spaces over $\mathbb{Q}_p$ are cohomologically smooth with explicit dualizing complex $1(d)[2d]$, giving Poincaré duality on the v-site for partially proper smooth rigid spaces.
  • The map $\mathrm{Spd}(\mathbb{Q}_p)/\phi^{\mathbb{Z}} \to \mathrm{Spd}(\mathbb{F}_p)$ is cohomologically smooth and proper with cyclotomic dualizing complex $\mathrm{RH}_{\mathbb{Z}_p}(\chi_{\mathrm{cycl}})[2]$, yielding arithmetic duality statements for smooth rigid spaces over finite extensions of $\mathbb{Q}_p$.
  • The Riemann–Hilbert functors identify the category of nuclear overconvergent $\mathbb{Q}_p$-sheaves (including pro-étale $\mathbb{Q}_p$-local systems) fully faithfully inside $D_{\mathrm{FF}}$, so pro-étale cohomology of such sheaves is computed by the new six operations.
  • The formalism makes sense on stacks such as $\mathrm{Spd}(\mathbb{F}_p)$, $\mathrm{Div}^1$, and $\mathrm{Bun}_G$ without choosing a pseudo-uniformizer, providing a first batch of examples toward a p-adic analogue of the Langlands geometrization program.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • An implicit consequence is that the failure of pro-étale $\mathbb{Q}_p$-cohomology to satisfy base change in the classical sense is not a defect of the new theory: base change must be formulated on the level of the Fargues–Fontaine curve, where the relative curve over $S$ remembers the characteristic-$p$ geometry that the field of coefficients forgets.
  • A testable extension the paper leaves open is to compute $D_{[0,\infty)}(\mathrm{Bun}_G)$ for a reductive group $G$ and check whether a spectral action similar to the $\ell$-adic case can be constructed; the examples in Section 6.3 are first steps in that direction.
  • The mod-$p$ discussion in Section 5.5 suggests that the v-sheaf $\sigma_{\mathbb{F}_p}$ becomes fully faithful only after passing to a $\pi$-completed almost category or after inverting a certain idempotent algebra $A$; computing $\sigma_{\mathbb{F}_p}(A)$ and checking whether it equals the structure sheaf $O$ would test the proposed analogy with analytic Riemann–Hilbert.
  • If Theorem 5.4.1 extends beyond nuclear objects, the same argument would give comparison of internal Homs for a larger class of solid quasi-coherent complexes, which may be needed for families of $(\phi,\Gamma)$-modules with general coefficients.
Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Referee Report

3 major / 5 minor

Summary. The paper develops a 6-functor formalism D_[0,∞)(−) with Z_p-linear coefficients on small v-stacks, obtained by v-descent from modified solid quasi-coherent sheaves on relative Fargues–Fontaine curves. The main theorem asserts hypercomplete v-descent, agreement with D_hat_square(Y_[0,∞),S) on perfectoid spaces, cohomological smoothness for smooth morphisms and for Spd(Q_p)/φ^Z, and an explicit dualizing complex. The authors also construct Riemann–Hilbert functors from nuclear overconvergent Z_p- and Q_p-sheaves into D_FF, and derive finiteness and Poincaré duality statements for pro-étale Q_p-cohomology of rigid-analytic varieties, together with examples related to Fargues–Scholze geometrization. Sections 2 and 3 develop the auxiliary D^a_hat_square(O^+_{(−)}) formalism; Section 4 constructs D_[0,∞); Section 5 establishes the bridge to v-sheaves; Section 6 gives applications.

Significance. If correct, this is a major advance: it provides a p-adic analogue of the ℓ-adic 6-functor formalism on v-stacks, explains the appearance of Banach–Colmez spaces in pro-étale Q_p-cohomology, and yields new duality and finiteness statements. The paper is very detailed and reduces heavily to established work of the authors and others, namely [4], [38], [24], and [9]. The proofs contain long, intricate computations, especially in Theorem 4.5.1 and Section 5.4, but I found no internal inconsistency. The dependence on [4, Theorem 1.1] is explicit and is not circular; it is an external-citation risk rather than a discovered flaw. The inclusion of a remark that a forced gap in an earlier version was identified is commendable, though the text should state clearly whether and where that gap is resolved.

major comments (3)
  1. [Definition 4.2.5, Remark 4.2.6(ii)] The categories D_FF(S,Z_p):=D_[0,∞)(S/φ^Z) and D_FF(S,Q_p):=D_(0,∞)(S/φ^Z) are defined using a quotient S/φ^Z that, as the authors note, takes values in 2-groupoids and therefore falls outside the scope of the v-sheaf extension in Definition 4.2.3. The remark asserts that D_[0,∞)(−) can be extended to small v-stacks of anima 'without substantial problems', but no construction, universal property, or verification of hyperdescent is supplied. This is load-bearing because Theorem 1.2.1(v), Theorem 1.2.4, Theorem 4.4.6, and Theorem 5.1.7 all use D_FF. The paper should either prove the claimed extension to 2-groupoids, define D_FF by an explicit simplicial-limit formula over the quotient, or state clearly that the main theorems are asserted for this extended formalism and give a precise reference for the extension mechanism.
  2. [Theorem 5.4.1 and Proposition 5.4.12] The proof of Theorem 5.4.1, which is the bridge to duality for v-sheaf-valued cohomology, rests on the claim that σ_{Q_p} commutes with countable limits of nuclear objects. Proposition 5.4.12 reduces this to a finite Tor-dimension assertion for the morphisms Y_{I,S'}→Y_{I,S}, but the reduction is only sketched: the text states that 'using [4, Corollary 2.26] one can check' finite Tor dimension and that after base change to Z_{p,∞} 'one has an almost isomorphism'. Given the intricacy of the functional-analytic results invoked from [9] and the fact that Theorem 5.4.1 is used to derive the main duality statements, this proof should be expanded so that the reader can verify the Tor-dimension claim and the equality of the two limits in the final paragraph of the proof.
  3. [Theorem 3.1.2 / Theorem 1.2.1(ii)] The entire extension from perfectoid spaces to arbitrary small v-stacks depends on the hypercomplete v-descent theorem for D^a_hat_square(O^+_{(−)}), quoted as [4, Theorem 1.1] and recalled as Theorem 3.1.2. This is an explicit and unavoidable external dependency. I do not regard it as circular, since [4] is prior work independent of the formalism constructed here. However, because a hidden gap there would invalidate Theorem 1.2.1(ii), the introduction or a footnote should state prominently that the main theorem is conditional on the validity of [4, Theorem 1.1] as an established result, so that readers are not misled about the provenance of this key input.
minor comments (5)
  1. [Acknowledgements] The sentence thanking Wiesława Nizioł for pointing out a gap in an earlier version should indicate where in the current text that gap is closed, or at least state that the final version addresses it; otherwise a reader cannot verify that the acknowledgment refers to a resolved issue.
  2. [Proof of Theorem 4.4.4] The displayed computation 'Γ(Γ, ~A) = [ ~A^{γ−1}→~A] = ...' appears twice in immediate succession; one copy should be deleted.
  3. [Example 1.1.1] The notation O(X)/C(−1) is ambiguous: it could mean the quotient of O(X) by the one-dimensional subspace corresponding to C(−1), or a tensor product with C(−1). Please clarify the intended meaning.
  4. [Remark 5.3.2(i)] The notation D(S_v,Z_p) is used both for the category of arbitrary v-sheaves and for its full subcategory of hypercomplete v-sheaves. The remark notes the distinction, but it would be clearer to use different notation for the two categories or to state once that only hypercomplete sheaves are used from then on.
  5. [Throughout] There are several typographical errors, including 'finitene ss' in the abstract and 'with coefficients' in the introduction; a careful proofreading pass is recommended.

Circularity Check

0 steps flagged · score 0.0 of 10

No circular derivation found; the cited prior descent theorems are independent support rather than inputs equivalent to the target formalism.

full rationale

Walking the derivation chain, the construction S |-> D_[0,infty)(S) is not made equivalent to its own inputs. Theorem 4.2.2 builds the hypercomplete v-descent sheaf by composing the hypercomplete v-sheaf from [4, Theorem 1.1], recalled as Theorem 3.1.2, with Lemma 4.2.1's equivalence to Mod_{Zp,infty}(D_hatsquare(Y_[0,infty),S)) and then descending along Zp -> Zp,infty. The cited theorem is a prior, parameter-free descent result for D^a_hatsquare(O^+_(-)) on perfectoid spaces; its assumptions do not include D_[0,infty) or any conclusion of Theorem 1.2.1, so invoking it is external evidence rather than circular import. The 6-functor formalisms in Theorems 3.2.8 and 4.3.3 are assembled from base-change and projection-formula inputs (Proposition 3.1.9, Lemmas 3.2.1-3.2.2, Lemmas 4.3.1-4.3.2) by the formal machinery of [24]; the Riemann-Hilbert functors in Theorem 5.1.7 are constructed by explicit endomorphism-object computations, not by assuming the duality consequences. The explicit dualizing complex identifications, such as Theorems 4.4.4, 4.4.6, and 4.5.1, are genuine calculations. The paper does rely heavily on the authors' own prior work [4] and [38], and this reliance is load-bearing for v-descent; however, those prior results are independent theorems with stated assumptions that do not include the target formalism and are not derived from it here. No step was found where a fitted quantity is renamed as a prediction, nor where a known result is repackaged as new under new coordinates. The acknowledged gap in an earlier version is an internal caution, not a circular step, and the final text's reductions are internally detailed.

Assumptions & free parameters 0 free parameters · 5 assumptions · 0 invented entities

No free parameters are fitted. The paper relies on standard higher-algebraic tools and on prior results in p-adic geometry, several due to the same authors but established independently. No new physical or postulated mathematical entities are introduced.

assumptions (5)
  • standard math Infty-categorical framework and condensed mathematics (presentable stable categories, D(Z)-enriched Hom, solid modules)
    Used throughout; fixed in Notations and conventions.
  • domain assumption Hypercomplete v-descent for D_a_hat_Delta(O^+_(-)) on perfectoid spaces ([4, Theorem 1.1], recalled as Theorem 3.1.2)
    Load-bearing for extending the formalism from perfectoid spaces to arbitrary small v-stacks in Section 4.2.
  • standard math Abstract 6-functor formalism framework of [24] (geometric setups, !-able maps, f-suave objects)
    Used as a black box to construct the 6-functor formalisms in Theorems 3.2.8 and 4.3.3.
  • domain assumption Known properties of the relative Fargues-Fontaine curve (sousperfectoid, stably uniform, proper discontinuity of Frobenius) from [19] and [45]
    Needed for D_hat_Delta(Y_{[0,infty),S}) to be defined and for analytic descent arguments in Section 4.1.
  • domain assumption Classification of vector bundles on the Fargues-Fontaine curve and Artin-Schreier-Witt theory over the integral Robba ring
    Used in the proof of the Riemann-Hilbert functors (Section 5.1) and to identify dualizable objects.

how reviews work

0 comments
Cite this review

Pith. "Pith review of A 6-functor formalism for solid quasi-coherent sheaves on the Fargues-Fontaine curve." pith.science (2026). https://pith.science/paper/LC7WWSRS

@misc{pith2026241220968,
  author       = {Pith},
  title        = {Pith review of: A 6-functor formalism for solid quasi-coherent sheaves on the Fargues-Fontaine curve},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/LC7WWSRS}},
  note         = {Machine review of arXiv:2412.20968}
}
abstract

We develop a 6-functor formalism $\mathcal{D}_{[0,\infty)}(-)$ with $\mathbb{Z}_p$-linear coefficients on small v-stacks, and discuss consequences for duality and finiteness for pro-\'etale cohomology of rigid-analytic varieties of general pro-\'etale $\mathbb{Q}_p$-local systems as well as first examples motivated by a potential $p$-adic analog of Fargues-Scholze's geometrization program of the local Langlands correspondence.

Discussion (0). Continue with ORCID to comment.

Forward citations

Cited by 3 Pith papers

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

  1. Topological Vector Spaces

    math.AG 2025-09 conditional novelty 6.0 of 10

    A condensed version of the Topological Vector Spaces category is introduced, and fully faithful embeddings from algebraic p-adic vector spaces and from perfect complexes on the Fargues–Fontaine curve are proven.

  2. Categorical K\"unneth formulas for analytic stacks

    math.AG 2025-07 conditional novelty 6.0 of 10

    A categorical Künneth formula is proven for analytic stacks using 6-functor formalisms, yielding new Tannakian reconstruction and p-adic Drinfeld lemma results.

  3. Compactly supported $p$-adic pro-\'etale cohomology of analytic varieties

    math.AG 2025-01 conditional novelty 6.0 of 10

    Defines compactly supported p-adic pro-étale cohomology for partially proper rigid analytic varieties and proves a stable-range comparison with syntomic cohomology.

Reference graph

Works this paper leans on

57 extracted references · 36 canonical work pages · cited by 3 Pith papers

  1. [4]

    Anschütz and L

    J. Anschütz and L. Mann. Descent for solid quasi-coheren t sheaves on perfectoid spaces

    work page

  2. [38]

    L. Mann. A p-Adic 6-Functor Formalism in Rigid-Analytic Geometry. 2022. Prep rint. A vailable athttps://arxiv.org/pdf/2206.02022.pdf

    arXiv 2022

  3. [24]

    Heyer and L

    C. Heyer and L. Mann. Six functor formalisms and represe ntations, 2024. Preprint. A vailable athttps://arxiv.org/pdf/2410.13038. 83

    arXiv 2024

  4. [9]

    G. Bosco. On the p-adic pro-étale cohomology of Drinfeld symmetric spaces. 2 021. Preprint. A vailable at https://arxiv.org/abs/2110.10683

    arXiv

  5. [1]

    Andreychev

    G. Andreychev. Pseudocoherent and perfect complexes an d vector bundles on analytic adic spaces. 2021. Preprint. A vailable at https://arxiv.org/abs/2105.12591

    arXiv 2021

  6. [2]

    Anschütz, I

    J. Anschütz, I. Gleason, J. Lourenço, and T. Richarz. On t he p-adic theory of local models. 2022. Preprint. A vailable at https://arxiv.org/abs/2201.01234

    arXiv 2022

  7. [3]

    Anschütz and A.-C

    J. Anschütz and A.-C. Le Bras. A Fourier transform for Ban ach-Colmez spaces. 2021. Preprint. A vailable at https://arxiv.org/abs/2111.11116

    arXiv 2021

  8. [5]

    K. Aoki. The sheaves-spectrum adjunction. 2023. Prepri nt. A vailable at https://arxiv.org/abs/2302.04069

    arXiv 2023

Show all 57 references
  1. [6]

    Barwick, S

    C. Barwick, S. Glasman, and D. Nardin. Dualizing cartesi an and cocartesian fibrations. Theory & Applications of Categories , 33(4):67–94, 2018. 82

    2018

  2. [7]

    Bhatt and D

    B. Bhatt and D. Hansen. The six functors for Zariski-cons tructible sheaves in rigid geometry. Compositio Mathematica, 158(2):437–482, 2022

    2022

  3. [8]

    Bhatt and P

    B. Bhatt and P. Scholze. Prisms and prismatic cohomology . Annals of Mathematics , 196(3):1135–1275, 2022

    2022

  4. [10]

    G. Bosco. Rational p-adic Hodge theory for rigid-analytic varieties. 2023. Pre print. A vailable athttps://arxiv.org/abs/2306.06100

    2023 arXiv

  5. [11]

    Clausen and P

    D. Clausen and P. Scholze. Lectures on Complex Geometry , 2022. https://people.mpim-bonn.mpg.de/scholze/Complex.pdf

    2022

  6. [12]

    P. Colmez. Fonctions d’une variable p-adique. Astérisque, 330(13-59):9–29, 2010

    2010

  7. [13]

    Colmez, G

    P. Colmez, G. Dospinescu, J. Hauseux, and W. Nizioł. p-a dic étale cohomology of period domains. Mathematische Annalen, 381(1):105–180, 2021

    2021

  8. [14]

    Colmez, G

    P. Colmez, G. Dospinescu, and W. Nizioł. Factorisation de la cohomologie étale p-adique de la tour de Drinfeld. In Forum of Mathematics, Pi , volume 11, page e16. Cambridge University Press, 2023

    2023

  9. [15]

    Colmez, S

    P. Colmez, S. Gilles, and W. Nizioł. Arithmetic duality for p-adic pro-étale cohomology of analytic curves. 2023. Preprint. A vailable at https://arxiv.org/abs/2308.07712

    2023 arXiv

  10. [16]

    Colmez, S

    P. Colmez, S. Gilles, and W. Nizioł. Duality for p-adic geometric pro-étale cohomology I: a Fargues-Fontaine avatar. 2024. Preprint. A vailable at https://arxiv.org/pdf/2411.12163

    2024

  11. [17]

    Colmez and W

    P. Colmez and W. Nizioł. On the cohomology of the affine spa ce. In p-adic Hodge Theory, pages 71–80. Springer, 2020

    2020

  12. [18]

    Emerton, T

    M. Emerton, T. Gee, and E. Hellmann. An introduction to t he categorical p-adic Lang- lands program. 2022. Preprint. A vailable at https://arxiv.org/abs/2210.01404

    2022

  13. [19]

    Fargues and P

    L. Fargues and P. Scholze. Geometrization of the local L anglands correspondence. 2021. Preprint. A vailable at https://arxiv.org/abs/2102.13459

    2021 arXiv

  14. [20]

    Gulotta, D

    D. Gulotta, D. Hansen, and J. Weinstein. An enhanced six -functor for- malism for diamonds and v-stacks. 2022. Preprint. A vailabl e at https://arxiv.org/pdf/2202.12467.pdf

    2022 arXiv

  15. [21]

    D. Hansen. Vanishing and comparison theorems in rigid a nalytic geometry. Compositio Mathematica, 156(2):299–324, 2020

    2020

  16. [22]

    Hansen and L

    D. Hansen and L. Mann. p-adic sheaves on classifying stacks, and the p- adic Jacquet-Langlands correspondence. 2022. Preprint. A vailable at https://arxiv.org/pdf/2207.04073.pdf

    2022 arXiv

  17. [23]

    H. Heine. An equivalence between enriched ∞-categories and ∞-categories with weak action. Advances in Mathematics , 417:108941, 2023

    2023

  18. [25]

    S. Howe. A unipotent circle action on p-adic modular forms. Transactions of the American Mathematical Society, Series B , 7(6):186–226, 2020

    2020

  19. [26]

    Ishimura

    R. Ishimura. Homomorphismes du faisceau des germes de f onctions holomorphes dans lui-même et opérateurs différentiels. Memoirs of the Faculty of Science, Kyushu Univer- sity. Series A, Mathematics , 32(2):301–312, 1978

    1978

  20. [27]

    Kedlaya, J

    K. Kedlaya, J. Pottharst, and L. Xiao. Cohomology of ari thmetic families of (ϕ, Γ) - modules. Journal of the American Mathematical Society , 27(4):1043–1115, 2014

    2014

  21. [28]

    K. S. Kedlaya and R. Liu. Relative p-adic Hodge theory: foundations. Astérisque, (371):239, 2015

    2015

  22. [29]

    K. S. Kedlaya and R. Liu. Finiteness of cohomology of loc al systems on rigid analytic spaces. 2016. Preprint. A vailable at https://arxiv.org/pdf/1611.06930

    2016 arXiv

  23. [30]

    K.-W. Lan, R. Liu, and X. Zhu. de Rham comparison and Poin caré duality for rigid varieties. Peking Mathematical Journal , 6(1):143–216, 2023

    2023

  24. [31]

    A.-C. Le Bras. Espaces de Banach–Colmez et faisceaux co hérents sur la courbe de Fargues–Fontaine. Duke Math. J. , 167(18):3455–3532, 2018

    2018

  25. [32]

    S. Li, E. Reinecke, and B. Zavyalov. Relative Poincaré d uality in nonarchimedean geometry. 2024. Preprint. A vailable at https://arxiv.org/abs/2410.08200

    2024 arXiv

  26. [33]

    Z. Li. Duality for arithmetic p-adic pro-étale cohomology of analytic spaces. 2024. Preprint. A vailable at https://arxiv.org/pdf/2412.11786

    2024 arXiv

  27. [34]

    R. Liu. Cohomology and duality for ( ϕ, Γ )-modules over the Robba ring. International Mathematics Research Notices , 2007(9):rnm150, 2007

    2007

  28. [35]

    J. Lurie. Higher Algebra. A vailable at https://people.math.harvard.edu/~lurie/papers/HA.pdf

  29. [36]

    J. Lurie. Higher Topos Theory (AM-170) . Princeton University Press, 2009

    2009

  30. [37]

    L. Mann. The 6-Functor Formalism for Zℓ-and Qℓ-sheaves on Diamonds. Preprint. Available at https: // arxiv. org/ abs/ 2209. 08135, 2022

    2022

  31. [39]

    A. Mathew. The Galois group of a stable homotopy theory. Advances in Mathematics , 291, 2016

    2016

  32. [40]

    Y. Mikami. (ϕ, Γ) -modules over relatively discrete algebras. 2024. Preprin t. A vailable at https://arxiv.org/abs/2409.14145

    2024

  33. [41]

    Mondal and E

    S. Mondal and E. Reinecke. On postnikov completeness fo r replete topoi. arXiv preprint arXiv:2210.14146, 2022

    2022 arXiv

  34. [42]

    Rodrigues Jacinto and J

    J. Rodrigues Jacinto and J. Rodríguez Camargo. Solid lo cally analytic representations of p-adic lie groups. Representation Theory of the American Mathematical Societ y, 26(31):962–1024, 2022

    2022

  35. [43]

    Rodrigues Jacinto and J

    J. Rodrigues Jacinto and J. E. Rodríguez Camargo. Solid locally analytic representa- tions. 2023. Preprint. A vailable at https://arxiv.org/abs/2305.03162. 84

    2023 arXiv

  36. [44]

    J. E. Rodríguez Camargo. The analytic de Rham stack in ri gid geometry. 2024. Preprint. A vailable at https://arxiv.org/abs/2401.07738

    2024 arXiv

  37. [45]

    P. Scholze. Geometrization of the real local Langlands correspondence (draft version, used for argos seminar)

  38. [46]

    P. Scholze. Perfectoid spaces: A survey. In Current Developments in Mathematics , 2012

    2012

  39. [47]

    P. Scholze. p-adic Hodge theory for rigid-analytic varieties. Forum of Mathematics, Pi , 1:e1, 2013

    2013

  40. [48]

    P. Scholze. On the p-adic cohomology of the Lubin-Tate t ower. In Annales Scientifiques de l’E.N.S. , volume 51, pages 811–863, 2018

    2018

  41. [49]

    P. Scholze. p-adic geometry. In Proceedings of the International Congress of Mathe- maticians: Rio de Janeiro 2018 , pages 899–933. World Scientific, 2018

    2018

  42. [50]

    P. Scholze. Étale cohomology of diamonds. Preprint. A v ailable at https://arxiv.org/pdf/1709.07343, 2018

    2018 arXiv

  43. [51]

    P. Scholze. Lectures on Analytic Geometry, 2020. https://www.math.uni-bonn.mpg.de/people/scholze/Ana lytic.pdf

    2020

  44. [52]

    Scholze and J

    P. Scholze and J. Weinstein. Berkeley lectures on p-adic geometry. Annals of Math Studies, 207, 2020

    2020

  45. [53]

    Stacks Project

    The Stacks Project Authors. Stacks Project . http://stacks.math.columbia.edu, 2018

    2018

  46. [54]

    Zavyalov

    B. Zavyalov. Mod- p Poincaré duality in p-adic analytic geometry. 2021. Preprint. A vailable athttps://arxiv.org/abs/2111.01830

    2021 arXiv

  47. [55]

    M. Zhang. A PEL-type Igusa stack and the p-adic geometry of Shimura varieties. 2023. Preprint. A vailable at https://arxiv.org/pdf/2309.05152

    2023 arXiv

  48. [56]

    Zillinger

    F. Zillinger. Schematic descent for the analytic stack of isocrystals. 2024. Master Thesis, University of Bonn. 85

    2024

  49. [2024]

    A vailable at https://arxiv.org/abs/2403.01951

    Preprint. A vailable at https://arxiv.org/abs/2403.01951

    arXiv

Pith tools

Reviewed August 10, 2026 · model on record in the stance chip above.