pith. sign in

arxiv: 2209.01057 · v4 · submitted 2022-08-30 · 🧮 math.NT

Locally analytic completed cohomology

J. E. Rodr\'iguez Camargo This is my paper

Pith reviewed 2026-05-24 11:21 UTC · model grok-4.3

classification 🧮 math.NT
keywords Shimura varietiesgeometric Sen operatorHodge-Tate period mapcompleted cohomologyCalegari-Emerton conjecturesequivariant vector bundlesflag varieties
0
0 comments X

The pith

The geometric Sen operator for arbitrary Shimura varieties equals an expression built from equivariant vector bundles on flag varieties and the Hodge-Tate period map.

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

The paper computes the geometric Sen operator that acts on the completed cohomology of any Shimura variety. The formula uses only the equivariant vector bundles attached to flag varieties together with the Hodge-Tate period map. This uniform expression immediately yields the rational vanishing of completed cohomology required by the Calegari-Emerton conjectures. A reader cares because the same description works for every Shimura variety without case distinctions.

Core claim

We compute the geometric Sen operator for arbitrary Shimura varieties in terms of equivariant vector bundles of flag varieties and the Hodge-Tate period map. As an application, we obtain the rational vanishing of completed cohomology in the Calegari-Emerton conjectures.

What carries the argument

The geometric Sen operator expressed via equivariant vector bundles on flag varieties and the Hodge-Tate period map.

If this is right

  • The Sen operator receives a uniform description valid for every Shimura variety.
  • Completed cohomology groups vanish rationally in the sense predicted by the Calegari-Emerton conjectures.
  • The same expression applies without further restrictions on the Shimura variety or its level.

Where Pith is reading between the lines

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

  • The same reduction might supply vanishing statements for other p-adic cohomology functors attached to Shimura varieties.
  • The period-map description could link completed cohomology directly to automorphic representations on the flag variety side.
  • Verification on low-dimensional cases such as Hilbert modular surfaces would test the uniformity claim.

Load-bearing premise

The geometric Sen operator admits an expression solely in terms of the equivariant vector bundles on flag varieties and the Hodge-Tate period map that holds uniformly for arbitrary Shimura varieties.

What would settle it

An explicit computation on a concrete Shimura variety, such as a modular curve, in which the Sen operator obtained from the bundles and period map differs from the actual geometric Sen operator.

read the original abstract

We compute the geometric Sen operator for arbitrary Shimura varieties in terms of equivariant vector bundles of flag varieties and the Hodge-Tate period map. As an application, we obtain the rational vanishing of completed cohomology in the Calegari-Emerton conjectures.

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

0 major / 0 minor

Summary. The paper computes the geometric Sen operator for arbitrary Shimura varieties in terms of equivariant vector bundles of flag varieties and the Hodge-Tate period map. As an application, it obtains the rational vanishing of completed cohomology in the Calegari-Emerton conjectures.

Significance. If the uniform computation holds, the result would supply an explicit geometric description of the Sen operator valid for all Shimura varieties and would establish the rational vanishing statement in the Calegari-Emerton conjectures on completed cohomology.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their summary of the manuscript. The report accurately reflects the main results on the geometric Sen operator and the application to rational vanishing of completed cohomology. No specific major comments are provided in the report, so we have no individual points to address.

Circularity Check

0 steps flagged

No significant circularity; derivation presented as independent computation

full rationale

The paper's central claim is a uniform computation of the geometric Sen operator expressed in terms of equivariant vector bundles on flag varieties and the Hodge-Tate period map, holding for arbitrary Shimura varieties and yielding an application to rational vanishing in completed cohomology. No load-bearing steps are quoted or exhibited that reduce by definition, by fitted input renamed as prediction, or by self-citation chain to the target result itself. The abstract and supplied context present the result as a direct derivation without self-definitional loops or ansatz smuggling. The derivation chain is therefore self-contained against external benchmarks and receives the default non-circularity finding.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

Abstract-only review supplies no explicit free parameters, axioms, or invented entities; the ledger is therefore empty pending the full manuscript.

pith-pipeline@v0.9.0 · 5544 in / 1214 out tokens · 19825 ms · 2026-05-24T11:21:45.849019+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 2 Pith papers

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

  1. On a conjecture of Pappas and Rapoport

    math.NT 2024-03 unverdicted novelty 8.0

    Proves the Pappas-Rapoport conjecture on canonical integral models of Hodge-type Shimura varieties with quasi-parahoric level at p, shows uniformization by integral local Shimura varieties, and proves the Kisin-Pappas...

  2. Classicality for Hilbert modular forms

    math.NT 2026-05 unverdicted novelty 6.0

    Proves classicality for Hecke characters in completed cohomology of Hilbert modular varieties under absolute irreducibility and regular parallel weight conditions on Galois representations, giving new cases of the LCF...

