pith. sign in

arxiv: 2408.01348 · v2 · submitted 2024-08-02 · 🧮 math.NT · math.AG

Igusa Stacks and the Cohomology of Shimura Varieties

Patrick Daniels , Pol van Hoften , Dongryul Kim , Mingjia Zhang This is my paper

Pith reviewed 2026-05-23 22:03 UTC · model grok-4.3

classification 🧮 math.NT math.AG
keywords Igusa stacksShimura varietiesHodge typeBun_Glocal Langlands correspondencecohomologyFargues-Scholze spectral actionEichler-Shimura relation
0
0 comments X

The pith

Functorial Igusa stacks are constructed for every Hodge-type Shimura variety, yielding a sheaf on Bun_G that governs its cohomology and links it to the semisimple local Langlands correspondence.

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

The paper constructs functorial Igusa stacks for all Hodge-type Shimura varieties, extending prior work limited to PEL-type cases and proving a conjecture of Scholze. These stacks produce a sheaf on Bun_G whose properties determine the cohomology of the associated Shimura variety. The sheaf is then combined with the Fargues-Scholze spectral action to establish compatibility between the cohomology and the semisimple local Langlands correspondence, extending the Eichler-Shimura relation to arbitrary level at p. When the Shimura variety is proper, the sheaf is shown to be perverse, which yields new vanishing statements for torsion classes in the cohomology.

Core claim

The central claim is that functorial Igusa stacks exist for every Hodge-type Shimura variety. These stacks are used to define a sheaf on Bun_G that controls the cohomology of the Shimura variety. The construction, together with the spectral action of Fargues-Scholze, produces a compatibility between the cohomology and the semisimple local Langlands correspondence that holds at arbitrary level at p and generalizes the Eichler-Shimura relation of Blasius-Rogawski. For proper Shimura varieties the sheaf is perverse, implying new torsion vanishing results.

What carries the argument

The Igusa stack, a stack over the Shimura variety that encodes p-adic level structures in a functorial way and supplies the sheaf on Bun_G used to control cohomology.

If this is right

  • Cohomology of Hodge-type Shimura varieties satisfies a compatibility with the semisimple local Langlands correspondence at any level at p.
  • The Eichler-Shimura relation extends from low level to arbitrary level at p for these varieties.
  • When the Shimura variety is proper, its cohomology satisfies new vanishing statements for p-torsion classes.
  • The sheaf on Bun_G provides a uniform way to study cohomology across all Hodge-type cases.

Where Pith is reading between the lines

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

  • The same sheaf construction may supply a template for relating cohomology to local Langlands data in other families of varieties attached to reductive groups.
  • Perversity of the sheaf could be used to bound the support of cohomology in the moduli stack Bun_G for additional classes of Shimura varieties.
  • The functoriality established here opens the possibility of comparing Igusa stacks across different Shimura data via morphisms of the underlying groups.

Load-bearing premise

The Igusa-stack construction that worked for PEL-type Shimura varieties extends functorially to all Hodge-type cases.

What would settle it

An explicit Hodge-type Shimura variety (not PEL) for which the constructed Igusa stack fails to be functorial or for which the resulting sheaf on Bun_G does not control the cohomology groups.

read the original abstract

We construct functorial Igusa stacks for all Hodge-type Shimura varieties, proving a conjecture of Scholze and extending earlier results of the fourth-named author for PEL-type Shimura varieties. Using the Igusa stack, we construct a sheaf on $\mathrm{Bun}_G$ that controls the cohomology of the corresponding Shimura variety. We use this sheaf and the spectral action of Fargues-Scholze to prove a compatibility between the cohomology of Shimura varieties of Hodge type and the semisimple local Langlands correspondence of Fargues-Scholze, generalizing the Eichler-Shimura relation of Blasius-Rogawski to arbitrary level at $p$. When the given Shimura variety is proper, we show moreover that the sheaf is perverse, which allows us to prove new torsion vanishing results for the cohomology of Shimura varieties.

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

2 major / 2 minor

Summary. The paper constructs functorial Igusa stacks for all Hodge-type Shimura varieties, proving a conjecture of Scholze and extending the fourth author's prior results for PEL-type cases. It uses the Igusa stack to define a sheaf on Bun_G that controls the cohomology of the Shimura variety. Combining this sheaf with the Fargues-Scholze spectral action yields a compatibility between the cohomology of Hodge-type Shimura varieties and the semisimple local Langlands correspondence, generalizing the Eichler-Shimura relation of Blasius-Rogawski to arbitrary level at p. When the Shimura variety is proper, the sheaf is shown to be perverse, implying new torsion vanishing results for the cohomology.

