Pith. sign in

REVIEW 3 major objections 6 minor 38 references

The cohomology of certain intermediate strata of Kottwitz varieties

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

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

Pith's one-line read This paper establishes explicit Frobenius-Hecke traces for two-slope Newton strata of Kottwitz varieties.

desk verdict First explicit trace formulas for two-slope intermediate Newton strata, with solid local computations; the open question is whether Kret's semi-stable rigidity theorem applies unchanged to the two-slope truncation. read the letter →

arxiv 2507.04122 v1 pith:5JHCM7TH submitted 2025-07-05 math.NT math.AGmath.RT

Yachen Liu This is my paper · ORCID
classification math.NTmath.AGmath.RT MSC 11G1811F7022E50
keywords ShimuravarietiesKottwitzNewtonstrataFrobenius-HecketraceautomorphicrepresentationsJacquetmodulessemi-stablerigidSataketransforms
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 derives explicit formulas for the Frobenius-Hecke trace on the compactly supported étale cohomology of a two-slope Newton stratum of a Kottwitz variety. If $\nu(b) = (s, \lambda_1^{p_1}, \lambda_2^{p_2})$ with coprime slope conditions, the trace is shown to equal $|\ker^1(Q,G)|$ times a finite sum over automorphic representations $\pi$ whose $p$-adic component is one of a short list of explicit types, with each term an explicit product of Satake transforms. This turns a geometric invariant of the stratum into an automorphic and combinatorial expression. The result extends the previously known basic-stratum computation to intermediate strata, where the cohomology had not been described explicitly.

What carries the argument

The load-bearing object is the local truncated trace $\operatorname{Tr}(C_\lambda f_{n\alpha s}, \pi)$ for admissible representations $\pi$ of $\mathrm{GL}_n(F)$. Corollary 3.1 reduces it to a compact trace against the normalized Jacquet module for the parabolic subgroup of type $(p_1,p_2)$, and Proposition 3.4 shows a non-zero trace forces an Iwahori-fixed vector. With the rigidity theorem from [18], $\pi$ is a semi-stable rigid representation, a unitarizable induced representation built from Speh representations; Theorem VI.5.1 of [29] then describes its Jacquet module through minimal-length double-coset representatives, which Proposition 4.3 recasts combinatorially as row semi-standard Young tableaux. Proposition 5.2 shows the truncated trace vanishes unless $\pi$ is the trivial representation, a Steinberg representation, a $(p_1,p_2)$-type induction, or, in the exceptional parity cases, one of two Speh representations.

What would settle it

Test the rigidity input directly: find a two-slope stratum and an automorphic contribution whose local representation at $p$ has no Iwahori-fixed vector yet has non-zero $\operatorname{Tr}(C_\lambda f_{n\alpha s}, \pi)$, or check whether the hypotheses of Theorem 2 of [18] actually hold for the intermediate-stratum case. A concrete calculation would be to take the smallest exceptional even case and compare Proposition 5.3's explicit formula for a Speh representation with an independent Jacquet-module computation.

Watch

Extended reading notes

Core claim

The central claim is Theorem 6.1: for a two-slope Newton stratum $S_b$ with Newton vector $(s, \lambda_1^{p_1}, \lambda_2^{p_2})$ satisfying the stated coprime conditions, the trace $\operatorname{Tr}(\mathrm{Frob}_q^\alpha \times f^{p\infty}, \sum_i H^i_{et,c}(S_b, \iota^*L))$ equals $|\ker^1(Q,G)|$ times a finite sum over automorphic representations $\pi \subset A(G)$ with $\rho_{\pi,p}$ of type I (in the non-exceptional parity case) or type II (in the exceptional even case) of $c_\pi \operatorname{Tr}(C_\lambda f_{n\alpha s}, \rho_{\pi,p})$. The local traces $\operatorname{Tr}(C_\lambda f_{n\alpha s}, \rho_{\pi,p})$ are computed explicitly in Proposition 5.3 as products of Satake transforms of Hecke operators evaluated at the Hecke matrix of the representation, so the entire formula is explicit in automorphic data and polynomials.

