arXiv subjects

Jack Sonn

Publications and source records attributed to Jack Sonn.

12 recordsLinked to original sources

arXiv2019

Unramified extensions over low degree number fields

For various nonsolvable groups $G$, we prove the existence of extensions of the rationals $\mathbb{Q}$ with Galois group $G$ and inertia groups of order dividing $ge(G)$, where $ge(G)$ is the smallest exponent of a generating set for $G$. For these groups $G$, this gives the existence of number fields of degree $ge(G)$ with an unramified $G$-extension. The existence of such extensions over $\mathbb{Q}$ for all finite groups would imply that, for every finite group $G$, there exists a quadratic number field admitting an unramified $G$-extension, as was recently conjectured. We also provide further evidence for the existence of such extensions for all finite groups, by proving their existence when $\mathbb{Q}$ is replaced with a function field $k(t)$ where $k$ is an ample field.

math.NT↗

arXiv2017

Galois realizations with inertia groups of order two

There are several variants of the inverse Galois problem which involve restrictions on ramification. In this paper we give sufficient conditions that a given finite group $G$ occurs infinitely often as a Galois group over the rationals $\mathbb Q$ with all nontrivial inertia groups of order $2$. Notably any such realization of $G$ can be translated up to a quadratic field over which the corresponding realization of $G$ is unramified. The sufficient conditions are imposed on a parametric polynomial with Galois group $G$--if such a polynomial is available--and the infinitely many realizations come from infinitely many specializations of the parameter in the polynomial. This will be applied to the three finite simple groups $A_5$, $PSL_2(7)$ and $PSL_3(3)$. Finally, the applications to $A_5$ and $PSL_3(3)$ are used to prove the existence of infinitely many optimally intersective realizations of these groups over the rational numbers (proved earlier for $PSL_2(7)$ by the first author).

math.NT↗

arXiv2015

Quadratic residues and difference sets

It has been conjectured by Sarkozy that with finitely many exceptions, the set of quadratic residues modulo a prime $p$ cannot be represented as a sumset $\{a+b\colon a\in A, b\in B\}$ with non-singleton sets $A,B\subset F_p$. The case $A=B$ of this conjecture has been recently established by Shkredov. The analogous problem for differences remains open: is it true that for all sufficiently large primes $p$, the set of quadratic residues modulo $p$ is not of the form $\{a'-a"\colon a',a"\in A,\,a'\ne a"\}$ with $A\subset F_p$? We attack here a presumably more tractable variant of this problem, which is to show that there is no $A\subset F_p$ such that every quadratic residue has a \emph{unique}representation as $a'-a"$ with $a',a"\in A$, and no non-residue is represented in this form. We give a number of necessary conditions for the existence of such $A$, involving for the most part the behavior of primes dividing $p-1$. These conditions enable us to rule out all primes $p$ in the range $13<p<10^{18}$ (the primes $p=5$ and $p=13$ being conjecturally the only exceptions).

math.NT↗

arXiv2013

On GCD(Φ_N(a^n),Φ_N(b^n))

There has been interest during the last decade in properties of the sequence {gcd(a^n-1,b^n-1)}, n=1,2,3,..., where a,b are fixed (multiplicatively independent) elements in either the rational integers, the polynomials in one variable over the complex numbers, or the polynomials in one variable over a finite field. In the case of the rational integers, Bugeaud, Corvaja and Zannier have obtained an upper bound exp(εn) for any given ε>0 and all large n, and demonstrate its approximate sharpness by extracting from a paper of Adleman, Pomerance, and Rumely a lower bound \exp(\exp(c\frac{log n}{loglog n})) for infinitely many n, where c is an absolute constant. The upper bound generalizes immediately to gcd(Φ_N(a^n), Φ_N(b^n)) for any positive integer N, where Φ_N(x)$ is the Nth cyclotomic polynomial, the preceding being the case N=1. The lower bound has been generalized in the first author's Ph.D. thesis to N=2. In this paper we generalize the lower bound for arbitrary N but under GRH (the generalized Riemann Hypothesis). The analogue of the lower bound result for gcd(a^n-1,b^n-1) over F_q[T] was proved by Silverman; we prove a corresponding generalization (without GRH).

math.NT↗

arXiv2012

Noncrossed product bounds over Henselian fields

The existence of finite dimensional central division algebras with no maximal subfield that is Galois over the center (called noncrossed products), was for a time the biggest open problem in the theory of division algebras, before it was settled by Amitsur. Motivated by Brussel's discovery of noncrossed products over Q((t)), we describe the "location" of noncrossed products in the Brauer group of general Henselian valued fields with arbitrary value group and global residue field. We show that within the fibers defined canonically by Witt's decomposition of the Brauer group of such fields, crossed products and noncrossed products are, roughly speaking, separated by an index bound. This generalizes a result of the first and third author for rank 1 valued Henselian fields. Furthermore, we prove that all fibers which are not covered by the rank 1 case, and where the characteristic of the residue field does not interfere, contain noncrossed products. We show by example that, unlike in the rank 1 case, the value of the index bound does not depend on the number of roots of unity that are present. Thus, the index bounds are in general of a different nature than in the rank 1 case.

