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.

The cyclicity and Koblitz conjectures ask about the distribution of primes of cyclic and prime-order reduction, respectively, for elliptic curves over $\mathbb {Q}$. In 1976, Serre gave a conditional proof of the cyclicity conjecture, but the Koblitz conjecture (refined by Zywina in 2011) remains open. The conjectures are now known unconditionally “on average” due to work of Banks–Shparlinski and Balog–Cojocaru–David. Recently, there has been a growing interest in the cyclicity conjecture for primes in arithmetic progressions (AP), with relevant work by Akbal–Güloğlu and Wong. In this article, we adapt Zywina’s method to formulate the Koblitz conjecture for AP and refine a theorem of Jones to establish results on the moments of the constants in both the cyclicity and Koblitz conjectures for AP. In doing so, we uncover a somewhat counterintuitive phenomenon: On average, these two constants are oppositely biased over congruence classes. Finally, in an accompanying repository, we give Magma code for computing the constants discussed in this article.

Given an elliptic curve $ E $ over $ \mathbb {Q} $ of analytic rank zero, its L-function can be twisted by an even primitive Dirichlet character $ \chi $ of order $ q $, and in many cases its associated special L-value $ \mathscr {L}(E, \chi ) $ is known to be integral after normalizing by certain periods. This article determines the precise value of $ \mathscr {L}(E, \chi ) $ in terms of Birch–Swinnerton-Dyer invariants when $ q = 3 $, classifies their asymptotic densities modulo $ 3 $ by fixing $ E $ and varying $ \chi $, and presents a lower bound on the $ 3 $-adic valuation of $ \mathscr {L}(E, 1) $, all of which arise from a congruence of modular symbols. These results also explain some phenomena observed by Dokchitser–Evans–Wiersema and by Kisilevsky–Nam.

We explore the relationship between (3-isogeny induced) Selmer group of an elliptic curve and the (3 part of) the ideal class group, over certain non-abelian number fields.

Continuing our work on group-theoretic generalisations of the prime Ax–Katz Theorem, we give a lower bound on the p-adic divisibility of the cardinality of the set of simultaneous zeros $Z(f_1,f_2,\dots,f_r)$ of r maps $f_j\,{:}\,A\rightarrow B_j$ between arbitrary finite commutative groups A and $B_j$ in terms of the invariant factors of $A, B_1,B_2, \cdots,B_r$ and the functional degrees of the maps $f_1,f_2, \dots,f_r$.

Let p be an odd prime, and suppose that $E_1$ and $E_2$ are two elliptic curves which are congruent modulo p. Fix an Artin representation $\tau\,{:}\,G_{F}\rightarrow \mathrm{GL}_2(\mathbb{C})$ over a totally real field F, induced from a Hecke character over a CM-extension $K/F$. Assuming $E_1$ and $E_2$ are ordinary at p, we compute the variation in the $\mu$- and $\lambda$-invariants for the $\tau$-part of the Iwasawa Main Conjecture, as one switches from $E_1$ to $E_2$. Provided an Euler system exists, it will follow directly that IMC$(E_1,\tau)$ is true if and only if IMC$(E_2,\tau)$ is true.

This paper discusses variants of Weber’s class number problem in the spirit of arithmetic topology to connect the results of Sinnott–Kisilevsky and Kionke. Let p be a prime number. We first prove the p-adic convergence of class numbers in a ${\mathbb{Z}_{p}}$-extension of a global field and a similar result in a ${\mathbb{Z}_{p}}$-cover of a compact 3-manifold. Secondly, we establish an explicit formula for the p-adic limit of the p-power-th cyclic resultants of a polynomial using roots of unity of orders prime to p, the p-adic logarithm, and the Iwasawa invariants. Finally, we give thorough investigations of torus knots, twist knots, and elliptic curves; we complete the list of the cases with p-adic limits being in ${\mathbb{Z}}$ and find the cases such that the base p-class numbers are small and $\nu$’s are arbitrarily large.

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 study $\ell $-isogeny graphs of ordinary elliptic curves defined over $\mathbb {F}_q$ with an added level structure. Given an integer N coprime to p and $\ell ,$ we look at the graphs obtained by adding $\Gamma _0(N)$, $\Gamma _1(N),$ and $\Gamma (N)$-level structures to volcanoes. Given an order $\mathcal {O}$ in an imaginary quadratic field $K,$ we look at the action of generalized ideal class groups of $\mathcal {O}$ on the set of elliptic curves whose endomorphism rings are $\mathcal {O}$ along with a given level structure. We show how the structure of the craters of these graphs is determined by the choice of parameters.

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 study the rationality properties of the moduli space ${\mathcal{A}}_g$ of principally polarised abelian $g$-folds over $\mathbb{Q}$ and apply the results to arithmetic questions. In particular, we show that any principally polarised abelian 3-fold over ${\mathbb{F}}_p$ may be lifted to an abelian variety over $\mathbb{Q}$. This is a phenomenon of low dimension: assuming the Bombieri–Lang conjecture, we also show that this is not the case for abelian varieties of dimension at least 7. Concerning moduli spaces, we show that ${\mathcal{A}}_g$ is unirational over $\mathbb{Q}$ for $g\le 5$ and stably rational for $g=3$. This also allows us to make unconditional one of the results of Masser and Zannier about the existence of abelian varieties over $\mathbb{Q}$ that are not isogenous to Jacobians.

