Pith. sign in

REVIEW 3 major objections 3 minor 65 references

Bernstein-Zelevinsky duality for locally analytic principal series representations

T0 review · 3 major / 3 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 For locally analytic principal series of $p$-adic groups, the Bernstein--Zelevinsky dual is computed explicitly as $F^G_B(M(\lambda)^\vee,\chi_{\mathrm{sm}}^{-1})[-d]$.

desk verdict Strong paper with a real result in the dominant chamber, but the main theorem as stated is wider than the proof establishes. read the letter →

arxiv 2501.04850 v2 pith:DRNSKMWK submitted 2025-01-08 math.RT math.NT

Matthias Strauch , Zhixiang Wu This is my paper · ORCID
classification math.RTmath.NT MSC 22E5014G22
keywords Bernstein-Zelevinskydualitylocallyanalyticrepresentationsp-adicLiegroupsprincipalseriesVermamodulespatchingeigenvarietiesrigidD-modules
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 computes the Bernstein--Zelevinsky dual of locally analytic principal series representations of split reductive $p$-adic groups, in the case of integral weights. It shows that the dual of $F^G_B(M,\chi_{\mathrm{sm}})$, the locally analytic representation attached to a module $M$ in the BGG category with algebraic weights and to a smooth character of the torus, is again of the same form: it is built from the BGG-dual $\operatorname{Hom}_E(M,E)^{n_\infty}_B$ and from $\chi_{\mathrm{sm}}^{-1}$, with a degree shift by the rank $d$. In the principal-series case this gives $D_{BZ}(\operatorname{Ind}_B^G\chi)\simeq F^G_B(M(\lambda)^\vee,\chi_{\mathrm{sm}}^{-1})[-d]$, where $M(\lambda)^\vee$ is the dual Verma module of the weight of $\chi$. The same calculation yields compatibility with Grothendieck--Serre duality of the coherent sheaves attached to such representations on patched eigenvarieties. The point is that an expected categorical duality becomes an explicit, computable statement.

What carries the argument

The load-bearing object is the Kohlhaase--Schraen resolution: a Koszul complex $\wedge^\bullet \mathfrak h^d\otimes_{\mathfrak h}\operatorname{c-Ind}_I^G W$ built from Iwahori--Hecke operators on a compactly induced representation, which resolves $F^G_B(M,\chi_{\mathrm{sm}})$. The paper's duality lemma shows that applying $D^0_{BZ}=\operatorname{RHom}_G(-,\mathcal C^la_c(G,E))$ to this Koszul complex produces the same exterior-algebra complex with the dual module and a shift by $d$. The remaining surjectivity is supplied by a completion theorem for dual Verma modules, $\widehat U(\mathfrak g)\otimes_{U(\mathfrak g)}M(\lambda)^\vee\to \mathcal C^{\mathrm{an}}(N,E)$, proved for integral antidominant $\lambda$ via localization of $\widehat D$-modules on the flag variety.

What would settle it

For $G=\mathrm{SL}_2$, take a character weight $\lambda\in\mathbb{Q}_p$ that is not of positive type, for example a $p$-adic Liouville number, and test whether every series $\sum_i a_i x^i$ in $\mathcal C^{\mathrm{an}}(N,E)$ with $|a_i|_p\to 0$ lies in the image of $\widehat U(\mathfrak g)\otimes_{U(\mathfrak g)}M(\lambda)^\vee$. One such series outside the image disproves the surjectivity on which Proposition 3.11 and the resolutions (1.6), Theorem 3.21 and Theorem 5.6 depend.

Watch

Extended reading notes

Core claim