math.RA↗

arXiv2011

On Galois realizations of the 2-coverable symmetric and alternating groups

Let f(x) be a monic polynomial in Z[x] with no rational roots but with roots in Q_p for all p, or equivalently, with roots mod n for all n. It is known that f(x) cannot be irreducible but can be a product of two or more irreducible polynomials, and that if f(x) is a product of m>1 irreducible polynomials, then its Galois group must be "m-coverable", i.e. a union of conjugates of m proper subgroups, whose total intersection is trivial. We are thus led to a variant of the inverse Galois problem: given an m-coverable finite group G, find a Galois realization of G over the rationals Q by a polynomial f(x) in Z[x] which is a product of m nonlinear irreducible factors (in Q[x]) such that f(x) has a root in Q_p for all p. The minimal value m=2 is of special interest. It is known that the symmetric group S_n is 2-coverable if and only if 2<n<7, and the alternating group A_n is 2-coverable if and only if 3<n<9. In this paper we solve the above variant of the inverse Galois problem for the 2-coverable symmetric and alternating groups, and exhibit an explicit polynomial for each group, with the help of the software packages MAGMA, PARI and GAP.

math.NT↗

arXiv2010

On the minimal ramification problem for $\ell$-groups

Let p be a prime number. It is not known if every finite p-group of rank n>1 can be realized as a Galois group over Q with no more than n ramified primes. We prove that this can be done for the family of finite p-groups which contains all the cyclic groups of p-power order, and is closed under direct products, wreath products, and rank preserving homomorphic images. This family contains the Sylow p-subgroups of the symmetric groups and of the classical groups over finite fields of characteristic not p. On the other hand, it does not contain all finite p-groups.

math.NT↗

arXiv2009

On the minimal ramification problem for semiabelian groups

It is now known that for any prime p and any finite semiabelian p-group G, there exists a (tame) realization of G as a Galois group over the rationals Q with exactly d = d(G) ramified primes, where d(G) is the minimal number of generators of G, which solves the minimal ramification problem for finite semiabelian p-groups. We generalize this result to obtain a theorem on finite semiabelian groups and derive the solution to the minimal ramification problem for a certain family of semiabelian groups that includes all finite nilpotent semiabelian groups G. Finally, we give some indication of the depth of the minimal ramification problem for semiabelian groups not covered by our theorem.

math.NT↗

arXiv2009

Noncrossed products in Witt's Theorem

Since Amitsur's discovery of noncrossed product division algebras more than 35 years ago, their existence over more familiar fields has been an object of investigation. Brussel's work was a culmination of this effort, exhibiting noncrossed products over the rational function field k(t) and the Laurent series field k((t)) over any global field k -- the smallest possible centers of noncrossed products. Witt's theorem gives a transparent description of the Brauer group of k((t)) as the direct sum of the Brauer group of k and the character group of the absolute Galois group of k. We classify the Brauer classes over k((t)) containing noncrossed products by analyzing the fiber over chi for each character chi in Witt's theorem. In this way, a picture of the partition of the Brauer group into crossed products/noncrossed products is obtained, which is in principle ruled solely by a relation between index and number of roots of unity. For large indices the noncrossed products occur with a "natural density" equal to 1.

math.RA↗

arXiv2007

Polynomials with roots in ${\Bbb Q}_p$ for all $p$

Let $f(x)$ be a monic polynomial in $\dZ[x]$ with no rational roots but with roots in $\dQ_p$ for all $p$, or equivalently, with roots mod $n$ for all $n$. It is known that $f(x)$ cannot be irreducible but can be a product of two or more irreducible polynomials, and that if $f(x)$ is a product of $m>1$ irreducible polynomials, then its Galois group must be a union of conjugates of $m$ proper subgroups. We prove that for any $m>1$, every finite solvable group which is a union of conjugates of $m$ proper subgroups (where all these conjugates have trivial intersection) occurs as the Galois group of such a polynomial, and that the same result (with $m=2$) holds for all Frobenius groups. It is also observed that every nonsolvable Frobenius group is realizable as the Galois group of a geometric--i.e. regular-- extension of $\dQ(t)$.

math.NT↗

arXiv2005

Abelian extensions of global fields with constant local degrees

Given a global field K and a positive integer n, there exists an abelian extension L/K (of exponent n) such that the local degree of L/K is equal to n at every finite prime of K, and is equal to two at the real primes if n=2. As a consequence, the n-torsion subgroup of the Brauer group of K is equal to the relative Brauer group of L/K.

math.NT↗

arXiv2003

Brauer groups of genus zero extensions of number fields

We determine the isomorphism class of the Brauer groups of certain nonrational genus zero extensions of number fields. In particular, for all genus zero extensions E of the rational numbers Q that are split by Q(\sqrt{2}), Br(E) is isomorphic to Br(Q(t)).

math.RA↗