In this paper, we study the cohomology of the unitary unramified PEL Rapoport-Zink space of signature $(1,n-1)$ at hyperspecial level. Our method revolves around the spectral sequence associated to the open cover by the analytical tubes of the closed Bruhat-Tits strata in the special fiber, which were constructed by Vollaard and Wedhorn. The cohomology of these strata, which are isomorphic to generalized Deligne-Lusztig varieties, has been computed in an earlier work. This spectral sequence allows us to prove the semisimplicity of the Frobenius action and the non-admissibility of the cohomology in general. Via p-adic uniformization, we relate the cohomology of the Rapoport-Zink space to the cohomology of the supersingular locus of a Shimura variety with no level at p. In the case $n=3$ or $4$, we give a complete description of the cohomology of the supersingular locus in terms of automorphic representations.

We prove a general likely intersections theorem, a counterpart to the Zilber-Pink conjectures, under the assumption that the Ax-Schanuel property and some mild additional conditions are known to hold for a given category of complex quotient spaces definable in some fixed o-minimal expansion of the ordered field of real numbers.

For an instance of our general result, consider the case of subvarieties of Shimura varieties. Let S be a Shimura variety. Let $\pi :D \to \Gamma \backslash D = S$ realize S as a quotient of D, a homogeneous space for the action of a real algebraic group G, by the action of $\Gamma < G$, an arithmetic subgroup. Let $S' \subseteq S$ be a special subvariety of S realized as $\pi (D')$ for $D' \subseteq D$ a homogeneous space for an algebraic subgroup of G. Let $X \subseteq S$ be an irreducible subvariety of S not contained in any proper weakly special subvariety of S. Assume that the intersection of X with $\pi (gD')$ is persistently likely as g ranges through G with $\pi (gD')$ a special subvariety of S, meaning that whenever $\zeta :S_1 \to S$ and $\xi :S_1 \to S_2$ are maps of Shimura varieties (regular maps of varieties induced by maps of the corresponding Shimura data) with $\zeta $ finite, $\dim \xi \zeta ^{-1} X + \dim \xi \zeta ^{-1} \pi (gD') \geq \dim \xi S_1$. Then $X \cap \bigcup _{g \in G, \pi (g D') \text { is special }} \pi (g D')$ is dense in X for the Euclidean topology.

Considérons un espace de Berkovich sur un bon anneau de Banach et la droite projective relative sur celui-ci. (C’est un espace dont les fibres sont des droites projectives sur différents corps valués complets.) Pour tout endomorphisme polarisé de cette droite, nous montrons que la famille des mesures d’équilibre associées aux restrictions de l’endomorphisme aux fibres est continue. Le résultat vaut, par exemple, lorsque l’anneau de Banach est un corps valué complet, un corps hybride, un anneau de valuation discrète complet ou un anneau d’entiers de corps de nombres.

The descent method is one of the approaches to study the Brauer–Manin obstruction to the local–global principle and to weak approximation on varieties over number fields, by reducing the problem to ‘descent varieties’. In recent lecture notes by Wittenberg, he formulated a ‘descent conjecture’ for torsors under linear algebraic groups. The present article gives a proof of this conjecture in the case of connected groups, generalizing the toric case from the previous work of Harpaz–Wittenberg. As an application, we deduce directly from Sansuc’s work the theorem of Borovoi for homogeneous spaces of connected linear algebraic groups with connected stabilizers. We are also able to reduce the general case to the case of finite (étale) torsors. When the set of rational points is replaced by the Chow group of zero-cycles, an analogue of the above conjecture for arbitrary linear algebraic groups is proved.

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}})$.

While the splinter property is a local property for Noetherian schemes in characteristic zero, Bhatt observed that it imposes strong conditions on the global geometry of proper schemes in positive characteristic. We show that if a proper scheme over a field of positive characteristic is a splinter, then its Nori fundamental group scheme is trivial and its Kodaira dimension is negative. In another direction, Bhatt also showed that any splinter in positive characteristic is a derived splinter. We ask whether the splinter property is a derived invariant for projective varieties in positive characteristic and give a positive answer for normal Gorenstein projective varieties with big anticanonical divisor. We also show that global F-regularity is a derived invariant for normal Gorenstein projective varieties in positive characteristic.

We consider the Harder–Narasimhan formalism on the category of normed isocrystals and show that the Harder–Narasimhan filtration is compatible with tensor products which generalizes a result of Cornut. As an application of this result, we are able to define a (weak) Harder–Narasimhan stratification on the $B_{\mathrm{dR}}^+$-affine Grassmannian for arbitrary $(G, b, \mu)$. When $\mu$ is minuscule, it corresponds to the Harder–Narasimhan stratification on the flag varieties defined by Dat, Orlik and Rapoport. Moreover, when b is basic, it has been studied by Nguyen and Viehmann, and Shen. We study the basic geometric properties of the Harder–Narasimhan stratification, such as non-emptiness, dimension and its relation with other stratifications.

We study the so-called averaging functors from the geometric Langlands program in the setting of Fargues’ program. This makes explicit certain cases of the spectral action which was recently introduced by Fargues-Scholze in the local Langlands program for $\mathrm {GL}_n$. Using these averaging functors, we verify (without using local Langlands) that the Fargues-Scholze parameters associated to supercuspidal modular representations of $\mathrm {GL}_2$ are irreducible. We also attach to any irreducible $\ell $-adic Weil representation of degree n an Hecke eigensheaf on $\mathrm {Bun}_n$ and show, using the local Langlands correspondence and recent results of Hansen and Hansen-Kaletha-Weinstein, that it satisfies most of the requirements of Fargues’ conjecture for $\mathrm {GL}_n$.

We sharpen and generalize the dimension growth bounds for the number of points of bounded height lying on an irreducible algebraic variety of degree d, over any global field. In particular, we focus on the affine hypersurface situation by relaxing the condition on the top degree homogeneous part of the polynomial describing the affine hypersurface, while sharpening the dependence on the degree in the bounds compared to previous results. We formulate a conjecture about plane curves which provides a conjectural approach to the uniform degree $3$ case (the only remaining open case). For induction on dimension, we develop a higher-dimensional effective version of Hilbert’s irreducibility theorem, which is of independent interest.

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 construct explicit generating series of arithmetic extensions of Kudla’s special divisors on integral models of unitary Shimura varieties over CM fields with arbitrary split levels and prove that they are modular forms valued in the arithmetic Chow groups. This provides a partial solution to Kudla’s modularity problem. The main ingredient in our construction is S. Zhang’s theory of admissible arithmetic divisors. The main ingredient in the proof is an arithmetic mixed Siegel-Weil formula.

We study the singularities of varieties obtained as infinitesimal quotients by $1$-foliations in positive characteristic. (1) We show that quotients by (log) canonical $1$-foliations preserve the (log) singularities of the MMP. (2) We prove that quotients by multiplicative derivations preserve many properties, amongst which most F-singularities. (3) We formulate a notion of families of $1$-foliations, and investigate the corresponding families of quotients.

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

Let X be a smooth projective variety over a complete discretely valued field of mixed characteristic. We solve non-Archimedean Monge–Ampère equations on X assuming resolution and embedded resolution of singularities. We follow the variational approach of Boucksom, Favre, and Jonsson proving the continuity of the plurisubharmonic envelope of a continuous metric on an ample line bundle on X. We replace the use of multiplier ideals in equicharacteristic zero by the use of perturbation friendly test ideals introduced by Bhatt, Ma, Patakfalvi, Schwede, Tucker, Waldron, and Witaszek building upon previous constructions by Hacon, Lamarche, and Schwede.

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