Significance. If the constructions and compatibilities hold, this constitutes a major advance in the p-adic Langlands program and the cohomology of Shimura varieties. The extension of Igusa stacks to the full Hodge-type setting supplies a key missing ingredient for applying the Fargues-Scholze machinery uniformly, while the resulting sheaf and perversity statements furnish concrete control over torsion in the cohomology at arbitrary level. The generalization of the Eichler-Shimura relation is a direct payoff with broad implications.

major comments (2)
  1. [§3] §3, Construction of the Igusa stack: the functoriality statement for Hodge-type data (beyond PEL) relies on a reduction to the PEL case via a choice of auxiliary PEL datum; it is not immediately clear from the argument whether this choice can be made compatibly with the subsequent sheaf on Bun_G and the spectral action (see also the compatibility diagram in §5). A concrete verification that the resulting sheaf is independent of the auxiliary choice would strengthen the central claim.
  2. [§6] §6, Theorem on the compatibility with semisimple local Langlands: the proof invokes the spectral action on the sheaf constructed in §4, but the precise identification of the Hecke eigenvalues with the semisimple parameters of Fargues-Scholze is only sketched via a diagram chase; an explicit computation of the action on the stalk at the trivial bundle (or a reference to a prior result that applies verbatim) is needed to confirm the generalization of the Eichler-Shimura relation holds without additional assumptions on the level at p.
minor comments (2)
  1. [§1] The notation Bun_G is used from the introduction onward without an early definition or reference to the standard definition in the Fargues-Scholze literature; adding a short paragraph in §1 would improve readability.
  2. [§7] In the statement of the perversity result (Theorem 7.1), the precise t-structure on the derived category of sheaves on Bun_G is not recalled; a one-sentence reminder of the conventions would clarify the claim.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading of our manuscript and for the positive recommendation of minor revision. The comments highlight points where additional explicitness would strengthen the exposition. We address each major comment below and will incorporate the suggested clarifications in the revised version.

read point-by-point responses

  1. Referee: [§3] §3, Construction of the Igusa stack: the functoriality statement for Hodge-type data (beyond PEL) relies on a reduction to the PEL case via a choice of auxiliary PEL datum; it is not immediately clear from the argument whether this choice can be made compatibly with the subsequent sheaf on Bun_G and the spectral action (see also the compatibility diagram in §5). A concrete verification that the resulting sheaf is independent of the auxiliary choice would strengthen the central claim.

    Authors: We agree that an explicit verification of independence strengthens the argument. The auxiliary PEL datum is chosen compatibly with the Hodge-type data via the standard embedding of Shimura data, and the resulting sheaf on Bun_G is independent of this choice because the canonical isomorphisms between different PEL reductions (arising from the functoriality of the Igusa stack construction) induce isomorphisms of the associated sheaves that commute with the spectral action. To make this fully transparent, we will add a dedicated paragraph at the end of §3 that verifies independence by exhibiting the canonical isomorphism between sheaves obtained from two different auxiliary choices and confirming that this isomorphism is compatible with the diagram in §5. This is a clarification rather than a change in the underlying mathematics. revision: yes

  2. Referee: [§6] §6, Theorem on the compatibility with semisimple local Langlands: the proof invokes the spectral action on the sheaf constructed in §4, but the precise identification of the Hecke eigenvalues with the semisimple parameters of Fargues-Scholze is only sketched via a diagram chase; an explicit computation of the action on the stalk at the trivial bundle (or a reference to a prior result that applies verbatim) is needed to confirm the generalization of the Eichler-Shimura relation holds without additional assumptions on the level at p.

    Authors: The identification follows from the naturality of the spectral action of Fargues-Scholze applied to the sheaf constructed in §4, together with the fact that the Hecke eigenvalues on the cohomology are recovered from the stalk at the trivial bundle via the definition of the sheaf. The diagram chase in §6 encodes precisely this identification, relying on results from Fargues-Scholze that apply verbatim to our setting without extra assumptions on the level at p. To address the request for explicitness, we will expand the argument in §6 by including a short computation of the action on the stalk at the trivial bundle (referencing the relevant statements in Fargues-Scholze that apply directly) and will add a sentence clarifying that no additional level assumptions are used. This makes the generalization of the Eichler-Shimura relation fully explicit. revision: yes

