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.

Let F be a totally real field. Let $\mathsf {A}$ be a simple modular self-dual abelian variety defined over F. We study the growth of the corank of Selmer groups of $\mathsf {A}$ over $\mathbb {Z}_p$-extensions of a complex multiplication (CM) extension of F. We propose an extension of Mazur’s growth number conjecture for elliptic curves to this new setting. We provide evidence supporting an affirmative answer by studying special cases of this problem, generalising previous results on elliptic curves and imaginary quadratic fields.

Let K be an imaginary quadratic field, and let $E/\mathbb {Q}$ be an elliptic curve with complex multiplication by $\mathcal {O}_K$. Let $K_\infty /K$ be the anticyclotomic $\mathbb {Z}_p$-extension of K and $K_n$ be the intermediate layers. Under additional assumptions on Kobayashi’s signed Selmer groups, we prove an asymptotic formula for .

We show the Harris–Viehmann conjecture under some Hodge–Newton reducibility condition for a generalisation of the diamond of a non-basic Rapoport–Zink space at infinite level, which appears as a cover of the non-semi-stable locus in the Hecke stack. We show also that the cohomology of the non-semi-stable locus with coefficients coming from a cuspidal Langlands parameter vanishes. As an application, we show the Hecke eigensheaf property in Fargues’ conjecture for cuspidal Langlands parameters in the $ {\mathrm {GL}}_2$-case.

A 2009 article of Allcock and Vaaler explored the $\mathbb {Q}$-vector space $\mathcal {G} := \overline {\mathbb {Q}}^\times /{\overline {\mathbb {Q}}^\times _{\mathrm {tors}}}$, showing how to represent it as part of a function space on the places of $\overline {\mathbb {Q}}$. We establish a representation theorem for the $\mathbb {R}$-vector space of $\mathbb {Q}$-linear maps from $\mathcal {G}$ to $\mathbb {R}$, enabling us to classify extensions to $\mathcal {G}$ of completely additive arithmetic functions. We further outline a strategy to construct $\mathbb {Q}$-linear maps from $\mathcal {G}$ to $\mathbb {Q}$, i.e., elements of the algebraic dual of $\mathcal {G}$. Our results make heavy use of Dirichlet’s S-unit Theorem as well as a measure-like object called a consistent map, first introduced by the author in previous work.

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

Rigid meromorphic cocycles are defined in the setting of orthogonal groups of arbitrary real signature and constructed in some instances via a p-adic analogue of Borcherds’ singular theta lift. The values of rigid meromorphic cocycles at special points of an associated p-adic symmetric space are then conjectured to belong to class fields of suitable global reflex fields, suggesting an eventual framework for explicit class field theory beyond the setting of CM fields explored in the treatise of Shimura and Taniyama.

This article describes two anisotropic area-preserving flows for plane curves, both of which are considered to deform one convex curve into another. Different monotonic entropy functions are identified under these flows, which can be utilized to derive two significant entropy inequalities: the log-Minkowski inequality and the curvature entropy inequality, as well as the Brunn–Minkowski inequality.

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.

In this paper, we prove the following result advocating the importance of monomial quadratic relations between holomorphic CM periods. For any simple CM abelian variety A, we can construct a CM abelian variety B such that all non-trivial Hodge relations between the holomorphic periods of the product $A\times B$ are generated by monomial quadratic ones which are also explicit. Moreover, B splits over the Galois closure of the CM field associated with A.

We consider the question of when a Jacobian of a curve of genus $2g$ admits a $(2,2)$-isogeny to a product of two polarized dimension g abelian varieties. We find that one of them must be a Jacobian itself and, if the associated curve is hyperelliptic, so is the other.

For $g=2,$ this allows us to describe $(2,2)$-decomposable genus $4$ Jacobians in terms of Prym varieties. We describe the locus of such genus $4$ curves in terms of the geometry of the Igusa quartic threefold. We also explain how our characterization relates to Prym varieties of unramified double covers of plane quartic curves, and we describe this Prym map in terms of $6$ and $7$ points in $\mathbb {P}^3$.

We also investigate which genus $4$ Jacobians admit a $2$-isogeny to the square of a genus $2$ Jacobian and give a full description of the hyperelliptic ones. While most of the families we find are of the expected dimension $1$, we also find a family of unexpectedly high dimension $2$.

Let E be an elliptic curve over the rationals which does not have complex multiplication. Serre showed that the adelic representation attached to $E/\mathbb {Q}$ has open image, and in particular, there is a minimal natural number $C_E$ such that the mod $\ell $ representation ${\bar {\rho }}_{E,\ell }$ is surjective for any prime $\ell> C_E$. Assuming the Generalized Riemann Hypothesis, Mayle–Wang gave explicit bounds for $C_E$ which are logarithmic in the conductor of E and have explicit constants. The method is based on using effective forms of the Chebotarev Density Theorem together with the Faltings–Serre method, in particular, using the “deviation group” of the $2$-adic representations attached to two elliptic curves.

By considering quotients of the deviation group and a characterization of the images of the $2$-adic representation $\rho _{E,2}$ by Rouse and Zureick–Brown, we show in this article how to further reduce the constants in Mayle–Wang’s results. Another result of independent interest are improved effective isogeny theorems for elliptic curves over the rationals.

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.

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 give a short proof of the anticyclotomic analogue of the “strong” main conjecture of Kurihara on Fitting ideals of Selmer groups for elliptic curves with good ordinary reduction under mild hypotheses. More precisely, we completely determine the initial Fitting ideal of Selmer groups over finite subextensions of an imaginary quadratic field in its anticyclotomic $\mathbb {Z}_p$-extension in terms of Bertolini–Darmon’s theta elements.

In the early 2000s, Ramakrishna asked the question: for the elliptic curve

\[E\;:\; y^2 = x^3 - x,\]

$a_p(E)$

$E/\mathbb{Q}$

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.