We give a construction of integral local Shimura varieties which are formal schemes that generalise the well-known integral models of the Drinfeld p-adic upper half spaces. The construction applies to all classical groups, at least for odd p. These formal schemes also generalise the formal schemes defined by Rapoport-Zink via moduli of p-divisible groups, and are characterised purely in group-theoretic terms.

More precisely, for a local p-adic Shimura datum $(G, b, \mu)$ and a quasi-parahoric group scheme ${\mathcal {G}} $ for G, Scholze has defined a functor on perfectoid spaces which parametrises p-adic shtukas. He conjectured that this functor is representable by a normal formal scheme which is locally formally of finite type and flat over $O_{\breve E}$. Scholze-Weinstein proved this conjecture when $(G, b, \mu)$ is of (P)EL type by using Rapoport-Zink formal schemes. We prove this conjecture for any $(G, \mu)$ of abelian type when $p\neq 2$, and when $p=2$ and G is of type A or C. We also relate the generic fibre of this formal scheme to the local Shimura variety, a rigid-analytic space attached by Scholze to $(G, b, \mu , {\mathcal {G}})$.

We first extend previous results of Koskivirta with Wedhorn and Goldring regarding the existence of $\mu $-ordinary Hasse invariants for Hodge-type Shimura varieties to other automorphic line bundles. We also determine exactly which line bundles admit nonzero sections on the stack of G-zips of Pink–Wedhorn–Ziegler. Then, we define and study the Cox ring of the stack of G-zips and show that it is always finitely generated. Finally, beyond the case of line bundles, we define a ring of vector-valued automorphic forms on the stack of G-zips and study its properties. We prove that it is finitely generated in certain cases.

We construct universal G-zips on good reductions of the Pappas-Rapoport splitting models for PEL-type Shimura varieties. We study the induced Ekedahl-Oort stratification, which sheds new light on the mod p geometry of splitting models. Building on the work of Lan on arithmetic compactifications of splitting models, we further extend these constructions to smooth toroidal compactifications. Combined with the work of Goldring-Koskivirta on group theoretical Hasse invariants, we get an application to Galois representations associated to torsion classes in coherent cohomology in the ramified setting.

Given a prime p, a finite extension $L/\mathbb{Q}_{p}$, a connected p-adic reductive group $G/L$, and a smooth irreducible representation $\pi$ of G(L), Fargues and Scholze recently attached a semisimple L-parameter to such a $\pi$, giving a general candidate for the local Langlands correspondence. It is natural to ask whether this construction is compatible with known instances of the correspondence after semisimplification. For $G = \mathrm{GL}_{n}$ and its inner forms, Fargues and Scholze, and Hansen, Kaletha and Weinstein showed that the correspondence is compatible with the correspondence of Harris, and Taylor and Henniart. We verify a similar compatibility for $G =\mathrm{GSp}_{4}$ and its unique non-split inner form $G = \mathrm{GU}_{2}(D)$, where D is the quaternion division algebra over L, assuming that $L/\mathbb{Q}_{p}$ is unramified and $p > 2$. In this case, the local Langlands correspondence has been constructed by Gan and Takeda, and Gan and Tantono. Analogous to the case of $\mathrm{GL}_{n}$ and its inner forms, this compatibility is proven by describing the Weil group action on the cohomology of a local Shimura variety associated with $\mathrm{GSp}_{4}$, using basic uniformization of abelian-type Shimura varieties due to Shen, combined with various global results of Kret and Shin, and Sorensen on Galois representations in the cohomology of global Shimura varieties associated with inner forms of $\mathrm{GSp}_{4}$ over a totally real field. After showing the parameters are the same, we apply some ideas from the geometry of the Fargues–Scholze construction explored recently by Hansen. This allows us to give a more precise description of the cohomology of this local Shimura variety, verifying a strong form of the Kottwitz conjecture in the process.

We formulate Guo–Jacquet type fundamental lemma conjectures and arithmetic transfer conjectures for inner forms of $GL_{2n}$. Our main results confirm these conjectures for division algebras of invariant $1/4$ and $3/4$.

We consider Shimura varieties associated to a unitary group of signature $(n-s,s)$ where n is even. For these varieties, we construct smooth p-adic integral models for $s=1$ and regular p-adic integral models for $s=2$ and $s=3$ over odd primes p which ramify in the imaginary quadratic field with level subgroup at p given by the stabilizer of a $\pi $-modular lattice in the hermitian space. Our construction, which has an explicit moduli-theoretic description, is given by an explicit resolution of a corresponding local model.