Load-bearing premise

The argument rests on Kret's theorem that every contributing local representation has an Iwahori-fixed vector and is therefore semi-stable rigid, a result proved for the basic stratum whose hypotheses are asserted rather than verified for these two-slope strata, together with the previous paper's theorem that the formula extends from sufficiently large α to all positive integers α.

Editorial extensions

If this is right

  • The Frobenius-Hecke trace of a two-slope stratum becomes a finite sum over automorphic representations, so it can be analysed with automorphic and combinatorial tools rather than by direct point counting.
  • Only a short list of local representation types contributes: in the non-exceptional case these are trivial, Steinberg, and $(p_1,p_2)$-type representations, while exceptional even strata additionally require two Speh representations.
  • Specialising the Hecke operator and the local system gives explicit expressions for point counts of the stratum over $\mathbb{F}_{q^\alpha}$, and Remark 6.1 indicates the formula can be used to compute its dimension.
  • When combined with the stable trace formula, the result gives a Langlands-style decomposition of the cohomology of intermediate strata analogous to the basic-stratum case.

Reading between the lines

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

  • The same double-coset and Jacquet-module machinery is not specific to two slopes, so the method likely extends to Newton strata with more than two slopes, with the surviving local representation types determined by the same vanishing analysis.
  • If the rigidity input from [18] fails for some intermediate stratum, the likely outcome is a longer list of contributing local representation types rather than a breakdown of the overall automorphic-sum structure.
  • A numerical check for small $n$ (for instance $n=2$ or $3$) with the trivial Hecke operator and trivial local system would yield explicit point counts for these strata, which could be compared with direct geometry, but such a check is not carried out in the paper.
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 / 6 minor

Summary. The paper derives explicit formulas for the Frobenius-Hecke traces of the étale cohomology of certain two-slope Newton strata S_b of Kottwitz varieties (compact PEL unitary Shimura varieties), where the Newton vector is (s, λ1^{p1}, λ2^{p2}) with gcd conditions. The main result, Theorem 6.1, expresses the trace as |ker^1(Q,G)| times a finite sum over automorphic representations π whose local p-component is of type I or type II, with the local traces Tr(Cλ f_{nαs}, ρπ,p) computed in Proposition 5.3 as explicit products of Satake transforms. The proof follows Kret's method for the basic stratum: a geometric trace formula, reduction to orbital integrals, a classification of the contributing local representations of GL_n(Q_p) via semi-stable rigidity, and a combinatorial analysis of Jacquet modules and double cosets of symmetric groups.

Significance. If correct, the result is a substantial extension of Kret's basic-stratum formulas to intermediate two-slope strata, giving completely explicit automorphic and polynomial expressions for the cohomology traces. The local representation-theoretic results in Propositions 5.2 and 5.3 are of independent interest, and the paper is structured around standard tools (Kottwitz's trace formula, Fujiwara's theorem, and the Zelevinsky–Tadić classification). The main concerns are the unverified applicability of a theorem imported from the basic-stratum setting and the too-brief justification of the extension from large α to all α.

