To a pair of elliptic curves, one can naturally attach two K3 surfaces: the Kummer surface of their product and a double cover of it, called the Inose surface. They have prominently featured in many interesting constructions in algebraic geometry and number theory. There are several more associated elliptic K3 surfaces, obtained through base change of the Inose surface; these have been previously studied by Masato Kuwata. We give an explicit description of the geometric Mordell–Weil groups of each of these elliptic surfaces in the generic case (when the elliptic curves are non-isogenous). In the nongeneric case, we describe a method to calculate explicitly a finite index subgroup of the Mordell–Weil group, which may be saturated to give the full group. Our methods rely on several interesting group actions, the use of rational elliptic surfaces, as well as connections to the geometry of low degree curves on cubic and quartic surfaces. We apply our techniques to compute the full Mordell–Weil group in several examples of arithmetic interest, arising from isogenous elliptic curves with complex multiplication, for which these K3 surfaces are singular.

We construct a stable formal model of a Lubin–Tate curve with level three, and study the action of a Weil group and a division algebra on its stable reduction. Further, we study a structure of cohomology of the Lubin–Tate curve. Our study is purely local and includes the case where the characteristic of the residue field of a local field is two.

We use Lau’s classification of 2-divisible groups using Dieudonné displays to construct integral canonical models for Shimura varieties of abelian type at 2-adic places where the level is hyperspecial.

In this paper we study the variation of the $p$ -Selmer rank parities of $p$ -twists of a principally polarized Abelian variety over an arbitrary number field $K$ and show, under certain assumptions, that this parity is periodic with an explicit period. Our result applies in particular to principally polarized Abelian varieties with full $K$ -rational $p$ -torsion subgroup, arbitrary elliptic curves, and Jacobians of hyperelliptic curves. Assuming the Shafarevich–Tate conjecture, our result allows one to classify the rank parities of all quadratic twists of an elliptic or hyperelliptic curve after a finite calculation.

We extend the group-theoretic construction of local models of Pappas and Zhu [Local models of Shimura varieties and a conjecture of Kottwitz, Invent. Math. 194 (2013), 147–254] to the case of groups obtained by Weil restriction along a possibly wildly ramified extension. This completes the construction of local models for all reductive groups when $p\geqslant 5$ . We show that the local models are normal with special fiber reduced and study the monodromy action on the sheaves of nearby cycles. As a consequence, we prove a conjecture of Kottwitz that the semi-simple trace of Frobenius gives a central function in the parahoric Hecke algebra. We also introduce a notion of splitting model and use this to study the inertial action in the case of an unramified group.

Consider a system of polynomials in many variables over the ring of integers of a number field  $K$ . We prove an asymptotic formula for the number of integral zeros of this system in homogeneously expanding boxes. As a consequence, any smooth and geometrically integral variety $X\subseteq \mathbb{P}_{K}^{m}$ satisfies the Hasse principle, weak approximation, and the Manin–Peyre conjecture if only its dimension is large enough compared to its degree. This generalizes work of Skinner, who considered the case where all polynomials have the same degree, and recent work of Browning and Heath-Brown, who considered the case where $K=\mathbb{Q}$ . Our main tool is Skinner’s number field version of the Hardy–Littlewood circle method. As a by-product, we point out and correct an error in Skinner’s treatment of the singular integral.

Let $F$ be a totally real field in which a prime $p$ is unramified. We define the Goren–Oort stratification of the characteristic- $p$ fiber of a quaternionic Shimura variety of maximal level at $p$ . We show that each stratum is a $(\mathbb{P}^{1})^{r}$ -bundle over other quaternionic Shimura varieties (for an appropriate integer $r$ ). As an application, we give a necessary condition for the ampleness of a modular line bundle on a quaternionic Shimura variety in characteristic $p$ .

