Pith. sign in

REVIEW 3 major objections 5 minor 51 references

On the cohomology of simple Shimura varieties with non quasi-split local groups

T0 review · 3 major / 5 minor · reviewed 2026-08-10 · deepseek-v4-flash

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

Pith's one-line read This paper proves that the local test function for bad reduction of simple Shimura varieties matches an explicit stable-Bernstein-center element, yielding the semisimple cohomology and Hasse-Weil factors.

desk verdict Genuinely new extension of Scholze-Shin to non-quasi-split inner forms, but the fixed-point counting in Corollary 4.4.2 has an unproven partition that needs referee attention. read the letter →

arxiv 2501.12127 v2 pith:ORGJEDIB submitted 2025-01-21 math.NT math.AGmath.RT

Jingren Chi , Thomas J. Haines This is my paper · ORCID
classification math.NTmath.AGmath.RT MSC 11G1811F7011F8022E50
keywords ShimuravarietiesbadreductiontestfunctionsstableBernsteincentertwistedorbitalintegralsbasechangecohomologynon-quasi-splitgroups
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's aim is to describe the p-adic cohomology of simple Shimura varieties at a prime of bad reduction where the local group is an arbitrary inner form of a product of Weil restrictions of general linear groups, and hence need not be quasi-split. It proves that the local test function $\varphi_{\tau,h}$ entering the Lefschetz fixed-point count can be moved to the spectral side: its twisted orbital integrals match those of $z_{\tau,-\mu}*h$, an explicit element of the stable Bernstein center. It also proves a vanishing property: twisted orbital integrals of $\varphi_{\tau,h}$ are zero unless the naive norm of the relevant element lies in the local group up to conjugacy. Together these results give a formula for the semisimple cohomology and for the local Hasse-Weil zeta function in terms of Langlands parameters, extending earlier results from the quasi-split case.

What carries the argument

The engine is the pair consisting of the local test function $\varphi_{\tau,h}$ and the stable Bernstein center. The function $\varphi_{\tau,h}$ on $G(\mathbb{Q}_{p^r})$ is defined by the trace of $\tau\times h$ on the \'etale cohomology of the deformation space of a $p$-divisible group with EL structure (an action of a maximal order of a semisimple algebra together with lattice-chain level data); it packages the geometric contribution of each fixed point. The element $z_{\tau,-\mu}$ of the stable Bernstein center acts on an irreducible smooth representation by the trace of $\tau$ on the representation $r_{-\mu}$ composed with the semisimple $L$-parameter. The proof that the two match runs through a twisted local Jacquet-Langlands correspondence and a base-change theorem for the stable Bernstein center, together with a global construction of two companion groups whose simple trace formulas are compared. The matching is what converts a geometric test function into a spectral quantity.

What would settle it

Take an explicit non-quasi-split local group such as the unit group of a central division algebra over $\mathbb{Q}_p$, choose a $\sigma$-semisimple $\delta$ in $G(\mathbb{Q}_{p^r})$ whose naive norm is not conjugate into $G(\mathbb{Q}_p)$, and compute the twisted orbital integral $TO_{\delta\sigma}(\varphi_{\tau,h})$ directly from the deformation-space definition; a single nonzero value would contradict the vanishing theorem.

Watch

Extended reading notes

Core claim

On the paper's own terms, the central discovery is an orbital-integral identity. For any cut-off function $h$ on the parahoric subgroup $G_L(\mathbb{Z}_p)$, the function $z_{\tau,-\mu}*h$ on the quasi-split inner form $G^*(\mathbb{Q}_p)$ is a base change transfer of the local test function $\varphi_{\tau,h}$ on $G(\mathbb{Q}_{p^r})$, and $z_{-\mu}*h$ is the corresponding transfer of the semisimple variant $\varphi^{(r)}_h$. The identity implies the vanishing property: $TO_{\delta\sigma}(\varphi_{\tau,h}) = 0$ whenever the naive norm of $\delta$ is not conjugate into $G(\mathbb{Q}_p)$, so only isogeny classes admitting a global triple $(\gamma_0; \gamma, \delta)$ contribute to the Lefschetz trace formula. Via the trace formula the same identity yields the cohomology description: the restriction of $H^*_\xi$ to $W_{E_p}$ is a sum of terms $\pi_f \otimes (r_{-\mu}\circ\phi_{\pi_p}|_{W_{E_p}})\,|\cdot|^{-\dim Sh/2}$ with the multiplicities $a(\pi_f)$; consequently the semisimple local Hasse-Weil factors are products of local $L$-factors. This extends the known quasi-split results to any inner form of a product of Weil restrictions of general linear groups.

