Definition

A local Shimura datum is, in the standard unramified form, a triple

(G,[b],{μ}),(G,[b],\{\mu\}),

where GG is a connected over a FF, [b]B(G)[b]\in B(G) is a , and {μ}\{\mu\} is a of satisfying the usual acceptability condition [b]B(G,μ)[b]\in B(G,\mu).

The associated local Shimura variety is a tower, indexed by compact open level subgroups KG(F)K\subset G(F), of or M(G,b,μ),K\mathcal M_{(G,b,\mu),K}. In the formulation it parametrizes modifications of the determined by bb at an , bounded by μ\mu, together with level structure.

Why it is a tower

Changing KK changes the amount of trivialization retained by the moduli problem. The inverse limit at infinite level is often a or a diamond with commuting actions of G(F)G(F), the self-quasi-isogeny group Jb(F)J_b(F), and the WFW_F.

Examples and scope

Lubin–Tate and Drinfeld towers are basic examples. Classical give many local Shimura varieties of EL or PEL type. The term is also used for the more general local-shtuka spaces constructed in diamond form; not every datum has a classical formal-scheme model.

Their is expected to realize and Jacquet–Langlands correspondences.

References
  1. Michael Rapoport and Eva Viehmann, “Towards a theory of local Shimura varieties,” Münster Journal of Mathematics 7 (2014), 273–326. arXiv.
  2. Laurent Fargues and Peter Scholze, “Geometrization of the local Langlands correspondence,” 2021, Chapter IV. arXiv.