We study the automorphisms of the nonsplit Cartan modular curves $X_{\text{ns}}(p)$ of prime level $p$ . We prove that if $p\geqslant 29$ all the automorphisms preserve the cusps. Furthermore, if $p\equiv 1~\text{mod}~12$ and $p\neq 13$ , the automorphism group is generated by the modular involution given by the normalizer of a nonsplit Cartan subgroup of $\text{GL}_{2}(\mathbb{F}_{p})$ . We also prove that for every $p\geqslant 29$ the existence of an exceptional rational automorphism would give rise to an exceptional rational point on the modular curve $X_{\text{ns}}^{+}(p)$ associated to the normalizer of a nonsplit Cartan subgroup of $\text{GL}_{2}(\mathbb{F}_{p})$ .

Most systematic tables of data associated to ranks of elliptic curves order the curves by conductor. Recent developments, led by work of Bhargava and Shankar studying the average sizes of $n$ -Selmer groups, have given new upper bounds on the average algebraic rank in families of elliptic curves over $\mathbb{Q}$ , ordered by height. We describe databases of elliptic curves over $\mathbb{Q}$ , ordered by height, in which we compute ranks and $2$ -Selmer group sizes, the distributions of which may also be compared to these theoretical results. A striking new phenomenon that we observe in our database is that the average rank eventually decreases as height increases.

Consider two ordinary elliptic curves $E,E^{\prime }$ defined over a finite field $\mathbb{F}_{q}$ , and suppose that there exists an isogeny $\unicode[STIX]{x1D713}$ between $E$ and $E^{\prime }$ . We propose an algorithm that determines $\unicode[STIX]{x1D713}$ from the knowledge of $E$ , $E^{\prime }$ and of its degree $r$ , by using the structure of the $\ell$ -torsion of the curves (where  $\ell$  is a prime different from the characteristic  $p$ of the base field). Our approach is inspired by a previous algorithm due to Couveignes, which involved computations using the $p$ -torsion on the curves. The most refined version of that algorithm, due to De Feo, has a complexity of  $\tilde{O} (r^{2})p^{O(1)}$ base field operations. On the other hand, the cost of our algorithm is $\tilde{O} (r^{2})\log (q)^{O(1)}$ , for a large class of inputs; this makes it an interesting alternative for the medium- and large-characteristic cases.

We study the elliptic curves in Cremona’s tables that are predicted by the Birch–Swinnerton-Dyer conjecture to have elements of order $7$ in their Tate–Shafarevich group. We show that in many cases these elements are visible in an abelian surface or abelian 3-fold.

We report on our project to find explicit examples of K3 surfaces having real or complex multiplication. Our strategy is to search through the arithmetic consequences of RM and CM. In order to do this, an efficient method is needed for point counting on surfaces defined over finite fields. For this, we describe algorithms that are $p$ -adic in nature.

We introduce an algorithm that can be used to compute the canonical height of a point on an elliptic curve over the rationals in quasi-linear time. As in most previous algorithms, we decompose the difference between the canonical and the naive height into an archimedean and a non-archimedean term. Our main contribution is an algorithm for the computation of the non-archimedean term that requires no integer factorization and runs in quasi-linear time.

We describe the construction of a database of genus- $2$ curves of small discriminant that includes geometric and arithmetic invariants of each curve, its Jacobian, and the associated $L$ -function. This data has been incorporated into the $L$ -Functions and Modular Forms Database (LMFDB).

We present a specialized point-counting algorithm for a class of elliptic curves over $\mathbb{F}_{p^{2}}$ that includes reductions of quadratic $\mathbb{Q}$ -curves modulo inert primes and, more generally, any elliptic curve over $\mathbb{F}_{p^{2}}$ with a low-degree isogeny to its Galois conjugate curve. These curves have interesting cryptographic applications. Our algorithm is a variant of the Schoof–Elkies–Atkin (SEA) algorithm, but with a new, lower-degree endomorphism in place of Frobenius. While it has the same asymptotic asymptotic complexity as SEA, our algorithm is much faster in practice.

