Pith. sign in

REVIEW 3 major objections 4 minor 2 cited by

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

T0 review · 3 major / 4 minor · reviewed 2026-08-11 · deepseek-v4-flash

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

Pith's one-line read The paper proves that arithmetic p-adic pro-étale cohomology of smooth partially proper rigid analytic spaces satisfies Poincaré duality, as conjectured by Colmez, Gilles, and Nizioł.

desk verdict A serious, carefully written proof of the Colmez-Gilles-Nizioł duality in full generality, but its central quasi-isomorphism rests on two external preprints that need independent checking before the result can be taken as unconditionally established. read the letter →

arxiv 2412.11786 v3 pith:T4NJ5CPX submitted 2024-12-16 math.AG math.NT

Zhenghui Li This is my paper · ORCID
classification math.AGmath.NT MSC 14F3014G2211S25
keywords p-adicpro-étalecohomologyarithmeticdualityrigidanalyticspacesFargues-FontainecurvealmostCp-representationsGaloisdescentsyntomiccondensedmathematics
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

The paper proves a conjecture of Colmez, Gilles, and Nizioł: for a smooth partially proper rigid analytic space $X$ over a finite extension of $\mathbb{Q}_p$, geometrically irreducible of dimension $d$, the arithmetic trace pairing makes the p-adic pro-étale cohomology $\mathrm{R}\Gamma_{\mathrm{pro\acute{e}t}}(X,\mathbb{Q}_p(j))$ dual to the compactly supported cohomology $\mathrm{R}\Gamma_{\mathrm{pro\acute{e}t},c}(X,\mathbb{Q}_p(d+1-j))[2d+2]$ in the derived category of solid $\mathbb{Q}_p$-vector spaces. For Stein spaces, the statement is stronger: the cohomology groups $H^i_{\mathrm{pro\acute{e}t}}(X,\mathbb{Q}_p(j))$ are nuclear Fréchet spaces, the compactly supported groups $H^i_{\mathrm{pro\acute{e}t},c}(X,\mathbb{Q}_p(j))$ are of compact type, and the pairing induces isomorphisms $H^i_{\mathrm{pro\acute{e}t}}(X,\mathbb{Q}_p(j)) \simeq H^{2d+2-i}_{\mathrm{pro\acute{e}t},c}(X,\mathbb{Q}_p(d+1-j))^*$ in each degree. The proof does not compute directly as in the one-dimensional case; instead it descends a geometric Poincaré duality for syntomic sheaves on the Fargues-Fontaine curve (the p-adic period curve parameterizing untilts of $\mathbb{C}_p^\flat$) to arithmetic duality using Fontaine's theory of almost $\mathbb{C}_p$-representations. If correct, the result settles the missing higher-dimensional case of the conjecture and gives the expected topological shape of the cohomology.

What carries the argument

