Pith. sign in

REVIEW 3 major objections 6 minor 34 references

Locally analytic completed cohomology of Shimura varieties of Hodge type

T0 review · 3 major / 6 minor · reviewed 2026-08-15 · deepseek-v4-flash

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

Pith's one-line read Locally analytic completed cohomology of Hodge-type Shimura varieties equals coherent cohomology on a flag variety.

desk verdict Theorem 5.9 is a plausible and genuinely new generalization, but Proposition 5.8 has an unsupported exactness assertion that needs a real proof before the main result is solid. read the letter →

arxiv 2508.11099 v1 pith:PHPJUPPK submitted 2025-08-14 math.NT

Kensuke Aoki This is my paper · ORCID
classification math.NT MSC 11G1814G3511F8514F30
keywords locallyanalyticcompletedcohomologyShimuravarietiesofHodgetypeHodge-TateperiodmapperfectoidgeometricSentheoryflagunitarycurvesp-adic
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 claims that the p-adic locally analytic completed cohomology of a Hodge-type Shimura variety can be computed on a flag variety. More precisely, after tensoring completed cohomology with $\mathbb{C}_p$ and taking locally analytic vectors for the action of $G(\mathbb{Q}_p)$, the result is isomorphic to sheaf cohomology on the Hodge-Tate flag variety with coefficients in a sheaf of locally analytic sections coming from the perfectoid cover. This matters because the flag-variety side is algebraic, while completed cohomology is a rich representation-theoretic object. The theorem extends earlier results from modular curves and unitary Shimura curves to all Hodge-type Shimura varieties, and the paper gives a matching $\tau$-locally analytic statement for unitary Shimura curves.

What carries the argument

The load-bearing object is the Hodge-Tate period map from the perfectoid Shimura variety, together with its toroidal compactification, to the flag variety $\mathcal{F}\ell_\mu$, where $\mu$ is the Hodge cocharacter. The coefficients $\mathcal{O}_{K^p}=\pi^{\mathrm{tor}}_{\mathrm{HT},*}(\widehat{\mathcal{O}}_{\mathcal{S}\mathfrak{h}})$ and $\mathcal{I}_{K^p}=\pi^{\mathrm{tor}}_{\mathrm{HT},*}(\widehat{\mathcal{I}}_{\mathcal{S}\mathfrak{h}})$ are sheaves of topological algebras on the flag variety, and $\mathcal{O}^{\mathrm{la}}_{K^p}$, $\mathcal{I}^{\mathrm{la}}_{K^p}$ are their locally analytic subsheaves. The proof also relies on three mechanisms: the embedding of Hodge-type Shimura varieties into Siegel modular varieties, which transfers surjectivity of maps of locally analytic sections; geometric Sen theory, which computes group cohomology through Sen operators and Lie algebra cohomology; and the local analyticity of the perfectoid cover, proved by showing that Faltings-extension exact sequences stay exact after taking locally analytic vectors. The exactness of those sequences is what ultimately makes completed cohomology on the Shimura variety agree with coherent cohomology on the flag variety.

What would settle it

Compute the first Tor term of the tensor product in (5.22) over $\mathcal{O}(V)$ with $\mathcal{O}(\widetilde{U})^{\mathrm{la}}$ for a flag-variety open $V$; if this Tor term is nonzero, the sequence would not remain exact after taking locally analytic sections, contradicting Proposition 5.8 and invalidating the proof of Theorem 5.9.

Watch

Extended reading notes

Core claim