Load-bearing premise

The argument assumes the fixed-point count in the special fiber of the integral model is valid, even though the parahoric model used at $p$ is only shown to be a scheme and may fail to be flat.

Editorial extensions

If this is right

  • $H^*_\xi$ restricted to $W_{E_p}$ equals $\sum_{\pi_f} a(\pi_f)\,\pi_f \otimes (r_{-\mu}\circ\phi_{\pi_p}|_{W_{E_p}})\,|\cdot|^{-\dim Sh/2}$ in the relevant Grothendieck group.
  • The semisimple local Hasse-Weil factor of $Sh_K$ at $p$ equals $\prod_{\pi_f} L^{ss}(s-\dim Sh_K/2, \pi_p, r_p)^{a(\pi_f)\dim \pi_f^K}$.
  • The vanishing property means that only isogeny classes for which the naive norm is conjugate into $G(\mathbb{Q}_p)$ contribute to the Lefschetz trace formula, removing the obstruction to forming global triples $(\gamma_0; \gamma, \delta)$.
  • The semisimple trace of Frobenius at level $K_pK^p$ is expressed as a sum over such triples involving the Bernstein-center element $z^{(r)}_{-\mu}*e_{K_{p^r}}$, verifying the test-function conjecture in this setting.

Reading between the lines

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

  • Beyond the paper: because the transfer is expressed through explicit Bernstein-center elements, the local Hasse-Weil factors for these varieties are in principle computable by evaluating characters rather than by counting points, suggesting direct numerical checks in small cases.
  • Beyond the paper: the same mechanism should apply at any parahoric level for which the deformation spaces have controlled cohomology; if a flat integral model replaces the naive one, the method's caveat about non-flatness disappears and the argument may extend to neighboring groups beyond Weil restrictions of general linear groups.
  • Beyond the paper: the vanishing property itself can be tested locally in a rank-one division algebra setting, where the deformation spaces are concrete; a nonzero twisted orbital integral for a non-transferable $\delta$ would contradict the paper's main local theorem.
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 / 5 minor

Summary. This paper studies the Scholze test functions attached to the bad reduction of Kottwitz-type simple Shimura varieties at a prime p where the local group is an inner form of a product of Weil restrictions of general linear groups, hence not necessarily quasi-split. The main local theorems are the vanishing property of twisted orbital integrals of the test functions (Thm 3.4.3) and the assertion that z_{τ,-μ} * h is a base-change transfer of φ_{τ,h} (Thm 3.4.4). From these the authors deduce a semisimple description of the cohomology (Thm 4.3.1), explicit semisimple local Hasse-Weil zeta factors (Cor 4.3.3), and the Haines-Kottwitz test-function conjecture in this setting (Cor 4.6.2). The proof is global: the authors introduce companion unitary similitude groups G_β and G', compute the cohomology of the G_β-Shimura variety via Galois representations and Chebotarev, and compare the resulting simple trace formulas with the Langlands-Kottwitz-Scholze fixed-point count. The paper also contains a new twisted local Jacquet-Langlands theorem (Thm 2.4.1) and explicitly repairs a gap in [She18, Lemma 5.3].

Significance. If correct, this is a substantial contribution: it removes the quasi-splitness assumption for a large class of groups, establishes the expected base-change transfer to the stable Bernstein center, and verifies a special case of the Haines-Kottwitz test-function conjecture. The global method is a genuine methodological advance and appears to avoid circularity: the cohomology of the companion Shimura variety is computed from Galois representations and Chebotarev rather than from the local test functions. The paper is unusually explicit about a gap in earlier work and provides a new local theorem of independent interest. The main correctness risk identified below concerns the fixed-point count on the non-flat naive integral model; this is a localizable and likely repairable issue rather than a fundamental flaw.

