arXiv subjects
Publications and source records attributed to Robert J. Lemke Oliver.
Let $N_n(X)$ denote the number of degree $n$ number fields with discriminant bounded by $X$. In this note, we improve the best known upper bounds on $N_n(X)$, finding that $N_n(X) = O(X^{ c (\log n)^2})$ for an explicit constant $c$.
When monic integral polynomials of degree $n \geq 2$ are ordered by the maximum of the absolute value of their coefficients, the Hilbert irreducibility theorem implies that asymptotically 100% are irreducible and have Galois group isomorphic to $S_n$. In particular, amongst such polynomials whose coefficients are bounded by $B$ in absolute value, asymptotically $(1+o(1))(2B+1)^n$ are irreducible and have Galois group $S_n$. When $G$ is a proper transitive subgroup of $S_n$, however, the asymptotic count of polynomials with Galois group $G$ has been determined only in very few cases. Here, we show that if there are strong upper bounds on the number of degree $n$ fields with Galois group $G$, then there are also strong bounds on the number of polynomials with Galois group $G$. For example, for any prime $p$, we show that there are at most $O(B^{3 - \frac{2}{p}} (\log B)^{p - 1})$ polynomials with Galois group $C_p$ and coefficients bounded by $B$.
Let $A$ be an abelian variety over a number field $F$ and let $p$ be a prime. Cohen-Lenstra-Delaunay-style heuristics predict that the Tate-Shafarevich group of $A_s$ should contain an element of order $p$ for a positive proportion of quadratic twists $A_s$ of $A$. We give a general method to prove instances of this conjecture by exploiting independent isogenies of $A$. For each prime $p$, there is a large class of elliptic curves for which our method shows that a positive proportion of quadratic twists have nontrivial $p$-torsion in their Tate-Shafarevich groups. In particular, when the modular curve $X_0(3p)$ has infinitely many $F$-rational points the method applies to ``most'' elliptic curves $E$ having a cyclic $3p$-isogeny. It also applies in certain cases when $X_0(3p)$ has only finitely many points. For example, we find an elliptic curve over $\mathbb{Q}$ for which a positive proportion of quadratic twists have an element of order $5$ in their Tate-Shafarevich groups. The method applies to abelian varieties of arbitrary dimension, at least in principle. As a proof of concept, we give, for each prime $p \equiv 1 \pmod 9$, examples of CM abelian threefolds with a positive proportion of quadratic twists having elements of order $p$ in their Tate-Shafarevich groups.
Given an elliptic curve $E/\mathbb{Q}$, it is a conjecture of Goldfeld that asymptotically half of its quadratic twists will have rank zero and half will have rank one. Nevertheless, higher rank twists do occur: subject to the parity conjecture, Gouvêa and Mazur constructed $X^{1/2-ε}$ twists by discriminants up to $X$ with rank at least two. For any $d\geq 3$, we build on their work to consider twists by degree $d$ $S_d$-extensions of $\mathbb{Q}$ with discriminant up to $X$. We prove that there are at least $X^{c_d-ε}$ such twists with positive rank, where $c_d$ is a positive constant that tends to $1/4$ as $d\to\infty$. Moreover, subject to a suitable parity conjecture, we obtain the same result for twists with rank at least two.
For an abelian variety $A$ over a number field $F$, we prove that the average rank of the quadratic twists of $A$ is bounded, under the assumption that the multiplication-by-3 isogeny on $A$ factors as a composition of 3-isogenies over $F$. This is the first such boundedness result for an absolutely simple abelian variety $A$ of dimension greater than one. In fact, we exhibit such twist families in arbitrarily large dimension and over any number field. In dimension one, we deduce that if $E/F$ is an elliptic curve admitting a 3-isogeny, then the average rank of its quadratic twists is bounded. If $F$ is totally real, we moreover show that a positive proportion of twists have rank 0 and a positive proportion have $3$-Selmer rank 1. These results on bounded average ranks in families of quadratic twists represent new progress towards Goldfeld's conjecture -- which states that the average rank in the quadratic twist family of an elliptic curve over $\mathbb{Q}$ should be $1/2$ -- and the first progress towards the analogous conjecture over number fields other than $\mathbb{Q}$. Our results follow from a computation of the average size of the $ϕ$-Selmer group in the family of quadratic twists of an abelian variety admitting a 3-isogeny $ϕ$.
In recent work, we considered the frequencies of patterns of consecutive primes $\pmod{q}$ and numerically found biases toward certain patterns and against others. We made a conjecture explaining these biases, the dominant factor in which permits an easy description but fails to distinguish many patterns that have seemingly very different frequencies. There was a secondary factor in our conjecture accounting for this additional variation, but it was given only by a complicated expression whose distribution was not easily understood. Here, we study this term, which proves to be connected to both the Fourier transform of classical Dedekind sums and the error term in the asymptotic formula for the sum of $ϕ(n)$.
We consider a natural generalization of the Nagell-Ljunggren equation to the case where the qth power of an integer y, for q >= 2, has a base-b representation that consists of a length-l block of digits repeated n times, where n >= 2. Assuming the abc conjecture of Masser and Oesterlé, we completely characterize those triples (q, n, l) for which there are infinitely many solutions b. In all cases predicted by the abc conjecture, we are able (without any assumptions) to prove there are indeed infinitely many solutions.
Let $K/\mathbb{Q}$ be a number field. Let $π$ and $π^\prime$ be cuspidal automorphic representations of $\mathrm{GL}_d(\mathbb{A}_K)$ and $\mathrm{GL}_{d^\prime}(\mathbb{A}_K)$, and suppose that either both $d$ and $d'$ are at most 2 or at least one of $π$ and $π^\prime$ is self-dual. When $d=d^\prime=2$, we prove an unconditional and effective log-free zero density estimate for the Rankin-Selberg $L$-function $L(s,π\otimesπ^\prime,K)$. For other choices of $d$ and $d^\prime$, we obtain similar results assuming that either $π$ or $π^\prime$ satisfies the generalized Ramanujan conjecture. With these density estimates, we make effective the Hoheisel phenomenon of Moreno regarding primes in short intervals and extend it to the context of the Sato-Tate conjecture; additionally, we bound the least prime in the Sato-Tate conjecture in analogy with Linnik's theorem on the least prime in an arithmetic progression. When $K=\mathbb{Q}$, we also prove an effective log-free density estimate for $L(s,π\otimesπ^\prime,\mathbb{Q})$ averaged over twists by Dirichlet characters. With this second density estimate, we prove an averaged form of the prime number theorem in short intervals for $L(s,π\otimes\tildeπ,\mathbb{Q})$ when $π$ is a cuspidal automorphic representation of $\mathrm{GL}_2(\mathbb{A}_{\mathbb{Q}})$.
In this paper we investigate the distribution of the number of primes which ramify in number fields of degree d <= 5. In analogy with the classical Erdos-Kac theorem, we prove for S_d-extensions that the number of such primes is normally distributed with mean and variance log log X.
While the sequence of primes is very well distributed in the reduced residue classes (mod $q$), the distribution of pairs of consecutive primes among the permissible $ϕ(q)^2$ pairs of reduced residue classes (mod $q$) is surprisingly erratic. This paper proposes a conjectural explanation for this phenomenon, based on the Hardy-Littlewood conjectures. The conjectures are then compared to numerical data, and the observed fit is very good.
We determine for what proportion of integers $h$ one now knows that there are infinitely many prime pairs $p,\ p+h$ as a consequence of the Zhang-Maynard-Tao theorem. We consider the natural generalization of this to $k$-tuples of integers, and we determine the limit of what can be deduced assuming only the Zhang-Maynard-Tao theorem.
In recent work, Bhargava and Shankar have shown that the average size of the $2$-Selmer group of an elliptic curve over $\mathbb{Q}$ is exactly $3$, and Bhargava and Ho have shown that the average size of the $2$-Selmer group in the family of elliptic curves with a marked point is exactly $6$. In contrast to these results, we show that the average size of the $2$-Selmer group in the family of elliptic curves with a two-torsion point is unbounded. In particular, the existence of a two-torsion point implies the existence of rational isogeny. A fundamental quantity attached to a pair of isogenous curves is the Tamagawa ratio, which measures the relative sizes of the Selmer groups associated to the isogeny and its dual. Building on previous work in which we considered the Tamagawa ratio in quadratic twist families, we show that, in the family of all elliptic curves with a two-torsion point, the Tamagawa ratio is essentially governed by a normal distribution with mean zero and growing variance.
The Hardy--Littlewood prime $k$-tuples conjecture has long been thought to be completely unapproachable with current methods. While this sadly remains true, startling breakthroughs of Zhang, Maynard, and Tao have nevertheless made significant progress toward this problem. In this work, we extend the Maynard-Tao method to both number fields and the function field $\mathbb{F}_q(t)$.
This paper presents a new result concerning the distribution of 2-Selmer ranks in the quadratic twist family of an elliptic curve over an arbitrary number field K with a single point of order two that does not have a cyclic 4-isogeny defined over its two-division field. We prove that at least half of all the quadratic twists of such an elliptic curve have arbitrarily large 2-Selmer rank, showing that the distribution of 2-Selmer ranks in the quadratic twist family of such an elliptic curve differs from the distribution of 2-Selmer ranks in the quadratic twist family of an elliptic curve having either no rational two-torsion or full rational two-torsion.
Granville and Soundararajan have recently introduced the notion of pretentiousness in the study of multiplicative functions of modulus bounded by 1, essentially the idea that two functions which are similar in a precise sense should exhibit similar behavior. It turns out, somewhat surprisingly, that this does not directly extend to detecting power cancellation - there are multiplicative functions which exhibit as much cancellation as possible in their partial sums that, modified slightly, give rise to functions which exhibit almost as little as possible. We develop two new notions of pretentiousness under which power cancellation can be detected, one of which applies to a much broader class of multiplicative functions.