On the paper's own terms, the central discovery is a representation-level duality formula: for every $M$ in the BGG category $\mathcal O^b_{\mathrm{alg}}$ and every smooth character $\chi_{\mathrm{sm}}$, there is a quasi-isomorphism between the Bernstein--Zelevinsky dual of $F^G_B(M,\chi_{\mathrm{sm}})$ and $F^G_B(\operatorname{Hom}_E(M,E)^{n_\infty}_B,\chi_{\mathrm{sm}}^{-1}[-d])$. The proof realizes the dual as the continuous dual of a Kohlhaase--Schraen Koszul resolution of $F^G_B(M,\chi_{\mathrm{sm}})$, identifies that dual complex with a resolution of the expected representation, and proves the needed surjectivity by a rigid-analytic Beilinson--Bernstein localization statement for dual Verma modules. A sheaf-level version says that for the patching construction, $D_{\mathrm{GS}}(A^{\mathrm{rig}}_\infty(\pi))\simeq \eta^*A'^{\mathrm{rig}}_\infty(D_{BZ}(\pi))$, so the representation duality is mirrored by Grothendieck--Serre duality on patched eigenvarieties.

Load-bearing premise

The whole computation rests on the surjectivity of the completion map from the Arens--Michael envelope of the enveloping algebra acting on a dual Verma module onto the space of rigid analytic functions on the unipotent radical; this is established only for integral weights, and the authors state in Remark 1.11 that it is genuinely unknown for weights that are not $p$-adically non-Liouville, already for $\mathrm{SL}_2$.

Editorial extensions

If this is right

  • The dual of a principal series is explicit: $D_{BZ}(\operatorname{Ind}_B^G\chi)\simeq F^G_B(M(\lambda)^\vee,\chi_{\mathrm{sm}}^{-1})[-d]$.
  • The representation-level duality is compatible with Grothendieck--Serre duality on patched eigenvarieties: $D_{\mathrm{GS}}(A^{\mathrm{rig}}_\infty(\pi))\simeq \eta^*A'^{\mathrm{rig}}_\infty(D_{BZ}(\pi))$.
  • In the smooth case the formula recovers the classical Bernstein--Zelevinsky duality for smooth parabolic induction.
  • The calculation gives a concrete template for extending the duality to parabolic induction beyond the Borel case, as formulated in Conjecture 1.5.

Reading between the lines

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

  • If the integral-weight restriction is an artifact of the proof, the same dual-to-dual-Verma-module formula should hold for $p$-adically non-Liouville weights; a concrete test is to prove the completion surjectivity for such weights in the $\mathrm{SL}_2$ case.
  • The compatibility with Grothendieck--Serre duality suggests that $D_{BZ}$ is the functor that transports a local Langlands correspondence to the correspondence for the dual Galois representation; the paper shows this at the level of patched coherent sheaves but leaves the Langlands-level interpretation implicit.
  • One could use the same Koszul-complex duality to attack Conjecture 1.5 for a general parabolic $P$, once the analogue of the completion theorem for the nilradical $N_P$ is available.
  • A numerical or explicit $\mathrm{SL}_2$ calculation for a Liouville weight would map the exact boundary of the theorem and either confirm the expected failure or reveal a milder hypothesis.
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 / 3 minor

Summary. The paper studies the Bernstein-Zelevinsky duality for locally analytic principal series representations of split reductive p-adic groups. It constructs, for M in the BGG category O^b_alg and a smooth character χ_sm, a Koszul resolution of F^G_B(M,χ_sm) by compactly induced representations, and then identifies the dual complex with F^G_B(Hom_E(M,E)^{n∞}_B, DBZ(χ_sm)), where DBZ(χ_sm)=χ_sm^{-1}[-d]. The main technical step is a surjectivity statement for the map from a compactly induced representation attached to a dual Verma module to a principal series; this is proved via Ardakov-Wadsley localization and Bitoun-Bode direct images of coadmissible D-modules. The final section uses the solid formalism of locally analytic representations to define a global Bernstein-Zelevinsky duality functor and to derive a Grothendieck-Serre duality statement for coherent sheaves on abstract patched eigenvarieties.

