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

For a smooth affine group scheme G over the ring of p-adic integers and a cocharacter $\mu $ of G, we develop the deformation theory for G-$\mu $-displays over the prismatic site of Bhatt–Scholze, and discuss how our deformation theory can be interpreted in terms of prismatic F-gauges introduced by Drinfeld and Bhatt–Lurie. As an application, we prove the local representability and the formal smoothness of integral local Shimura varieties with hyperspecial level structure. We also revisit and extend some classification results of p-divisible groups.

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 prove an exact control theorem, in the sense of Hida theory, for the ordinary part of the middle degree étale cohomology of certain Hilbert modular varieties, after localizing at a suitable maximal ideal of the Hecke algebra. Our method of proof builds upon the techniques introduced by Loeffler–Rockwood–Zerbes (2023, Spherical varieties and p-adic families of cohomology classes); another important ingredient in our proof is the recent work of Caraiani–Tamiozzo (2023, Compositio Mathematica 159, 2279–2325) on the vanishing of the étale cohomology of Hilbert modular varieties with torsion coefficients outside the middle degree. This work will be used in forthcoming work of the author to show that the Asai–Flach Euler system corresponding to a quadratic Hilbert modular form varies in Hida families.

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.

The attractor conjecture for Calabi–Yau moduli spaces predicts the algebraicity of the moduli values of certain isolated points picked out by Hodge-theoretic conditions. Using tools from transcendence theory, we provide a family of counterexamples to the attractor conjecture in almost all odd dimensions conditional on a specific case of the Zilber–Pink conjecture in unlikely intersection theory; these Calabi–Yau manifolds were first studied by Dolgachev. We also give constructions of new families of Calabi–Yau varieties, analogous to the mirror quintic family, with all middle Hodge numbers equal to one, which would also give counterexamples to the attractor conjecture.

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.

We prove the compatibility of local and global Langlands correspondences for $\operatorname {GL}_n$ up to semisimplification for the Galois representations constructed by Harris-Lan-Taylor-Thorne [10] and Scholze [18]. More precisely, let $r_p(\pi )$ denote an n-dimensional p-adic representation of the Galois group of a CM field F attached to a regular algebraic cuspidal automorphic representation $\pi $ of $\operatorname {GL}_n(\mathbb {A}_F)$. We show that the restriction of $r_p(\pi )$ to the decomposition group of a place $v\nmid p$ of F corresponds up to semisimplification to $\operatorname {rec}(\pi _v)$, the image of $\pi _v$ under the local Langlands correspondence. Furthermore, we can show that the monodromy of the associated Weil-Deligne representation of $\left .r_p(\pi )\right |{}_{\operatorname {Gal}_{F_v}}$ is ‘more nilpotent’ than the monodromy of $\operatorname {rec}(\pi _v)$.

We prove the existence of $\mathrm {GSpin}_{2n}$-valued Galois representations corresponding to cohomological cuspidal automorphic representations of certain quasi-split forms of ${\mathrm {GSO}}_{2n}$ under the local hypotheses that there is a Steinberg component and that the archimedean parameters are regular for the standard representation. This is based on the cohomology of Shimura varieties of abelian type, of type $D^{\mathbb {H}}$, arising from forms of ${\mathrm {GSO}}_{2n}$. As an application, under similar hypotheses, we compute automorphic multiplicities, prove meromorphic continuation of (half) spin L-functions and improve on the construction of ${\mathrm {SO}}_{2n}$-valued Galois representations by removing the outer automorphism ambiguity.

We prove that the Jacquet–Langlands correspondence for cohomological automorphic forms on quaternionic Shimura varieties is realized by a Hodge class. Conditional on Kottwitz’s conjecture for Shimura varieties attached to unitary similitude groups, we also show that the image of this Hodge class in $\ell $-adic cohomology is Galois invariant for all $\ell $.

For an unramified reductive group, we determine the connected components of affine Deligne–Lusztig varieties in the affine flag variety. Based on work of Hamacher, Kim, and Zhou, this result allows us to verify, in the unramified group case, the He–Rapoport axioms, the almost product structure of Newton strata, and the precise description of isogeny classes predicted by the Langlands–Rapoport conjecture, for the Kisin–Pappas integral models of Shimura varieties of Hodge type with parahoric level structure.

In this paper, we propose a modified Kudla–Rapoport conjecture for the Krämer model of unitary Rapoport–Zink space at a ramified prime, which is a precise identity relating intersection numbers of special cycles to derivatives of Hermitian local density polynomials. We also introduce the notion of special difference cycles, which has surprisingly simple description. Combining this with induction formulas of Hermitian local density polynomials, we prove the modified Kudla–Rapoport conjecture when $n=3$. Our conjecture, combining with known results at inert and infinite primes, implies the arithmetic Siegel–Weil formula for all non-singular coefficients when the level structure of the corresponding unitary Shimura variety is defined by a self-dual lattice.

We give a new proof of Faltings's $p$-adic Eichler–Shimura decomposition of the modular curves via Bernstein–Gelfand–Gelfand (BGG) methods and the Hodge–Tate period map. The key property is the relation between the Tate module and the Faltings extension, which was used in the original proof. Then we construct overconvergent Eichler–Shimura maps for the modular curves providing ‘the second half’ of the overconvergent Eichler–Shimura map of Andreatta, Iovita and Stevens. We use higher Coleman theory on the modular curve developed by Boxer and Pilloni to show that the small-slope part of the Eichler–Shimura maps interpolates the classical $p$-adic Eichler–Shimura decompositions. Finally, we prove that overconvergent Eichler–Shimura maps are compatible with Poincaré and Serre pairings.

We describe how the quadratic Chabauty method may be applied to determine the set of rational points on modular curves of genus $g>1$ whose Jacobians have Mordell–Weil rank $g$. This extends our previous work on the split Cartan curve of level 13 and allows us to consider modular curves that may have few known rational points or non-trivial local height contributions at primes of bad reduction. We illustrate our algorithms with a number of examples where we determine the set of rational points on several modular curves of genus 2 and 3: this includes Atkin–Lehner quotients $X_0^+(N)$ of prime level $N$, the curve $X_{S_4}(13)$, as well as a few other curves relevant to Mazur's Program B. We also compute the set of rational points on the genus 6 non-split Cartan modular curve $X_{\scriptstyle \mathrm { ns}} ^+ (17)$.