The central claim is Theorem 5.9: for any $i\geq 0$ and any compact open subgroup $K^p$ away from $p$, there are natural $G(\mathbb{Q}_p)$-equivariant isomorphisms $$(\widetilde{H}^i(K^p,\mathbb{Q}_p)\widehat{\otimes}_{\mathbb{Q}_p}\mathbb{C}_p)^{\mathrm{la}}\simeq H^i(\mathcal{F}\ell_\mu,\mathcal{O}^{\mathrm{la}}_{K^p})$$ and $$(\widetilde{H}^i_c(K^p,\mathbb{Q}_p)\widehat{\otimes}_{\mathbb{Q}_p}\mathbb{C}_p)^{\mathrm{la}}\simeq H^i(\mathcal{F}\ell_\mu,\mathcal{I}^{\mathrm{la}}_{K^p}),$$ where $\mathcal{O}^{\mathrm{la}}_{K^p}$ and $\mathcal{I}^{\mathrm{la}}_{K^p}$ are subsheaves of locally analytic sections of the sheaves obtained by pushing forward the completed structure sheaf of the perfectoid Shimura variety along the Hodge-Tate period map $\pi^{\mathrm{tor}}_{\mathrm{HT}}:\mathcal{S}\mathfrak{h}^{\mathrm{tor}}_{K^p}\to \mathcal{F}\ell_\mu$. The first sheaf uses the full structure sheaf; the second uses the kernel supported on the boundary of a toroidal compactification. The proof transfers the problem to Siegel modular varieties, establishes local analyticity of the perfectoid cover through geometric Sen theory and Faltings-extension sequences, and then identifies cohomology on the Shimura variety with cohomology on the flag variety. For unitary Shimura curves, the same method gives Theorem 5.12, a $\tau$-locally analytic version for $H^1$.

Load-bearing premise

The load-bearing premise is that the surjective map of algebraic representations in (5.22) remains surjective after tensoring with locally analytic sections; the paper asserts this without proof, and the main theorem collapses if this exactness fails.

Editorial extensions

If this is right

  • If the main theorem is right, locally analytic completed cohomology of any Hodge-type Shimura variety is a purely geometric invariant computed on the Hodge-Tate flag variety, with no direct reference to the Shimura variety's moduli structure.
  • The compactly supported variant sees only the boundary contribution encoded by $\mathcal{I}^{\mathrm{la}}_{K^p}$, so boundary phenomena in completed cohomology are isolated on the flag variety.
  • For unitary Shimura curves, $\tau$-locally analytic completed $H^1$ is isomorphic to $H^1$ of the flag variety $\mathbb{P}^1$ with a $\tau$-locally analytic coefficient sheaf, and $K^p$-level cohomology agrees with $K_\wp$-level cohomology after taking invariants.
  • All the isomorphisms are $G(\mathbb{Q}_p)$-equivariant, so the p-adic representation theory carried by completed cohomology is faithfully reflected in the equivariant structure of the flag-variety sheaves.

Reading between the lines

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

  • By analogy with the unitary-curve case, one expects the $\tau$-locally analytic method to extend to other p-adic Lie group components and to higher-degree cohomology, not just $H^1$.
  • A natural testable extension is to check Hecke equivariance of the isomorphisms; if compatible, the flag-variety description could serve as a site for interpolating classical automorphic forms into p-adic families.
  • The paper's reliance on the Siegel embedding suggests that a direct proof of Proposition 5.8 using only the Hodge-Tate period map would simplify the argument and likely extend it to all Shimura varieties.
Share X Bluesky LinkedIn Reddit HN

Signed reviews

No signed human review yet.

Editorial analysis

A structured set of objections, weighed in public.

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

Referee Report

3 major / 6 minor

Summary. The paper proves comparisons between locally analytic completed cohomology of Shimura varieties of Hodge type and coherent cohomology of flag varieties with locally analytic coefficients. The main result, Theorem 5.9, asserts natural G(Qp)-equivariant isomorphisms (eHi(Kp,Qp)⊗Cp)^la ≅ Hi(Fℓμ,O^la_{Kp}) and the compact-support analogue with I^la_{Kp}. A second theorem, Theorem 5.12, gives a τ-locally analytic comparison for unitary Shimura curves. The proof combines embeddings of Hodge-type Shimura varieties into Siegel modular varieties, geometric Sen theory, J-locally analytic vectors, and an analysis of locally analytic coverings of perfectoid Shimura varieties, following and generalizing work of Pan and Qiu-Su.

