Source author record

Jack Sonn

Jack Sonn appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record

math.NT math.RA

Catalog footprint

What is connected

4works

2topics

4close collaborators

Actions

Connect this record

Open graph Browse works

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

preprint2015arXiv

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).

preprint2013arXiv

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).

preprint2012arXiv

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.

preprint2011arXiv

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.