major comments (3)
  1. [§4.4.3, Corollary 4.4.2] The statement of Corollary 4.4.2 uses the equality Fix_{j,L}(g_p) = ⨆_{(A,u,λ)} Isog(A,u,λ). However, Isog(A,u,λ) was defined just above as the subset of Fix_{j,L}(g_p) consisting of points lying in the closure of the generic fibre, and footnote 3 explicitly concedes that the naive integral model M_{K_L K^p} need not be flat. For a non-flat model there can be special-fibre fixed points that are not in the closure of the generic fibre, and these points are contained in none of the sets Isog(A,u,λ). Their local terms vanish because Rψπ_*F_ξ is supported on the closure of the generic fibre, but the proof of Corollary 4.4.2 does not say this; instead it breaks the sum according to the displayed partition. Since this partition feeds directly into Eq. (4.6) and Theorem 5.5.1, the authors must either replace Fix_{j,L}(g_p) by Fix_{j,L}(g_p) ∩ closure in the trace formula and justify omission of the remaining points, or prove that every point with nonzero φ_{τ,h}(g^{-1}δσ(g)) lies in the closure. As written, the displayed formula can overcount.
  2. [§5.4.2, Lemma 5.4.3] Lemma 5.4.3 is the key replacement of Kottwitz triples by generalized Kottwitz triples, but its proof is largely a reference to [Kot92b, pp. 420-422] with 'slight modifications'. In particular, the construction of the global algebra embedding N → C' compatible with the Rosati involution is not written out; the reader needs to see how the use of quasi-splitness of G(Q_p) in Kottwitz's argument is replaced by the splitness of B' at the places above p. This is load-bearing for Theorem 5.5.1 and should be expanded.
  3. [§5.5, final step] The proof of Theorem 3.4.4 passes from the statement that f^*_{τ,h} is a Jacquet-Langlands transfer of z_{τ,-μ}*h to the conclusion that z_{τ,μ}*h (sic) is a base-change transfer of φ_{τ,h}. The sign of the character in the final display is written as μ rather than -μ. This is likely a typo, but because the whole point of Theorem 3.4.4 is the precise element z_{τ,-μ}, the sign should be checked carefully throughout the last paragraph and corrected consistently.
minor comments (5)
  1. [§4.5.1] In the paragraph after Proposition 4.5.2, 'combined with the vanishing property Theorem 3.4.4' should cite Theorem 3.4.3 (or both Theorems 3.4.3 and 3.4.4), since Theorem 3.4.4 is the matching statement, not the vanishing statement.
  2. [Corollary 4.6.2] The displayed formula has an unbalanced parenthesis in H^*(Sh_{K_pK^p} ⊗_E \bar{Q}, F_{K_pK^p}) and the subscript notation on the local system is inconsistent with the notation used elsewhere.
  3. [Abstract and front matter] There are many extraction artifacts such as 'W e ', 'V arieties', and 'A f' in the abstract and introduction; these should be cleaned before the final version.
  4. [§3.4, Definition 3.4.1] The notation tr(τ|(r_{-μ}∘φ|W_E)|·|^{-⟨ρ,μ⟩}_E) is overloaded and hard to parse; the role of the '|·|' factor and the choice of √p mentioned in Remark 3.4.2 should be made explicit in the displayed formula.
  5. [§5.1.3, Lemma 5.1.1] In the proof of Lemma 5.1.1, the notation 'H^1(F_0, G^{ad}_{β_0})' is used for both the global cohomology set and local cohomology sets; a short sentence fixing the usual restrictions would eliminate ambiguity.

Circularity Check

0 steps flagged · score 0.0 of 10

No load-bearing circularity; the local transfer theorem is proved by an independent companion-group comparison.

full rationale

The paper's central local claims (Theorem 3.4.3: vanishing of twisted orbital integrals of the Scholze test function; Theorem 3.4.4: matching with z_tau,-mu * h) are not assumed or fitted. They are proved in Section 5 by a genuinely global method. For the companion group G_beta, Corollary 5.3.2 establishes the restricted cohomology description a(pi_f)(r_-mu o phi)|.|^{-dim/2} using Galois representations from Theorem 5.3.1 and the Chebotarev density theorem, explicitly 'without using the Langlands-Kottwitz-Scholze method' (Section 1.2). Corollary 5.3.3 then gives one expression for Tr(tau x h f^p | H^*_{beta,xi}) purely in terms of z_tau,-mu * h and automorphic representations of G_beta. Independently, Theorem 5.5.1 and Corollary 5.5.2 compute the same trace by the Langlands-Kottwitz-Scholze fixed-point method with the auxiliary quasi-split group G', yielding an expression in terms of the stable base-change transfer f^*_{tau,h} of phi_{tau,h}. Comparing these two independently obtained expressions (Corollaries 5.3.3 and 5.5.2) is what forces f^*_{tau,h} to be the Jacquet-Langlands transfer of z_tau,-mu * h, and hence forces the matching of orbital integrals asserted in Theorem 3.4.4. No fitted parameter is renamed as a prediction, and no target identity is inserted as an input. The paper's self-citations, mainly to [Hai14] for stable Bernstein center background and to [HZZ] for a fuller discussion of the cohomological correspondence, are not load-bearing: the actual correspondence used is cited to Scholze [Sch13b, Prop. 5.5], and the stable Bernstein center facts are standard structural results, not the theorem being proved. The skeptic's concern about non-flatness of the naive parahoric model (footnote 3 in Section 4.4.3) is a correctness risk about the fixed-point count, not a circularity: a gap there would invalidate an input to the comparison, but it would not make the theorem's conclusion equivalent to its assumptions by construction. Accordingly, the derivation chain is self-contained against the claimed results, and the circularity score is 0.