Significance. If the main theorems are correct, this is a substantial generalization: it reduces the study of locally analytic completed cohomology of Hodge-type Shimura varieties to coherent cohomology on flag varieties, extending Pan's modular-curve result and Qiu-Su's unitary-curve result. The paper is honest about the overlap with Qiu-Su for Theorem 1.3 and does not derive the theorem from itself; it relies on substantial external results of Scholze, Lan, Camargo, Pan, and Qiu-Su. The central new input is the local analyticity of perfectoid covers in Section 5, and the main theorems are clean and concrete. However, the proof of the key Proposition 5.8 contains a load-bearing gap that must be repaired before the main theorem is fully established.

major comments (3)
  1. [§5.2, Proposition 5.8] The proof asserts that the surjective map W(O(N^c_μ)≤1)(V) → n^{c,0,∨}_μ(V) in (5.22) remains surjective after tensoring with O(eU)^la and concludes that the exact sequence obtained from sections of (5.20) remains exact after taking locally analytic vectors. This is not justified: surjectivity after tensoring is automatic, but the load-bearing point is the compatibility of locally analytic vectors with tensor products by finite projective modules. One must show that for M = W(O(N^c_μ)≤1)(V), the natural map (M ⊗_{O(V)} O(eU))^{G(Qp)-la} → M ⊗_{O(V)} O(eU)^la is an isomorphism, and similarly for the quotient n^{c,0,∨}_μ(V); otherwise the left-exact functor of locally analytic vectors need not preserve exactness of the sequence (5.17)/(5.19). Since this exactness is exactly condition (3) of Proposition 5.6 and is used in Theorem 5.9, the proof of the main theorem is incomplete. The gap is likely fillable by standard distribution-algebra arguments, but it must be stated and proved or explicitly cited.
  2. [§5.4, Theorem 5.12] The proof of the second isomorphism is not written out. The sentence beginning 'Take an open cover ⋃_i V_i = Fℓμ in analytic topology, where Then each section...' is garbled, and the claim that each section O^{τ-la}_{Kp,E}(V_i) is a smooth K^℘_p-representation follows from Proposition 5.10 is not immediate: Proposition 5.10 gives expansions over the particular U, not over arbitrary V_i. The spectral sequence E^{p,q}_2 = H^p(K^℘_p, H^q(Fℓμ, O^{τ-la}_{Kp,E})) ⇒ H^{p+q}(Fℓμ, O^{τ-la}_{K℘,E}) and its degeneration at E^{0,1}_2 need a detailed justification. This is load-bearing for Theorem 1.3.
  3. [§5.3, Theorem 5.9] The proof of Theorem 5.9 is a citation to Proposition 5.5, Proposition 5.7, Proposition 5.8, [32, Theorem IV.2.1], and the argument of [24, Theorem 4.4.6]. Since Proposition 5.8 is the key step establishing that the perfectoid cover is locally analytic, and its proof is incomplete as explained above, the main theorem is not yet fully supported. The author should either complete the proof or indicate precisely which statement in the literature supplies the missing compatibility of locally analytic vectors with tensor products by finite projective modules.