Significance. If the main theorems hold in the stated generality, the paper provides a concrete and explicit verification of a duality predicted in the categorical p-adic Langlands program, and it links this representation-theoretic duality to Serre duality on patched eigenvarieties. The paper is valuable for its transparent use of the Kohlhaase-Schraen resolutions, the Ardakov-Wadsley localization machinery, and the solid formalism, and for its explicit treatment of examples such as SL2. The duality formula is not fitted or circular: DBZ is defined by a fixed formula and the results are checked against external benchmarks. The paper is also candid about the non-Liouville obstruction for general weights. However, as detailed below, the written proof establishes the main surjectivity only in a restricted chamber, while the main theorems are stated without that restriction.

major comments (3)
  1. [§3.4, Proposition 3.11; §4.3, Proposition 4.11; §1.2, Theorem 1.4; §3.5, Theorem 3.21; §5.1, Theorem 5.6] The central surjectivity statement is proved only in one Weyl chamber, but the main duality theorems are stated for all M in O^b_alg. Proposition 3.11 requires the character to have integral and antidominant weights, and its proof is reduced, through Lemma 3.13, to Proposition 4.11, whose hypothesis is that λ+ρ is dominant and integral. Propositions 3.9 and 3.10 do not supply a mechanism to pass from that chamber to arbitrary Verma modules or their BGG duals: Proposition 3.9 only propagates the statement along exact sequences, and length induction on a quotient of a Verma module starts from the chamber in which that Verma module lies. Thus the written proof does not justify Theorem 3.15, Theorem 3.21, or Theorem 5.6 for integral weights whose infinitesimal character is not dominant, even before any non-Liouville issue arises. This is a load-bearing gap that should be closed or explicitly excluded from the statements.
  2. [§3.4, proof of Theorem 3.15] The proof of Theorem 3.15 is a single sentence citing Proposition 3.11, Proposition 3.10, Proposition 3.9, and the snake lemma. For the ?=♮ resolutions, Proposition 3.9 provides only injections of the degree-zero homology into F^G_B(M,χ_sm), not surjectivity; surjectivity is established only for the special case of Proposition 3.11. The argument does not explain how the surjectivity for arbitrary M in O^b_alg follows, and this is precisely the missing step needed to identify the Koszul complex of W♮ with F^G_B(M,χ_sm).
  3. [§4.2, after Theorem 4.1] The assertion that 'λ+ρ is dominant with respect to b' is equivalent to 'w0(λ)-ρ = w0(λ+ρ) is dominant with respect to b' appears to be a sign error under the standard Weyl group action, since w0 sends dominant weights to antidominant weights. If a nonstandard convention is intended, it should be stated explicitly. This matters because Proposition 4.11's dominance hypothesis is the exact condition that controls which chamber is covered by the surjectivity proof.
minor comments (3)
  1. [§1.7 and §3.3] The notation τ(M)∨ is introduced in §1.7 and used in §3.3, but Theorem 3.21 and Theorem 5.6 write Hom_E(M,E)^{n∞} without the symbol τ; the two notations should be reconciled for the reader.
  2. [Abstract] The phrase 'We consider certain dual of the Kohlhaase-Schraen resolutions' should read 'a certain dual'; this is a minor grammatical issue.
  3. [Example 3.14] The sentence 'This holds at least for all λ∈Z' is terse; for the rank-one case it may be true for all integral weights, but the text does not explain why the argument does not extend the same way to higher-rank non-dominant integral weights. A brief comment here would help the reader see the precise role of dominance in the general proof.

Circularity Check

0 steps flagged · score 0.0 of 10

No circularity: the duality theorem is derived from independent analytic and homological inputs; the only flagged caveats are limitations, not circular reductions.

full rationale