major comments (3)
  1. [§6, proof of Theorem 6.1] After establishing that Tr(Cλfnαs, ρπ,p) can be nonzero only when ρπ,p has a nonzero Iwahori-fixed vector, the proof invokes 'Theorem 2 in [18]' to conclude that ρπ,p is semi-stable rigid. The hypotheses of that theorem are not stated, and since [18] concerns the basic stratum, the reader cannot verify that the two-slope setting satisfies them. This step is load-bearing: Proposition 5.2 and the type I/II summation in Theorem 6.1 are valid only for semi-stable rigid representations. Please state Theorem 2 of [18] explicitly and verify its hypotheses here, or prove the required rigidity of the contributing ρπ,p directly.
  2. [§6, end of proof of Theorem 6.1] The theorem is asserted for every α∈Z>0, but the proof concludes the result 'when α is big enough' and then delegates the extension to arbitrary α to 'repeating the proof of Theorem 5.2.1 in [24]'. Since [24] treats the basic stratum, the carry-over to the two-slope intermediate strata is not automatic and should be explained; otherwise Theorem 6.1 should be stated only for α sufficiently large.
  3. [Theorem 6.1 and §6, item 14] The constant cπ in Theorem 6.1 is defined with the sum Σ_{i=1}^∞ (-1)^i dim H^i(g,K∞;π∞⊗ζ), whereas Kottwitz's Euler–Poincaré formula for the trace of f_{ζ,∞} uses the sum over i≥0. Unless the i=0 term vanishes for every contributing π, the displayed constant is incorrect; for example, when ζ is trivial and π∞ is the trivial representation, the i=0 term is nonzero. Please justify the omission of the i=0 term or correct the range of summation.
minor comments (6)
  1. [§3, proof of Proposition 3.4] The proof begins 'By Proposition 3.4, we have...' which is a self-reference; the intended reference is Corollary 3.1.
  2. [§5, proof of Proposition 5.2] The first displayed equality cites Proposition 3.3, but the trace identity being used is Corollary 3.1; please correct the reference.
  3. [§5, Proposition 5.3] The statement of Proposition 5.3(3) says 'we take the minus sign if y=1', but the proof of Proposition 5.2 indicates the minus sign should be taken when y=3; please correct this typo.
  4. [Throughout] The paper contains several typos, including 'unramifed' for 'unramified' and 'Jaquet' for 'Jacquet'.
  5. [§5, Proposition 5.3] The functions χ̂ used in the formulas of Proposition 5.3 are not defined in the paper, only referenced to [18, pp.492–493]. For a self-contained statement of the main local computation, please recall their definition.
  6. [§5, proof of Proposition 5.2] The proof applies Proposition 5.1 in the ν=(n) case, but Proposition 5.1 is stated under the hypothesis (s,n)=1, which is not among the standing assumptions of §5 (only gcd(s_i,p_i)=1 for i=1,2 are assumed). Please clarify why the vanishing argument still applies, or state a modified version of Proposition 5.1 with the weaker hypothesis.

Circularity Check

0 steps flagged · score 2.0 of 10

No significant circularity: the local trace computations are independent evaluations, and the central formula is not defined in terms of its own conclusion.

full rationale