Assumptions & free parameters 0 free parameters · 5 assumptions · 2 invented entities

The paper's central results rest on standard deep theorems in the Langlands program (base change, Jacquet-Langlands, local Langlands) imported from the literature, plus two explicit group constructions (G_beta and G') that are proven to exist. No fitted parameters or unjustified invented entities appear.

assumptions (5)
  • domain assumption Local Langlands correspondence for inner forms of products of Weil restrictions of general linear groups
    Invoked in Section 1.1 and Section 2.5 to attach semisimple L-parameters to representations and to identify the stable Bernstein center with the Bernstein center; cited to [Coh18].
  • domain assumption Base change and simple trace formula for unitary groups (Arthur-Clozel, Labesse, Harris-Taylor)
    The global method of Section 5.2 (Theorem 5.2.2) depends on the comparison of simple twisted trace formulas from [Lab99] and [HT01].
  • domain assumption Badulescu's global Jacquet-Langlands correspondence for GL_n over CM fields
    Used in Section 2.4.7 and in the proof of Theorem 5.3.1 to pass between inner forms and GL_n and to obtain Galois representations via Harris-Taylor.
  • standard math Hilbert's Theorem 90 and vanishing of H^1(Q_p, H) for unit groups of semisimple Q_p-algebras
    Used throughout Sections 2.1-2.2 to identify stable conjugacy with conjugacy and to prove Lemma 2.1.1.
  • domain assumption The naive parahoric integral model represents the moduli problem and its special fiber satisfies the Kottwitz determinant condition
    Proposition 4.2.1 relies on Scholze's results [Sch13b, Theorem 5.2] for the representability of each parahoric-level moduli problem.
invented entities (2)
  • Companion unitary similitude group G_beta independent evidence
    purpose: A global group with the same p-adic localization as the original G, used to run the global method and prove the local theorems.
    It is constructed from a division algebra with prescribed local invariants (Sections 5.1.2-5.1.3), so its existence is verifiable via class field theory, not a just-so postulate.
  • Auxiliary quasi-split-at-p group G' independent evidence
    purpose: Provides the quasi-split inner form at p needed for the generalized Kottwitz triples and the pseudo-stabilization comparison.
    Defined in Section 5.4.1 as the group attached to a division algebra B' that is split at w and w^c and isomorphic to B elsewhere; its existence follows from the same Brauer group construction.

how reviews work

0 comments
Cite this review

Pith. "Pith review of On the cohomology of simple Shimura varieties with non quasi-split local groups." pith.science (2026). https://pith.science/paper/ORGJEDIB

@misc{pith2026250112127,
  author       = {Pith},
  title        = {Pith review of: On the cohomology of simple Shimura varieties with non quasi-split local groups},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/ORGJEDIB}},
  note         = {Machine review of arXiv:2501.12127}
}
read the original abstract

We study the Scholze test functions for bad reduction of simple Shimura varieties at a prime where the underlying local group is any inner form of a product of Weil restrictions of general linear groups. Using global methods, we prove that these test functions satisfy a vanishing property of their twisted orbital integrals, and we prove that the pseudostabilization base changes of such functions exist (even though the local group need not be quasi-split) and can be expressed in terms of explicit distributions in the stable Bernstein center. We then deduce applications to the stable trace formula and local Hasse-Weil zeta functions for these Shimura varieties.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