The principal claim (Theorem 3.21, and its representation-level version Theorem 5.6) is not obtained by defining the output into the input. DBZ is defined once in Definition 5.4 by the internal Hom RHom_{E■[G]}(-,Cla_c(G,E)); the formula DBZ(χ_sm)=χ_sm^{-1}[-d] quoted in Theorem 1.3 is a computed value, not a definition used to force the theorem. The proof chain is: Lemma 3.19 identifies D0_BZ(c-Ind^G_I W) with c-Ind^G_I W^∨; Lemma 3.20 applies the autoduality of the Koszul complex, producing the shift [-d]; Lemma 3.17 identifies the transposed Hecke operator with the operator built from the dual module; and Theorem 3.15 then identifies the resulting complex with F^G_B(Hom_E(M,E)^{n∞}_B,χ_sm^{-1}). The hard input, Proposition 4.11, is an independent statement about completions of dual Verma modules, proved via Ardakov--Wadsley localization and Bitoun--Bode direct images; it is not the same as the duality being proved. Citations to the authors' earlier [OS15] supply the functor F^G_B and structural facts about distribution algebras; these are published, independent results and are not the target duality, so they do not constitute load-bearing self-citation. Remark 1.11 explicitly warns that the method is restricted to integral (or p-adically non-Liouville) weights and that the general case is unknown; this is a declared limitation, as is the dominance hypothesis in Proposition 4.11 relative to the unqualified statements of Theorems 1.3/3.15. Such a potential gap in transporting the integral-dominant surjectivity to all algebraic weights is a correctness concern, not a circular reduction: no equation is reused as its own conclusion, no parameter is fitted, and no uniqueness assertion of the authors is invoked to forbid alternatives. The paper is therefore self-contained against external benchmarks (Kohlhaase--Schraen, Ardakov--Wadsley, Schneider--Teitelbaum) for the part it actually proves.

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

No data-fitted constants appear; parameters such as n, r, h, and M are auxiliary choices, and λ is a fixed integral weight satisfying dominance hypotheses. The axioms are standard background results in BGG category O, Ardakov-Wadsley localization, b-function theory, solid locally analytic representations, and the abstract patching setup from the Taylor-Wiles method. The paper introduces no new particles, forces, dimensions, or conserved quantities.

assumptions (6)
  • standard math The BGG category O_b and its dual Verma modules, including the identification M(λ)∨ ≃ C^{pol}(N,E), behave as in [Hum08], [OS15], [Eme07].
    Invoked throughout Section 3 to attach dual Verma modules and interpret Hom_E(M,E)^{n∞}_B; used in Lemma 4.4 for localization.
  • standard math Ardakov-Wadsley localization for \hat{U}(g)-modules and coadmissible \hat{D}-modules ([AW13], [Ard21]) gives the equivalence used in Section 4.
    The proof of Proposition 4.11 relies on Theorem 4.1 and Lemma 4.3, imported from [AW13]; this is the main external tool.
  • standard math The b-function theorem of Mebkhout-Narváez-Macarro [MNM91] provides the Bernstein-Sato polynomial used in Lemma 4.10.
    Used to control convergence of series summing terms of the form p^{Mi} f^{-i} u in the completed Weyl algebra over a Tate algebra.
  • domain assumption Solid condensed locally analytic representations in [RJRC22], [RJRC23] make DBZ well-defined; in particular the adjunction in [RJRC23, Prop. 6.2.1] and the duality in [RJRC23, Prop. 3.1.12] are assumed.
    The entire derived formalism in Section 5 uses this framework; the paper does not re-prove it.
  • domain assumption The abstract patching data in Section 5.3 exist: M∞ is finite projective over S∞[[I]], and there is a Poincaré dual isomorphism Hom_{S∞[[I]]}(M∞, S∞[[I]]) ≃ M'∞, cited to [CEG+16] and [Din24, Cor. D.9].
    Theorem 5.13 is conditional on this patching setup; it is stated as an assumption at the start of Section 5.3.
  • domain assumption For integral weights λ+ρ dominant with respect to b, the direct image j_{w0,*}O_{X^0_{w0}} and its analytic completion j^{an}_*O_{N^an} are coadmissible over the relevant \hat{D}, following [BB21].
    This is the technical crux of Proposition 1.10; the authors state it is not known for general weights in Remark 1.11.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Bernstein-Zelevinsky duality for locally analytic principal series representations." pith.science (2026). https://pith.science/paper/DRNSKMWK

