We report on a database of field extensions of the rationals, its properties and the methods used to compute it. At the moment the database encompasses roughly 100,000 polynomials generating distinct number fields over the rationals, of degrees up to 15. It contains polynomials for all transitive permutation groups up to that degree, and even for most of the possible combinations of signature and Galois group in that range. Moreover, whenever these are known, the fields of minimal discriminant with given group and signature have been included.
The database can be downloaded from www.iwr.uni-heidelberg.de/iwr/compalg/minimum/minimum.html or from www.mathematik.uni-kassel.de~malle/minimum/minimum.html and accessed via the computer algebra system Kant. One of the aims of the compilation of this database was to test the limitations of current methods for the realization of groups as Galois groups. It turned out that these methods have limitations if the signature of the resulting Galois extension is also prescribed.
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).
In this paper we obtain the genus field of a general Kummer extension of a global rational function field. We study first the case of a general Kummer extension of degree a power of a prime. Then we prove that the genus field of a composite of two abelian extensions of a global rational function field with relatively prime degrees is equal to the composite of their respective genus fields. Our main result, the genus of a general Kummer extension of a global rational function field, is a direct consequence of this fact.
We introduce the notion of "quasi-symmetric" polynomials, which is a generalization of the notion of symmetry, and is particularly suited to the setting of polynomial rings over finite fields. The properties of this new class of functions are studied. It is then shown that quasi-symmetric polynomials are very useful in splitting rational places in extensions of function fields over finite fields and thus may be used in constructing extensions with many rational places.
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).
In [2], the author claims that the fields $\mathbb{Q}(D_4^\infty)$ defined in the paper and the compositum of all $D_4$ extensions of $\mathbb{Q}$ coincide. The proof of this claim depends on a misreading of a celebrated result by Shafarevich. The purpose is to salvage the main results of [2]. That is, the classification of torsion structures of $E$ defined over $\mathbb{Q}$ when base changed to the compositum of all $D_4$ extensions of $\mathbb{Q}$ main results of [2]. All the main results in [2] are still correct except that we are no longer able to prove that these two fields are equal.
We generalize a result of F.\ Legrand about the existence of non-parametric Galois extensions for a given group $G$. More precisely, for a $K$-regular Galois extension $F|K(t)$, we consider the translates $F(s)|K(s)$ by an extension $K(s)|K(t)$ of rational function fields (in other words, $s$ is a root of $g(X)-t$ for some rational function $g\in K(X)$). We then show that if $F|K(t)$ is a $K$-regular Galois extension with group $G$ over a number field $K$, then for any degree $k\ge 2$ and almost all (in a density sense) rational functions $g$ of degree $k$, the translate of $F$ by a root field…
The conjecture due to Bertrand and Rodriguez Villegas asserts that the 1-norm of the nonzero element in an exterior power of the units of a number field has a certain lower bound. We prove this conjecture for the exterior square case when the number field is a real multi-quadratic Galois extension of any degree of the rationals.
Let $E/\mathbb{Q}$ be an elliptic curve and let $\mathbb{Q}(D_4^\infty)$ be the compositum of all extensions of $\mathbb{Q}$ whose Galois closure has Galois group isomorphic to a quotient of a subdirect product of a finite number of transitive subgroups of $D_4$. In this article we first show that $\mathbb{Q}(D_4^\infty)$ is in fact the compositum of all $D_4$ extensions of $\mathbb{Q}$ and then we prove that the torsion subgroup of $E(\mathbb{Q}(D_4^\infty))$ is finite and determine the 24 possibilities for its structure. We also give a complete classification of the elliptic curves that have…
For a cyclic Kummer extension $K$ of a rational function field $k$ is considered, via class field theory, the extended Hilbert class field $K_H^+$ of $K$ and the corresponding extended genus field $K_g^+$ of $K$ over $k$, along the lines of the definitions of R. Clement for such extensions of prime degree. We obtain $K_g^+$ explicitly. Also, we use cohomology to determine the number of ambiguous classes and obtain a reciprocity law for $K/k$. Finally, we present a necessary and sufficient condition for a prime of $K$ to decompose fully in $K_g^+$.
Let $E$ be an elliptic curve defined over $\mathbb{Q}$, and let $\mathbb{Q}^{ab}$ be the maximal abelian extension of $\mathbb{Q}$. In this article we classify the groups that can arise as $E(\mathbb{Q}^{ab})_{\text{tors}}$ up to isomorphism. The method illustrates techniques for finding explicit models of modular curves of mixed level structure. Moreover we provide an explicit algorithm to compute $E(\mathbb{Q}^{ab})_{\text{tors}}$ for any elliptic curve $E/\mathbb{Q}$.
In this paper we first obtain the genus field of a finite abelian non-Kummer $l$--extension of a global rational function field. Then, using that the genus field of a composite of two abelian extensions of a global rational function field with relatively prime degrees is equal to the composite of their respective genus fields and our previous results, we deduce the general expression of the genus field of a finite abelian extension of a global rational function field.
Let E be an elliptic curve over the rationals. Let L be an infinite Galois extension of the rationals with uniformly bounded local degrees at almost all primes. We will consider the infinite extension L(E_tor) of the rationals where we adjoin all coordinates of torsion points of E. In this paper we will prove an effective lower bound for the height of non-zero elements in L(E_tor) that are not a root of unity.
This paper contains an algebraic constructive and self-contained account of the invariance rule of the digital root under division for an arbitrary natural basis representation. Both the cases of repeating and non-repeating fractionals are treated. In the preliminary section some known results such as the uniqueness in the representation of a fraction are discussed for both the finite and infinite bases cases. Simple examples are introduced throughout the text for illustrative purposes.
In the published version of this paper [Finite Fields and Their Applications {\bf 20} (2013) 40--54], there is an error in the proof of Theorem 4.2 of the paper. Here we correct the error and give the right statments for Theorems 4.2, 4.5 and 5.2 We give a construction of genus fields for congruence function fields. First we consider the cyclotomic function field case following the ideas of Leopoldt and then the general case. As applications we give explicitly the genus fields of Kummer, Artin--Schreier and cyclic $p$--extensions. Kummer extensions were obtained previously by G. Peng and Artin…
Let $q$ be a perfect power of a prime number $p$ and $E({\mathbb F}_q)$ be an elliptic curve over ${\mathbb F}_q$ given by the equation $y^2=x^3+Ax+B$. For a positive integer $n$ we denote by $ \# E({\mathbb F}_{q^n})$ the number of rational points on $E$ (including infinity) over the extension ${\mathbb F}_{q^n}$. Under a mild technical condition, we show that the sequence $\lbrace \# E({\mathbb F}_{q^n}) \rbrace_{n>0}$ contains at most $10^{200}$ perfect squares. If the mild condition is not satisfied, then $\#E({\mathbb F}_{q^n})$ is a perfect square for infinitely many $n$ including all th…
In this short note we confirm the relation between the generalized $abc$-conjecture and the $p$-rationality of number fields. Namely, we prove that given K$/\mathbb{Q}$ a real quadratic extension or an imaginary $S_3$-extension, if the generalized $abc$-conjecture holds in K, then there exist at least $c\,\log X$ prime numbers $p \leq X$ for which K is $p$-rational, here $c$ is some nonzero constant depending on K. The real quadratic case was recently suggested by Böckle-Guiraud-Kalyanswamy-Khare.
Distinguished defining polynomials for extensions of p-adic fields
Universitat Politècnica de Catalunya（加泰罗尼亚理工大学）；Arizona State University（亚利桑那州立大学）；University of Florida（佛罗里达大学）；University of North Carolina Greensboro（北卡罗来纳大学格林斯伯勒分校）；University of Minnesota Morris（明尼苏达大学莫里斯分校）；Massachusetts Institute of Technology（麻省理工学院）
The notion of symmetry in polynomial rings with several indeterminates is generalized to polynomial rings over finite fields. Families of extensions of the projective line over a finite field of constants possessing this property are explicitly constructed. These extensions exhibit complete splitting of all finite rational places. Subcovers of these extensions are also explicitly described. New examples of function fields attaining the Oesterle bounds are obtained. These constructions are compared with class field theoretic constructions achieving similar splitting of rational places. A genera…
Let $K$ be a fixed number field, assumed to be Galois over $\mathbb Q$. Let $r$ and $f$ be fixed integers with $f$ positive. Given an elliptic curve $E$, defined over $K$, we consider the problem of counting the number of degree $f$ prime ideals of $K$ with trace of Frobenius equal to $r$. Except in the case $f=2$, we show that "on average," the number of such prime ideals with norm less than or equal to $x$ satisfies an asymptotic identity that is in accordance with standard heuristics. This work is related to the classical Lang-Trotter conjecture and extends the work of several authors.
We derive an asymptotic formula which counts the number of abelian extensions of prime degrees over rational function fields. Specifically, let $\ell$ be a rational prime and $K$ a rational function field $\Bbb F_q(t)$ with $\ell \nmid q$. Let $\textup{Disc}_f\left(F/K\right)$ denote the finite discriminant of $F$ over $K$. Denote the number of abelian $\ell$-extensions $F/K$ with $\textup{deg}\left(\textup{Disc}_f(F/K)\right) = (\ell-1)αn$ by $a_{\ell}(n)$, where $α=α(q, \ell)$ is the order of $q$ in the multiplicative group $\left(\Bbb Z/\ell \Bbb Z\right)^\times$. We give a explicit asympto…
Recently there has been much interest in studying the torsion subgroups of elliptic curves base-extended to infinite extensions of $\mathbb{Q}$. In this paper, given a finite group $G$, we study what happens with the torsion of an elliptic curve $E$ over $\mathbb{Q}$ when changing base to the compositum of all number fields with Galois group $G$. We do this by studying a group theoretic condition called generalized $G$-type, which is a necessary condition for a number field with Galois group $H$ to be contained in that compositum. In general, group theory allows one to reduce the original prob…
Duffin and Schaeffer have generalized the classical theorem of Khintchine in metric Diophantine approximation in the case of any error function under the assumption that all the rational approximants are irreducible. This result is extended to the case where the numerators and the denominators of the rational approximants are related by a congruential constraint stronger than coprimality.
We present a database of rational elliptic curves, up to Q-isomorphism, with good reduction outside {2,3,5,7,11,13}. We provide a heuristic involving the abc and BSD conjectures that the database is likely to be the complete set of such curves. Moreover, proving completeness likely needs only more computation time to conclude. We present data on the distribution of various quantities associated to curves in the set. We also discuss the connection to S-unit equations and the existence of rational elliptic curves with maximal conductor.
Let $K$ be the $N$th layer in the cyclotomic $\widehat{\mathbb{Z}}$-extension $\widehat{\mathbb{Q}}$. Many authors (Aoki, Fukuda, Horie, Ichimura, Inatomi, Komatsu, Miller, Morisawa, Nakajima, Okazaki, Washington,\,$\ldots$) analyse the behavior of the $p$-class groups ${\mathcal C}_K$. We revisit this problem, in a more conceptual form, since computations show that the $p$-torsion group ${\mathcal T}_K$ of the Galois groups of the maximal abelian $p$-ramified pro-$p$-extension of $K$ (Tate--Shafarevich group of $K$) is often non-trivial; this raises questions since $\# {\mathcal T}_K = \# {\m…
An algebraic extension K of the rationals has the Bogomolov property if the absolute logarithmic height of non-torsion points of K* is bounded away from 0. We define a relative extension L/K to be Bogomolov if this holds for points of L\K. We construct various examples of extensions which are and are not Bogomolov. We prove a ramification criterion for this property, and use it to show that such extensions can always be constructed if some rational prime has bounded ramification index in K, when K is Galois over Q.
I provide a systematic construction of points, defined over finite radical extensions, on any Legendre curve over any field of characteristic not equal two. This includes as special case Douglas Ulmer's construction of rational points over a rational function field in characteristic $p>0$. In particular I show that if $n\geq 4$ is any even integer and not divisible by the characteristic of the field then any elliptic curve $E$ over this field has at least $2n$ rational points over a finite solvable field extension. Under additional hypothesis, when the ground field is a number field, I show th…
The inverse Galois problem is concerned with finding a Galois extension of a field $K$ with given Galois group. In this paper we consider the particular case where the base field is $K=\F_p(t)$. We give a conjectural formula for the minimal number of primes, both finite and infinite, ramified in $G$-extensions of $K$, and give theoretical and computational proofs for many cases of this conjecture.
We give defining equations for function fields over finite fields with many rational places. They are obtained from composita of quadratic extensions of the rational function field.
In the present work we give the construction of the genus field and the extended genus field of an elementary abelian $l$-extension of a field of rational functions, where $l$ is a prime number. In the Kummer case, if $K$ is contained in a cyclotomic funtion field, the construction is given using Leopoldt's ideas by means of Dirichlet characters. Following the definition of Anglès and Jaulent of extended Hilbert class field, we obtain the extended genus field of an elementary abelian $l$-extension of a field of rational functions.
Let $E$ be an elliptic curve over the rationals. We will consider the infinite extension $\mathbb{Q}(E_{\text{tor}})$ of the rationals where we adjoin all coordinates of torsion points of $E$. In this paper we will prove an explicit lower bound for the height of non-zero elements in $\mathbb{Q}(E_{\text{tor}})$ that are not a root of unity, only depending on the conductor of the elliptic curve. As a side result we will give an explicit bound for a small supersingular prime for an elliptic curve.
We extend results of Videla and Fukuzaki to define algebraic integers in large classes of infinite algebraic extensions of Q and use these definitions for some of the fields to show the first-order undecidability. We also obtain a structural sufficient condition for definability of the ring of integers over its field of fractions. In particular, we show that the following propositions hold. (1) For any rational prime $q$ and any positive rational integer $m$, algebraic integers are definable in any Galois extension of Q where the degree of any finite subextension is not divisible by $q^{m}$. (…
Consider a pair of ordinary elliptic curves $E$ and $E'$ defined over the same finite field $\mathbb{F}_q$. Suppose they have the same number of $\mathbb{F}_q$-rational points, i.e. $|E(\mathbb{F}_q)|=|E'(\mathbb{F}_q)|$. In this paper we characterise for which finite field extensions $\mathbb{F}_{q^k}$, $k\geq 1$ (if any) the corresponding groups of $\mathbb{F}_{q^k}$-rational points are isomorphic, i.e. $E(\mathbb{F}_{q^k}) \cong E'(\mathbb{F}_{q^k})$.
A set of algebraic numbers has the Northcott property if each of its subsets of bounded Weil height is finite. Northcott's Theorem, which has many Diophantine applications, states that sets of bounded degree have the Northcott property. Bombieri, Dvornicich and Zannier raised the problem of finding fields of infinite degree with this property. Bombieri and Zannier have shown that $\IQ_{ab}^{(d)}$, the maximal abelian subfield of the field generated by all algebraic numbers of degree at most $d$, is such a field. In this note we give a simple criterion for the Northcott property and, as an appl…
Let p be an odd prime number and let S be a finite set of prime numbers congruent to 1 modulo p. We prove that the group G_S(Q)(p) has cohomological dimension 2 if the linking diagram attached to S and p satisfies a certain technical condition, and we show that G_S(Q)(p) is a duality group in these cases. Furthermore, we investigate the decomposition behaviour of primes in the extension Q_S(p)/Q and we relate the cohomology of G_S(Q)(p) to the etale cohomology of the scheme Spec(Z)-S. Finally, we calculate the dualizing module.
I provide methods of constructing elliptic and hyperelliptic curves over global fields with interesting rational points over the given fields or over large field extensions. I also provide a elliptic curves defined over any given number field equipped with a rational point, (resp. with two rational points) of infinite order over the given number field, and elliptic curves over the rationals with two rational points over `simplest cubic fields.' I also provide hyperelliptic curves of genus exceeding any given number over any given number fields with points (over the given number field) which sp…
Let $F$ be a finite extension of $Q_p$, $p>2$. We construct admissible unitary completions of certain representations of $GL_2(F)$ on $L$-vector spaces, where $L$ is a finite extension of $F$. When $F=Q_p$ using the results of Berger, Breuil and Colmez we obtain some results about lifting 2-dimensional mod $p$ representations of the absolute Galois group of $Q_p$ to crystabelline representations with given Hodge-Tate weights.
Let $X$ be an Enriques surface defined over a number field $K$. Then there exists a finite extension $K'/K$ such that the set of $K'$-rational points of $X$ is Zariski dense.
Let $k$ be a number field, let $X$ be a Kummer variety over $k$, and let $δ$ be an odd integer. In the spirit of a result by Yongqi Liang, we relate the arithmetic of rational points over finite extensions of $k$ to that of zero-cycles over $k$ for $X$. For example, we show that if the Brauer-Manin obstruction is the only obstruction to the existence of rational points on $X$ over all finite extensions of $k$, then the $2$-primary Brauer-Manin obstruction is the only obstruction to the existence of a zero-cycle of degree $δ$ on $X$ over $k$.
Suppose V is a surface over a number field k that admits two elliptic fibrations. We show that for each integer d there exists an explicitly computable closed subset Z of V, not equal to V, such that for each field extension K of k of degree at most d over the field of rational numbers, the set V(K) is Zariski dense as soon as it contains any point outside Z. We also present a version of this statement that is universal over certain twists of V and over all extensions of k. This generalizes a result of Swinnerton-Dyer, as well as previous work of Logan, McKinnon, and the author.