minor comments (6)
  1. [Title and headings] There are typos: 'Hogde type' in the Section 2 heading and 'Shmura curves' in Section 1.3; these should be corrected.
  2. [§4.2] In the sentence 'see also [13, §4.2] for te case of the modular curve', 'te' should be 'the'.
  3. [§5.3, Theorem 5.12 proof] The sentence 'Take an open cover ⋃_i V_i = Fℓμ in analytic topology, where Then each section...' is corrupted and should be rewritten as a complete sentence.
  4. [§5.1, Proposition 5.1 proof] The phrase 'We note ote that' is a typo and should read 'We note that'; the notation i^{-1}_{K''pKp''}(U') is also used before being clearly introduced.
  5. [§5.4, Proposition 5.10] The statement 'For any positive integer m>0, there exists a positive integer n' should specify whether n depends on m and on the open U; as written the quantifier order is ambiguous.
  6. [Introduction, Theorem 1.1] The notation (eHi(Kp,Qp) b⊗_{Qp} Cp)^la is used in the introduction but 'la' is only defined in Section 4; a forward reference would help the reader.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: the main comparison is derived from external geometric Sen theory and perfectoid methods, not from the theorem being assumed.

full rationale

I walked the derivation chain from the definition of locally analytic completed cohomology through Propositions 4.16, 4.17, 5.1, 5.2, 5.7, and 5.8 to Theorem 5.9. No step fits a parameter to the target cohomology and then renames the fit as a prediction; the sheaves O^la_Kp and I^la_Kp are defined independently as locally analytic sections on the flag variety, and the isomorphisms are proved by comparing both sides with pro-Kummer étale cohomology of perfectoid Shimura varieties. The paper contains no load-bearing self-citation: the references to Camargo, Pan, Scholze, and Qiu-Su are external, and Theorem 1.3 is explicitly said to have been proved by Qiu-Su rather than being derived from the present author's prior work. The proof of Proposition 5.8 does contain a potentially under-supported exactness assertion after taking locally analytic vectors, because surjectivity after tensoring with O(eU)^la alone does not formally imply exactness of the sequence of locally analytic vectors without a commutation statement for tensor products by finite projective modules; however, this is a technical gap rather than circularity, since the asserted surjectivity of (5.22) is an independent algebraic input and the theorem is not equivalent to its own conclusion by construction. The unitary-curve case is checked against an already-existing external proof, and the Hodge-type case extends the method to new ground, so the central claim has independent content. Score 0.

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

The central claim rests on a tower of external theorems: perfectoid Hodge-type Shimura varieties, geometric Sen theory, Tate's normalized traces, and perfectoid unitary curves. No free parameters or invented entities are introduced. One ad hoc surjectivity assertion in Proposition 5.8 is not supported by a proof or citation.

assumptions (6)
  • domain assumption Existence of toroidal compactifications of Hodge-type Shimura varieties with a smooth cone decomposition giving a normal-crossing boundary (Section 2.1, conditions (1) and (2)).
    This is needed to define log structures and pro-Kummer etale sites used throughout the paper.
  • domain assumption Existence of perfectoid Shimura varieties of Hodge type and of the Hodge-Tate period map to the flag variety, with a basis of affinoid perfectoid preimages satisfying Condition 4.11 (Theorem 3.1 and Proposition 3.2, citing [20] and [32]).
    The main theorem starts from these objects and does not reprove their existence.
  • domain assumption Geometric Sen theory over rigid analytic spaces as developed by Camargo [4] applies to the pro-Kummer etale cohomology and locally analytic sections used in Section 4.3 and Section 5.
    This is the technical engine behind Lemma 4.12, Lemma 4.14, and Proposition 5.1.
  • domain assumption Tate's normalized traces exist on the anticanonical tower of Siegel modular varieties, cited as [32, Theorem III.2.36] and used in the proof of Corollary 5.3.
    This is used to show that certain locally analytic functions are fixed by an open subgroup.
  • ad hoc to paper The surjective algebraic map (5.22) remains surjective after tensoring with the locally analytic sections O(eU)^la (asserted in the proof of Proposition 5.8).
    This assertion is load-bearing for the locally analytic covering property and is not proved or cited.
  • domain assumption Existence of perfectoid unitary Shimura curves at Kp-level, cited as [19, Theorem 3.3.3] and used in Theorem 5.12.
    Needed for the second main result on unitary Shimura curves.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Locally analytic completed cohomology of Shimura varieties of Hodge type." pith.science (2026). https://pith.science/paper/PHPJUPPK

@misc{pith2026250811099,
  author       = {Pith},
  title        = {Pith review of: Locally analytic completed cohomology of Shimura varieties of Hodge type},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/PHPJUPPK}},
  note         = {Machine review of arXiv:2508.11099}
}
read the original abstract

For Shimura varieties of Hodge type, we show that there are natural isomorphisms between locally analytic complete cohomology groups and cohomology groups for flag varieties with coefficient which is given by their perfectoid covers. This result is a generalization of that of Pan for the modular curve and Qiu-Su for unitary Shimura curves.

Review history (2 revisions) →

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