We prove a conjecture of Pappas and Rapoport for all Shimura varieties of abelian type with parahoric level structure when $p>2$ by showing that the Kisin–Pappas–Zhou integral models of Shimura varieties of abelian type are canonical. In particular, this shows that these models are independent of the choices made during their construction, and that they satisfy functoriality with respect to morphisms of Shimura data.

We prove new fundamental lemma and arithmetic fundamental lemma identities for general linear groups over quaternion division algebras. In particular, we verify the transfer conjecture and the arithmetic transfer conjecture from Li and Mihatsch (2023, Preprint, arXiv:2307.11716) in cases of Hasse invariant $1/2$.

We consider integral models of Hilbert modular varieties with Iwahori level structure at primes over p, first proving a Kodaira–Spencer isomorphism that gives a concise description of their dualizing sheaves. We then analyze fibres of the degeneracy maps to Hilbert modular varieties of level prime to p and deduce the vanishing of higher direct images of structure and dualizing sheaves, generalizing prior work with Kassaei and Sasaki (for p unramified in the totally real field F). We apply the vanishing results to prove flatness of the finite morphisms in the resulting Stein factorizations, and combine them with the Kodaira–Spencer isomorphism to simplify and generalize the construction of Hecke operators at primes over p on Hilbert modular forms (integrally and mod p).

The linear arithmetic fundamental lemma (AFL) is a conjectural identity of intersection numbers on Lubin–Tate deformation spaces and derivatives of orbital integrals. It was introduced for elliptic orbits by Li, and Howard and Li. For elliptic orbits, the relevant intersection problem is formulated for the basic isogeny class. In the present article, we extend the conjecture to all orbits and all isogeny classes. Our main result is a reduction of the non-basic cases of the AFL to the basic ones, which relies on an analysis of the connected-étale sequence. Our results will be relevant in the global setting, where also locally non-elliptic orbits may contribute in a non-trivial way.

We study hyperbolicity properties of the moduli space of polarized abelian varieties (also known as the Siegel modular variety) in characteristic p. Our method uses the plethysm operation for Schur functors as a key ingredient and requires a new positivity notion for vector bundles in characteristic p called $(\varphi,D)$-ampleness. Generalizing what was known for the Hodge line bundle, we also show that many automorphic vector bundles on the Siegel modular variety are $(\varphi,D)$-ample.

We investigate and compare applications of the Zilber–Pink conjecture and dynamical methods to rigidity problems for arithmetic real and complex hyperbolic lattices. Along the way, we obtain new general results about reconstructing a variation of Hodge structure from its typical Hodge locus that may be of independent interest. Applications to Siu’s immersion problem are also discussed, the most general of which only requires the hypothesis that infinitely many closed geodesics map to proper totally geodesic subvarieties under the immersion.

In this paper, we compare the $\mathbb J$-stratification (or the semi-module stratification) and the Ekedahl–Oort stratification of affine Deligne–Lusztig varieties in the superbasic case. In particular, we classify the cases where the $\mathbb J$-stratification gives a refinement of the Ekedahl–Oort stratification, which include many interesting cases such that the affine Deligne-Lusztig variety admits a simple geometric structure.

We give a precise classification, in terms of Shimura data, of all $1$-dimensional Shimura subvarieties of a moduli space of polarized abelian varieties.

We study the $\overline {\mathbb {F}}_{p}$-points of the Kisin–Pappas integral models of Shimura varieties of Hodge type with parahoric level. We show that if the group is quasi-split, then every isogeny class contains the reduction of a CM point, proving a conjecture of Kisin–Madapusi–Shin. We, furthermore, show that the mod p isogeny classes are of the form predicted by the Langlands–Rapoport conjecture (cf. Conjecture 9.2 of [Rap05]) if either the Shimura variety is proper or if the group at p is unramified. The main ingredient in our work is a global argument that allows us to reduce the conjecture to the case of very special parahoric level. This case is dealt with in the Appendix by Zhou. As a corollary to our arguments, we determine the connected components of Ekedahl–Oort strata.