Circularity Check

0 steps flagged

No significant circularity identified

full rationale

The paper's core contribution is the construction of functorial Igusa stacks for Hodge-type Shimura varieties, extending (but not redefining via) prior PEL-type results by one author and invoking the external Fargues-Scholze spectral action and Scholze conjecture as inputs. No derivation step reduces by construction to a fitted parameter, self-definition, or load-bearing self-citation chain; the claimed compatibility and perversity results follow from the new sheaf construction applied to independent external tools. The derivation chain remains self-contained against external benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

Abstract provides no explicit free parameters, axioms, or invented entities; all constructions are described as functorial extensions of prior frameworks.

pith-pipeline@v0.9.0 · 5679 in / 1210 out tokens · 37268 ms · 2026-05-23T22:03:51.411971+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 3 Pith papers

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

  1. 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...

  2. Relative representability and parahoric level structures

    math.NT 2024-02 unverdicted novelty 6.0

    Establishes a representability criterion for v-sheaf modifications of formal schemes and applies it to parahoric level structures on local shtukas, yielding local representability of integral models of local Shimura v...

  3. On the non-generic part of cohomology of compact unitary Shimura varieties of signature $(1,n)$

    math.NT 2025-11 unverdicted novelty 5.0

    A result is established about the non-generic cohomology of certain compact unitary Shimura varieties for good p, extending Boyer's work via a different approach in the Fargues-Scholze context.

Reference graph

Works this paper leans on

