-
Enumerating Galois extensions of number fields
Authors:
Robert J. Lemke Oliver
Abstract:
Let $k$ be a number field. We provide an asymptotic formula for the number of Galois extensions of $k$ with absolute discriminant bounded by some $X \geq 1$, as $X\to\infty$. We also provide an asymptotic formula for the closely related count of extensions $K/k$ whose normal closure has discriminant bounded by $X$. The key behind these results is a new upper bound on the number of Galois extension…
▽ More
Let $k$ be a number field. We provide an asymptotic formula for the number of Galois extensions of $k$ with absolute discriminant bounded by some $X \geq 1$, as $X\to\infty$. We also provide an asymptotic formula for the closely related count of extensions $K/k$ whose normal closure has discriminant bounded by $X$. The key behind these results is a new upper bound on the number of Galois extensions of $k$ with a given Galois group $G$ and discriminant bounded by $X$; we show the number of such extensions is $O_{[k:\mathbb{Q}],G} (X^{ \frac{4}{\sqrt{|G|}}})$. This improves over the previous best bound $O_{k,G,ε}(X^{\frac{3}{8}+ε})$ due to Ellenberg and Venkatesh. In particular, ours is the first bound for general $G$ with an exponent that decays as $|G| \to \infty$.
△ Less
Submitted 6 June, 2024;
originally announced June 2024.
-
Faithful Artin induction and the Chebotarev density theorem
Authors:
Robert J. Lemke Oliver,
Alexander Smith
Abstract:
Given a finite group G, we prove that the vector space spanned by the faithful irreducible characters of G is generated by the monomial characters in the vector space. As a consequence, we show that in any family of G-extensions of a fixed number field F, almost all are subject to a strong effective version of the Chebotarev density theorem. We use this version of the Chebotarev density theorem to…
▽ More
Given a finite group G, we prove that the vector space spanned by the faithful irreducible characters of G is generated by the monomial characters in the vector space. As a consequence, we show that in any family of G-extensions of a fixed number field F, almost all are subject to a strong effective version of the Chebotarev density theorem. We use this version of the Chebotarev density theorem to deduce several consequences for class groups in families of number fields.
△ Less
Submitted 14 May, 2024;
originally announced May 2024.
-
Uniform exponent bounds on the number of primitive extensions of number fields
Authors:
Robert J. Lemke Oliver
Abstract:
A folklore conjecture asserts the existence of a constant $c_n > 0$ such that $\#\mathcal{F}_n(X) \sim c_n X$ as $X\to \infty$, where $\mathcal{F}_n(X)$ is the set of degree $n$ extensions $K/\mathbb{Q}$ with discriminant bounded by $X$. This conjecture is known if $n \leq 5$, but even the weaker conjecture that there exists an absolute constant $C\geq 1$ such that $\#\mathcal{F}_n(X) \ll_n X^C$ r…
▽ More
A folklore conjecture asserts the existence of a constant $c_n > 0$ such that $\#\mathcal{F}_n(X) \sim c_n X$ as $X\to \infty$, where $\mathcal{F}_n(X)$ is the set of degree $n$ extensions $K/\mathbb{Q}$ with discriminant bounded by $X$. This conjecture is known if $n \leq 5$, but even the weaker conjecture that there exists an absolute constant $C\geq 1$ such that $\#\mathcal{F}_n(X) \ll_n X^C$ remains unknown and apparently out of reach. Here, we make progress on this weaker conjecture (which we term the "uniform exponent conjecture") in two ways. First, we reduce the general problem to that of studying relative extensions of number fields whose Galois group is an almost simple group in a natural primitive permutation representation. Second, for almost all such groups, we prove the strongest known upper bound on the number of such extensions. These bounds have the effect of resolving the uniform exponent conjecture for solvable groups, sporadic groups, exceptional groups, and classical groups of bounded rank.
△ Less
Submitted 13 December, 2023; v1 submitted 12 November, 2023;
originally announced November 2023.
-
Normal distribution of bad reduction
Authors:
Robert J. Lemke Oliver,
Daniel Loughran,
Ari Shnidman
Abstract:
We prove normal distribution laws for primes of bad semistable reduction in families of curves. As a consequence, we deduce that when ordered by height, $100\%$ of curves in these families have, in a precise sense, many such primes.
We prove normal distribution laws for primes of bad semistable reduction in families of curves. As a consequence, we deduce that when ordered by height, $100\%$ of curves in these families have, in a precise sense, many such primes.
△ Less
Submitted 25 May, 2023;
originally announced May 2023.
-
Improved bounds on number fields of small degree
Authors:
Theresa C. Anderson,
Ayla Gafni,
Kevin Hughes,
Robert J. Lemke Oliver,
David Lowry-Duda,
Frank Thorne,
Jiuya Wang,
Ruixiang Zhang
Abstract:
We study the number of degree $n$ number fields with discriminant bounded by $X$. In this article, we improve an upper bound due to Schmidt on the number of such fields that was previously the best known upper bound for $6 \leq n \leq 94$.
We study the number of degree $n$ number fields with discriminant bounded by $X$. In this article, we improve an upper bound due to Schmidt on the number of such fields that was previously the best known upper bound for $6 \leq n \leq 94$.
△ Less
Submitted 25 October, 2023; v1 submitted 4 April, 2022;
originally announced April 2022.
-
The average size of $3$-torsion in class groups of $2$-extensions
Authors:
Robert J. Lemke Oliver,
Jiuya Wang,
Melanie Matchett Wood
Abstract:
We determine the average size of the 3-torsion in class groups of $G$-extensions of a number field when $G$ is any transitive $2$-group containing a transposition, for example $D_4$. It follows from the Cohen--Lenstra--Martinet heuristics that the average size of the $p$-torsion in class groups of $G$-extensions of a number field is conjecturally finite for any $G$ and most $p$ (including…
▽ More
We determine the average size of the 3-torsion in class groups of $G$-extensions of a number field when $G$ is any transitive $2$-group containing a transposition, for example $D_4$. It follows from the Cohen--Lenstra--Martinet heuristics that the average size of the $p$-torsion in class groups of $G$-extensions of a number field is conjecturally finite for any $G$ and most $p$ (including $p\nmid|G|$). Previously this conjecture had only been proven in the cases of $G=S_2$ with $p=3$ and $G=S_3$ with $p=2$. We also show that the average $3$-torsion in a certain relative class group for these $G$-extensions is as predicted by Cohen and Martinet, proving new cases of the Cohen--Lenstra--Martinet heuristics. Our new method also works for many other permutation groups $G$ that are not $2$-groups.
△ Less
Submitted 29 October, 2021; v1 submitted 14 October, 2021;
originally announced October 2021.
-
Quantitative Hilbert irreducibility and almost prime values of polynomial discriminants
Authors:
Theresa C. Anderson,
Ayla Gafni,
Robert J. Lemke Oliver,
David Lowry-Duda,
George Shakan,
Ruixiang Zhang
Abstract:
We study two polynomial counting questions in arithmetic statistics via a combination of Fourier analytic and arithmetic methods. First, we obtain new quantitative forms of Hilbert's Irreducibility Theorem for degree $n$ polynomials $f$ with $\mathrm{Gal}(f) \subseteq A_n$. We study this both for monic polynomials and non-monic polynomials. Second, we study lower bounds on the number of degree…
▽ More
We study two polynomial counting questions in arithmetic statistics via a combination of Fourier analytic and arithmetic methods. First, we obtain new quantitative forms of Hilbert's Irreducibility Theorem for degree $n$ polynomials $f$ with $\mathrm{Gal}(f) \subseteq A_n$. We study this both for monic polynomials and non-monic polynomials. Second, we study lower bounds on the number of degree $n$ monic polynomials with almost prime discriminants, as well as the closely related problem of lower bounds on the number of degree $n$ number fields with almost prime discriminants.
△ Less
Submitted 15 September, 2021; v1 submitted 6 July, 2021;
originally announced July 2021.
-
An approximate form of Artin's holomorphy conjecture and non-vanishing of Artin $L$-functions
Authors:
Robert J. Lemke Oliver,
Jesse Thorner,
Asif Zaman
Abstract:
Let $k$ be a number field and $G$ be a finite group. Let $\mathfrak{F}_{k}^{G}(Q)$ be the family of number fields $K$ with absolute discriminant $D_K$ at most $Q$ such that $K/k$ is normal with Galois group isomorphic to $G$. If $G$ is the symmetric group $S_n$ or any transitive group of prime degree, then we unconditionally prove that for all $K\in\mathfrak{F}_k^G(Q)$ with at most $O_ε(Q^ε)$ exce…
▽ More
Let $k$ be a number field and $G$ be a finite group. Let $\mathfrak{F}_{k}^{G}(Q)$ be the family of number fields $K$ with absolute discriminant $D_K$ at most $Q$ such that $K/k$ is normal with Galois group isomorphic to $G$. If $G$ is the symmetric group $S_n$ or any transitive group of prime degree, then we unconditionally prove that for all $K\in\mathfrak{F}_k^G(Q)$ with at most $O_ε(Q^ε)$ exceptions, the $L$-functions associated to the faithful Artin representations of $\mathrm{Gal}(K/k)$ have a region of holomorphy and non-vanishing commensurate with predictions by the Artin conjecture and the generalized Riemann hypothesis. This result is a special case of a more general theorem. As applications, we prove that:
1) there exist infinitely many degree $n$ $S_n$-fields over $\mathbb{Q}$ whose class group is as large as the Artin conjecture and GRH imply, settling a question of Duke;
2) for a prime $p$, the periodic torus orbits attached to the ideal classes of almost all totally real degree $p$ fields $F$ over $\mathbb{Q}$ equidistribute on $\mathrm{PGL}_p(\mathbb{Z})\backslash\mathrm{PGL}_p(\mathbb{R})$ with respect to Haar measure;
3) for each $\ell\geq 2$, the $\ell$-torsion subgroups of the ideal class groups of almost all degree $p$ fields over $k$ (resp. almost all degree $n$ $S_n$-fields over $k$) are as small as GRH implies; and
4) an effective variant of the Chebotarev density theorem holds for almost all fields in such families.
△ Less
Submitted 31 May, 2021; v1 submitted 28 December, 2020;
originally announced December 2020.
-
Asymptotic identities for additive convolutions of sums of divisors
Authors:
Robert J. Lemke Oliver,
Sunrose T. Shrestha,
Frank Thorne
Abstract:
In a 1916 paper, Ramanujan studied the additive convolution $S_{a, b}(n)$ of sum-of-divisors functions $σ_a(n)$ and $σ_b(n)$, and proved an asymptotic formula for it when $a$ and $b$ are positive odd integers. He also conjectured that his asymptotic formula should hold for all positive real $a$ and $b$. Ramanujan's conjecture was subsequently proved by Ingham, and then by Halberstam with a power s…
▽ More
In a 1916 paper, Ramanujan studied the additive convolution $S_{a, b}(n)$ of sum-of-divisors functions $σ_a(n)$ and $σ_b(n)$, and proved an asymptotic formula for it when $a$ and $b$ are positive odd integers. He also conjectured that his asymptotic formula should hold for all positive real $a$ and $b$. Ramanujan's conjecture was subsequently proved by Ingham, and then by Halberstam with a power saving error term.
In this paper, we give a new proof of Ramanujan's conjecture that obtains lower order terms in the asymptotics for most ranges of the parameters. We also describe a connection to a counting problem in geometric topology that was studied in the second author's thesis and which served as our initial motivation in studying this sum.
△ Less
Submitted 26 May, 2021; v1 submitted 17 July, 2020;
originally announced July 2020.
-
Upper bounds on number fields of given degree and bounded discriminant
Authors:
Robert J. Lemke Oliver,
Frank Thorne
Abstract:
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$.
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$.
△ Less
Submitted 23 June, 2020; v1 submitted 28 May, 2020;
originally announced May 2020.
-
Improved lower bounds for the number of fields with alternating Galois group
Authors:
Aaron Landesman,
Robert J. Lemke Oliver,
Frank Thorne
Abstract:
Let $n \geq 6$ be an integer. We prove that the number of number fields with Galois group $A_n$ and absolute discriminant at most $X$ is asymptotically at least $X^{1/8 + O(1/n)}$. For $n \geq 8$ this improves upon the previously best known lower bound of $X^{(1 - \frac{2}{n!})/(4n - 4) - ε}$, due to Pierce, Turnage-Butterbaugh, and Wood.
Let $n \geq 6$ be an integer. We prove that the number of number fields with Galois group $A_n$ and absolute discriminant at most $X$ is asymptotically at least $X^{1/8 + O(1/n)}$. For $n \geq 8$ this improves upon the previously best known lower bound of $X^{(1 - \frac{2}{n!})/(4n - 4) - ε}$, due to Pierce, Turnage-Butterbaugh, and Wood.
△ Less
Submitted 2 December, 2021; v1 submitted 22 October, 2019;
originally announced October 2019.
-
Upper bounds on polynomials with small Galois group
Authors:
Robert J. Lemke Oliver,
Frank Thorne
Abstract:
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 a…
▽ More
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$.
△ Less
Submitted 4 October, 2019;
originally announced October 2019.
-
Elements of given order in Tate-Shafarevich groups of abelian varieties in quadratic twist families
Authors:
Manjul Bhargava,
Zev Klagsbrun,
Robert J. Lemke Oliver,
Ari Shnidman
Abstract:
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 i…
▽ More
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.
△ Less
Submitted 29 March, 2019;
originally announced April 2019.
-
Rank growth of elliptic curves in nonabelian extensions
Authors:
Robert J. Lemke Oliver,
Frank Thorne
Abstract:
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 t…
▽ More
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.
△ Less
Submitted 9 October, 2018;
originally announced October 2018.
-
Three-isogeny Selmer groups and ranks of abelian varieties in quadratic twist families over a number field
Authors:
Manjul Bhargava,
Zev Klagsbrun,
Robert J. Lemke Oliver,
Ari Shnidman
Abstract:
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 i…
▽ More
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 $φ$.
△ Less
Submitted 30 November, 2017; v1 submitted 27 September, 2017;
originally announced September 2017.
-
The distribution of consecutive prime biases and sums of sawtooth random variables
Authors:
Robert J. Lemke Oliver,
Kannan Soundararajan
Abstract:
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…
▽ More
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)$.
△ Less
Submitted 18 September, 2017;
originally announced September 2017.
-
The Generalized Nagell-Ljunggren Problem: Powers with Repetitive Representations
Authors:
Andrew Bridy,
Robert J. Lemke Oliver,
Arlo Shallit,
Jeffrey Shallit
Abstract:
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…
▽ More
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.
△ Less
Submitted 22 July, 2017; v1 submitted 12 July, 2017;
originally announced July 2017.
-
Unexpected biases in the distribution of consecutive primes
Authors:
Robert J. Lemke Oliver,
Kannan Soundararajan
Abstract:
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…
▽ More
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.
△ Less
Submitted 29 May, 2016; v1 submitted 11 March, 2016;
originally announced March 2016.
-
Effective log-free zero density estimates for automorphic $L$-functions and the Sato-Tate conjecture
Authors:
Robert J. Lemke Oliver,
Jesse Thorner
Abstract:
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…
▽ More
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}})$.
△ Less
Submitted 17 November, 2016; v1 submitted 12 May, 2015;
originally announced May 2015.
-
Best possible densities of Dickson m-tuples, as a consequence of Zhang-Maynard-Tao
Authors:
Andrew Granville,
Daniel M. Kane,
Dimitris Koukoulopoulos,
Robert J. Lemke Oliver
Abstract:
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.
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.
△ Less
Submitted 20 October, 2015; v1 submitted 29 October, 2014;
originally announced October 2014.
-
The number of ramified primes in number fields of small degree
Authors:
Robert J. Lemke Oliver,
Frank Thorne
Abstract:
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.
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.
△ Less
Submitted 2 September, 2016; v1 submitted 5 August, 2014;
originally announced August 2014.
-
The distribution of the Tamagawa ratio in the family of elliptic curves with a two-torsion point
Authors:
Zev Klagsbrun,
Robert J. Lemke Oliver
Abstract:
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 elli…
▽ More
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.
△ Less
Submitted 25 June, 2014;
originally announced June 2014.
-
Bounded gaps between primes in number fields and function fields
Authors:
Abel Castillo,
Chris Hall,
Robert J. Lemke Oliver,
Paul Pollack,
Lola Thompson
Abstract:
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)$.
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)$.
△ Less
Submitted 23 March, 2014;
originally announced March 2014.
-
The distribution of 2-Selmer ranks of quadratic twists of elliptic curves with partial two-torsion
Authors:
Zev Klagsbrun,
Robert J. Lemke Oliver
Abstract:
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 t…
▽ More
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.
△ Less
Submitted 26 July, 2013;
originally announced July 2013.
-
Pretentiously detecting power cancellation
Authors:
Junehyuk Jung,
Robert J. Lemke Oliver
Abstract:
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…
▽ More
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.
△ Less
Submitted 8 November, 2011;
originally announced November 2011.