I walked the claimed derivation chain. Theorem 6.1 is obtained by applying the Langlands-Kottwitz trace-formula machinery (Fujiwara, Kottwitz, and Kret's truncation) to rewrite the Frobenius-Hecke trace on the stratum as an automorphic trace, then decomposing the local trace Tr(C_lambda f_{n alpha s}, rho_{pi,p}) via Corollary 3.1 into a compact trace against a Jacquet module, classifying in Proposition 5.2 the semi-stable rigid representations for which that compact trace can be nonzero, and computing the surviving traces in Proposition 5.3 as explicit products of Satake-transform evaluations. None of these steps defines the left-hand side in terms of the right-hand side: the type I/type II lists are obtained from a vanishing criterion rather than imposed as the definition of the trace, and the local formulas in Proposition 5.3 are independent polynomial evaluations of fixed Hecke functions. The only same-author citation is the final line of the proof of Theorem 6.1, which delegates the extension from sufficiently large alpha to all positive alpha to Theorem 5.2.1 of the author's previous paper [24]; this is a technical delegation to a separate prior result, not a definitional or statistical identification of the target quantity, so it does not make the derivation circular. The possible gap that the hypotheses of Kret's Theorem 2 are not fully verified for the intermediate stratum is a correctness risk, not a circularity, and the paper's local trace computations retain independent content. Score reflects the mild self-citation but no circular reduction.

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

The paper introduces no new entities or fitted constants. The central claim rests on established results from Kottwitz, Kret, Tadic, Renard, and the author's own prior work; the most fragile imported ingredients are Theorem 2 of [18] and the extension step from [24].

assumptions (6)
  • domain assumption Kottwitz's point-counting formula and the Langlands-Kottwitz method for PEL-type Shimura varieties
    The starting point of the geometric-to-automorphic trace conversion; not proved in the paper, cited as [16].
  • domain assumption Kret's truncation of the Kottwitz formula and his adaptation to Newton strata
    The truncation argument used in Section 3 and the proof of Theorem 6.1 follows Kret [18], [19]; the paper repeats proofs but does not reproduce all details.
  • domain assumption Theorem 2 of Kret [18], classifying local components that contribute to the basic stratum as semi-stable rigid representations
    Used in the proof of Theorem 6.1 to restrict rho_pi,p to semi-stable rigid representations; the paper does not prove its hypotheses are met for intermediate strata beyond a brief reduction.
  • domain assumption Theorem VI.5.1 of Renard [29] on Jacquet modules of parabolically induced representations
    Used for the description of J_Nlambda(pi) in Section 5.
  • domain assumption Theorem 5.4 of Tadic [32] on the Zelevinsky classification of Speh representations
    Used in Proposition 5.2 to decompose Speh representations.
  • domain assumption Theorem 5.2.1 of Liu [24] used to extend the main theorem from sufficiently large alpha to all positive integers alpha
    The final step of Theorem 6.1 is delegated to the author's previous paper; the argument is not reproduced here.

how reviews work

0 comments
Cite this review

Pith. "Pith review of The cohomology of certain intermediate strata of Kottwitz varieties." pith.science (2026). https://pith.science/paper/5JHCM7TH

@misc{pith2026250704122,
  author       = {Pith},
  title        = {Pith review of: The cohomology of certain intermediate strata of Kottwitz varieties},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/5JHCM7TH}},
  note         = {Machine review of arXiv:2507.04122}
}
read the original abstract

We derive explicit formulas for the Frobenius-Hecke traces of the etale cohomology of certain strata of Kottwitz varieties (which are certain compact unitary type Shimura varieties considered by Kottwitz), in terms of automorphic representations and certain explicit polynomials. We obtain our results using the trace formula, representations of general linear groups over p-adic fields, and a truncation of the formula of Kottwitz for the number of points on Shimura varieties over finite fields.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

38 extracted references · 37 canonical work pages

  1. [18]

    Kottwitz

    Robert E. Kottwitz. Isocrystals with additional structure. II. Compositio Mathemat- ica, 109(3):255–339, 1997

    work page 1997

  2. [24]

    Moduli of supersingular abelian varieties

    Ke-Zheng Li and Frans Oort. Moduli of supersingular abelian varieties. 1998

    work page 1998

  3. [1]

    Casselman

    W. Casselman. The unramified principal series of p-adic groups. I. The spherical function. Compositio Mathematica, 40(3), 1980

    work page 1980

  4. [2]

    Clozel, L

    Delorme P. Clozel, L. Pseudo-coefficients et cohomologie des groupes de Lie r´ eductifs r´ eels.C. R. Acad. Sci. Paris S´ er. I Math., 300(12):385–387, 1985

    work page 1985

  5. [3]

    The fundamental lemma for stable base change

    Laurent Clozel. The fundamental lemma for stable base change. Duke Mathematical Journal, 61(1):255 – 302, August 1990

    work page 1990

  6. [4]

    Vari´ et´ es de Shimura: interpr´ etation modulaire et techniques de con- struction de mod` eles canoniques

    Pierre Deligne. Vari´ et´ es de Shimura: interpr´ etation modulaire et techniques de con- struction de mod` eles canoniques. 1979

    work page 1979

  7. [5]

    The Supersingular Locus of the Shimura Variety of GU (2, n-2)

    Maria Fox and Naoki Imai. The Supersingular Locus of the Shimura Variety of GU (2, n-2). arXiv preprint arXiv:2108.03584 , 2021

    arXiv 2021

  8. [6]

    Rigid geometry, lefschetz-verdier trace formula and deligne’s conjecture

    Kazuhiro Fujiwara. Rigid geometry, lefschetz-verdier trace formula and deligne’s conjecture. Inventiones mathematicae, 127(3):489–533, 1997

    work page 1997