The mechanism is a pair of dualities linked by Galois descent. On the Fargues-Fontaine curve $\mathrm{FF}$, the syntomic sheaves $\mathcal{E}_{\mathrm{syn}}$ and $\mathcal{E}_{\mathrm{syn},c}$ are $G_K$-equivariant nuclear sheaves, built by gluing Hyodo-Kato and de Rham sheaves, and they satisfy a geometric Poincaré duality $\mathcal{E}_{\mathrm{syn}}(X_{\mathbb{C}_p},\mathbb{Q}_p(r)) \simeq \mathrm{R}\mathcal{H}om_{\mathrm{FF}}(\mathcal{E}_{\mathrm{syn},c}(X_{\mathbb{C}_p},\mathbb{Q}_p(r'))[2d], \mathcal{O}\otimes\mathbb{Q}_p(s))$; the paper then proves a local Tate duality identifying $\mathrm{R}\Gamma(G_K,\mathrm{R}\mathcal{H}om_{\mathrm{FF}}(\mathcal{E}_{\mathrm{syn},c}(X_{\mathbb{C}_p},\mathbb{Q}_p(r)),\mathcal{O}_{\mathrm{FF}}\otimes\mathbb{Q}_p(1)))$ with the derived dual of $\mathrm{R}\Gamma(G_K,\mathrm{R}\Gamma^B_{\mathrm{pro\acute{e}t},c}(X_{\mathbb{C}_p},r)[2])$. The descent uses Fontaine's equivalence between coherent sheaves on the algebraic Fargues-Fontaine curve and almost $\mathbb{C}_p$-representations, together with condensed solid functional analysis to control nuclear Fréchet and compact-type topologies, and the Hochschild-Serre spectral sequence with syntomic comparison isomorphisms.

What would settle it

Compute both sides of the degree-wise duality $H^i_{\mathrm{pro\acute{e}t}}(X,\mathbb{Q}_p(j)) \simeq H^{2d+2-i}_{\mathrm{pro\acute{e}t},c}(X,\mathbb{Q}_p(d+1-j))^*$ for a higher-dimensional Stein space such as the $d$-dimensional open unit polydisk over $K$; if any degree $i$ and twist $j$ fail to give an isomorphism, the central claim collapses.

Watch

Extended reading notes

Core claim

Let $K$ be a finite extension of $\mathbb{Q}_p$ and let $X$ be a smooth partially proper rigid analytic space over $K$, geometrically irreducible of dimension $d$. The paper establishes that the arithmetic trace map induces a duality quasi-isomorphism $\gamma_{\mathrm{pro\acute{e}t}}: \mathrm{R}\Gamma_{\mathrm{pro\acute{e}t}}(X,\mathbb{Q}_p(j)) \simeq D_{\mathbb{Q}_p}(\mathrm{R}\Gamma_{\mathrm{pro\acute{e}t},c}(X,\mathbb{Q}_p(d+1-j))[2d+2])$ in the derived category of solid $\mathbb{Q}_p$-vector spaces, exactly the duality conjectured in [8]. When $X$ is Stein, the cohomology groups $H^i_{\mathrm{pro\acute{e}t}}(X,\mathbb{Q}_p(j))$ are nuclear Fréchet, the compactly supported groups $H^i_{\mathrm{pro\acute{e}t},c}(X,\mathbb{Q}_p(j))$ are of compact type, and the pairing induces isomorphisms of solid $\mathbb{Q}_p$-vector spaces $H^i_{\mathrm{pro\acute{e}t}}(X,\mathbb{Q}_p(j)) \simeq H^{2d+2-i}_{\mathrm{pro\acute{e}t},c}(X,\mathbb{Q}_p(d+1-j))^*$ and its reverse. The route is a Galois descent: the syntomic complexes are lifted to $G_K$-equivariant nuclear sheaves on the Fargues-Fontaine curve, where a geometric duality (Theorem 4.17, quoted from the companion paper [9]) identifies the syntomic sheaf with the internal Hom of the compactly supported one; then the paper proves a local Tate duality for the compactly supported syntomic sheaf (Theorem 4.18) and combines it with comparison isomorphisms to obtain the quasi-isomorphism.

Load-bearing premise

The proof imports the geometric duality on the Fargues-Fontaine curve (Theorem 4.17 from the companion paper [9]) as a black box, and separately assumes that Galois cohomology can be read as derived Homs in Fontaine's category of almost $\mathbb{C}_p$-representations even though the relevant functor may not be fully faithful.

Editorial extensions

If this is right

  • The conjecture of Colmez, Gilles, and Nizioł is settled for all smooth partially proper rigid analytic spaces over finite extensions of $\mathbb{Q}_p$, not only for curves.
  • For Stein spaces, the duality is an isomorphism of topological vector spaces: nuclear Fréchet cohomology is the strong dual of compact-type cohomology, so no higher derived functors appear when taking duals.
  • The proof exhibits a reusable route from geometric duality on the Fargues-Fontaine curve to arithmetic duality by Galois descent, suggesting the same descent works whenever a geometric duality and a local Tate duality are available.
  • The dagger affinoid version (Corollary 4.30) extends the duality to smooth dagger affinoid varieties over $K$.

Reading between the lines

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

  • If the imported geometric duality of [9] and the Fontaine descent are sound, the same argument should carry over to families or to $\mathbb{Z}_p$ and mod $p$ coefficients once the corresponding geometric and local dualities are established.
  • A negative resolution of the full-faithfulness question in Remark 4.22 would not necessarily disprove Theorem 1.1, but it would force a different proof of the local Tate duality step.
  • The trace map is pinned down only up to a nonzero constant (Lemma 4.28); fixing the constant could matter for applications that need the exact normalization, such as special-value formulas.
  • The connection to the six-functor formalism for solid quasi-coherent sheaves on the Fargues-Fontaine curve noted in Remark 1.5 suggests the derived duality could eventually follow from a general six-functor formalism rather than from the specific syntomic computations here.
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 / 4 minor

Summary. The paper claims to prove the Colmez--Gilles--Nizio{\l} conjecture on arithmetic $p$-adic pro-\'etale duality for smooth partially proper rigid analytic spaces over a finite extension $K$ of $\mathbb{Q}_p$. For a geometrically irreducible space $X$ of dimension $d$, the main theorem asserts a duality quasi-isomorphism in $D(Q_p,\square)$ between $R\Gamma_{\mathrm{pro\'et}}(X,Q_p(j))$ and $D_{Q_p}(R\Gamma_{\mathrm{pro\'et},c}(X,Q_p(d+1-j))[2d+2])$, plus, for Stein spaces, precise topological statements: the cohomology groups are nuclear Fr\'echet spaces (resp. spaces of compact type) and satisfy the corresponding dualities. The proof develops a topological analysis of these cohomology groups via Hochschild--Serre spectral sequences and comparison theorems, and then deduces the arithmetic duality from a geometric duality for syntomic sheaves on the Fargues--Fontaine curve together with Fontaine's theory of almost $C_p$-representations and Galois descent.

Significance. If correct, the paper resolves a conjecture that was previously known only for analytic curves, and it does so by a well-structured reduction to geometric duality on the Fargues--Fontaine curve. The topological statements about nuclear Fr\'echet and compact-type cohomology are of independent interest. A notable strength is that the paper clearly identifies the external ingredients on which the proof rests, rather than hiding them. However, the central arithmetic duality is conditional on two such ingredients: the geometric duality theorem imported from the unpublished preprint [9] and the Galois-descent identification in Section 4.3, which is accompanied by an explicitly conceded subtlety about fullness of a functor between derived categories. These dependencies substantially affect the degree to which the main theorem is presently established.

major comments (3)
  1. [Section 4.2.5, Theorem 4.17 and Eq. (4.7)] The quasi-isomorphism (4.7), which is the geometric Poincar\'e duality for syntomic sheaves on the Fargues--Fontaine curve, is imported verbatim from [9, Theorem 5.22], an unpublished preprint by the same research group. The present paper does not reprove it. Since (4.7) is used in Eq. (4.27) as the essential bridge from geometric to arithmetic duality, the main theorem is conditional on the correctness of [9]. The author should either include a proof of (4.7) or explicitly state that the main theorem depends on a verifiable version of [9] (for example, a published or accepted version). As it stands, the central claim of the paper is not self-contained in this load-bearing aspect.
  2. [Section 4.3, Remark 4.22 and Eqs. (4.10)--(4.12)] The proof of Proposition 4.24, and consequently of Theorem 4.18 and the central quasi-isomorphism (4.27), relies on the chain of identifications (4.10)--(4.12), which pass through the equivalence $D^b(M(G_K)) \simeq D^b(C(G_K))$ and Lemma 4.21. The author explicitly states in Remark 4.22 that the natural functor $D^b(C(G_K)) \to D(Q_p,\square[G_K])$ may not be fully faithful. This is a load-bearing gap: if that functor is not fully faithful, a morphism in $D(Q_p,\square[G_K])$ need not come from a morphism in $D^b(C(G_K))$, and the identification of the duality pairing with the pairing on $\mathrm{RHom}_{M(G_K)}$ is not automatic. The last sentences of the proofs of Proposition 4.24 and Theorem 4.27 assert compatibility with the cup-product pairing, but no proof is supplied at the level of derived categories. The author should either prove the needed fullness or give a direct verification that the morphism $\gamma^r_{\mathrm{syn}}$ coincides, after the identifications (4.10)--(4.12), with the pairing that defines the arithmetic trace map. Without this, the quasi-isomorphism (4.27) is not established.
  3. [Section 4.3, Lemma 4.21] Lemma 4.21 is stated as a direct consequence of Theorem 4.20 and Lemma 3.3, but the argument is compressed into a single sentence. Since this lemma is used to pass from condensed group cohomology to Yoneda Ext in $C(G_K)$ for complexes, and since the surrounding remarks identify a real subtlety about the derived inclusion $D^b(C(G_K)) \to D(Q_p,\square[G_K])$, a fuller proof is needed. In particular, the lemma should justify that the hyperext groups of a bounded complex of almost $C_p$-representations are computed by the condensed group cohomology of the same complex, and that the finiteness conditions in Theorem 4.20(1) apply to hyperext groups. This is part of the same unresolved compatibility issue as in the previous comment, but it deserves to be treated explicitly.
minor comments (4)
  1. [Throughout, Section 1] The paper uses the term "Stein space" without giving a definition or a precise reference; since the notion is central, a definition or a pointer to the convention in [8] would help the reader.
  2. [Section 3.1, Theorem 3.5] In the proof of Theorem 3.5, the notation $"H^i_{\mathrm{pro\'et}}(X_n,Q_p(j))"$ is used before the spectral sequence (3.4) is introduced; the reader has to infer that these are condensed pro-\'etale cohomology groups, as defined in [8, Definition 4.1]. Adding a short reminder would improve readability.
  3. [Section 4.3, Eq. (4.10)] Equation (4.10) contains a typographical error: the middle term should be $\mathrm{Hom}_{D^b(M(G_K))}(F,G[n])$, not the printed version with a missing parenthesis.
  4. [Section 4.3.1, Proposition 4.24] In the proof of Proposition 4.24, the phrase "the Galois cohomology groups are finite rank over $Q_p$" is used before the finiteness of $R^k\Gamma(G_K, HK^i_{c,B}(X_n,C,r))$ has been explicitly established; the reader must supply the argument from Theorem 4.20(1) and the vector-bundle structure. A short justification would be helpful.

Circularity Check

0 steps flagged · score 0.0 of 10

No circularity: the arithmetic duality is derived from a distinct geometric duality on the Fargues-Fontaine curve, not assumed as input.

full rationale

The paper's central quasi-isomorphism (1.3) is derived in (4.27) by combining the syntomic/pro-étale comparison Proposition 4.16, the geometric Poincaré duality for syntomic sheaves imported as Theorem 4.17 from [9, Theorem 5.22], and the local Tate duality Theorem 4.18, which is proved in Sections 4.3.1–4.3.3 via Hyodo-Kato and de Rham dualities. None of these ingredients is the target arithmetic duality: Theorem 4.17 concerns GK-equivariant sheaves on the Fargues-Fontaine curve rather than pro-étale cohomology over K, and Theorem 4.18 is a separate quasi-isomorphism that the paper proves, not an assumption. No parameter is fitted to the target statement, and no conclusion is a renamed version of an input. The reliance on [9] is a dependence on an external preprint from the same research school, but it is not circular derivation: the cited theorem's assumptions do not include the target result, and it is independently meaningful. Remark 4.22 concedes a full-faithfulness caveat in the passage from C(G_K) to D(Q_p, [G_K]); this is an important technical limitation, but it is an openly stated gap in the proof strategy, not a circular step. The same applies to the use of Fontaine's equivalence [15, Theorem A] and Lemma 4.21. The paper is conditional on external inputs, but it does not reduce its target conclusion to itself by construction.

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

No free parameters or new entities are introduced; this is a proof in pure mathematics. The ledger records the background theorems the argument leans on: condensed and solid foundations, Fontaine's almost C_p-representation formalism, and the Fargues-Fontaine geometric duality of [9]. The heaviest and least independently verified input is [9, Theorem 5.22], which is cited rather than proven.

assumptions (5)
  • standard math The Clausen-Scholze condensed mathematics framework, solid analytic rings (Z_□, K_□), condensed group cohomology and solid nuclearity are used throughout.
    Used from Section 2 onward; the paper works in D(Qp,□) and computes Galois cohomology as condensed group cohomology.
  • domain assumption Smooth partially proper rigid analytic spaces are separated and countable at infinity, and admit countable Stein covers by adapted naive interiors.
    Stated in the Notations section and used in the reductions in Theorem 3.5, Theorem 3.8, and Corollary 4.29.
  • domain assumption Fontaine's almost C_p-representation theory and the equivalence RΓ(FF_alg, -): D^b(M(GK)) ≃ D^b(C(GK)) of [15, Theorem A] are valid.
    Used in Proposition 4.24 through (4.10)-(4.12); the paper quotes Theorem 4.23 from [15] and extends it to a triangulated equivalence.
  • domain assumption The Poincaré duality for syntomic sheaves on the Fargues-Fontaine curve, quoted as [9, Theorem 5.22] and restated as Theorem 4.17, is valid.
    This is the geometric input from which the arithmetic duality is descended; it is not reproven in this paper.
  • domain assumption The derived limit and colimit interchanges used to pass from the finite-rank objects on X_n to the Stein limit X are valid.
    Propositions 4.24 and 4.26 pass to limits over naive interiors X_n; the bookkeeping is sketched rather than fully written out.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Duality for Arithmetic $p$-adic Pro-\'etale Cohomology of Analytic Spaces." pith.science (2026). https://pith.science/paper/T4NJ5CPX

@misc{pith2026241211786,
  author       = {Pith},
  title        = {Pith review of: Duality for Arithmetic $p$-adic Pro-\'etale Cohomology of Analytic Spaces},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/T4NJ5CPX}},
  note         = {Machine review of arXiv:2412.11786}
}
abstract

Let $K$ be a finite extension of $\mathbb{Q}_p$. We prove that the arithmetic $p$-adic pro-\'etale cohomology of smooth partially proper spaces over $K$ satisfies a duality, as conjectured by Colmez, Gilles and Nizio{\l}. We derive it from the geometric duality on the Fargues-Fontaine curve by Galois descent techniques of Fontaine.

Discussion (0). Continue with ORCID to comment.

Forward citations

Cited by 2 Pith papers

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

  1. 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.

  2. 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

26 extracted references · 17 canonical work pages · cited by 2 Pith papers

  1. [9]

    Duality forp-adic geometric pro-´ etale cohomology I: a Fargues-Fontaine avatar

    Pierre Colmez, Sally Gilles, and Wies lawa Nizio l. Duality forp-adic geometric pro-´ etale cohomology I: a Fargues-Fontaine avatar. arXiv preprint arXiv:2411.12163 , 2024

    arXiv 2024

  2. [1]

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

    Piotr Achinger, Sally Gilles, and Wies lawa Nizio l. Compactly supported p-adic pro-´ etale cohomol- ogy of analytic varieties. arXiv preprint arXiv:2501.13651 , 2025

    work page Pith review arXiv 2025

  3. [5]

    Rational p-adic Hodge theory for rigid-analytic varieties

    Guido Bosco. Rational p-adic Hodge theory for rigid-analytic varieties. arXiv preprint arXiv:2306.06100, 2023

    arXiv 2023

  4. [15]

    Almost Cp-Galois representations and vector bundles

    Jean-Marc Fontaine. Almost Cp-Galois representations and vector bundles. Tunisian Journal of Mathematics, 2(3):667–732, 2019

    work page 2019

  5. [2]

    Pseudocoherent and perfect complexes and vector bundles on analytic adic spaces

    Grigory Andreychev. Pseudocoherent and perfect complexes and vector bundles on analytic adic spaces. arXiv preprint arXiv:2105.12591 , 2021

    arXiv 2021

  6. [3]

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

    Johannes Ansch¨ utz, Arthur-C´ esar Le Bras, and Lucas Mann. A 6-functor formalism for solid quasi- coherent sheaves on the Fargues-Fontaine curve. arXiv preprint arXiv:2412.20968 , 2024

    arXiv 2024

  7. [4]

    On the p-adic pro-´ etale cohomology of Drinfeld symmetric spaces

    Guido Bosco. On the p-adic pro-´ etale cohomology of Drinfeld symmetric spaces. arXiv preprint arXiv:2110.10683, 2021

    arXiv 2021

  8. [6]

    The analytic de Rham stack in rigid geometry.arXiv preprint arXiv:2401.07738, 2024

    Juan Esteban Rodr ´ ıguez Camargo. The analytic de Rham stack in rigid geometry.arXiv preprint arXiv:2401.07738, 2024

    arXiv 2024

Show all 26 references
  1. [7]

    Cohomology of p-adic Stein spaces

    Pierre Colmez, Gabriel Dospinescu, and Wies lawa Nizio l. Cohomology of p-adic Stein spaces. Inventiones mathematicae, 219(3):873–985, 2020

    2020

  2. [8]

    Arithmetic duality for p-adic pro-´ etale cohomol- ogy of analytic curves

    Pierre Colmez, Sally Gilles, and Wies lawa Nizio l. Arithmetic duality for p-adic pro-´ etale cohomol- ogy of analytic curves. arXiv preprint arXiv:2308.07712 , 2023

    2023 arXiv

  3. [10]

    On the cohomology of p-adic analytic spaces, I: The basic comparison theorem

    Pierre Colmez and Wies lawa Nizio l. On the cohomology of p-adic analytic spaces, I: The basic comparison theorem. Journal of Algebraic Geometry , 34, 07 2024

    2024

  4. [11]

    On the cohomology of p-adic analytic spaces, II: The Cst- conjecture

    Pierre Colmez and Wies lawa Nizio l. On the cohomology of p-adic analytic spaces, II: The Cst- conjecture. arXiv preprint arXiv:2108.12785 , 2024

    2024 arXiv

  5. [12]

    Courbes et fibr´ es vectoriels en th´ eorie de hodge p-adique.Ast´ erisque, 406:1–382, 2018

    Laurent Fargues, Jean Marc Fontaine, and pr´ eface de Pierre Colmez. Courbes et fibr´ es vectoriels en th´ eorie de hodge p-adique.Ast´ erisque, 406:1–382, 2018

    2018

  6. [13]

    Geometrization of the local Langlands correspondence

    Laurent Fargues and Peter Scholze. Geometrization of the local Langlands correspondence. arXiv preprint arXiv:2102.13459, 2021

    2021 arXiv

  7. [14]

    Presque Cp-repr´ esentations.On the occasion of Kazuya Kato’s fiftieth an- niversary, Doc

    Jean-Marc Fontaine. Presque Cp-repr´ esentations.On the occasion of Kazuya Kato’s fiftieth an- niversary, Doc. Math. 2003, Extra Vol. , page 285

    2003

  8. [16]

    Finiteness of de Rham cohomology in rigid analysis

    Elmar Grosse-Kl¨ onne. Finiteness of de Rham cohomology in rigid analysis. Duke Mathematical Journal, 113(1):57 – 91, 2002

    2002

  9. [17]

    Categories and sheaves

    Masaki Kashiwara and Pierre Schapira. Categories and sheaves. Springer-Verlag Berlin Heidelberg, 2006. Duality for Arithmetic p-adic Pro-´ etale Cohomology of Analytic Spaces 31

    2006

  10. [18]

    A p-adic 6-functor formalism in Rigid-Analytic geometry

    Lucas Mann. A p-adic 6-functor formalism in Rigid-Analytic geometry. arXiv preprint arXiv:2206.02022, 2022

    2022 arXiv

  11. [19]

    Locally convex spaces over non- Archimedean valued fields

    Cristina Perez-Garcia and Wilhelmus Hendricus Schikhof. Locally convex spaces over non- Archimedean valued fields. Cambridge University Press, 2010

    2010

  12. [20]

    Derived categories for functional analysis

    Fabienne Prosmans. Derived categories for functional analysis. Publications of the Research Insti- tute for Mathematical Sciences , 36(1):19–83, 2000

    2000

  13. [21]

    Solid locally analytic representations of p-adic Lie groups

    Joaqu ´ ın Rodrigues Jacinto and Juan Rodr ´ ıguez Camargo. Solid locally analytic representations of p-adic Lie groups. Representation Theory of the American Mathematical Society, 26(31):962–1024, 2022

    2022

  14. [22]

    Nonarchimedean functional analysis

    Peter Schneider. Nonarchimedean functional analysis. Springer Science & Business Media, 2013

    2013

  15. [23]

    Locally analytic distributions and p-adic representation theory, with applications to GL 2

    Peter Schneider and Jeremy Teitelbaum. Locally analytic distributions and p-adic representation theory, with applications to GL 2. Journal of the American Mathematical Society , 15(2):443–468, 2002

    2002

  16. [24]

    Condensed mathematics

    Peter Scholze. Condensed mathematics. Lecture notes based on joint work with D. Clausen. Avail- able at Scholze’s webpage , 2019

    2019

  17. [25]

    Lectures on analytic geometry

    Peter Scholze. Lectures on analytic geometry. URl: https://www. math. uni-bonn. de/peo- ple/scholze/Analytic. pdf, 2019

    2019

  18. [26]

    The stacks project

    The Stacks project authors. The stacks project. https://stacks.math.columbia.edu, 2024. IMJ-PRG, Sorbonne Universit ´e, 4 place Jussieu, 75005 Paris, France E-mail address : zhenghuili@imj-prg.fr

    2024

Pith tools

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