We extend our previous work in collaboration with Ngô Bao Châu and give a fixed point formula for the elliptic part of moduli spaces of $G$-shtukas with arbitrary modifications. Our formula is similar to the fixed point formula of Kottwitz for certain Shimura varieties. Our method is inspired by that of Kottwitz and simpler than that of Lafforgue for the fixed point formula of the moduli space of Drinfeld $\text{GL} (r)$-shtukas.

Using the $\ell $ -invariant constructed in our previous paper we prove a Mazur–Tate–Teitelbaum-style formula for derivatives of $p$ -adic $L$ -functions of modular forms at trivial zeros. The novelty of this result is to cover the near-central point case. In the central point case our formula coincides with the Mazur–Tate–Teitelbaum conjecture proved by Greenberg and Stevens and by Kato, Kurihara and Tsuji at the end of the 1990s.

We study the postcritically finite maps within the moduli space of complex polynomial dynamical systems. We characterize rational curves in the moduli space containing an infinite number of postcritically finite maps, in terms of critical orbit relations, in two settings: (1) rational curves that are polynomially parameterized; and (2) cubic polynomials defined by a given fixed point multiplier. We offer a conjecture on the general form of algebraic subvarieties in the moduli space of rational maps on ${ \mathbb{P} }^{1} $ containing a Zariski-dense subset of postcritically finite maps.

Let $k$ be a number field with algebraic closure $ \overline{k} $, and let $S$ be a finite set of primes of $k$ containing all the infinite ones. Let $E/ k$ be an elliptic curve, ${\mit{\Gamma} }_{0} $ be a finitely generated subgroup of $E( \overline{k} )$, and $\mit{\Gamma} \subseteq E( \overline{k} )$ the division group attached to ${\mit{\Gamma} }_{0} $. Fix an effective divisor $D$ of $E$ with support containing either: (i) at least two points whose difference is not torsion; or (ii) at least one point not in $\mit{\Gamma} $. We prove that the set of ‘integral division points on $E( \overline{k} )$’, i.e., the set of points of $\mit{\Gamma} $ which are $S$-integral on $E$ relative to $D, $ is finite. We also prove the ${ \mathbb{G} }_{\mathrm{m} } $-analogue of this theorem, thereby establishing the 1-dimensional case of a general conjecture we pose on integral division points on semi-abelian varieties.

We consider the 33 conjugacy classes of genus zero, torsion-free modular subgroups, computing ramification data and Grothendieck’s dessins d’enfants. In the particular case of the index 36 subgroups, the corresponding Calabi–Yau threefolds are identified, in analogy with the index 24 cases being associated to K3 surfaces. In a parallel vein, we study the 112 semi-stable elliptic fibrations over ${ \mathbb{P} }^{1} $ as extremal K3 surfaces with six singular fibres. In each case, a representative of the corresponding class of subgroups is identified by specifying a generating set for that representative.

Given an abelian variety $A$ of dimension $g$ over a number field  $K$ , and a prime $\ell $ , the ${\ell }^{n} $ -torsion points of $A$ give rise to a representation ${\rho }_{A, {\ell }^{n} } : \mathrm{Gal} ( \overline{K} / K)\rightarrow {\mathrm{GL} }_{2g} ( \mathbb{Z} / {\ell }^{n} \mathbb{Z} )$ . In particular, we get a mod- $\ell $ representation  ${\rho }_{A, \ell } : \mathrm{Gal} ( \overline{K} / K)\rightarrow {\mathrm{GL} }_{2g} ({ \mathbb{F} }_{\ell } )$ and an $\ell $ -adic representation  ${\rho }_{A, {\ell }^{\infty } } : \mathrm{Gal} ( \overline{K} / K)\rightarrow {\mathrm{GL} }_{2g} ({ \mathbb{Z} }_{\ell } )$ . In this paper, we describe the possible determinants of subquotients of these two representations. These two lists turn out to be remarkably similar.

Applying our results in dimension $g= 1$ , we recover a generalized version of a theorem of Momose on isogeny characters of elliptic curves over number fields, and obtain, conditionally on the Generalized Riemann Hypothesis, a generalization of Mazur’s bound on rational isogenies of prime degree to number fields.

The arithmetic fundamental lemma conjecture of the third author connects the derivative of an orbital integral on a symmetric space with an intersection number on a formal moduli space of $p$-divisible groups of Picard type. It arises in the relative trace formula approach to the arithmetic Gan–Gross–Prasad conjecture. We prove this conjecture in the minuscule case.

Let $ \mathcal{X} $ be a curve over ${ \mathbb{F} }_{q} $ and let $N( \mathcal{X} )$, $g( \mathcal{X} )$ be its number of rational points and genus respectively. The Ihara constant $A(q)$ is defined by $A(q)= {\mathrm{lim~sup} }_{g( \mathcal{X} )\rightarrow \infty } N( \mathcal{X} )/ g( \mathcal{X} )$. In this paper, we employ a variant of Serre’s class field tower method to obtain an improvement of the best known lower bounds on $A(2)$ and $A(3)$.

Let $K$ be a finitely generated extension of $\mathbb {Q}$. We consider the family of $\ell $-adic representations ($\ell $ varies through the set of all prime numbers) of the absolute Galois group of $K$, attached to $\ell $-adic cohomology of a separated scheme of finite type over $K$. We prove that the fields cut out from the algebraic closure of $K$by the kernels of the representations of the family are linearly disjoint over a finite extension of K. This gives a positive answer to a question of Serre.