In this article, we propose to use the character theory of compact Lie groups and their orthogonality relations for the study of Frobenius distribution and Sato–Tate groups. The results show the advantages of this new approach in several aspects. With samples of Frobenius ranging in size much smaller than the moment statistic approach, we obtain very good approximation to the expected values of these orthogonality relations, which give useful information about the underlying Sato–Tate groups and strong evidence of the correctness of the generalized Sato–Tate conjecture. In fact, $2^{10}$ to $2^{12}$ points provide satisfactory convergence. Even for $g=2$ , the classical approach using moment statistics requires about $2^{30}$ sample points to obtain such information.

We present JKL-ECM, an implementation of the elliptic curve method of integer factorization which uses certain twisted Hessian curves in a family studied by Jeon, Kim and Lee. This implementation takes advantage of torsion subgroup injection for families of elliptic curves over a quartic number field, in addition to the ‘small parameter’ speedup. We produced thousands of curves with torsion $\mathbb{Z}/6\mathbb{Z}\oplus \mathbb{Z}/6\mathbb{Z}$ and small parameters in twisted Hessian form, which admit curve arithmetic that is ‘almost’ as fast as that of twisted Edwards form. This allows JKL-ECM to compete with GMP-ECM for finding large prime factors. Also, JKL-ECM, based on GMP, accepts integers of arbitrary size. We classify the torsion subgroups of Hessian curves over $\mathbb{Q}$ and further examine torsion properties of the curves described by Jeon, Kim and Lee. In addition, the high-performance curves with torsion $\mathbb{Z}/2\mathbb{Z}\oplus \mathbb{Z}/8\mathbb{Z}$ of Bernstein et al. are completely recovered by the $\mathbb{Z}/4\mathbb{Z}\oplus \mathbb{Z}/8\mathbb{Z}$ family of Jeon, Kim and Lee, and hundreds more curves are produced besides, all with small parameters and base points.

Given a sextic CM field $K$ , we give an explicit method for finding all genus- $3$ hyperelliptic curves defined over $\mathbb{C}$ whose Jacobians are simple and have complex multiplication by the maximal order of this field, via an approximation of their Rosenhain invariants. Building on the work of Weng [J. Ramanujan Math. Soc. 16 (2001) no. 4, 339–372], we give an algorithm which works in complete generality, for any CM sextic field $K$ , and computes minimal polynomials of the Rosenhain invariants for any period matrix of the Jacobian. This algorithm can be used to generate genus-3 hyperelliptic curves over a finite field  $\mathbb{F}_{p}$ with a given zeta function by finding roots of the Rosenhain minimal polynomials modulo  $p$ .

Let $C/\mathbf{Q}$ be a curve of genus three, given as a double cover of a plane conic. Such a curve is hyperelliptic over the algebraic closure of $\mathbf{Q}$ , but may not have a hyperelliptic model of the usual form over $\mathbf{Q}$ . We describe an algorithm that computes the local zeta functions of $C$ at all odd primes of good reduction up to a prescribed bound $N$ . The algorithm relies on an adaptation of the ‘accumulating remainder tree’ to matrices with entries in a quadratic field. We report on an implementation and compare its performance to previous algorithms for the ordinary hyperelliptic case.

For an elliptic curve $E$ over a local field $K$ and a separable quadratic extension of $K$ , motivated by connections to the Birch and Swinnerton-Dyer conjecture, Kramer and Tunnell have conjectured a formula for computing the local root number of the base change of $E$ to the quadratic extension in terms of a certain norm index. The formula is known in all cases except some where $K$ is of characteristic $2$ , and we complete its proof by reducing the positive characteristic case to characteristic $0$ . For this reduction, we exploit the principle that local fields of characteristic $p$ can be approximated by finite extensions of $\mathbb{Q}_{p}$ : we find an elliptic curve $E^{\prime }$ defined over a $p$ -adic field such that all the terms in the Kramer–Tunnell formula for $E^{\prime }$ are equal to those for $E$ .