51 extracted references · 47 canonical work pages

  1. [1]

    Simple algebras, base change, and the advanced theory of the trace formula , volume 120 of Annals of Mathematics Studies

    James Arthur and Laurent Clozel. Simple algebras, base change, and the advanced theory of the trace formula , volume 120 of Annals of Mathematics Studies . Princeton University Press, Princeton, NJ, 1989

    work page 1989

  2. [2]

    Un r\' e sultat de transfert et un r\' e sultat d'int\' e grabilit\' e locale des caract\`eres en caract\' e ristique non nulle

    Alexandru Ioan Badulescu. Un r\' e sultat de transfert et un r\' e sultat d'int\' e grabilit\' e locale des caract\`eres en caract\' e ristique non nulle. J. Reine Angew. Math. , 565:101--124, 2003

    work page 2003

  3. [3]

    Global J acquet- L anglands correspondence, multiplicity one and classification of automorphic representations

    Alexandru Ioan Badulescu. Global J acquet- L anglands correspondence, multiplicity one and classification of automorphic representations. Invent. Math. , 172(2):383--438, 2008. With an appendix by Neven Grbac

    work page 2008

  4. [4]

    A. I. Badulescu. The trace formula and the proof of the global J acquet- L anglands correspondence. In Relative aspects in representation theory, L anglands functoriality and automorphic forms , volume 2221 of Lecture Notes in Math. , pages 197--250. Springer, Cham, 2018

    work page 2018

  5. [5]

    Admissible representations of a semi-simple group over a local field with vectors fixed under an I wahori subgroup

    Armand Borel. Admissible representations of a semi-simple group over a local field with vectors fixed under an I wahori subgroup. Invent. Math. , 35:233--259, 1976

    work page 1976

  6. [6]

    Clozel and J.-P

    L. Clozel and J.-P. Labesse. Orbital integrals and distributions. In On certain L -functions , volume 13 of Clay Math. Proc. , pages 107--115. Amer. Math. Soc., Providence, RI, 2011

    work page 2011

  7. [7]

    The fundamental lemma for stable base change

    Laurent Clozel. The fundamental lemma for stable base change. Duke Math. J. , 61(1):255--302, 1990

    work page 1990

  8. [8]

    Transfer of representations and orbital integrals for inner forms of gl _n

    Jonathan Cohen. Transfer of representations and orbital integrals for inner forms of gl _n . Canad. J. Math. , 70(3):595--627, 2018

    work page 2018