Let $L(s, E)= {\mathop{\sum }\nolimits}_{n\geq 1} {a}_{n} {n}^{- s} $ be the $L$-series corresponding to an elliptic curve $E$ defined over $ \mathbb{Q} $ and $\mathbf{u} = \mathop{\{ {u}_{m} \} }\nolimits_{m\geq 0} $ be a nondegenerate binary recurrence sequence. We prove that if ${ \mathcal{M} }_{E} $ is the set of $n$ such that ${a}_{n} \not = 0$ and ${ \mathcal{N} }_{E} $ is the subset of $n\in { \mathcal{M} }_{E} $ such that $\vert {a}_{n} \vert = \vert {u}_{m} \vert $ holds with some integer $m\geq 0$, then ${ \mathcal{N} }_{E} $ is of density $0$ as a subset of ${ \mathcal{M} }_{E} $.

For an abelian variety $A$ over a number field $k$ we discuss the maximal divisible subgroup of ${\mathrm{H} }^{1} (k, A)$ and its intersection with the subgroup Ш$(A/ k)$. The results are most complete for elliptic curves over $ \mathbb{Q} $.

We consider the analogue of the André–Oort conjecture for Drinfeld modular varieties which was formulated by Breuer. We prove this analogue for special points with separable reflex field over the base field by adapting methods which were used by Klingler and Yafaev to prove the André–Oort conjecture under the generalized Riemann hypothesis in the classical case. Our result extends results of Breuer showing the correctness of the analogue for special points lying in a curve and for special points having a certain behaviour at a fixed set of primes.

We describe a probability distribution on isomorphism classes of principally quasi-polarized $p$-divisible groups over a finite field $k$ of characteristic $p$ which can reasonably be thought of as a ‘uniform distribution’, and we compute the distribution of various statistics ($p$-corank, $a$-number, etc.) of $p$-divisible groups drawn from this distribution. It is then natural to ask to what extent the $p$-divisible groups attached to a randomly chosen hyperelliptic curve (respectively, curve; respectively, abelian variety) over $k$ are uniformly distributed in this sense. This heuristic is analogous to conjectures of Cohen–Lenstra type for $\text{char~} k\not = p$, in which case the random $p$-divisible group is defined by a random matrix recording the action of Frobenius. Extensive numerical investigation reveals some cases of agreement with the heuristic and some interesting discrepancies. For example, plane curves over ${\mathbf{F} }_{3} $ appear substantially less likely to be ordinary than hyperelliptic curves over ${\mathbf{F} }_{3} $.

We show that transcendental elements of the Brauer group of an algebraic surface can obstruct the Hasse principle. We construct a general $K 3$ surface $X$ of degree $2$ over $ \mathbb{Q} $, together with a 2-torsion Brauer class $\alpha $ that is unramified at every finite prime, but ramifies at real points of $X$. With motivation from Hodge theory, the pair $(X, \alpha )$ is constructed from a double cover of ${ \mathbb{P} }^{2} \times { \mathbb{P} }^{2} $ ramified over a hypersurface of bidegree $(2, 2)$.

We study the distribution of the size of Selmer groups arising from a 2-isogeny and its dual 2-isogeny for quadratic twists of elliptic curves with a non-trivial $2$-torsion point over $\mathbb {Q}$. This complements the work [Xiong and Zaharescu, Distribution of Selmer groups of quadratic twists of a family of elliptic curves. Adv. Math.219 (2008), 523–553] which studied the same subject for elliptic curves with full 2-torsions over $\mathbb {Q}$ and generalizes [Feng and Xiong, On Selmer groups and Tate–Shafarevich groups for elliptic curves $y^2=x^3-n^3$. Mathematika 58 (2012), 236–274.] for the special elliptic curves $y^2=x^3-n^3$. It is shown that the 2-ranks of these groups all follow the same distribution and in particular, the mean value is $\sqrt {\frac {1}{2}\log \log X}$ for square-free positive integers $n \le X$ as $X \to \infty $.

Let π(f) be a nearly ordinary automorphic representation of the multiplicative group of an indefinite quaternion algebra B over a totally real field F with associated Galois representation ρf. Let K be a totally complex quadratic extension of F embedding in B. Using families of CM points on towers of Shimura curves attached to B and K, we construct an Euler system for ρf. We prove that it extends to p-adic families of Galois representations coming from Hida theory and dihedral ℤdp-extensions. When this Euler system is non-trivial, we prove divisibilities of characteristic ideals for the main conjecture in dihedral and modular Iwasawa theory.

We provide an unconditional proof of the André–Oort conjecture for the coarse moduli space 𝒜2,1 of principally polarized abelian surfaces, following the strategy outlined by Pila–Zannier.

We study the differential structure of the ring of modular forms for the unit group of the quaternion algebra over ℚ of discriminant 6. Using these results we give an explicit formula for Taylor expansions of the modular forms at the elliptic points. Using appropriate normalizations we show that the Taylor coefficients at the elliptic points of the generators of the ring of modular forms are all rational and 6-integral. This gives a rational structure on the ring of modular forms. We give a recursive formula for computing the Taylor coefficients of modular forms at elliptic points and, as an application, give an algorithm for computing modular polynomials.

Given an elliptic curve E and a positive integer N, we consider the problem of counting the number of primes p for which the reduction of E modulo p possesses exactly N points over 𝔽p. On average (over a family of elliptic curves), we show bounds that are significantly better than what is trivially obtained by the Hasse bound. Under some additional hypotheses, including a conjecture concerning the short-interval distribution of primes in arithmetic progressions, we obtain an asymptotic formula for the average.

Let X be a Shimura curve of genus zero. In this paper, we first characterize the spaces of automorphic forms on X in terms of Schwarzian differential equations. We then devise a method to compute Hecke operators on these spaces. An interesting by-product of our analysis is the evaluation and other similar identities.