BZPEERPapers, people, evidence and research pathsDiscover
Research tools
Network
Opportunities
Account
Source author record
Lior Bary-Soroker appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.
Catalog footprint
Research graph
Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.
BZPEER is loading the nearby papers, people, topics and institutions for this page.
Published work
Let $f$ be sampled uniformly at random from the set of degree $n$ polynomials whose coefficients lie in $\{ \pm 1\}$. A folklore conjecture, known to hold under GRH, states that the probability that $f$ is irreducible tends to $1$ as $n$ goes to infinity. We prove unconditionally that $$\limsup_{n \to \infty} \mathbb{P}(f \text{ is irreducible}) = 1.$$
Let $G$ be a connected linear algebraic group over a number field $K$, let $Γ$ be a finitely generated Zariski dense subgroup of $G(K)$ and let $Z\subseteq G(K)$ be a thin set, in the sense of Serre. We prove that, if $G/\mathrm{R}_u(G)$ is semisimple and $Z$ satisfies certain necessary conditions, then a long random walk on a Cayley graph of $Γ$ hits elements of $Z$ with negligible probability. We deduce corollaries to Galois covers, characteristic polynomials, and fixed points in group actions. We also prove analogous results in the case where $K$ is a global function field.
Inspired by the work of Schur on the Taylor series of the exponential and Laguerre polynomials, we study the Galois theory of trimmed exponentials $f_{n,n+k}=\sum_{i=0}^{k} \frac{x^{i}}{(n+i)!}$ and of the generalized Laguerre polynomials $L^{(n)}_k$ of degree $k$. We show that if $n$ is chosen uniformly from $\{1,\ldots, x\}$, then, asymptotically almost surely, for all $k\leq x^{o(1)}$ the Galois groups of $f_{n,n+k}$ and of $L_{k}^{(n)}$ are the full symmetric group $S_k$.
The goal of this paper is to prove that a random polynomial with i.i.d. random coefficients taking values uniformly in $\{1,\ldots, 210\}$ is irreducible with probability tending to $1$ as the degree tends to infinity. Moreover, we prove that the Galois group of the random polynomial contains the alternating group, again with probability tending to $1$.
We prove that a random bivariate polynomial with plus minus 1 coefficients is irreducible with high probability.
This paper deals with function field analogues of the famous theorem of Landau which gives the asymptotic density of sums of two squares in $\mathbb{Z}$. We define the analogue of a sum of two squares in $\mathbb{F}_q[T]$ and estimate the number $B_q(n)$ of such polynomials of degree $n$ in two cases. The first case is when $q$ is large and $n$ fixed and the second case is when $n$ is large and $q$ is fixed. Although the methods used and main terms computed in each of the two cases differ, the two iterated limits of (a normalization of) $B_q(n)$ turn out to be exactly the same.
The minimal ramification problem may be considered as a quantitative version of the inverse Galois problem. For a nontrivial finite group $G$, let $m(G)$ be the minimal integer $m$ for which there exists a Galois extension $N/\mathbb{Q}$ that is ramified at exactly $m$ primes (including the infinite one). So, the problem is to compute or to bound $m(G)$. In this paper, we bound the ramification of extensions $N/\mathbb{Q}$ obtained as a specialization of a branched covering $ϕ\colon C\to \mathbb{P}^1_{\mathbb{Q}}$. This leads to novel upper bounds on $m(G)$, for finite groups $G$ that are realizable as the Galois group of a branched covering. Some instances of our general results are: $$ 1\leq m(S_m)\leq 4 \quad \mbox{and} \quad n\leq m(S_m^n) \leq n+4, $$ for all $n,m>0$. Here $S_m$ denotes the symmetric group on $m$ letters, and $S_m^n$ is the direct product of $n$ copies of $S_m$. We also get the correct asymptotic of $m(G^n)$, as $n \to \infty$ for a certain class of groups $G$. Our methods are based on sieve theory results, in particular on the Green-Tao-Ziegler theorem on prime values of linear forms in two variables, on the theory of specialization in arithmetic geometry, and on finite group theory.
Landau's theorem asserts that the asymptotic density of sums of two squares in the interval $1\leq n\leq x$ is $K/{\sqrt{\log x}}$, where $K$ is the Landau-Ramanujan constant. It is an old problem in number theory whether the asymptotic density remains the same in intervals $|n-x|\leq x^ε$ for a fixed $ε$ and $x\to \infty$. This work resolves a function field analogue of this problem, in the limit of a large finite field. More precisely, consider monic $f_0\in \mathbb{F}_q[T]$ of degree $n$ and take $ε$ with $1>ε\geq \frac2n$. Then the asymptotic density of polynomials $f$ in the `interval' ${\rm deg}(f-f_0)\leq εn$ that are of the form $f=A^2+TB^2$, $A,B\in \mathbb{F}_q[T]$ is $\frac{1}{4^n}\binom{2n}{n}$ as $q\to \infty$. This density agrees with the asymptotic density of such monic $f$'s of degree $n$ as $q\to \infty$, as was shown by the second author, Smilanski, and Wolf. A key point in the proof is the calculation of the Galois group of $f(-T^2)$, where $f$ is a polynomial of degree $n$ with a few variable coefficients: The Galois group is the hyperoctahedral group of order $2^nn!$.
In this paper we establish a function field analogue of a conjecture in number theory which is a combination of several famous conjectures, including the Hardy-Littlewood prime tuple conjecture, conjectures on the number of primes in arithmetic progressions and in short intervals, and the Goldbach conjecture. We prove an asymptotic formula for the number of simultaneous prime values of $n$ linear functions, in the limit of a large finite field.
In this paper we establish function field versions of two classical conjectures on prime numbers. The first says that the number of primes in intervals (x,x+x^epsilon] is about x^epsilon/log x and the second says that the number of primes p<x that are congruent to a modulo d, for d^(1+delta)<x, is about pi(x)/phi(d). More precisely, we prove: Let 1\leq m<k be integers, let q be a prime power, and let f be a monic polynomial of degree k with coefficients in the finite field with q elements. Then there is a constant c(k) such that the number N of prime polynomials g=f+h with deg h \leq m satisfies |N-q^(m+1)/k|\leq c(k)q^(m+1/2). Here we assume m\geq 2 if \gcd(q,k(k-1))>1 and m\geq 3 if q is even and deg f' \leq 1. We show that this estimation fails in the neglected cases. Let π_q(k) be the number of monic prime polynomials of degree k with coefficients in the finite field with q elements \FF_q. For relatively prime polynomials f,D\in \FF_q[t] we prove that the number N' of monic prime polynomials g that are congruent to f modulo D and of degree k satisfies |N'-π_q(k)/ϕ(D)|\leq c(k)π_q(k)q^{-1/2}/ϕ(D), as long as 1\leq °D\leq k-3 (or \leq k-4 if p=2 and (f/D)' is constant). We also generalize these results to other factorization types.
We describe the Sylow subgroups of Gal(Q) for an odd prime p, by observing and studying their decomposition as a semidirect product of Z_p acting on F, where F is a free pro-p group, and Z_p are the p-adic integers. We determine the finite Z_p-quotients of F and more generally show that every split embedding problem of Z_p-groups for F is solvable. Moreover, we analyze the Z_p-action on generators of F.
We prove a new Hilbertianity criterion for fields in towers whose steps are Galois with Galois group either abelian or a product of finite simple groups. We then apply this criterion to fields arising from Galois representations. In particular we settle a conjecture of Jarden on abelian varieties.
Given a finite set $S$ of places of a number field, we prove that the field of totally $S$-adic algebraic numbers is not Hilbertian.
A variety X over a field K is of Hilbert type if the set of rational points X(K) is not thin. We prove that if f: X\to S is a dominant morphism of K-varieties and both S and all fibers f^{-1}(s), s in S(K), are of Hilbert type, then so is X. We apply this to answer a question of Serre on products of varieties and to generalize a result of Colliot-Th'el`ene and Sansuc on algebraic groups.
We prove the following function field analog of the Hardy-Littlewood conjecture (which generalizes the twin prime conjecture) over large finite fields. Let n,r be positive integers and q an odd prime power. For distinct polynomials a_1, ..., a_r over F_q of degree <n let π(q,n;a) be the number of monic polynomials f over F_q of degree n such that f+a_1, ..., f+a_r are simultaneously irreducible. We prove that π(q,n;a) asymptotically equals q^n/n^r as q tends to infinity on odd prime powers and n,r are fixed (the tuple a1,...,a_r need not be fixed).
Given a power $q$ of a prime number $p$ and "nice" polynomials $f_1,...,f_r\in\bbF_q[T,X]$ with $r=1$ if $p=2$, we establish an asymptotic formula for the number of pairs $(a_1,a_2)\in\bbF_q^2$ such that $f_1(T,a_1T+a_2),...,f_r(T,a_1T+a_2)$ are irreducible in $\bbF_q[T]$. In particular that number tends to infinity with $q$.
Let L be a Galois extension of a countable Hilbertian field K. Although L need not be Hilbertian, we prove that an abundance of large Galois subextensions of L/K are.
Fifteen years after their discovery, ample fields now stand at the center of research in contemporary Galois theory and attract more and more attention also from other areas of mathematics. This survey gives an introduction to the theory of ample fields and discusses open problems.
Let $Π$ be the étale fundamental group of a smooth affine curve over an algebraically closed field of characteristic $p>0$. We establish a criterion for profinite freeness of closed subgroups of $Π$. Roughly speaking, if a closed subgroup of $Π$ is "captured" between two normal subgroups, then it is free, provided it contains most of the open subgroups of index $p$. In the proof we establish a strong version of "almost $ω$-freeness" of $Π$ and then apply the Haran-Shapiro induction.
We study irreducible specializations, in particular when group-preserving specializations may not exist. We obtain a criterion in terms of embedding problems. We include several applications to analogs of Schinzel's hypothesis H and to the theory of Hilbertian fields.
Schinzel's Hypothesis H is a general conjecture in number theory on prime values of polynomials that generalizes, e.g., the twin prime conjecture and Dirichlet's theorem on primes in arithmetic progression. We prove an arithmetic analog of this conjecture for polynomial rings over pseudo algebraically closed fields. This implies results over large finite fields. A main tool in the proof is an irreducibility theorems à la Hilbert.
Let K be a valued field of characteristic p>0 with non-p-divisible value group. We show that every finite embedding problem for K whose kernel is a p-group is properly solvable.
We introduce the condition of a profinite group being semi-free, which is more general than being free and more restrictive than being quasi-free. In particular, every projective semi-free profinite group is free. We prove that the usual permanence properties of free groups carry over to semi-free groups. Using this, we conclude that if k is a separably closed field, then many field extensions of k((x,y)) have free absolute Galois groups.
We study the subgroup structure of the étale fundamental group $Π$ of a projective curve over an algebraically closed field of characteristic 0. We obtain an analog of the diamond theorem for $Π$. As a consequence we show that most normal subgroups of infinite index are semi-free. In particular every proper open subgroup of a normal subgroup of infinite index is semi-free.