Reference graph

Works this paper leans on

38 extracted references · 38 canonical work pages · cited by 2 Pith papers · 2 internal anchors

  1. [1]

    M. Artin. The \'etale topology of schemes. In Proc. I nternat. C ongr. M ath. ( M oscow, 1966) , pages 44--56. Izdat. ``Mir'', Moscow, 1968

    work page 1966

  2. [2]

    Localisation de g -modules

    Alexandre Be linson and Joseph Bernstein. Localisation de g -modules. C. R. Acad. Sci. Paris S\' e r. I Math. , 292(1):15--18, 1981

    work page 1981

  3. [3]

    Th\' e orie de S en et vecteurs localement analytiques

    Laurent Berger and Pierre Colmez. Th\' e orie de S en et vecteurs localement analytiques. Ann. Sci. \' E c. Norm. Sup\' e r. (4) , 49(4):947--970, 2016

    work page 2016

  4. [4]

    On the p -adic pro-\'etale cohomology of D rinfeld symmetric spaces

    Guido Bosco. On the p -adic pro-\'etale cohomology of D rinfeld symmetric spaces. https://arxiv.org/pdf/2110.10683.pdf, 2021

    work page arXiv 2021

  5. [5]

    Higher coleman theory

    George Boxer and Vincent Pilloni. Higher coleman theory. https://arxiv.org/abs/2110.10251, 2021

    work page arXiv 2021

  6. [6]

    Borel and J.-P

    A. Borel and J.-P. Serre. Corners and arithmetic groups. Comment. Math. Helv. , 48:436--491, 1973

    work page 1973

  7. [7]

    The pro-\'etale topology for schemes, 2014

    Bhargav Bhatt and Peter Scholze. The pro-\'etale topology for schemes, 2014

    work page 2014

  8. [8]

    Completed cohomology -- a survey

    Frank Calegari and Matthew Emerton. Completed cohomology -- a survey . In Non-abelian fundamental groups and Iwasawa theory , pages 239--257. Cambridge: Cambridge University Press, 2012

    work page 2012

  9. [9]

    On the generic part of the cohomology of compact unitary S himura varieties

    Ana Caraiani and Peter Scholze. On the generic part of the cohomology of compact unitary S himura varieties. Ann. of Math. (2) , 186(3):649--766, 2017

    work page 2017

  10. [10]

    Lectures on condensed mathematics

    Dustin Clausen and Peter Scholze. Lectures on condensed mathematics. https://www.math.uni-bonn.de/people/scholze/Condensed.pdf, 2019

    work page 2019

  11. [11]

    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

  12. [12]

    P. Deligne. Vari\'et\'es de Shimura: Interpretation modulaire, et techniques de construction de modeles canoniques . Automorphic forms, representations and L-functions, Proc. Symp. Pure Math. Am. Math. Soc., Corvallis/Oregon 1977, Proc. Symp. Pure Math. 33, No. 2, 247-290 (1979). , 1979

    work page 1977

  13. [13]

    Logarithmic Riemann - Hilbert correspondences for rigid varieties

    Hansheng Diao, Kai-Wen Lan, Ruochuan Liu, and Xinwen Zhu. Logarithmic Riemann - Hilbert correspondences for rigid varieties. J. Am. Math. Soc. , 36(2):483--562, 2023

    work page 2023

  14. [14]

    Logarithmic adic spaces: some foundational results

    Hansheng Diao, Kai-Wen Lan, Ruochuan Liu, and Xinwen Zhu. Logarithmic adic spaces: some foundational results. In p -adic H odge theory, singular varieties, and non-abelian aspects , Simons Symp., pages 65--182. Springer, Cham, [2023] 2023

    work page 2023

  15. [15]

    On the interpolation of systems of eigenvalues attached to automorphic H ecke eigenforms

    Matthew Emerton. On the interpolation of systems of eigenvalues attached to automorphic H ecke eigenforms. Invent. Math. , 164(1):1--84, 2006

    work page 2006

  16. [16]

    Degeneration of abelian varieties, volume 22 of

    Gerd Faltings and Ching-Li Chai. Degeneration of abelian varieties, volume 22 of. Ergebnisse der Mathematik und ihrer Grenzgebiete , 3, 1990

    work page 1990

  17. [17]

    Functorial properties of toroidal compactifications of locally symmetric varieties

    Michael Harris. Functorial properties of toroidal compactifications of locally symmetric varieties. Proceedings of the London Mathematical Society , s3-59(1):1--22, 1989

    work page 1989

  18. [18]

    Perfectoid S himura varieties and the C alegari- E merton conjectures

    David Hansen and Christian Johansson. Perfectoid S himura varieties and the C alegari- E merton conjectures. J. Lond. Math. Soc. (2) , 108(5):1954--2000, 2023

    work page 1954

  19. [19]

    \' E tale cohomology of rigid analytic varieties and adic spaces

    Roland Huber. \' E tale cohomology of rigid analytic varieties and adic spaces . Aspects of Mathematics, E30. Friedr. Vieweg & Sohn, Braunschweig, 1996

    work page 1996

  20. [20]

    Representations of algebraic groups , volume 107 of Mathematical Surveys and Monographs

    Jens Carsten Jantzen. Representations of algebraic groups , volume 107 of Mathematical Surveys and Monographs . American Mathematical Society, Providence, RI, second edition, 2003

    work page 2003

  21. [21]

    Logarithmic structures of F ontaine- I llusie

    Kazuya Kato. Logarithmic structures of F ontaine- I llusie. II --- L ogarithmic flat topology. Tokyo J. Math. , 44(1):125--155, 2021

    work page 2021

  22. [22]

    Closed immersions of toroidal compactifications of S himura varieties

    Kai-Wen Lan. Closed immersions of toroidal compactifications of S himura varieties. Math. Res. Lett. , 29(2):487--527, 2022

    work page 2022

  23. [23]

    De Rham comparison and Poincar \'e duality for rigid varieties

    Kai-Wen Lan, Ruochuan Liu, and Xinwen Zhu. De Rham comparison and Poincar \'e duality for rigid varieties. Peking Math. J. , 6(1):143--216, 2023

    work page 2023

  24. [24]

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

    Lucas Mann. A p - A dic 6- F unctor F ormalism in R igid- A nalytic G eometry. https://arxiv.org/abs/2206.02022, 2022

    work page arXiv 2022

  25. [25]

    J. S. Milne . Introduction to Shimura varieties . In Harmonic analysis, the trace formula, and Shimura varieties. Proceedings of the Clay Mathematics Institute 2003 summer school, Toronto, Canada, June 2--27, 2003 , pages 265--378. Providence, RI: American Mathematical Society (AMS), 2005

    work page 2003

  26. [26]

    J. S. Milne. Algebraic groups , volume 170 of Cambridge Studies in Advanced Mathematics . Cambridge University Press, Cambridge, 2017. The theory of group schemes of finite type over a field

    work page 2017

  27. [27]

    On locally analytic vectors of the completed cohomology of modular curves

    Lue Pan. On locally analytic vectors of the completed cohomology of modular curves. Forum of Mathematics, Pi , 10:e7, 2022

    work page 2022

  28. [28]

    Arithmetical compactification of mixed Shimura varieties , volume 209 of Bonn

    Richard Pink. Arithmetical compactification of mixed Shimura varieties , volume 209 of Bonn. Math. Schr. Bonn: Univ. Bonn, Math.-Naturwiss. Fak., 1989

    work page 1989

  29. [29]

    Cohomologie coh\'erente et repr\'esentations galoisiennes

    Vincent Pilloni and Beno\^ t Stroh . Cohomologie coh\'erente et repr\'esentations galoisiennes . Ann. Math. Qu\'e. , 40(1):167--202, 2016

    work page 2016

  30. [30]

    Geometric sen theory over rigid analytic spaces

    Juan Esteban Rodr\'guez Camargo. Geometric sen theory over rigid analytic spaces. https://arxiv.org/abs/2205.02016, 2023

    work page arXiv 2023

  31. [31]

    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. Represent. Theory , 26:962--1024, 2022

    work page 2022

  32. [32]

    Solid locally analytic representations

    Joaqu\'in Rodrigues Jacinto and Juan Esteban Rodr\'iguez Camargo. Solid locally analytic representations. https://arxiv.org/abs/2305.03162, 2023

    work page internal anchor Pith review Pith/arXiv arXiv 2023

  33. [33]

    p -adic H odge theory for rigid-analytic varieties

    Peter Scholze. p -adic H odge theory for rigid-analytic varieties. Forum Math. Pi , 1:e1, 77, 2013

    work page 2013

  34. [34]

    On torsion in the cohomology of locally symmetric varieties

    Peter Scholze. On torsion in the cohomology of locally symmetric varieties. Ann. of Math. (2) , 182(3):945--1066, 2015

    work page 2015

  35. [35]

    Etale cohomology of diamonds

    Peter Scholze. Etale cohomology of diamonds. https://arxiv.org/abs/1709.07343, 2022

    work page internal anchor Pith review Pith/arXiv arXiv 2022

  36. [36]

    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

  37. [37]

    The stacks project

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

    work page 2020

  38. [38]

    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