pith. sign in

arxiv: 2305.03162 · v4 · submitted 2023-05-04 · 🧮 math.RT · math.NT

Solid locally analytic representations

Joaqu\'in Rodrigues Jacinto , Juan Esteban Rodr\'iguez Camargo This is my paper

Pith reviewed 2026-05-24 08:27 UTC · model grok-4.3

classification 🧮 math.RT math.NT
keywords solid representationslocally analytic representationsp-adic Lie groupsquasi-coherent moduleslocally analytic distributionsp-adic Langlands correspondenceclassifying stacks
0
0 comments X

The pith

The category of solid locally analytic representations of a compact p-adic Lie group is equivalent to that of quasi-coherent modules over its algebra of locally analytic distributions.

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

The paper develops p-adic representation theory of p-adic Lie groups on solid vector spaces over complete non-archimedean extensions of Q_p. It defines categories of solid, solid locally analytic and solid smooth representations. It proves that for compact groups the solid locally analytic representations are equivalent to quasi-coherent modules over the algebra of locally analytic distributions. This generalizes the Schneider-Teitelbaum theorem. For general groups it gives an equivalence to quasi-coherent sheaves on a locally analytic classifying stack and extends earlier cohomological comparisons, with an application to the locally analytic p-adic Langlands correspondence for GL_1.

Core claim

The category of solid locally analytic representations of a compact p-adic Lie group is equivalent to that of quasi-coherent modules over its algebra of locally analytic distributions, generalizing a classical result of Schneider and Teitelbaum. For arbitrary G, an equivalence between solid locally analytic representations and quasi-coherent sheaves over certain locally analytic classifying stack over G is proved. The paper also extends cohomological comparison results to arbitrary groups, generalizing Lazard and Casselman-Wigner.

What carries the argument

The algebra of locally analytic distributions of the group, which realizes the equivalence by serving as the base ring whose quasi-coherent modules correspond to the solid locally analytic representations.

If this is right

  • The result generalizes the classical Schneider-Teitelbaum theorem to the solid setting.
  • For arbitrary groups, solid locally analytic representations correspond to quasi-coherent sheaves on a locally analytic classifying stack.
  • Cohomological comparison results extend from compact groups over Q_p to arbitrary groups, generalizing Lazard and Casselman-Wigner.
  • The framework yields an application to the locally analytic p-adic Langlands correspondence for GL_1.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • The solid setting may allow handling of analytic representations without separate smoothness conditions.
  • The classifying stack equivalence could be applied to study representations of non-compact groups in related contexts.
  • The approach might support extensions of the p-adic Langlands correspondence to additional groups.

Load-bearing premise

The definitions of solid vector spaces over a complete non-archimedean extension of Q_p and the construction of the algebra of locally analytic distributions permit the stated category equivalences to hold for the groups considered.

What would settle it

A compact p-adic Lie group together with an explicit solid locally analytic representation that cannot be identified with any quasi-coherent module over the algebra of locally analytic distributions would disprove the equivalence.

read the original abstract

We develop the $p$-adic representation theory of $p$-adic Lie groups on solid vector spaces over a complete non-archimedean extension of $\mathbb{Q}_p$. More precisely, we define and study categories of solid, solid locally analytic and solid smooth representations. We show that the category of solid locally analytic representations of a compact $p$-adic Lie group is equivalent to that of quasi-coherent modules over its algebra of locally analytic distributions, generalizing a classical result of Schneider and Teitelbaum. For arbitrary $G$, we prove an equivalence between solid locally analytic representations and quasi-coherent sheaves over certain locally analytic classifying stack over $G$. We also extend our previous cohomological comparison results from the case of a compact group defined over $\mathbb{Q}_p$ to the case of an arbitrary group, generalizing results of Lazard and Casselman-Wigner. Finally, we study an application to the locally analytic $p$-adic Langlands correspondence for $\mathrm{GL}_1$.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

1 major / 0 minor

Summary. The manuscript develops the p-adic representation theory of p-adic Lie groups on solid vector spaces over a complete non-archimedean extension of Q_p. It defines categories of solid, solid locally analytic, and solid smooth representations. For a compact p-adic Lie group G, it claims an equivalence between the category of solid locally analytic representations and the category of quasi-coherent modules over the algebra of locally analytic distributions, generalizing Schneider-Teitelbaum. For arbitrary G it claims an equivalence to quasi-coherent sheaves on a locally analytic classifying stack. It extends prior cohomological comparison results to arbitrary groups (generalizing Lazard and Casselman-Wigner) and studies an application to the locally analytic p-adic Langlands correspondence for GL_1.

Significance. If the stated equivalences and extensions hold with the given definitions of solid vector spaces and distribution algebras, the work would supply a direct generalization of classical results to the solid setting and could supply new tools for the p-adic Langlands program. No machine-checked proofs or parameter-free derivations are indicated.