Show all 51 references
  1. [9]

    Deligne, D

    P. Deligne, D. Kazhdan, and M.-F. Vign\'eras. Repr\'esentations des alg\`ebres centrales simples p -adiques. In Representations of reductive groups over a local field , Travaux en Cours, pages 33--117. Hermann, Paris, 1984

    1984

  2. [10]

    Cohomologie des espaces de modules de groupes p -divisibles et correspondances de L anglands locales

    Laurent Fargues. Cohomologie des espaces de modules de groupes p -divisibles et correspondances de L anglands locales. Number 291, pages 1--199. Soc.\,Math.\,France, 2004. Vari\' e t\' e s de Shimura, espaces de Rapoport-Zink et correspondances de Langlands locales

    2004

  3. [11]

    Nearby cycles of parahoric shtukas, and a fundamental lemma for base change

    Tony Feng. Nearby cycles of parahoric shtukas, and a fundamental lemma for base change. Selecta Mathematica , 26(2):21, 2020

    2020

  4. [12]

    D. Flath. Decomposition of representations into tensor products. In Automorphic forms, representations and L -functions ( P roc. S ympos. P ure M ath., O regon S tate U niv., C orvallis, O re., 1977), P art 1 , volume XXXIII of Proc. Sympos. Pure Math. , pages 179--183. Amer. ...

    1977

  5. [13]

    Gross and Mark Reeder

    Benedict H. Gross and Mark Reeder. Arithmetic invariants of discrete L anglands parameters. Duke Math. J. , 154(3):431--508, 2010

    2010

  6. [14]

    Thomas J. Haines. Introduction to S himura varieties with bad reduction of parahoric type. In Harmonic analysis, the trace formula, and S himura varieties , volume 4 of Clay Math. Proc. , pages 583--642. Amer. Math. Soc., Providence, RI, 2005

    2005

  7. [15]

    Thomas J. Haines. The base change fundamental lemma for central elements in parahoric H ecke algebras. Duke Math. J. , 149(3):569--643, 2009

    2009

  8. [16]

    Thomas J. Haines. The stable B ernstein center and test functions for S himura varieties. In Automorphic forms and G alois representations. V ol. 2 , volume 415 of London Math. Soc. Lecture Note Ser. , pages 118--186. Cambridge Univ. Press, Cambridge, 2014

    2014

  9. [17]

    Haines and B

    T. Haines and B. C. Ng\^ o . Nearby cycles for local models of some S himura varieties. Compositio Math. , 133(2):117--150, 2002

    2002

  10. [18]

    Haines and Timo Richarz

    Thomas J. Haines and Timo Richarz. The test function conjecture for local models of W eil-restricted groups. Compos. Math. , 156(7):1348--1404, 2020

    2020

  11. [19]

    Haines and Timo Richarz

    Thomas J. Haines and Timo Richarz. The test function conjecture for parahoric local models. J. Amer. Math. Soc. , 34(1):135--218, 2021

    2021

  12. [20]

    The geometry and cohomology of some simple S himura varieties , volume 151 of Annals of Mathematics Studies

    Michael Harris and Richard Taylor. The geometry and cohomology of some simple S himura varieties , volume 151 of Annals of Mathematics Studies . Princeton University Press, Princeton, NJ, 2001. With an appendix by Vladimir G. Berkovich

    2001

  13. [21]

    The stable trace formula for shimura varieties with parahoric level structure

    Thomas Haines, Rong Zhou, and Yihang Zhu. The stable trace formula for shimura varieties with parahoric level structure

  14. [22]

    Kottwitz

    Robert E. Kottwitz. Rational conjugacy classes in reductive groups. Duke Math. J. , 49(4):785--806, 1982

    1982

  15. [23]

    Kottwitz

    Robert E. Kottwitz. Sign changes in harmonic analysis on reductive groups. Trans. Amer. Math. Soc. , 278(1):289--297, 1983

    1983

  16. [24]

    Kottwitz

    Robert E. Kottwitz. Shimura varieties and twisted orbital integrals. Math. Ann. , 269(3):287--300, 1984

    1984

  17. [25]

    Kottwitz

    Robert E. Kottwitz. Base change for unit elements of H ecke algebras. Compositio Math. , 60(2):237--250, 1986

    1986

  18. [26]

    Kottwitz

    Robert E. Kottwitz. Stable trace formula: elliptic singular terms. Math. Ann. , 275:365--399, 1986

    1986

  19. [27]

    Kottwitz

    Robert E. Kottwitz. Tamagawa numbers. Ann. Math. , 127(3):629--646, 1988

    1988

  20. [28]

    Kottwitz

    Robert E. Kottwitz. Shimura varieties and -adic representations. In Automorphic forms, S himura varieties, and L -functions, V ol. I ( A nn A rbor, MI , 1988) , volume 10 of Perspect. Math. , pages 161--209. Academic Press, Boston, MA, 1990

    1988

  21. [29]

    Kottwitz

    Robert E. Kottwitz. On the -adic representations associated to some simple S himura varieties. Invent. Math. , 108(3):653--665, 1992

    1992

  22. [30]

    Kottwitz

    Robert E. Kottwitz. Points on some S himura varieties over finite fields. J. Amer. Math. Soc. , 5(2):373--444, 1992

    1992

  23. [31]

    Honda–Tate theory for Shimura varieties

    Mark Kisin, Keerthi Madapusi Pera, and Sug Woo Shin. Honda–Tate theory for Shimura varieties . Duke Mathematical Journal , 171(7):1559 -- 1614, 2022

    2022

  24. [32]

    Kottwitz and Jonathan D

    Robert E. Kottwitz and Jonathan D. Rogawski. The distributions in the invariant trace formula are supported on characters. Canad. J. Math. , 52(4):804--814, 2000

    2000

  25. [33]

    Cohomologie, stabilisation et changement de base

    Jean-Pierre Labesse. Cohomologie, stabilisation et changement de base. Ast\' e risque , (257):vi+161, 1999. Appendix A by Laurent Clozel and Labesse, and Appendix B by Lawrence Breen

    1999

  26. [34]

    Cohomology of D rinfeld modular varieties

    G\'erard Laumon. Cohomology of D rinfeld modular varieties. P art I , volume 41 of Cambridge Studies in Advanced Mathematics . Cambridge University Press, Cambridge, 1996. Geometry, counting of points and local harmonic analysis

    1996

  27. [35]

    Abelian varieties , volume 5 of Tata Institute of Fundamental Research Studies in Mathematics

    David Mumford. Abelian varieties , volume 5 of Tata Institute of Fundamental Research Studies in Mathematics . Tata Institute of Fundamental Research, Bombay; by Hindustan Book Agency, New Delhi, 2008. With appendices by C. P. Ramanujam and Yuri Manin, Corrected reprint of the...

    1974

  28. [36]

    Pappas and M

    G. Pappas and M. Rapoport. Local models in the ramified case. I . T he EL -case. J. Algebraic Geom. , 12(1):107--145, 2003

    2003

  29. [37]

    Rapoport

    M. Rapoport. On the bad reduction of S himura varieties. In Automorphic forms, S himura varieties, and L -functions, V ol.\ II ( A nn A rbor, MI , 1988) , volume 11 of Perspect. Math. , pages 253--321. Academic Press, Boston, MA, 1990

    1988

  30. [38]

    A guide to the reduction modulo p of S himura varieties

    Michael Rapoport. A guide to the reduction modulo p of S himura varieties. Number 298, pages 271--318. 2005. Automorphic forms. I

    2005

  31. [39]

    J. D. Rogawski. Trace P aley- W iener theorem in the twisted case. Trans. Amer. Math. Soc. , 309(1):215--229, 1988

    1988

  32. [40]

    Rogawski

    Jonathan D. Rogawski. Automorphic representations of unitary groups in three variables , volume 123 of Annals of Mathematics Studies . Princeton University Press, Princeton, NJ, 1990

    1990

  33. [41]

    Rogawski

    Jonathan D. Rogawski. An application of the building to orbital integrals. Compositio Math. , 42(3):417--423, 1980/81

    1980

  34. [42]

    Rapoport and Th

    M. Rapoport and Th. Zink. Period spaces for p -divisible groups , volume 141 of Annals of Mathematics Studies . Princeton University Press, Princeton, NJ, 1996

    1996

  35. [43]

    The L anglands- K ottwitz approach for some simple S himura varieties

    Peter Scholze. The L anglands- K ottwitz approach for some simple S himura varieties. Invent. Math. , 192(3):627--661, 2013

    2013

  36. [44]

    The L anglands- K ottwitz method and deformation spaces of p -divisible groups

    Peter Scholze. The L anglands- K ottwitz method and deformation spaces of p -divisible groups. J. Amer. Math. Soc. , 26(1):227--259, 2013

    2013

  37. [45]

    On the -adic cohomology of some p -adically uniformized S himura varieties

    Xu Shen. On the -adic cohomology of some p -adically uniformized S himura varieties. J. Inst. Math. Jussieu , 17(5):1197--1226, 2018

    2018

  38. [46]

    On the cohomology of R apoport- Z ink spaces of EL -type

    Sug Woo Shin. On the cohomology of R apoport- Z ink spaces of EL -type. Amer. J. Math. , 134(2):407--452, 2012

    2012

  39. [47]

    On the cohomology of compact unitary group S himura varieties at ramified split places

    Peter Scholze and Sug Woo Shin. On the cohomology of compact unitary group S himura varieties at ramified split places. J. Amer. Math. Soc. , 26(1):261--294, 2013

    2013

  40. [48]

    Induced representations of gl _n(a) for p -adic division algebras a

    Marko Tadic. Induced representations of gl _n(a) for p -adic division algebras a . J.\,reine angew.\,Math. , 405:48--77, 1990

    1990

  41. [49]

    Remark on representation theory of general linear groups over a non-archimedean local division algebra

    Marko Tadi\'c. Remark on representation theory of general linear groups over a non-archimedean local division algebra. Rad Hrvat. Akad. Znan. Umjet. Mat. Znan. , 19(523):27--53, 2015

    2015

  42. [50]

    Lefschetz- V erdier trace formula and a generalization of a theorem of F ujiwara

    Yakov Varshavsky. Lefschetz- V erdier trace formula and a generalization of a theorem of F ujiwara. Geom. Funct. Anal. , 17(1):271--319, 2007

    2007

  43. [51]

    Zelevinsky

    Andrey V. Zelevinsky. Induced representations of reductive p-adic groups.ii. on irreducible representations of gl _n . Ann.\,Sci.\,\' E cole Norm.\,Sup. , 13(4):165--210, 1980

    1980

Pith tools

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