We give an upper bound on the number of extensions of a fixed number field of prescribed degree and discriminant less than X; these bounds improve on work of Schmidt. We also prove various related results, such as lower bounds for the number of extensions and upper bounds for Galois extensions.
In the paper we obtain the asymtotic number of integral quadratic polynomials with bounded heights and discriminants as the upper bound of heights tends to infinity.
In the paper we partially solved the problem of the distribution of the discriminants of integral polynomials in the cubic case. We proved the asymptotic formula for the number of integral cubic polynomials having bounded height and bounded discriminant. The main term of the obtained formula is the best possible for the considered range of polynomial discriminant values.
We prove an asymptotic formula for the number of multi-quadratic number fields of bounded discriminant with a power-saving error term. Furthermore, we explicitly calculate the leading coefficient and extend our result to totally real multi-quadratic number fields.
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$.
We prove an improvement on Schmidt's upper bound on the number of number fields of degree $n$ and absolute discriminant less than X for $6 \leq n \leq 94$. We carry this out by improving and applying a uniform bound on the number of monic integer polynomials, having bounded height and discriminant divisible by a large square, that we proved in a previous work.
Let $K$ be a number field and $d_K$ the absolute value of the discrimant of $K/\mathbb{Q}$. We consider the root discriminant $d_L^{\frac{1}{[L:\mathbb{Q}]}}$ of extensions $L/K$. We show that for any $N>0$ and any positive integer n, the set of length n solvable extensions of $K$ with root discriminant less than $N$ is finite. The result is motivated by the study of class field towers.
The problem of analyzing the number of number field extensions $L/K$ with bounded (relative) discriminant has been the subject of renewed interest in recent years, with significant advances made by Schmidt, Ellenberg-Venkatesh, Bhargava, Bhargava-Shankar-Wang, and others. In this paper, we use the geometry of numbers and invariant theory of finite groups, in a manner similar to Ellenberg and Venkatesh, to give an upper bound on the number of extensions $L/K$ with fixed degree, bounded relative discriminant, and specified Galois closure.
For a binary quadratic form $Q$, we consider the action of $\mathrm{SO}_Q$ on a two-dimensional vector space. This representation yields perhaps the simplest nontrivial example of a prehomogeneous vector space that is not irreducible, and of a coregular space whose underlying group is not semisimple. We show that the nondegenerate integer orbits of this representation are in natural bijection with orders in cubic fields having a fixed "lattice shape". Moreover, this correspondence is discriminant-preserving: the value of the invariant polynomial of an element in this representation agrees with…
Using Kummer theory for a finite extension K of \Qp(ζ)(where p is a prime number and ζa primitive p-th root of~1), we compute the ramification filtration and the discriminant of an arbitrary elementary abelian p-extension of K. We also develop the analogous Artin-Schreier theory for finite extensions of \Fp((π)) and derive similar results for their elementary abelian p-extensions.
We study some counting questions concerning products of positive integers $u_1, \ldots, u_n$ which form a non-zero perfect square, or more generally, a perfect $k$-th power. We obtain an asymptotic formula for the number of such integers of bounded size and in particular improve and generalize a result of D. I. Tolev (2011). We also use similar ideas to count the discriminants of number fields which are multiquadratic extensions of $\mathbb{Q}$ and improve and generalize a result of N. Rome (2017).
We study the asymptotic count of dihedral quartic extensions over a fixed number field with bounded norm of the relative discriminant. The main term of this count (including a summation formula for the constant) can be found in the literature (see Cohen--Diaz y Diaz--Olivier for the statement without proof and see Klüners for a proof), but a power-saving for the error term has not been explicitly determined except in the case that the base field is $\mathbb{Q}$. In this article, we describe the argument for obtaining both the explicit main term and a power-saving error term for the number of $…
Let t be any integer and fix an odd prime ell. Let Phi(x) = T_ell^n(x)-t denote the n-fold composition of the Chebyshev polynomial of degree ell shifted by t. If this polynomial is irreducible, let K = bbq(theta), where theta is a root of Phi. A theorem of Dedekind's gives a condition on t for which K is monogenic. For other values of t, we apply the Montes algorithm to obtain a formula for the discriminant of K and to compute basis elements for the ring of integers O_K.
In this note we give a counter example to a conjecture of Malle which predicts the asymptotic behaviour of the counting functions for field extensions with given Galois group and bounded discriminant.
This paper was motivated by a recent paper by Krumm and Pollack investigating modulo-$p$ behaviour of quadratic twists with rational points of a given hyperelliptic curve, conditional on the abc-conjecture. We extend those results to twisted Galois covers with arbitrary Galois groups. The main point of this generalization is to interpret those results as statements about the sets of specializations of a given Galois cover under restrictions on the discriminant. In particular, we make a connection with existing heuristics about the distribution of discriminants of Galois extensions such as the …
For a radical extension K of odd prime degree the ring O_K of integers is constructed as a product of subrings with the following property: for all prime divisors q of the discriminant of O_K there is a q-maximal factor. The discriminant of O_K is the greatest common divisor of the discriminants of all factors. The results are applied to give a criterion for the monogeneity of K where the opposite is not true.
Let $\ell>2$ be a positive integer, $ζ_\ell$ a primitive $\ell$-th root of unity, and $K$ a number field containing $ζ_\ell+ζ_\ell^{-1}$ but not $ζ_\ell$. In a recent paper, Chonoles et. al. study iterated towers of number fields over $K$ generated by the generalized Rikuna polynomial, $r_n(x,t;\ell) \in K(t)[x]$. They note that when $K = \mathbb{Q}$, $t \in \{0,1\}$, and $\ell=3$, the only ramified prime in the resulting tower is 3, and they ask under what conditions is the number of ramified primes small. In this paper, we apply a theorem of Guàrdia, Montes, and Nart to derive a formula for …
We prove that the number of quartic $S_4$--extensions of the rationals of given discriminant $d$ is $O_\eps(d^{1/2+\eps})$ for all $\eps>0$. For a prime number $p$ we derive that the dimension of the space of octahedral modular forms of weight 1 and conductor $p$ or $p^2$ is bounded above by $O(p^{1/2}\log(p)^2)$.
Given a nonzero integer $d$, we know by Hermite's Theorem that there exist only finitely many cubic number fields of discriminant $d$. However, it can happen that two non-isomorphic cubic fields have the same discriminant. It is thus natural to ask whether there are natural refinements of the discriminant which completely determine the isomorphism class of the cubic field. Here we consider the trace form $q_K:\text{tr}_{K/\mathbb{Q}}(x^2)|_{O^{0}_{K}}$ as such a refinement. For a cubic field of fundamental discriminant $d$ we show the existence of an element $T_K$ in Bhargava's class group $\C…
We determine, asymptotically, the number of quintic fields having bounded discriminant. Specifically, we prove that the asymptotic number of quintic fields having absolute discriminant at most X is a constant times X. In contrast with the quartic case, we also show that a density of 100% of quintic fields, when ordered by absolute discriminant, have Galois closure with full Galois group $S_5$. The analogues of these results are also proven for orders in quintic fields. Finally, we give an interpretation of the various constants appearing in these theorems in terms of local masses of quintic ri…
We obtain upper bounds for the number of monic irreducible polynomials over $\mathbb Z$ of a fixed degree $n$ and a growing height $H$ for which the field generated by one of its roots has a given discriminant. We approach it via counting square-free parts of polynomial discriminants via two complementing approaches. In turn, this leads to a lower bound on the number of distinct discriminants of fields generated by roots of polynomials of degree $n$ and height at most $H$. We also give an upper bound for the number of trinomials of bounded height with given square-free part of the discriminant…
We study solutions to the Brauer embedding problem with restricted ramification. Suppose $G$ and $A$ are a abelian groups, $E$ is a central extension of $G$ by $A$, and $f:\text{Gal}(\overline{\mathbf{Q}}/\mathbf{Q})\rightarrow G$ a continuous homomorphism. We determine conditions on the discriminant of $f$ that are equivalent to the existence of an unramified lift $\widetilde{f}:\text{Gal}(\overline{\mathbf{Q}}/\mathbf{Q})\rightarrow E$ of $f$. As a consequence of this result, we use conditions on the discriminant of $K$ for $K/\mathbf{Q}$ abelian to classify and count unramified nonabelian e…
We show how the ramification filtration on the maximal elementary abelian p-extension (p prime) on a local number field of residual characteristic p can be derived using only Kummer theory and a certain orthogonality relation for the Kummer pairing, even in the absence of a primitive p-th root of 1; the case of other local fields with finite residue fields was treated earlier. In all cases, we compute the contribution of cyclic extensions to Serre's degree-$p$ mass formula.
Let $K=\mathbb{Q}(\sqrt[n]{a})$ be an extension of degree $n$ of the field $\Q$ of rational numbers, where the integer $a$ is such that for each prime $p$ dividing $n$ either $p\nmid a$ or the highest power of $p$ dividing $a$ is coprime to $p$; this condition is clearly satisfied when $a, n$ are coprime or $a$ is squarefree. The paper contains an explicit formula for the discriminant of $K$ involving only the prime powers dividing $a,n$.
We compute the higher ramification groups and the Artin conductors of radical extensions of the rationals. As an application, we give formulas for their discriminant (using the conductor-discriminant formula). The interest in such number fields is due to the fact that they are among the simplest non-abelian extensions of the rationals (and so not classified by Class Field Theory). We show that this extensions have non integer jumps in the superior ramification groups, contrarily to the case of abelian extensions (as prescribed by Hasse-Arf theorem).
We obtain several results on the computation of different and discriminant ideals of finite extensions of local fields. As an application, we deduce routines to compute the $\p$-adic valuation of the discriminant $\dsc(f)$, and the resultant $\res(f,g)$, for polynomials $f(x),g(x)\in A[x]$, where $A$ is a Dedekind domain and $\p$ is a non-zero prime ideal of $A$ with finite residue field. These routines do not require the computation of neither $\dsc(f)$ nor $\res(f,g)$; hence, they are useful in cases where this latter computation is inefficient because the polynomials have a large degree or …
We prove inequalities that compare the regulator of a number field with its absolute discriminant. We refine some ideas in Silverman's work in 1984 where such general inequalities are first proven. In order to prove our main theorems, we combine these refinements with the authors' recent results on bounding the product of heights of relative units in a number field extension.
Let $L/K$ be a Galois extension of number fields. We prove two lower bounds on the maximum of the degrees of the irreducible complex representations of ${\rm Gal}(L/K)$, the sharper of which is conditional on the Artin Conjecture and the Generalized Riemann Hypothesis. Our bound is nontrivial when $[K : \mathbb{Q}]$ is small and $L$ has small root discriminant, and might be summarized as saying that such fields can't be "too abelian."
We define the notion of a weighted discriminant and corresponding counting function for number fields, and what it means for these counting functions to have a mass formula for a set of primes. We extend a result of Kedlaya to show that any proper counting function for a finite group $Γ$ has a mass formula for the set of primes not dividing $|Γ|$. We also prove that if $Γ$ is an $\ell$-group for some prime $\ell$, then there are only finitely many weighted discriminant counting functions for $Γ$-extensions of $\Q$ that have a mass formula for all primes. Finally, we enumerate all such counting…
Weighted enumeration of number-fields and counting points that take bounded squarefree values along certain polynomials using Pseudo and Sudo maximal orders
The goal is to obtain an asymptotic formula for the number of quadratic extensions with bounded discriminant of a some quadratic number field with odd class number. This extends an already known result for Q.
For any integer n >= 2 and any nonnegative integers r,s with r+2s = n, we give an unconditional construction of infinitely many monic irreducible polynomials of degree n with integer coefficients having squarefree discriminant and exactly r real roots. These give rise to number fields of degree n, signature (r,s), Galois group S_n, and squarefree discriminant; we may also force the discriminant to be coprime to any given integer. The number of fields produced with discriminant in the range [-N, N] is at least c N^(1/(n-1)). A corollary is that for each n \geq 3, infinitely many quadratic numbe…
In this paper we consider a tower of number fields $\cdots \supseteq K(1) \supseteq K(0) \supseteq K$ arising naturally from a continuous $p$-adic representation of $\mathrm{Gal}(\bar{\mathbb{Q}}/K)$, referred to as a $p$-adic Lie tower over $K$. A recent conjecture of Daqing Wan hypothesizes, for certain $p$-adic Lie towers of curves over $\mathbb{F}_p$, a stable (polynomial) growth formula for the genus. Here we prove the analogous result in characteristic zero, namely: the $p$-adic valuation of the discriminant of the extension $K(i)/K$ is given by a polynomial in $i,p^i$ for $i$ sufficient…
We give simple proofs of the Davenport--Heilbronn theorems, which provide the main terms in the asymptotics for the number of cubic fields having bounded discriminant and for the number of 3-torsion elements in the class groups of quadratic fields having bounded discriminant. We also establish second main terms for these theorems, thus proving a conjecture of Roberts. Our arguments provide natural interpretations for the various constants appearing in these theorems in terms of local masses of cubic rings.
We give an algorithm that constructs a minimal set of polynomials defining all extension of a $(π)$-adic field with given, inertia degree, ramification index, discriminant, ramification polygon, and residual polynomials of the segments of the ramification polygon.
The minimal integral Mahler measure of a number field $K$, $M(\mathcal{O}_K)$, is the minimal Mahler measure of a non-torsion primitive element of $\mathcal{O}_K$. Upper and lower bounds, which depend on the discriminant, are known. We show that for cubics, the lower bounds are sharp with respect to its growth as a function of discriminant. We construct an algorithm to compute $M(\mathcal{O}_K)$ for all cubics with absolute value of the discriminant bounded by $N$.
It is shown that for some explicit constants $c>0, A>0$, the asymptotic for the number of positive non-square discriminants $D<x$ with fundamental solution $\varepsilon_D< x^{\frac 12+α}, 0<α<c$, remains preserved if we require moreover $\mathbb Q(\sqrt D)$ to contain an irrational with partial quotients bounded by $A$.
Given $F$ a totally real field and $E_{/F}$ a modular elliptic curve, we denote by $G_5(E_{/F};X)$ the number of quintic extensions $K$ of $F$ such that the norm of the relative discriminant is at most $X$ and the analytic rank of $E$ grows over $K$, i.e., $r_\mathrm{an}(E/K)>r_\mathrm{an}(E/F)$. We show that $G_5(E_{/F};X)\asymp_{+\infty} X$ when the elliptic curve $E_{/F}$ has odd conductor and at least one prime of multiplicative reduction. As Bhargava, Shankar and Wang \cite{BSW} showed that the number of quintic extensions of $F$ with norm of the relative discriminant at most $X$ is asymp…
We show that for a large class of finite groups G, the number of Galois extensions E/Q of group G and discriminant $|d_E|\leq y$ grows like a power of $y$ (for some specified exponent). The groups G are the regular Galois groups over Q and the extensions E/Q that we count are obtained by specialization from a given regular Galois extension F/Q(T). The extensions E/Q can further be prescribed any unramified local behavior at each suitably large prime $p\leq \log (y)/δ$ for some $δ\geq 1$. This result is a step toward the Malle conjecture on the number of Galois extensions of given group and bou…
We construct a class of $S_3$-extensions of $\Q$ with infinite 3-class field tower in which only three primes ramify. As an application, we obtain an $S_3$-extension of $\Q$ with infinite 3-class field tower with smallest known (to the author) root discriminant among all fields with infinite 3-class field tower.
Let $G$ be a Frobenius group with an abelian Frobenius kernel $F$ and let $k$ be a finite extension of $\mathbb{Q}$. We obtain an upper bound for the number of degree $|F|$ algebraic extensions $K/k$ with Galois group $G$ with the norm of the discriminant $\mathcal{N}_{k/\mathbb{Q}}(d_{K/k})$ bounded above by $X$. We extend this method for any group $G$ that has an abelian normal subgroup. If $G$ has an abelian normal subgroup, then we obtain upper bounds for the number of degree $|G|$ extensions $N/k$ with Galois group $G$ with bounded norm of the discriminant. Malle made a conjecture about w…
We determine an explicit triangular integral basis for any separable cubic extension of a rational function field over a finite field in any characteristic. We obtain a formula for the discriminant of every such extension in terms of a standard form in a tower for the Galois closure.
Bianchi modular forms are automorphic forms over an imaginary quadratic field, associated to a Bianchi group. Even though modern studies of Bianchi modular forms go back to the mid 1960's, most of the fundamental problems surrounding their theory are still wide open. Only for certain types of Bianchi modular forms, which we will call non-genuine, it is possible at present to develop dimension formulas: They are (twists of) those forms which arise from elliptic cuspidal modular forms via the Langlands Base-Change procedure, or arise from a quadratic extension of the imaginary quadratic field vi…
Each number field has an associated finite abelian group, the class group, that records certain properties of arithmetic within the ring of integers of the field. The class group is well-studied, yet also still mysterious. A central conjecture of Brumer and Silverman states that for each prime $\ell$, every number field has the property that its class group has very few elements of order $\ell$, where "very few" is measured relative to the absolute discriminant of the field. This paper surveys recent progress toward this conjecture, and outlines its close connections to counting prime numbers,…
Let $K$ be an imaginary quadratic field of discriminant $d_K$, and let $\mathfrak{n}$ be a nontrivial integral ideal of $K$ in which $N$ is the smallest positive integer. Let $\mathcal{Q}_N(d_K)$ be the set of primitive positive definite binary quadratic forms of discriminant $d_K$ whose leading coefficients are relatively prime to $N$. We adopt an equivalence relation $\sim_\mathfrak{n}$ on $\mathcal{Q}_N(d_K)$ so that the set of equivalence classes $\mathcal{Q}_N(d_K)/\sim_\mathfrak{n}$ can be regarded as a group isomorphic to the ray class group of $K$ modulo $\mathfrak{n}$. We further pres…