major comments (1)
  1. [Abstract] Abstract: the central claims consist of asserted equivalences and extensions whose derivations, error controls, and verification steps are not supplied in the available text; the soundness of the category equivalences therefore cannot be checked from the given material.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for their review. The major comment concerns the abstract's presentation of results; we clarify that the full manuscript supplies the requested derivations.

read point-by-point responses

  1. Referee: [Abstract] Abstract: the central claims consist of asserted equivalences and extensions whose derivations, error controls, and verification steps are not supplied in the available text; the soundness of the category equivalences therefore cannot be checked from the given material.

    Authors: The abstract is a concise summary of the main theorems. The full manuscript contains complete proofs of all claimed equivalences: the equivalence of solid locally analytic representations of compact G with quasi-coherent modules over the locally analytic distribution algebra (generalizing Schneider-Teitelbaum) is proved in Section 3 with explicit functor constructions and inverse equivalences; the equivalence to quasi-coherent sheaves on the locally analytic classifying stack for general G is established in Section 4 via descent and stack-theoretic arguments; and the extensions of the cohomological comparisons (Lazard, Casselman-Wigner) appear in Section 5 with explicit chain maps and spectral sequence comparisons. All steps include the necessary verifications for the solid topology and non-archimedean coefficients. revision: no

Circularity Check

0 steps flagged

No significant circularity; main result is independent generalization of external theorem

full rationale

The paper defines solid locally analytic representations and proves an equivalence to quasi-coherent modules over the distribution algebra, explicitly generalizing the Schneider-Teitelbaum result for compact p-adic Lie groups. The abstract and structure present this as a direct categorical equivalence enabled by the new solid vector space definitions, with no equations or constructions that reduce the claimed equivalence to a fit, renaming, or self-referential definition. The single mention of extending the authors' own prior cohomological results is peripheral to the central equivalence and does not bear the load of the main claims; those prior results are treated as established background rather than an unverified self-citation chain. The derivation remains self-contained against the cited external classical results and does not exhibit any of the enumerated circularity patterns.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

Abstract-only review supplies no explicit free parameters, axioms, or invented entities; all such items remain unidentified.

pith-pipeline@v0.9.0 · 5701 in / 1000 out tokens · 33488 ms · 2026-05-24T08:27:25.599675+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

What do these tags mean?
matches
The paper's claim is directly supported by a theorem in the formal canon.
supports
The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends
The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses
The paper appears to rely on the theorem as machinery.
contradicts
The paper's claim conflicts with a theorem or certificate in the canon.
unclear
Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Forward citations

Cited by 3 Pith papers

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

  1. The $p$-adic monodromy theorem over algebraic-affinoid algebras

    math.NT 2026-04 unverdicted novelty 7.0

    The p-adic monodromy theorem holds for families of G_K-equivariant vector bundles over the Fargues-Fontaine curve parametrized by algebraic-affinoid Q_p-algebras, enabling classification of line bundles without freene...

  2. A Jacquet-Langlands functor for $p$-adic locally analytic representations

    math.NT 2024-11 unverdicted novelty 6.0

    Proves independence of locally analytic vectors from G and G_b actions in dual infinite-level local Shimura varieties and deduces commutation properties for the p-adic Jacquet-Langlands functor plus isomorphism of de ...

  3. Locally analytic completed cohomology

    math.NT 2022-08 unverdicted novelty 6.0

    Computes the geometric Sen operator on arbitrary Shimura varieties via equivariant bundles and the Hodge-Tate period map, yielding rational vanishing of completed cohomology.

Reference graph

Works this paper leans on