Given a polarised abelian variety over a number field, we provide totally explicit upper bounds for the cardinality of the rational points whose Néron-Tate height is less than a small threshold. These imply new estimates for the number of torsion points as well as the minimal height of a non-torsion point. Our bounds involve the Faltings height and dimension of the abelian variety together with the degrees of the polarisation and the number field but we also get a stronger statement where we use certain successive minima associated to the period lattice at a fixed archimedean place, in the spirit of a result of David for elliptic curves.

In this paper, we complete the proof of the conjecture of Gross and Zagier concerning algebraicity of higher Green functions at a single CM point on the product of modular curves. The new ingredient is an analogue of the incoherent Eisenstein series over a real quadratic field, which is constructed as the Doi-Naganuma theta lift of a deformed theta integral on hyperbolic 1-space.

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 J(m) be an $m\times m$ Jordan block with eigenvalue 1. For $\lambda\in\mathbb{C}\setminus\{0,1\}$, we explicitly construct all rank 2 local systems of geometric origin on $\mathbb{P}^1\setminus\{0,1,\lambda,\infty\}$, with local monodromy conjugate to J(2) at $0,1,\lambda$ and conjugate to $-J(2)$ at $\infty$. The construction relies crucially on Katz’s middle convolution operation. We use our construction to prove two conjectures of Sun, Yang and Zuo (one of which was proven earlier by Lin, Sheng and Wang; the other was proven independently of us by Yang and Zuo) coming from the theory of Higgs–de Rham flows, as well as a special case of the periodic Higgs conjecture of Krishnamoorthy and Sheng.

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

Let $e$ and $q$ be fixed co-prime integers satisfying $1\lt e\lt q$. Let $\mathscr {C}$ be a certain family of deformations of the curve $y^e=x^q$. That family is called the $(e,q)$-curve and is one of the types of curves called plane telescopic curves. Let $\varDelta$ be the discriminant of $\mathscr {C}$. Following pioneering work by Buchstaber and Leykin (BL), we determine the canonical basis $\{ L_j \}$ of the space of derivations tangent to the variety $\varDelta =0$ and describe their specific properties. Such a set $\{ L_j \}$ gives rise to a system of linear partial differential equations (heat equations) satisfied by the function $\sigma (u)$ associated with $\mathscr {C}$, and eventually gives its explicit power series expansion. This is a natural generalisation of Weierstrass’ result on his sigma function. We attempt to give an accessible description of various aspects of the BL theory. Especially, the text contains detailed proofs for several useful formulae and known facts since we know of no works which include their proofs.

We show that for $5/6$-th of all primes p, Hilbert’s 10th problem is unsolvable for the ring of integers of $\mathbb {Q}(\zeta _3, \sqrt [3]{p})$. We also show that there is an infinite set S of square-free integers such that Hilbert’s 10th problem is unsolvable over the ring of integers of $\mathbb {Q}(\zeta _3, \sqrt {D}, \sqrt [3]{p})$ for every $D \in S$ and for every prime $p \equiv 2, 5\ \pmod 9$. We use the CM elliptic curves $y^2=x^3-432 D^2$ associated with the cube-sum problem, with D varying in suitable congruence class, in our proof.

Let $K={\mathbb {Q}}(\sqrt {-7})$ and $\mathcal {O}$ the ring of integers in $K$. The prime $2$ splits in $K$, say $2{\mathcal {O}}={\mathfrak {p}}\cdot {\mathfrak {p}}^*$. Let $A$ be an elliptic curve defined over $K$ with complex multiplication by $\mathcal {O}$. Assume that $A$ has good ordinary reduction at both $\mathfrak {p}$ and ${\mathfrak {p}}^*$. Write $K_\infty$ for the field generated by the $2^\infty$–division points of $A$ over $K$ and let ${\mathcal {G}}={\mathrm {Gal}}(K_\infty /K)$. In this paper, by adopting a congruence formula of Yager and De Shalit, we construct the two-variable $2$-adic $L$-function on $\mathcal {G}$. Then by generalizing De Shalit’s local structure theorem to the two-variable setting, we prove a two-variable elliptic analogue of Iwasawa’s theorem on cyclotomic fields. As an application, we prove that every branch of the two-variable measure has Iwasawa $\mu$ invariant zero.