111 extracted references · 111 canonical work pages · cited by 3 Pith papers · 6 internal anchors

  1. [1]

    Johannes Ansch \"u tz , Ian Gleason , Jo \ a o Louren c o , and Timo Richarz , On the p -adic theory of local models , arxiv 2201.01234 https://arxiv.org/abs/2201.01234, January 2022

    work page arXiv 2022

  2. [2]

    269, 270, 305, Springer, 1971

    Michael Artin, Alexander Grothendieck, and Jean-Louis Verdier, Theorie de topos et cohomologie etale des schemas I , II , III , Lecture Notes in Mathematics, vol. 269, 270, 305, Springer, 1971

    work page 1971

  3. [3]

    Pi 11 (2023), Paper No

    Johannes Ansch\" u tz and Arthur-C\' e sar Le Bras, Prismatic D ieudonn\' e theory , Forum Math. Pi 11 (2023), Paper No. e2, 92. 4530092

    work page 2023

  4. [4]

    Reine Angew

    Johannes Ansch\" u tz, Extending torsors on the punctured Spec (A_ ) , J. Reine Angew. Math. 783 (2022), 227--268. 4373246

    work page 2022

  5. [5]

    207 (2023), no

    , G -bundles on the absolute F argues- F ontaine curve , Acta Arith. 207 (2023), no. 4, 351--363. 4591255

    work page 2023

  6. [6]

    Reine Angew

    Oliver B\" u ltel, The congruence relation in the non- PEL case , J. Reine Angew. Math. 544 (2002), 133--159. 1887893

    work page 2002

  7. [7]

    II , Lecture Notes in Mathematics, vol

    Pierre Berthelot, Lawrence Breen, and William Messing, Th\' e orie de D ieudonn\' e cristalline. II , Lecture Notes in Mathematics, vol. 930, Springer-Verlag, Berlin, 1982. 667344

    work page 1982

  8. [8]

    Kevin Buzzard and Toby Gee, The conjectural connections between automorphic representations and G alois representations , Automorphic forms and G alois representations. V ol. 1, London Math. Soc. Lecture Note Ser., vol. 414, Cambridge Univ. Press, Cambridge, 2014, pp. 135--187. 3444225

    work page 2014

  9. [9]

    Borel, Automorphic L -functions , Automorphic forms, representations and L -functions ( P roc

    A. Borel, Automorphic L -functions , 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 2, Proc. Sympos. Pure Math., vol. XXXIII, Amer. Math. Soc., Providence, RI, 1979, pp. 27--61. 546608

    work page 1977

  10. [10]

    Mikhail Borovoi, Abelian G alois cohomology of reductive groups , Mem. Amer. Math. Soc. 132 (1998), no. 626, viii+50. 1401491

    work page 1998

  11. [11]

    Reda Boumasmoud , A tale of parahoric--Hecke algebras, Bernstein and Satake homomorphisms , arxiv 2106.12500 https://arxiv.org/abs/2106.12500, June 2021

    work page arXiv 2021

  12. [12]

    Rogawski, Zeta functions of S himura varieties , Motives ( S eattle, WA , 1991), Proc

    Don Blasius and Jonathan D. Rogawski, Zeta functions of S himura varieties , Motives ( S eattle, WA , 1991), Proc. Sympos. Pure Math., vol. 55, Part 2, Amer. Math. Soc., Providence, RI, 1994, pp. 525--571. 1265563

    work page 1991

  13. [13]

    369, 99--201

    Bhargav Bhatt and Peter Scholze, The pro-\' e tale topology for schemes , Ast\' e risque (2015), no. 369, 99--201. 3379634

    work page 2015

  14. [14]

    , Projectivity of the W itt vector affine G rassmannian , Invent. Math. 209 (2017), no. 2, 329--423

    work page 2017

  15. [15]

    Bruhat and J

    F. Bruhat and J. Tits, Groupes r\' e ductifs sur un corps local. II . S ch\' e mas en groupes. E xistence d'une donn\' e e radicielle valu\' e e , Inst. Hautes \' E tudes Sci. Publ. Math. (1984), no. 60, 197--376. 756316

    work page 1984

  16. [16]

    Oliver B\" u ltel and Torsten Wedhorn, Congruence relations for S himura varieties associated to some unitary groups , J. Inst. Math. Jussieu 5 (2006), no. 2, 229--261. 2225042

    work page 2006

  17. [17]

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

    work page 2017

  18. [18]

    , On the generic part of the cohomology of non-compact unitary S himura varieties , Ann. of Math. (2) 199 (2024), no. 2, 483--590. 4713019

    work page 2024

  19. [19]

    Patrick Daniels , Canonical integral models for S himura varieties of toral type , arxiv 2207.09513 https://arxiv.org/abs/2207.09513, July 2022

    work page arXiv 2022

  20. [20]

    Pierre Deligne, Travaux de S himura , S\' e minaire B ourbaki, 23\`eme ann\' e e (1970/1971), Lecture Notes in Math., vol. Vol. 244, Springer, Berlin-New York, 1971, pp. Exp. No. 389, pp. 123--165. 498581

    work page 1970

  21. [21]

    , Letter to K isin , https://people.math.binghamton.edu/adrian/Letter_Deligne.pdf, 2011

    work page 2011

  22. [22]

    Jean-Fran c ois Dat , David Helm , Robert Kurinczuk , and Gilbert Moss , Moduli of Langlands Parameters , arxiv 2009.06708 https://arxiv.org/abs/2009.06708, September 2020

    work page arXiv 2009

  23. [23]

    Jean-Fran cois Dat, David Helm, Robert Kurinczuk, and Gilbert Moss, Finiteness for H ecke algebras of p -adic groups , J. Amer. Math. Soc. 37 (2024), no. 3, 929--949. 4736530

    work page 2024

  24. [24]

    Jean-Fran c ois Dat and Thomas Lanard , Depth zero representations over Z [ 1 p ] , arxiv 2202.03982 https://arxiv.org/abs/2202.03982, February 2022

    work page arXiv 2022

  25. [25]

    Patrick Daniels, Pol van Hoften, Dongryul Kim, and Mingjia Zhang, On a conjecture of P appas and R apoport , arxiv 2403.19771 https://arxiv.org/abs/2403.19771, 2024

    work page internal anchor Pith review Pith/arXiv arXiv 2024

  26. [26]

    Patrick Daniels and Alex Youcis , Canonical Integral Models of Shimura Varieties of Abelian Type , arXiv 2402.05727 https://arxiv.org/abs/2402.05727, February 2024

    work page arXiv 2024

  27. [27]

    59, American Mathematical Society, Providence, RI, 2011, With historical interludes by Slava Gerovitch

    Pavel Etingof, Oleg Golberg, Sebastian Hensel, Tiankai Liu, Alex Schwendner, Dmitry Vaintrob, and Elena Yudovina, Introduction to representation theory, Student Mathematical Library, vol. 59, American Mathematical Society, Providence, RI, 2011, With historical interludes by Slava Gerovitch. 2808160

    work page 2011

  28. [28]

    Laurent Fargues , Geometrization of the local L anglands correspondence: an overview , arxiv 1602.00999 https://arxiv.org/abs/1602.00999, February 2016

    work page internal anchor Pith review Pith/arXiv arXiv 2016

  29. [29]

    22, Springer-Verlag, Berlin, 1990, With an appendix by David Mumford

    Gerd Faltings and Ching-Li Chai, Degeneration of abelian varieties, Ergebnisse der Mathematik und ihrer Grenzgebiete (3) [Results in Mathematics and Related Areas (3)], vol. 22, Springer-Verlag, Berlin, 1990, With an appendix by David Mumford. 1083353

    work page 1990

  30. [30]

    Geometrization of the local

    L. Fargues and P. Scholze, Geometrization of the local L anglands correspondence , arxiv 2102.13459 https://arxiv.org/abs/2102.13459, 2021

    work page arXiv 2021

  31. [31]

    arXiv:2202.12467

    Daniel Gulotta , David Hansen , and Jared Weinstein , An enhanced six-functor formalism for diamonds and v-stacks , arxiv 2202.12467 https://arxiv.org/abs/2202.12467, February 2022, p. arXiv:2202.12467

    work page arXiv 2022

  32. [32]

    Ildar Gaisin and Naoki Imai, Non-semi-stable loci in hecke stacks and fargues' conjecture, arxiv 1608.07446 https://arxiv.org/abs/1608.07446, 2022

    work page arXiv 2022

  33. [33]

    Meromorphic vector bundles on the Fargues--Fontaine curve

    Ian Gleason and Alexander B. Ivanov , Meromorphic vector bundles on the Fargues--Fontaine curve , arxiv 2307.00887 https://arxiv.org/abs/2307.00887, July 2023

    work page internal anchor Pith review Pith/arXiv arXiv 2023

  34. [34]

    2210.08625

    Ian Gleason and Jo \ a o Louren c o , On the connectedness of p -adic period domains , arxiv 2210.08625 https://arxiv.org/abs/2210.08625, October 2022, p. 2210.08625

    work page arXiv 2022

  35. [35]

    Ian Gleason and João Lourenço, Tubular neighborhoods of local models, arxiv 2204.05526 https://arxiv.org/abs/2204.05526, 2022

    work page arXiv 2022

  36. [36]

    Ian Gleason, Specialization maps for scholze's category of diamonds, arxiv 2012.05483 https://arxiv.org/abs/2012.05483, 2022

    work page arXiv 2012

  37. [37]

    Ian Gleason , Dong Gyu Lim , and Yujie Xu , The connected components of affine Deligne-Lusztig varieties , arxiv 2208.07195 https://arxiv.org/abs/2208.07195, January 2023

    work page arXiv 2023

  38. [38]

    Grothendieck, \' E l\' e ments de g\' e om\' e trie alg\' e brique

    A. Grothendieck, \' E l\' e ments de g\' e om\' e trie alg\' e brique. IV . \' E tude locale des sch\' e mas et des morphismes de sch\' e mas. III , Inst. Hautes \' E tudes Sci. Publ. Math. (1966), no. 28, 255. 217086

    work page 1966

  39. [39]

    Haines, On S atake parameters for representations with parahoric fixed vectors , Int

    Thomas J. Haines, On S atake parameters for representations with parahoric fixed vectors , Int. Math. Res. Not. IMRN (2015), no. 20, 10367--10398. 3455870

    work page 2015

  40. [40]

    Linus Hamann, Geometric E isenstein series, intertwining operators, and S hin's averaging formula , arxiv 2209.08175 https://arxiv.org/abs/2209.08175, 2023

    work page arXiv 2023

  41. [41]

    David Hansen, p -adic period maps and variations of p -adic Hodge structure , http://www.davidrenshawhansen.net/owr-report-hansenaug2016.pdf, 2016

    work page 2016

  42. [42]

    reine angew

    , On the supercuspidal cohomology of basic local S himura varieties , J. reine angew. Math., to appear (2021)

    work page 2021

  43. [43]

    Xuhua He, Geometric and homological properties of affine D eligne- L usztig varieties , Ann. of Math. (2) 179 (2014), no. 1, 367--404. 3126571

    work page 2014

  44. [44]

    , Kottwitz- R apoport conjecture on unions of affine D eligne- L usztig varieties , Ann. Sci. \' E c. Norm. Sup\' e r. (4) 49 (2016), no. 5, 1125--1141

    work page 2016

  45. [45]

    Linus Hamann and Naoki Imai, Dualizing complexes on the moduli of parabolic bundles, arxiv 2401.06342 https://arxiv.org/abs/2401.06342, 2024

    work page arXiv 2024

  46. [46]

    Paul Hamacher and Wansu Kim, l -adic \' e tale cohomology of S himura varieties of H odge type with non-trivial coefficients , Math. Ann. 375 (2019), no. 3-4, 973--1044. 4023369

    work page 2019

  47. [47]

    Paul Hamacher and Wansu Kim, Point counting on I gusa varieties for function fields , arxiv 2208.01069 https://arxiv.org/abs/2208.01069, 2022

    work page arXiv 2022

  48. [48]

    David Hansen, Tasho Kaletha, and Jared Weinstein, On the kottwitz conjecture for local shtuka spaces, Forum of Mathematics, Pi 10 (2022), e13

    work page 2022

  49. [49]

    Linus Hamann and Si Ying Lee, Torsion vanishing for some shimura varieties, arxiv 2309.08705 https://arxiv.org/abs/2309.08705, 2023

    work page arXiv 2023

  50. [50]

    Pol Hoften Van van Hoften, Mod p points on S himura varieties of parahoric level (with an appendix by Rong Zhou) , arxiv 2010.10496 https://arxiv.org/abs/2010.10496, October 2020

    work page arXiv 2010

  51. [51]

    Pol Hoften Van van Hoften and Luciena Xiao Xiao, Monodromy and Irreducibility of Igusa Varieties , arxiv 2102.09870 https://arxiv.org/abs/2102.09870, February 2021

    work page arXiv 2021

  52. [52]

    151, Princeton University Press, Princeton, NJ, 2001, With an appendix by Vladimir G

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

    work page 2001

  53. [53]

    Huber, A generalization of formal schemes and rigid analytic varieties, Math

    R. Huber, A generalization of formal schemes and rigid analytic varieties, Math. Z. 217 (1994), no. 4, 513 -- 551

    work page 1994

  54. [54]

    30, Springer Fachmedien Wiesbaden, 1996

    Roland Huber, \'E tale cohomology of rigid analytic varieties and adic spaces , Aspects of Mathematics, vol. 30, Springer Fachmedien Wiesbaden, 1996

    work page 1996

  55. [55]

    Naoki Imai and Yoichi Mieda, Potentially good reduction loci of S himura varieties , Tunis. J. Math. 2 (2020), no. 2, 399--454. 3990825

    work page 2020

  56. [56]

    Katz, Slope filtration of F -crystals , Journ\' e es de G \' e om\' e trie A lg\' e brique de R ennes ( R ennes, 1978), V ol

    Nicholas M. Katz, Slope filtration of F -crystals , Journ\' e es de G \' e om\' e trie A lg\' e brique de R ennes ( R ennes, 1978), V ol. I , Ast\' e risque, vol. 63, Soc. Math. France, Paris, 1979, pp. 113--163. 563463

    work page 1978

  57. [57]

    Katz, Serre- T ate local moduli , Algebraic surfaces ( O rsay, 1976--78), Lecture Notes in Math., vol

    N. Katz, Serre- T ate local moduli , Algebraic surfaces ( O rsay, 1976--78), Lecture Notes in Math., vol. 868, Springer, Berlin-New York, 1981, pp. 138--202. 638600

    work page 1976

  58. [58]

    Mark Kisin, Integral models for S himura varieties of abelian type , J. Amer. Math. Soc. 23 (2010), no. 4, 967--1012. 2669706

    work page 2010

  59. [59]

    , mod \,p points on S himura varieties of abelian type , J. Amer. Math. Soc. 30 (2017), no. 3, 819--914. 3630089

    work page 2017

  60. [60]

    Kedlaya and Ruochuan Liu, Relative p -adic H odge theory: foundations , Ast\'erisque (2015), no

    Kiran S. Kedlaya and Ruochuan Liu, Relative p -adic H odge theory: foundations , Ast\'erisque (2015), no. 371, 239. 3379653

    work page 2015

  61. [61]

    Mark Kisin, Keerthi Madapusi Pera, and Sug Woo Shin, Honda-- T ate theory for S himura varieties , Duke Math. J. 171 (2022), no. 7, 1559--1614. 4484214

    work page 2022

  62. [62]

    Jean-Stefan Koskivirta, Congruence relations for S himura varieties associated with GU(n-1,1) , Canad. J. Math. 66 (2014), no. 6, 1305--1326. 3270785

    work page 2014

  63. [63]

    Teruhisa Koshikawa , Eichler--Shimura relations for local Shimura varieties , 2106.10603 https://arxiv.org/abs/2106.10603, June 2021

    work page arXiv 2021

  64. [64]

    Teruhisa Koshikawa, On the generic part of the cohomology of local and global S himura varieties , arxiv 2106.10602 https://arxiv.org/abs/2106.10602, 2021

    work page arXiv 2021

  65. [65]

    Kottwitz, Isocrystals with additional structure

    Robert E. Kottwitz, Isocrystals with additional structure. II , Compositio Math. 109 (1997), no. 3, 255--339. 1485921

    work page 1997

  66. [66]

    44, Cambridge University Press, Cambridge, 2023

    Tasho Kaletha and Gopal Prasad, Bruhat- T its theory---a new approach , New Mathematical Monographs, vol. 44, Cambridge University Press, Cambridge, 2023. 4520154

    work page 2023

  67. [67]

    Arno Kret and Sug Woo Shin, Galois representations for general symplectic groups, J. Eur. Math. Soc. (JEMS) 25 (2023), no. 1, 75--152. 4556781

    work page 2023

  68. [68]

    Mark Kisin , Sug Woo Shin , and Yihang Zhu , The stable trace formula for S himura varieties of abelian type , arxiv 2110.05381 https://arxiv.org/abs/2110.05381, October 2021

    work page arXiv 2021

  69. [69]

    Mark Kisin and Rong Zhou , Independence of for Frobenius conjugacy classes attached to abelian varieties , arxiv 2103.09945 https://arxiv.org/abs/2103.09945, March 2021

    work page arXiv 2021

  70. [70]

    Reine Angew

    Erasmus Landvogt, Some functorial properties of the B ruhat- T its building , J. Reine Angew. Math. 518 (2000), 213--241. 1739403

    work page 2000

  71. [71]

    36, Princeton University Press, Princeton, NJ, 2013

    Kai-Wen Lan, Arithmetic compactifications of PEL -type S himura varieties , London Mathematical Society Monographs Series, vol. 36, Princeton University Press, Princeton, NJ, 2013. 3186092

    work page 2013

  72. [72]

    Eike Lau, Dieudonn\' e theory over semiperfect rings and perfectoid rings , Compos. Math. 154 (2018), no. 9, 1974--2004. 3867290

    work page 2018

  73. [73]

    Si Ying Lee , Eichler--Shimura Relations for Shimura Varieties of Hodge Type , arxiv 2006.11745 https://arxiv.org/abs/2006.11745, June 2020

    work page arXiv 2006

  74. [74]

    Hao Li , Congruence relations of GSpin Shimura varieties , arxiv 1812.11261 https://arxiv.org/abs/1812.11261, December 2018

    work page arXiv 2018

  75. [75]

    R. P. Langlands and M. Rapoport, S himuravariet\" a ten und G erben , J. Reine Angew. Math. 378 (1987), 113--220

    work page 1987

  76. [76]

    Cogdell, G \"u nter Harder, Stephen Kudla, and Freydoon Shahidi, eds.), Springer International Publishing, 2018, pp

    Kai-Wen Lan and Beno \^i t Stroh, Nearby cycles of automorphic \'e tale sheaves, ii , Cohomology of Arithmetic Groups (James W. Cogdell, G \"u nter Harder, Stephen Kudla, and Freydoon Shahidi, eds.), Springer International Publishing, 2018, pp. 83--106

    work page 2018

  77. [77]

    1, 80–119

    Kai-Wen Lan and Benoît Stroh, Nearby cycles of automorphic étale sheaves, Compositio Mathematica 154 (2018), no. 1, 80–119

    work page 2018

  78. [78]

    170, Princeton University Press, Princeton, NJ, 2009

    Jacob Lurie, Higher topos theory, Annals of Mathematics Studies, vol. 170, Princeton University Press, Princeton, NJ, 2009. 2522659

    work page 2009

  79. [79]

    , Higher algebra, https://www.math.ias.edu/ lurie/papers/HA.pdf, 2017

    work page 2017

  80. [80]

    Keerthi Madapusi, Toroidal compactifications of integral models of shimura varieties of hodge type, Annales Scientifiques de l'Ecole Normale Superieure 1 (52) (2019), 393--514

    work page 2019

Showing first 80 references.