We introduce and study the notion of a generalised Hecke orbit in a Shimura variety. We define a height function on such an orbit and study its properties. We obtain lower bounds for the sizes of Galois orbits of points in a generalised Hecke orbit in terms of this height function, assuming the ‘weakly adelic Mumford–Tate hypothesis’ and prove the generalised André–Pink–Zannier conjecture under this assumption, using Pila–Zannier strategy.

Let f be an $L^2$-normalized holomorphic newform of weight k on $\Gamma _0(N) \backslash \mathbb {H}$ with N squarefree or, more generally, on any hyperbolic surface $\Gamma \backslash \mathbb {H}$ attached to an Eichler order of squarefree level in an indefinite quaternion algebra over $\mathbb {Q}$. Denote by V the hyperbolic volume of said surface. We prove the sup-norm estimate

$$\begin{align*}\| \Im(\cdot)^{\frac{k}{2}} f \|_{\infty} \ll_{\varepsilon} (k V)^{\frac{1}{4}+\varepsilon} \end{align*}$$

with absolute implied constant. For a cuspidal Maaß newform $\varphi $ of eigenvalue $\lambda $ on such a surface, we prove that

$$\begin{align*}\|\varphi \|_{\infty} \ll_{\lambda,\varepsilon} V^{\frac{1}{4}+\varepsilon}. \end{align*}$$

We establish analogous estimates in the setting of definite quaternion algebras.

In his work on modularity of elliptic curves and Fermat’s last theorem, A. Wiles introduced two measures of congruences between Galois representations and between modular forms. One measure is related to the order of a Selmer group associated to a newform $f \in S_2(\Gamma _0(N))$ (and closely linked to deformations of the Galois representation $\rho _f$ associated to f), whilst the other measure is related to the congruence module associated to f (and is closely linked to Hecke rings and congruences between f and other newforms in $S_2(\Gamma _0(N))$). The equality of these two measures led to isomorphisms $R={\mathbf T}$ between deformation rings and Hecke rings (via a numerical criterion for isomorphisms that Wiles proved) and showed these rings to be complete intersections.

We continue our study begun in [BKM21] of the Wiles defect of deformation rings and Hecke rings (at a newform f) acting on the cohomology of Shimura curves over ${\mathbf Q}$: It is defined to be the difference between these two measures of congruences. The Wiles defect thus arises from the failure of the Wiles numerical criterion at an augmentation $\lambda _f:{\mathbf T} \to {\mathcal O}$. In situations we study here, the Taylor–Wiles–Kisin patching method gives an isomorphism $ R={\mathbf T}$ without the rings being complete intersections. Using novel arguments in commutative algebra and patching, we generalize significantly and give different proofs of the results in [BKM21] that compute the Wiles defect at $\lambda _f: R={\mathbf T} \to {\mathcal O}$, and explain in an a priori manner why the answer in [BKM21] is a sum of local defects. As a curious application of our work we give a new and more robust approach to the result of Ribet–Takahashi that computes change of degrees of optimal parametrizations of elliptic curves over ${\mathbf Q}$ by Shimura curves as we vary the Shimura curve. The results we prove are not attainable using only the methods of Ribet–Takahashi.

Let $X$ be a smooth geometrically connected projective curve over the field of fractions of a discrete valuation ring $R$, and $\mathfrak {m}$ a modulus on $X$, given by a closed subscheme of $X$ which is geometrically reduced. The generalized Jacobian $J_\mathfrak {m}$ of $X$ with respect to $\mathfrak {m}$ is then an extension of the Jacobian of $X$ by a torus. We describe its Néron model, together with the character and component groups of the special fibre, in terms of a regular model of $X$ over $R$. This generalizes Raynaud's well-known description for the usual Jacobian. We also give some computations for generalized Jacobians of modular curves $X_0(N)$ with moduli supported on the cusps.

Irregular cusps of an orthogonal modular variety are cusps where the lattice for Fourier expansion is strictly smaller than the lattice of translation. The presence of such a cusp affects the study of pluricanonical forms on the modular variety using modular forms. We study toroidal compactification over an irregular cusp, and clarify there the cusp form criterion for the calculation of Kodaira dimension. At the same time, we show that irregular cusps do not arise frequently: besides the cases when the group is neat or contains $-1$, we prove that the stable orthogonal groups of most (but not all) even lattices have no irregular cusp.