26 extracted references · 26 canonical work pages · cited by 3 Pith papers

  1. [1]

    Pseudocoherent and perfect complexes and vector bundles on analytic adic spaces

    Grigory Andreychev. Pseudocoherent and perfect complexes and vector bundles on analytic adic spaces. https://arxiv.org/abs/2105.12591, 2021

    work page arXiv 2021

  2. [2]

    Lectures on C ondensed M athematics

    Dustin Clausen and Peter Scholze. Lectures on C ondensed M athematics. https://www.math.uni-bonn.de/people/scholze/Condensed.pdf, 2019

    work page 2019

  3. [3]

    Lectures on A nalytic G eometry

    Dustin Clausen and Peter Scholze. Lectures on A nalytic G eometry. https://www.math.uni-bonn.de/people/scholze/Analytic.pdf, 2020

    work page 2020

  4. [4]

    Condensed M athematics and C omplex G eometry

    Dustin Clausen and Peter Scholze. Condensed M athematics and C omplex G eometry. https://people.mpim-bonn.mpg.de/scholze/Complex.pdf, 2022

    work page 2022

  5. [5]

    Continuous cohomology and a conjecture of Serre 's

    William Casselman and David Wigner. Continuous cohomology and a conjecture of Serre 's. Invent. Math. , 25:199--211, 1974

    work page 1974

  6. [6]

    An introduction to the categorical p -adic L anglands program, 2023

    Matthew Emerton, Toby Gee, and Eugen Hellmann. An introduction to the categorical p -adic L anglands program, 2023

    work page 2023

  7. [7]

    Locally analytic vectors in representations of locally p -adic analytic groups

    Matthew Emerton. Locally analytic vectors in representations of locally p -adic analytic groups. Mem. Amer. Math. Soc. , 248(1175):iv+158, 2017

    work page 2017

  8. [8]

    Continuous group cohomology with coefficients in locally analytic vectors of admissible Q _p - B anach space representations

    Paulina Fust. Continuous group cohomology with coefficients in locally analytic vectors of admissible Q _p - B anach space representations. https://arxiv.org/abs/2302.08369, 2023

    work page arXiv 2023

  9. [9]

    Roe Goodman and Nolan R. Wallach. Symmetry, representations, and invariants , volume 255 of Grad. Texts Math. New York, NY: Springer, 2009

    work page 2009

  10. [10]

    The cohomology of locally analytic representations

    Jan Kohlhaase. The cohomology of locally analytic representations. J. Reine Angew. Math. , 651:187--240, 2011

    work page 2011

  11. [11]

    T. Y. Lam. Lectures on modules and rings , volume 189 of Graduate Texts in Mathematics . Springer-Verlag, New York, 1999

    work page 1999

  12. [12]

    Groupes analytiques p -adiques

    Michel Lazard. Groupes analytiques p -adiques. Inst. Hautes \' E tudes Sci. Publ. Math. , (26):389--603, 1965

    work page 1965

  13. [13]

    Higher topos theory , volume 170 of Ann

    Jacob Lurie. Higher topos theory , volume 170 of Ann. Math. Stud. Princeton, NJ: Princeton University Press, 2009

    work page 2009

  14. [14]

    Higher algebra

    Jacob Lurie. Higher algebra. 2017

    work page 2017

  15. [15]

    The 6-functor formalism for z_ - and q_ -sheaves on diamonds

    Lucas Mann. The 6-functor formalism for z_ - and q_ -sheaves on diamonds. https://arxiv.org/abs/2209.08135, 2022

    work page arXiv 2022

  16. [16]

    A p - A dic 6- F unctor F ormalism in R igid- A nalytic G eometry

    Lucas Mann. A p -adic 6-functor formalism in rigid-analytic geometry. https://arxiv.org/abs/2206.02022, 2022

    work page arXiv 2022

  17. [17]

    The Galois group of a stable homotopy theory

    Akhil Mathew. The Galois group of a stable homotopy theory. Adv. Math. , 291:403--541, 2016

    work page 2016

  18. [18]

    Solid locally analytic representations of p -adic L ie groups, 2021

    Joaqu\'in Rodrigues Jacinto and Juan Esteban Rodr\'iguez Camargo. Solid locally analytic representations of p -adic L ie groups, 2021

    work page 2021

  19. [19]

    Tannaka duality for arbitrary Hopf algebras , volume 66 of Algebra-Ber

    Peter Schauenburg. Tannaka duality for arbitrary Hopf algebras , volume 66 of Algebra-Ber. M \"u nchen: R. Fischer, 1992

    work page 1992

  20. [20]

    Nonarchimedean functional analysis

    Peter Schneider. Nonarchimedean functional analysis . Springer Monographs in Mathematics. Springer-Verlag, Berlin, 2002

    work page 2002

  21. [21]

    Six- F unctor F ormalisms

    Peter Scholze. Six- F unctor F ormalisms. https://people.mpim-bonn.mpg.de/scholze/SixFunctors.pdf, 2023

    work page 2023

  22. [22]

    Algebras of p -adic distributions and admissible representations

    Peter Schneider and Jeremy Teitelbaum. Algebras of p -adic distributions and admissible representations. Invent. Math. , 153(1):145--196, 2003

    work page 2003

  23. [23]

    Duality for admissible locally analytic representations

    Peter Schneider and Jeremy Teitelbaum. Duality for admissible locally analytic representations. Represent. Theory , 9:297--326, 2005

    work page 2005

  24. [24]

    The stacks project

    The Stacks project authors . The stacks project. https://stacks.math.columbia.edu, 2022

    work page 2022

  25. [25]

    On an analytic version of L azard's isomorphism

    Georg Tamme. On an analytic version of L azard's isomorphism. Algebra Number Theory , 9(4):937--956, 2015

    work page 2015

  26. [26]

    Charles A. Weibel. An introduction to homological algebra , volume 38 of Cambridge Studies in Advanced Mathematics . Cambridge University Press, Cambridge, 1994

    work page 1994