We develop a theory of enlarged mixed Shimura varieties, putting the universal vectorial bi-extension defined by Coleman into this framework to study some functional transcendental results of Ax type. We study their bi-algebraic systems, formulate the Ax-Schanuel conjecture and explain its relation with the logarithmic Ax theorem and the Ax-Lindemann theorem which we shall prove. All these bi-algebraic and transcendental results extend their counterparts for mixed Shimura varieties. In the end we briefly discuss the André–Oort and Zilber–Pink type problems for enlarged mixed Shimura varieties.

We show that the integral canonical models of Hodge-type Shimura varieties at odd good reduction primes admits ‘$p$-adic uniformization’ by Rapoport–Zink spaces of Hodge type constructed in Kim [Forum Math. Sigma6 (2018) e8, 110 MR 3812116].

For an optimal modular parametrization $J_{0}(n){\twoheadrightarrow}E$ of an elliptic curve $E$ over $\mathbb{Q}$ of conductor $n$, Manin conjectured the agreement of two natural $\mathbb{Z}$-lattices in the $\mathbb{Q}$-vector space $H^{0}(E,\unicode[STIX]{x1D6FA}^{1})$. Multiple authors generalized his conjecture to higher-dimensional newform quotients. We prove the Manin conjecture for semistable $E$, give counterexamples to all the proposed generalizations, and prove several semistable special cases of these generalizations. The proofs establish general relations between the integral $p$-adic étale and de Rham cohomologies of abelian varieties over $p$-adic fields and exhibit a new exactness result for Néron models.

We consider mod $p$ Hilbert modular forms associated to a totally real field of degree $d$ in which $p$ is unramified. We prove that every such form arises by multiplication by partial Hasse invariants from one whose weight (a $d$-tuple of integers) lies in a certain cone contained in the set of non-negative weights, answering a question of Andreatta and Goren. The proof is based on properties of the Goren–Oort stratification on mod $p$ Hilbert modular varieties established by Goren and Oort, and Tian and Xiao.

We compute equations for real multiplication on the divisor classes of genus-2 curves via algebraic correspondences. We do so by implementing van Wamelen’s method for computing equations for endomorphisms of Jacobians on examples drawn from the algebraic models for Hilbert modular surfaces computed by Elkies and Kumar. We also compute a correspondence over the universal family for the Hilbert modular surface of discriminant $5$ and use our equations to prove a conjecture of A. Wright on dynamics over the moduli space of Riemann surfaces.

In this work, we set up a theory of p-adic modular forms over Shimura curves over totally real fields which allows us to consider also non-integral weights. In particular, we define an analogue of the sheaves of kth invariant differentials over the Shimura curves we are interested in, for any p-adic character. In this way, we are able to introduce the notion of overconvergent modular form of any p-adic weight. Moreover, our sheaves can be put in p-adic families over a suitable rigid analytic space, that parametrizes the weights. Finally, we define Hecke operators, including the U operator, that acts compactly on the space of overconvergent modular forms. We also construct the eigencurve.

We generalise results of Buzzard, Taylor and Kassaei on analytic continuation of p-adic overconvergent eigenforms over ℚ to the case of p-adic overconvergent Hilbert eigenforms over totally real fields F, under the assumption that p splits completely in F. This includes weight-one forms and has applications to generalisations of Buzzard and Taylor’s main theorem. Next, we follow an idea of Kassaei’s to generalise Coleman’s well-known result that ‘an overconvergent Up-eigenform of small slope is classical’ to the case of p-adic overconvergent Hilbert eigenforms of Iwahori level.

For the p-adic Galois representation associated to a Hilbert modular form, Carayol has shown that, under a certain assumption, its restriction to the local Galois group at a finite place not dividing p is compatible with the local Langlands correspondence. Under the same assumption, we show that the same is true for the places dividing p, in the sense of p-adic Hodge theory, as is shown for an elliptic modular form. We also prove that the monodromy-weight conjecture holds for such representations.

We set up the basic theory of $\mathcal P$-adic modular forms over certain unitary PEL Shimura curves M′K′. For any PEL abelian scheme classified by M′K′, which is not ‘too supersingular’, we construct a canonical subgroup which is essentially a lifting of the kernel of Frobenius from characteristic p. Using this construction we define the U and Frob operators in this context. Following Coleman, we study the spectral theory of the action of U on families of overconvergent $\mathcal P$-adic modular forms and prove that the dimension of overconvergent eigenforms of U of a given slope is a locally constant function of the weight.