@misc{pith2026250104850,
  author       = {Pith},
  title        = {Pith review of: Bernstein-Zelevinsky duality for locally analytic principal series representations},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/DRNSKMWK}},
  note         = {Machine review of arXiv:2501.04850}
}
abstract

We consider certain dual of the Kohlhaase-Schraen resolutions for locally analytic principal series representations of $p$-adic Lie groups in the case of integral weights. The dual complexes calculate the expected Bernstein-Zelevinsky dual of the locally analytic representations and lead to the Grothendieck-Serre duality of coherent sheaves on patched eigenvarieties.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

65 extracted references · 52 canonical work pages

  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. arXiv:2105.12591 , 2021

    arXiv 2021

  2. [2]

    D -modules on rigid analytic spaces

    Konstantin Ardakov. D -modules on rigid analytic spaces . In Proceedings of the ICM , volume III, pages 1--9, 2014

    work page 2014

  3. [3]

    Equivariant D -modules on rigid analytic spaces

    Konstantin Ardakov. Equivariant D -modules on rigid analytic spaces. Ast \'e risque , 423, 2021

    work page 2021

  4. [4]

    p -adic deformations of arithmetic cohomology

    Avner Ash and Glenn Stevens. p -adic deformations of arithmetic cohomology. 2008

    work page 2008

  5. [5]

    On irreducible representations of compact p -adic analytic groups

    Konstantin Ardakov and Simon Wadsley. On irreducible representations of compact p -adic analytic groups. Annals of Mathematics , pages 453--557, 2013

    work page 2013

  6. [6]

    Combinatorics of Coxeter groups , volume 231

    Anders Bj \"o rner and Francesco Brenti. Combinatorics of Coxeter groups , volume 231. Springer, 2005

    work page 2005

  7. [7]

    Extending meromorphic connections to coadmissible D -modules

    Thomas Bitoun and Andreas Bode. Extending meromorphic connections to coadmissible D -modules . Journal für die reine und angewandte Mathematik (Crelle's Journal) , (778):97--118, 2021

    work page 2021

  8. [8]

    Notes of lectures on Representations of p-adic Groups

    Joseph Bernstein. Notes of lectures on Representations of p-adic Groups . 1992

    work page 1992

Show all 65 references
  1. [9]

    Wall-crossing functors and D -modules

    Alexander Beilinson and Victor Ginzburg. Wall-crossing functors and D -modules. Representation Theory of the American Mathematical Society , 3(1):1--31, 1999

    1999

  2. [10]

    A local model for the trianguline variety and applications

    Christophe Breuil, Eugen Hellmann, and Benjamin Schraen. A local model for the trianguline variety and applications. Publications math \'e matiques de l'IH \'E S , 130:299--412, 2019

    2019

  3. [11]

    Kazhdan-Lusztig conjecture and holonomic systems

    Jean-Luc Brylinski and Masaki Kashiwara. Kazhdan-Lusztig conjecture and holonomic systems . Inventiones mathematicae , 64(3):387--410, 1981

    1981

  4. [12]

    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:2110.10683 , 2021

    2021 arXiv

  5. [13]

    Rational p -adic Hodge theory for rigid-analytic varieties

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

    2023 arXiv

  6. [14]

    Vers le socle localement analytique pour GL _n II

    Christophe Breuil. Vers le socle localement analytique pour GL _n II . Mathematische Annalen , 361(3-4):741--785, 2015

    2015

  7. [15]

    Socle localement analytique I

    Christophe Breuil. Socle localement analytique I . Annales de l'Institut Fourier , 66(2):633--685, 2016

    2016

  8. [16]

    The analytic de Rham stack in rigid geometry

    Juan Esteban Rodr \' guez Camargo. The analytic de Rham stack in rigid geometry . arXiv:2401.07738 , 2024

    2024 arXiv

  9. [17]

    Completed cohomology—a survey

    Frank Calegari and Matthew Emerton. Completed cohomology—a survey. Non-abelian fundamental groups and Iwasawa theory , 393:239--257, 2012

    2012

  10. [18]

    Patching and the p -adic local Langlands correspondence

    Ana Caraiani, Matthew Emerton, Toby Gee, David Geraghty, Vytautas Pa s k \=u nas, and Sug Woo Shin. Patching and the p -adic local Langlands correspondence. Cambridge Journal of Mathematics , 4(2):197--287, 2016

    2016

  11. [19]

    Arithmetic duality for p -adic pro-\'etale cohomology of analytic curves

    Pierre Colmez, Sally Gilles, and Wies awa Nizio . Arithmetic duality for p -adic pro-\'etale cohomology of analytic curves . arXiv:2308.07712 , 2023

    2023 arXiv

  12. [20]

    Condensed mathematics and complex geometry

    Dustin Clausen and Peter Scholze. Condensed mathematics and complex geometry. Lecture notes, Bonn--Copenhagen , 2022

    2022

  13. [21]

    An Introduction to G -Functions , volume 133

    Bernard Dwork, Giovanni Gerotto, and Francis J Sullivan. An Introduction to G -Functions , volume 133. Princeton University Press, 2016

    2016

  14. [22]

    Towards the wall-crossing of the locally Q _p -analytic representations of GL_n(K) for a p -adic field K (with an appendix by Yiwen Ding, Yongquan Hu, Haoran Wang)

    Yiwen Ding. Towards the wall-crossing of the locally Q _p -analytic representations of GL_n(K) for a p -adic field K (with an appendix by Yiwen Ding, Yongquan Hu, Haoran Wang) . arXiv:2404.06315 , 2024

    2024 arXiv

  15. [23]

    An introduction to the categorical p -adic Langlands program , 2023

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

    2023

  16. [24]

    Lattices in the cohomology of Shimura curves

    Matthew Emerton, Toby Gee, and David Savitt. Lattices in the cohomology of Shimura curves . Inventiones mathematicae , 200(1):1--96, 2015

    2015

  17. [25]

    Jacquet modules of locally analytic representations of p -adic reductive groups I

    Matthew Emerton. Jacquet modules of locally analytic representations of p -adic reductive groups I. Construction and first properties . Annales scientifiques de l'Ecole normale sup \'e rieure , 39(5):775--839, 2006

    2006

  18. [26]

    Jacquet modules of locally analytic representations of p -adic reductive groups II

    Matthew Emerton. Jacquet modules of locally analytic representations of p -adic reductive groups II. The relation to parabolic induction . J. Institut Math. Jussieu , 2007

    2007

  19. [27]

    Locally analytic vectors in representations of locally p -adic analytic groups , volume 248

    Matthew Emerton. Locally analytic vectors in representations of locally p -adic analytic groups , volume 248. American Mathematical Society, 2017

    2017

  20. [28]

    Dualit \'e de Poincar \'e et involution de Zelevinsky dans la cohomologie \'e quivariante des espaces rigides

    Laurent Fargues. Dualit \'e de Poincar \'e et involution de Zelevinsky dans la cohomologie \'e quivariante des espaces rigides . preprint , 2006

    2006

  21. [29]

    u ber die topologischen darstellungen p -adischer liegruppen auf unendlich dimensionalen vektorr \

    Christian Tobias F \'e aux de Lacroix. Einige resultate \"u ber die topologischen darstellungen p -adischer liegruppen auf unendlich dimensionalen vektorr \"a umen \"u ber einem p -adischen k \"o rper. In Schriftenreihe des Mathematischen Instituts der Universit \"a t M \"u ns...

    1999

  22. [30]

    The classification of irreducible admissible mod p representations of a p -adic GL_n

    Florian Herzig. The classification of irreducible admissible mod p representations of a p -adic GL_n . Inventiones mathematicae , 186(2):373--434, 2011

    2011

  23. [31]

    Patching and multiplicities of p-adic eigenforms

    Eugen Hellmann, Valentin Hernandez, and Benjamin Schraen. Patching and multiplicities of p-adic eigenforms. arXiv:2406.01129 , 2024

    2024 arXiv

  24. [32]

    6-functor formalisms and smooth representations, 2024

    Claudius Heyer and Lucas Mann. 6-functor formalisms and smooth representations, 2024

    2024

  25. [33]

    Universal eigenvarieties, trianguline Galois representations, and p -adic Langlands functoriality

    David Hansen and James Newton. Universal eigenvarieties, trianguline Galois representations, and p -adic Langlands functoriality . Journal f \"u r die reine und angewandte Mathematik , 2017(730):1--64, 2017

    2017

  26. [34]

    Representations of Semisimple Lie Algebras in the BGG Category O , volume 94

    James E Humphreys. Representations of Semisimple Lie Algebras in the BGG Category O , volume 94. American Mathematical Soc., 2008

    2008

  27. [35]

    Representations of algebraic groups , volume 107 of Math

    Jens Carsten Jantzen. Representations of algebraic groups , volume 107 of Math. Surv. Monogr. Providence, RI: American Mathematical Society (AMS), 2nd ed. edition, 2003

    2003

  28. [36]

    Extended eigenvarieties for overconvergent cohomology

    Christian Johansson and James Newton. Extended eigenvarieties for overconvergent cohomology. Algebra & Number Theory , 13(1):93--158, 2019

    2019

  29. [37]

    Representation theory and D-modules on flag varieties

    Masaki Kashiwara. Representation theory and D-modules on flag varieties . Kyoto University. Research Institute for Mathematical Sciences [RIMS], 1988

    1988

  30. [38]

    p -adic Differential Equations

    Kiran S Kedlaya. p -adic Differential Equations . Cambridge University Press, 2022

    2022

  31. [39]

    Homological vanishing theorems for locally analytic representations

    Jan Kohlhaase and Benjamin Schraen. Homological vanishing theorems for locally analytic representations. Mathematische Annalen , 353:219--258, 2012

    2012

  32. [40]

    Groupes analytiques p -adiques

    Michel Lazard. Groupes analytiques p -adiques. Publications Math \'e matiques de l'IH \'E S , 26:5--219, 1965

    1965

  33. [41]

    Overconvergent algebraic automorphic forms

    David Loeffler. Overconvergent algebraic automorphic forms. Proceedings of the London Mathematical Society , 102(2):193--228, 2011

    2011

  34. [42]

    Derived algebraic geometry II: Noncommutative algebra

    Jacob Lurie. Derived algebraic geometry II: Noncommutative algebra . arXiv preprint math/0702299 , 2007

    2007 arXiv

  35. [43]

    Patching and multiplicity 2^k for Shimura curves

    Jeffrey Manning. Patching and multiplicity 2^k for Shimura curves . Algebra & Number Theory , 15(2):387--434, 2021

    2021

  36. [44]

    A p -adic 6-functor formalism in rigid-analytic geometry

    Lucas Mann. A p -adic 6-functor formalism in rigid-analytic geometry. arXiv:2206.02022 , 2022

    2022 arXiv

  37. [45]

    Mod multiplicities in certain U(4) Shimura varieties

    Jeffrey Manning. Mod multiplicities in certain U(4) Shimura varieties . 2024

    2024

  38. [46]

    Algebraic groups: the theory of group schemes of finite type over a field , volume 170

    James S Milne. Algebraic groups: the theory of group schemes of finite type over a field , volume 170. Cambridge University Press, 2017

    2017

  39. [47]

    Mebkhout and L

    Z. Mebkhout and L. Narv\'aez-Macarro. La th\'eorie du polyn\^ome de Bernstein-Sato pour les alg\`ebres de Tate et de Dwork-Monsky-Washnitzer . Annales scientifiques de l'\'Ecole Normale Sup\'erieure , 4e s \'e rie, 24(2):227--256, 1991

    1991

  40. [48]

    Resolutions for principal series representations of p -adic GL_n

    Rachel Ollivier. Resolutions for principal series representations of p -adic GL_n . M \"u nster Journal of Mathematics , (7):225--240, 2014

    2014

  41. [49]

    On the irreducibility of locally analytic principal series representations

    Sascha Orlik and Matthias Strauch. On the irreducibility of locally analytic principal series representations. Representation Theory of the American Mathematical Society , 14(20):713--746, 2010

    2010

  42. [50]

    On Jordan-H \"o lder series of some locally analytic representations

    Sascha Orlik and Matthias Strauch. On Jordan-H \"o lder series of some locally analytic representations . Journal of the American Mathematical Society , 28(1):99--157, 2015

    2015

  43. [51]

    Solid locally analytic representations of p -adic Lie groups

    Joaqu \' n Rodrigues Jacinto and Juan Esteban 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

  44. [52]

    Solid locally analytic representations

    Joaqu \' n Rodrigues Jacinto and Juan Esteban Rodr \' guez Camargo. Solid locally analytic representations. arXiv:2305.03162 , 2023

    2023 arXiv

  45. [53]

    Condensed mathematics

    Peter Scholze and Dustin Clausen. Condensed mathematics. 2019

    2019

  46. [54]

    Lectures on analytic geometry

    Peter Scholze and Dustin Clausen. Lectures on analytic geometry. 2020

    2020

  47. [55]

    Verma modules over p -adic Arens-Michael envelopes of reductive Lie algebras

    Tobias Schmidt. Verma modules over p -adic Arens-Michael envelopes of reductive Lie algebras . Journal of Algebra , 390:160--180, 2013

    2013

  48. [56]

    Nonarchimedean functional analysis

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

    2013

  49. [57]

    Alg \`e bre locale, multiplicit \'e s: cours au Coll \`e ge de France, 1957-1958 , volume 11

    Jean-Pierre Serre. Alg \`e bre locale, multiplicit \'e s: cours au Coll \`e ge de France, 1957-1958 , volume 11. Springer Science & Business Media, 1997

    1957

  50. [58]

    The cohomology of p -adic symmetric spaces

    Peter Schneider and Ulrich Stuhler. The cohomology of p -adic symmetric spaces. Invent. math , 105(1):47--122, 1991

    1991

  51. [59]

    Representation theory and sheaves on the Bruhat-Tits building

    Peter Schneider and Ulrich Stuhler. Representation theory and sheaves on the Bruhat-Tits building. Publications Math\'ematiques de l'IH\'ES , 85:97--191, 1997

    1997

  52. [60]

    Dimensions of some locally analytic representations

    Tobias Schmidt and Matthias Strauch. Dimensions of some locally analytic representations. Representation Theory of the American Mathematical Society , 20(2):14--38, 2016

    2016

  53. [61]

    Algebras of p -adic distributions and admissible representations

    Peter Schneider and Jeremy Teitelbaum. Algebras of p -adic distributions and admissible representations. Inventiones mathematicae , 153:145--196, 2003

    2003

  54. [62]

    Duality for admissible locally analytic representations

    Peter Schneider and Jeremy Teitelbaum. Duality for admissible locally analytic representations. Representation Theory of the American Mathematical Society , 9(10):297--326, 2005

    2005

  55. [63]

    Stacks Project

    The Stacks Project Authors . Stacks Project. https://stacks.math.columbia.edu, 2024

    2024

  56. [64]

    Eigenvarieties for reductive groups

    Eric Urban. Eigenvarieties for reductive groups. Annals of mathematics , pages 1685--1784, 2011

    2011

  57. [65]

    Coherent sheaves on the stack of Langlands parameters

    Xinwen Zhu. Coherent sheaves on the stack of Langlands parameters . arXiv:2008.02998 , 2020

    2008

Pith tools

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