34 extracted references · 30 canonical work pages

  1. [1]

    Be˘ ılinson, J

    A. Be˘ ılinson, J. Bernstein,A generalization of Casselman’s submodule theorem, Representa- tion theory of reductive groups (Park City, Utah, 1982), 35-52. Progr. Math., 40, Birkhäuser Boston, Inc., Boston, MA, 1983

    work page 1982

  2. [2]

    Berger, P

    L. Berger, P. Colmez,Théorie de Sen et vecteurs localement analytiques, Ann. Sci. Éc. Norm. Supér. (4) 49 (2016), no. 4, 947-970

    work page 2016

  3. [3]

    Boxer, V

    G. Boxer, V. Pilloni,Higher Coleman theory, https://arxiv.org/abs/2110.10251

    arXiv

  4. [4]

    J. E. R. Camargo,Geometric Sen theory over rigid analytic spaces, https://arxiv.org/ abs/2205.02016

    arXiv

  5. [5]

    J. E. R. Camargo,Locally analytic completed cohomology, https://arxiv.org/abs/2209. 01057

    work page

  6. [6]

    Carayol,Sur la mauvaise réduction des courbes de Shimura, Compositio Math.59 (1986), no

    H. Carayol,Sur la mauvaise réduction des courbes de Shimura, Compositio Math.59 (1986), no. 2, 151-230

    work page 1986

  7. [7]

    Caraiani, P

    A. Caraiani, P. Scholze,On the generic part of the cohomology of compact unitary Shimura varieties, Ann. of Math. (2)186 (2017), no. 3, 649-766

    work page 2017

  8. [8]

    Deligne,Travaux de Shimura, Séminaire Bourbaki, 23ème année (1970/1971), Exp

    P. Deligne,Travaux de Shimura, Séminaire Bourbaki, 23ème année (1970/1971), Exp. No. 389, pp. 123-165. Lecture Notes in Math., Vol. 244, Springer-Verlag, Berlin-New York, 1971. 36 KENSUKE AOKI

    work page 1970