Show all 38 references
  1. [7]

    On the supersingular locus of the GU (2,

    Benjamin Howard and Georgios Pappas. On the supersingular locus of the GU (2,

  2. [8]

    Algebra Number Theory, 8(7):1659–1699, 2014

    Shimura variety. Algebra Number Theory, 8(7):1659–1699, 2014

    2014

  3. [9]

    Supersingular abelian varieties of dimension two or three and class numbers

    Toshiyuki Katsura and Frans Oort. Supersingular abelian varieties of dimension two or three and class numbers. In Algebraic Geometry, Sendai, 1985 , volume 10, pages 253–282. Mathematical Society of Japan, 1987

    1985

  4. [10]

    Integral models for Shimura varieties of abelian type

    Mark Kisin. Integral models for Shimura varieties of abelian type. Journal of The American Mathematical Society - J AMER MATH SOC , 23:967–1012, 10 2010

    2010

  5. [11]

    The stable trace formula for Shimura varieties of abelian type, 10 2021

    Mark Kisin, Sug Shin, and Yihang Zhu. The stable trace formula for Shimura varieties of abelian type, 10 2021

    2021

  6. [12]

    p-adic variation of the zeta-function over families of varieties defined over finite fields

    Neal Koblitz. p-adic variation of the zeta-function over families of varieties defined over finite fields. Compositio Mathematica, 31(2):119–218, 1975

    1975

  7. [13]

    Kottwitz

    Robert E. Kottwitz. Orbital Integrals on GL3. American Journal of Mathematics , 102(2):327–384, 1980

    1980

  8. [14]

    Kottwitz

    Robert E. Kottwitz. Isocrystals with additional structure. Compositio Mathematica, 56(2):201–220, 1985

    1985

  9. [15]

    Kottwitz

    Robert E. Kottwitz. Shimura varieties and λ-adic representations. In: Automorphic Forms, Shimura Varieties, and L-Functions. Perspect. Math., 10:161–209, 1990

    1990

  10. [16]

    On the λ-adic representations associated to some simple Shimura varieties

    Robert E Kottwitz. On the λ-adic representations associated to some simple Shimura varieties. Inventiones mathematicae, 108(1):653–665, 1992. 29

    1992

  11. [17]

    Points on some Shimura varieties over finite fields

    Robert E Kottwitz. Points on some Shimura varieties over finite fields. Journal of the American Mathematical Society , 5(2):373–444, 1992

    1992

  12. [19]

    The basic stratum of some Simple Shimura Varieties

    Arno Kret. The basic stratum of some Simple Shimura Varieties. Mathematische Annalen, 356, 2011

    2011

  13. [20]

    The trace formula and the existence of PEL type Abelian varieties modulo p

    Arno Kret. The trace formula and the existence of PEL type Abelian varieties modulo p. arXiv: Number Theory , 2012

    2012

  14. [21]

    Combinatorics of the basic stratum

    Arno Kret. Combinatorics of the basic stratum. Documenta Mathematics , 20(07), 2015

    2015

  15. [22]

    Equidistribution in supersingular hecke orbits

    Arno Kret. Equidistribution in supersingular hecke orbits. Journal f¨ ur die reine und angewandte Mathematik (Crelles Journal) , 2017(733):25–54, 2017

    2017

  16. [23]

    Cohomologie, stabilisation et changement de base

    Jean-Pierre Labesse. Cohomologie, stabilisation et changement de base. Ast´ erisque, (257), 1999

    1999

  17. [25]

    An automorphic description of the zeta function of the basic stratum of certain Kottwitz varieties

    Yachen Liu. An automorphic description of the zeta function of the basic stratum of certain Kottwitz varieties. arXiv preprint arXiv:2411.01224 , 2024

    2024 arXiv

  18. [26]

    Unramified representations of unitary groups

    Alberto Minguez. Unramified representations of unitary groups. On the stabilization of the trace formula , 1:389–410, 2011

    2011

  19. [27]

    On the cohomology of certain non-compact Shimura varieties (with an appendix by Robert Kottwitz)

    Sophie Morel. On the cohomology of certain non-compact Shimura varieties (with an appendix by Robert Kottwitz). arXiv preprint arXiv:0802.4451 , 2008

    2008 arXiv

  20. [28]

    Rapoport and M

    M. Rapoport and M. Richartz. On the classification and specialization of F - isocrystals with additional structure. Compositio Mathematica, 103(2):153–181, 1996

    1996

  21. [29]

    On the Newton stratification

    Michael Rapoport. On the Newton stratification. In S´ eminaire Bourbaki : vol- ume 2001/2002, expos´ es 894-908, number 290 in Ast´ erisque, pages 207–224. Soci´ et´ e math´ ematique de France, 2003. talk:903

    2001

  22. [30]

    Repr´ esentations des groupes r´ eductifs p-adiques

    David Renard. Repr´ esentations des groupes r´ eductifs p-adiques. 2010

    2010

  23. [31]

    Sur le caract` ere de Steinberg.Compositio Mathematica, 59(2):147– 149, 1986

    Fran¸ cois Rodier. Sur le caract` ere de Steinberg.Compositio Mathematica, 59(2):147– 149, 1986

    1986

  24. [32]

    Classification of unitary representations in irreducible representations of general linear group (non-Archimedean case)

    Marko Tadi´ c. Classification of unitary representations in irreducible representations of general linear group (non-Archimedean case). Annales scientifiques de l’ ´Ecole Normale Sup´ erieure, Ser. 4, 19(3):335–382, 1986. 30

    1986

  25. [33]

    On characters of irreducible unitary representations of general linear groups

    Marko Tadic. On characters of irreducible unitary representations of general linear groups. Abhandlungen aus dem Mathematischen Seminar der Universit¨ at Hamburg, 65:341–363, 1995

    1995

  26. [34]

    The Supersingular Locus of the Shimura Variety for GU(1, s)

    Inken Vollaard. The Supersingular Locus of the Shimura Variety for GU(1, s). Cana- dian Journal of Mathematics , 62(3):668–720, 2010

    2010

  27. [35]

    The supersingular locus of the Shimura variety of GU (1, n- 1) II

    Inken Vollaard and Torsten Wedhorn. The supersingular locus of the Shimura variety of GU (1, n- 1) II. Inventiones mathematicae, 184(3):591–627, 2011

    2011

  28. [36]

    Ordinariness in good reductions of Shimura varieties of PEL-type

    Torsten Wedhorn. Ordinariness in good reductions of Shimura varieties of PEL-type. Annales scientifiques de l’ ´Ecole Normale Sup´ erieure, Ser. 4, 32(5):575–618, 1999

    1999

  29. [37]

    A model for the double cosets of Young subgroups

    Mark Wildon. A model for the double cosets of Young subgroups. 2010

    2010

  30. [38]

    A. V. Zelevinsky. Induced representations of reductive p-adic groups. II. On irreducible representations of GL( n). Annales scientifiques de l’ ´Ecole Normale Sup´ erieure, Ser. 4, 13(2):165–210, 1980. 31

    1980

Pith tools

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