Show all 34 references
  1. [9]

    Ding,Formes modulairesp-adiques sur les courbes de Shimura unitaires et compatibilité local-global, Mém

    Y. Ding,Formes modulairesp-adiques sur les courbes de Shimura unitaires et compatibilité local-global, Mém. Soc. Math. Fr. (N.S.) No.155 (2017)

    2017

  2. [10]

    H. Diao, K. -W. Lan, R. Liu, X. Zhu,Logarithmic Riemann-Hilbert correspondences for rigid varieties, J. Amer. Math. Soc.36 (2023), no. 2, 483-562

    2023

  3. [11]

    H. Diao, K. -W. Lan, R. Liu, X. Zhu,Logarithmic adic spaces: some foundational results, p-adic Hodge theory, singular varieties, and non-abelian aspects, 65-182. Simons Symp. Springer, Cham, 2023

    2023

  4. [12]

    Diamond, R

    F. Diamond, R. Taylor,Nonoptimal levels of modl modular representations, Invent. Math. 115 (1994), no. 3, 435-462

    1994

  5. [13]

    Emerton,On the interpolation of systems of eigenvalues attached to automorphic Hecke eigenforms, Invent

    M. Emerton,On the interpolation of systems of eigenvalues attached to automorphic Hecke eigenforms, Invent. Math.164 (2006), no. 1, 1-84

    2006

  6. [14]

    Faltings, C

    G. Faltings, C. -L. Chai,Degeneration of abelian varieties, Ergeb. Math. Grenzgeb. (3),22, Springer-Verlag, Berlin, 1990

    1990

  7. [15]

    Huber,Étale cohomology of rigid analytic varieties and adic spaces, Aspects Math., E30 Friedr

    R. Huber,Étale cohomology of rigid analytic varieties and adic spaces, Aspects Math., E30 Friedr. Vieweg & Sohn, Braunschweig, 1996

    1996

  8. [16]

    J. C. Jantzen,Representations of Algebraic Groups (Second Edition), Mathematical Surveys and Monographs 107, Amer. Math. Soc., 2007

    2007

  9. [17]

    J. R. Jacinto, J. E. R. Camargo,Solid locally analytic representations ofp-adic Lie groups, Represent. Theory 26 (2022), 962-1024

    2022

  10. [18]

    J. R. Jacinto, J. E. R. Camargo,Solid locally analytic representations, https://arxiv.org/ abs/2305.03162

    arXiv

  11. [19]

    Johansson, J

    C. Johansson, J. Ludwig, D. Hansen,A quotient of the Lubin-Tate tower II, Math. Ann. 380 (2021), no. 1-2, 43-89

    2021

  12. [20]

    K. -W. Lan, Closed immersions of toroidal compactifications of Shimura varieties. Math. Res. Lett. 29 (2022), no. 2, 487-527

    2022

  13. [21]

    K. -W. Lan, R. Liu, X. Zhu,de Rham comparison and Poincaré duality for rigid varieties. Peking Math. J.6 (2023), no. 1, 143-216

    2023

  14. [22]

    R. Liu, X. Zhu, Rigidity and a Riemann-Hilbert correspondence forp-adic local systems, Invent. Math.207 (2017), no. 1, 291-343

    2017

  15. [23]

    J. S. Milne,Introduction to Shimura varieties, Harmonic analysis, the trace formula, and Shimura varieties, 265-378. Clay Math. Proc., 4, American Mathematical Society, Provi- dence, RI, 2005

    2005

  16. [24]

    Pan,On locally analytic vectors of the completed cohomology of modular curves, Forum Math

    L. Pan,On locally analytic vectors of the completed cohomology of modular curves, Forum Math. Pi 10 (2022)

    2022

  17. [25]

    Pilloni,Faisceaux equivariants surP1 et faisceaux automorphes, Ann

    V. Pilloni,Faisceaux equivariants surP1 et faisceaux automorphes, Ann. Fac. Sci. Toulouse Math. (6) 33 (2024), no. 4, 1155-1213

    2024

  18. [26]

    R. Pink,Arithmetical compactification of mixed Shimura varieties, Dissertation, Rheinische Friedrich-Wilhelms-UniversitätBonn, Bonn, 1989, BonnerMath., Schriften, 209, Universität Bonn, Mathematisches Institut, Bonn, 1990

    1989

  19. [27]

    T. Qiu, B. Su, Locally analytic vectors in the completed cohomology of unitary Shimura curves, https://arxiv.org/abs/2505.10290

  20. [28]

    Schneider,Nonarchimedean functional analysis, Springer Monogr

    P. Schneider,Nonarchimedean functional analysis, Springer Monogr. Math. Springer-Verlag, Berlin, 2002

    2002

  21. [29]

    Schneider, J

    P. Schneider, J. Teitelbaum,Locally analytic distributions andp-adic representation theory, with applications toGL2, J. Amer. Math. Soc.15 (2002), no. 2, 443-468

    2002

  22. [30]

    Schneider, J

    P. Schneider, J. Teitelbaum,Algebras ofp-adic distributions and admissible representations, Invent. Math.153 (2003), no. 1, 145-196

    2003

  23. [31]

    Scholze,p-adic Hodge theory for rigid-analytic varieties, Forum Math

    P. Scholze,p-adic Hodge theory for rigid-analytic varieties, Forum Math. Pi1 (2013)

    2013

  24. [32]

    Scholze,On torsion in the cohomology of locally symmetric varieties, Ann

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

    2015

  25. [33]

    Scholze, J

    P. Scholze, J. Weinstein, Moduli of p-divisible groups, Camb. J. Math. 1 (2013), no. 2, 145-237

    2013

  26. [34]

    Schraen,Représentations p-adiques de GL2(L) et catégories dérivées, Israel J

    B. Schraen,Représentations p-adiques de GL2(L) et catégories dérivées, Israel J. Math.176 (2010), 307-361. LOCALLY ANALYTIC COMPLETED COHOMOLOGY 37 Department of Mathematics, F aculty of Science, Kyoto University Kyoto, 606- 8502, Japan Email address: aoki.kensuke.88s@st.kyoto-u.ac.jp

    2010

Pith tools

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