Showing 1–50 of 53 results for author: Bary-Soroker, L

On the irreducibility of $f(2^n,3^m,X)$ and other such polynomials

Authors: Lior Bary-Soroker, Daniele Garzoni, Vlad Matei

Abstract: Let $f(t_1, \ldots, t_r, X)\in \mathbb{Z}[t_1, \ldots, t_r,X]$ be irreducible and let $a_1, \ldots, a_r\in \mathbb{Z} \smallsetminus \{0,\pm 1\}$. Under a necessary ramification assumption on $f$, and conditionally on the Generalized Riemann Hypothesis, we show that for almost all integers $n_1, \ldots, n_r$, the polynomial $f(a_1^{n_1}, \ldots, a_r^{n_r}, X)$ is irreducible in $\mathbb{Q}[X]$. Let $f(t_1, \ldots, t_r, X)\in \mathbb{Z}[t_1, \ldots, t_r,X]$ be irreducible and let $a_1, \ldots, a_r\in \mathbb{Z} \smallsetminus \{0,\pm 1\}$. Under a necessary ramification assumption on $f$, and conditionally on the Generalized Riemann Hypothesis, we show that for almost all integers $n_1, \ldots, n_r$, the polynomial $f(a_1^{n_1}, \ldots, a_r^{n_r}, X)$ is irreducible in $\mathbb{Q}[X]$. △ Less

Submitted 7 May, 2024; originally announced May 2024.

MSC Class: 11R09; 12E25; 14G05; 11A07

Full Galois groups of polynomials with slowly growing coefficients

Authors: Lior Bary-Soroker, Noam Goldgraber

Abstract: Choose a polynomial $f$ uniformly at random from the set of all monic polynomials of degree $n$ with integer coefficients in the box $[-L,L]^n$. The main result of the paper asserts that if $L=L(n)$ grows to infinity, then the Galois group of $f$ is the full symmetric group, asymptotically almost surely, as $n\to \infty$. When $L$ grows rapidly to infinity, say $L>n^7$, this theorem follows from… ▽ More Choose a polynomial $f$ uniformly at random from the set of all monic polynomials of degree $n$ with integer coefficients in the box $[-L,L]^n$. The main result of the paper asserts that if $L=L(n)$ grows to infinity, then the Galois group of $f$ is the full symmetric group, asymptotically almost surely, as $n\to \infty$. When $L$ grows rapidly to infinity, say $L>n^7$, this theorem follows from a result of Gallagher. When $L$ is bounded, the analog of the theorem is open, while the state-of-the-art is that the Galois group is large in the sense that it contains the alternating group (if $L< 17$, it is conditional on the general Riemann hypothesis). Hence the most interesting case of the theorem is when $L$ grows slowly to infinity. Our method works for more general independent coefficients. △ Less

Submitted 21 April, 2024; originally announced April 2024.

MSC Class: 11R32; 12F10; 11R09; 11T23; 11T55

Hilbert properties under base change in small extensions

Authors: Lior Bary-Soroker, Arno Fehm, Sebastian Petersen

Abstract: We study the preservation of the Hilbert property and of the weak Hilbert property under base change in field extensions. In particular we show that these properties are preserved if the extension is finitely generated or Galois with finitely generated Galois group, and we also obtain some negative results. We study the preservation of the Hilbert property and of the weak Hilbert property under base change in field extensions. In particular we show that these properties are preserved if the extension is finitely generated or Galois with finitely generated Galois group, and we also obtain some negative results. △ Less

Submitted 24 December, 2023; originally announced December 2023.

MSC Class: 12E30; 12E25; 14G05; 11G05

Product Sets of Arithmetic Progressions in Function Fields

Authors: Lior Bary-Soroker, Noam Goldgraber

Abstract: We study product sets of finite arithmetic progressions of polynomials over a finite field. We prove a lower bound for the size of the product set, uniform in a wide range of parameters. We apply our results to resolve the function field variants of Erdős' multiplication table problem. We study product sets of finite arithmetic progressions of polynomials over a finite field. We prove a lower bound for the size of the product set, uniform in a wide range of parameters. We apply our results to resolve the function field variants of Erdős' multiplication table problem. △ Less

Submitted 17 September, 2023; v1 submitted 10 September, 2023; originally announced September 2023.

Comments: We expanded the Literature on Theorem 2.2 and Theorem 2.5 + plus minor revisions

MSC Class: 11T06 (primary); 11T55; 11N55 (Secondary)

Irreducibility of Littlewood polynomials of special degrees

Authors: Lior Bary-Soroker, David Hokken, Gady Kozma, Bjorn Poonen

Abstract: 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 $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.$$ △ Less

Submitted 6 January, 2024; v1 submitted 9 August, 2023; originally announced August 2023.

Comments: 4 pages; added case where n+1 goes through powers of 2; minor corrections

MSC Class: 11R09

Galois groups of random additive polynomials

Authors: Lior Bary-Soroker, Alexei Entin, Eilidh McKemmie

Abstract: We study the distribution of the Galois group of a random $q$-additive polynomial over a rational function field: For $q$ a power of a prime $p$, let $f=X^{q^n}+a_{n-1}X^{q^{n-1}}+\ldots+a_1X^q+a_0X$ be a random polynomial chosen uniformly from the set of $q$-additive polynomials of degree $n$ and height $d$, that is, the coefficients are independent uniform polynomials of degree… ▽ More We study the distribution of the Galois group of a random $q$-additive polynomial over a rational function field: For $q$ a power of a prime $p$, let $f=X^{q^n}+a_{n-1}X^{q^{n-1}}+\ldots+a_1X^q+a_0X$ be a random polynomial chosen uniformly from the set of $q$-additive polynomials of degree $n$ and height $d$, that is, the coefficients are independent uniform polynomials of degree ${\rm deg}\, a_i\leq d$. The Galois group $G_f$ is a random subgroup of ${\rm GL}_n(q)$. Our main result shows that $G_f$ is almost surely large as $d,q$ are fixed and $n\to \infty$. For example, we give necessary and sufficient conditions so that ${\rm SL}_n(q)\leq G_f$ asymptotically almost surely. Our proof uses the classification of maximal subgroups of ${\rm GL}_n(q)$. We also consider the limits: $q,n$ fixed, $d\to \infty$ and $d,n$ fixed, $q\to \infty$, which are more elementary. △ Less

Submitted 26 December, 2023; v1 submitted 26 April, 2023; originally announced April 2023.

Comments: 27 pages

MSC Class: 11R32 (Primary) 20G40 (Secondary)

Probabilistic Galois Theory -- The Square Discriminant Case

Authors: Lior Bary-Soroker, Or Ben-Porath, Vlad Matei

Abstract: The paper studies the probability for a Galois group of a random polynomial to be $A_n$. We focus on the so-called large box model, where we choose the coefficients of the polynomial independently and uniformly from $\{-L,\ldots, L\}$. The state-of-the-art upper bound is $O(L^{-1})$, due to Bhargava. We conjecture a much stronger upper bound $L^{-n/2 +ε}$, and that this bound is essentially sharp.… ▽ More The paper studies the probability for a Galois group of a random polynomial to be $A_n$. We focus on the so-called large box model, where we choose the coefficients of the polynomial independently and uniformly from $\{-L,\ldots, L\}$. The state-of-the-art upper bound is $O(L^{-1})$, due to Bhargava. We conjecture a much stronger upper bound $L^{-n/2 +ε}$, and that this bound is essentially sharp. We prove strong lower bounds both on this probability and on the related probability of the discriminant being a square. △ Less

Submitted 1 April, 2024; v1 submitted 25 July, 2022; originally announced July 2022.

MSC Class: 11R32; 12F12

Ramified covers of abelian varieties over torsion fields

Authors: Lior Bary-Soroker, Arno Fehm, Sebastian Petersen

Abstract: We study rational points on ramified covers of abelian varieties over certain infinite Galois extensions of $\mathbb{Q}$. In particular, we prove that every elliptic curve $E$ over $\mathbb{Q}$ has the weak Hilbert property of Corvaja-Zannier both over the maximal abelian extension $\mathbb{Q}^{\rm ab}$ of $\mathbb{Q}$, and over the field $\mathbb{Q}(A_{\rm tor})$ obtained by adjoining to… ▽ More We study rational points on ramified covers of abelian varieties over certain infinite Galois extensions of $\mathbb{Q}$. In particular, we prove that every elliptic curve $E$ over $\mathbb{Q}$ has the weak Hilbert property of Corvaja-Zannier both over the maximal abelian extension $\mathbb{Q}^{\rm ab}$ of $\mathbb{Q}$, and over the field $\mathbb{Q}(A_{\rm tor})$ obtained by adjoining to $\mathbb{Q}$ all torsion points of some abelian variety $A$ over $\mathbb{Q}$. △ Less

Submitted 17 August, 2023; v1 submitted 3 June, 2022; originally announced June 2022.

Comments: preliminaries section shortened, minor corrections

MSC Class: 12E30; 12E25; 14G05; 11G10; 14K15

Hilbert's irreducibility theorem via random walks

Authors: Lior Bary-Soroker, Daniele Garzoni

Abstract: 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. W… ▽ More 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. △ Less

Submitted 10 February, 2022; originally announced February 2022.

MSC Class: 12E25; 20G30

The minimal ramification problem for rational function fields over finite fields

Authors: Lior Bary-Soroker, Alexei Entin, Arno Fehm

Abstract: We study the minimal number of ramified primes in Galois extensions of rational function fields over finite fields with prescribed finite Galois group. In particular, we obtain a general conjecture in analogy with the well studied case of number fields, which we establish for abelian, symmetric and alternating groups in many cases. We study the minimal number of ramified primes in Galois extensions of rational function fields over finite fields with prescribed finite Galois group. In particular, we obtain a general conjecture in analogy with the well studied case of number fields, which we establish for abelian, symmetric and alternating groups in many cases. △ Less

Submitted 23 December, 2022; v1 submitted 16 June, 2021; originally announced June 2021.

Comments: v3: minor changes

MSC Class: 12F12; 11R32; 11S15; 11R58

On the Galois Theory of Generalized Laguerre Polynomials and Trimmed Exponential

Authors: Lior Bary-Soroker, Or Ben-Porath

Abstract: 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 Galoi… ▽ More 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$. △ Less

Submitted 12 August, 2020; originally announced August 2020.

Irreducibility of random polynomials: general measures

Authors: Lior Bary-Soroker, Dimitris Koukoulopoulos, Gady Kozma

Abstract: Let $μ$ be a probability measure on $\mathbb{Z}$ that is not a Dirac mass and that has finite support. We prove that if the coefficients of a monic polynomial $f(x)\in\mathbb{Z}[x]$ of degree $n$ are chosen independently at random according to $μ$ while ensuring that $f(0)\neq0$, then there is a positive constant $θ=θ(μ)$ such that $f(x)$ has no divisors of degree $\le θn$ with probability that te… ▽ More Let $μ$ be a probability measure on $\mathbb{Z}$ that is not a Dirac mass and that has finite support. We prove that if the coefficients of a monic polynomial $f(x)\in\mathbb{Z}[x]$ of degree $n$ are chosen independently at random according to $μ$ while ensuring that $f(0)\neq0$, then there is a positive constant $θ=θ(μ)$ such that $f(x)$ has no divisors of degree $\le θn$ with probability that tends to 1 as $n\to\infty$. Furthermore, in certain cases, we show that a random polynomial $f(x)$ with $f(0)\neq0$ is irreducible with probability tending to 1 as $n\to\infty$. In particular, this is the case if $μ$ is the uniform measure on a set of at least 35 consecutive integers, or on a subset of $[-H,H]\cap\mathbb{Z}$ of cardinality $\ge H^{4/5}(\log H)^2$ with $H$ sufficiently large. In addition, in all of these settings, we show that the Galois group of $f(x)$ is either $\mathcal{A}_n$ or $\mathcal{S}_n$ with high probability. Finally, when $μ$ is the uniform measure on a finite arithmetic progression of at least two elements, we prove a random polynomial $f(x)$ as above is irreducible with probability $\geδ$ for some constant $δ=δ(μ)>0$. In fact, if the arithmetic progression has step 1, we prove the stronger result that the Galois group of $f(x)$ is $\mathcal{A}_n$ or $\mathcal{S}_n$ with probability $\geδ$. △ Less

Submitted 2 June, 2023; v1 submitted 28 July, 2020; originally announced July 2020.

Comments: 65 pages. Minor corrections. Final version, to apper in Inventiones Mathematicae

MSC Class: Primary: 11R09; 12E05; 11N25; 11T55. Secondary: 05A05; 20B30

Explicit Hilbert's Irreducibility Theorem in Function Fields

Authors: Lior Bary-Soroker, Alexei Entin

Abstract: We prove a quantitative version of Hilbert's irreducibility theorem for function fields: If $f(T_1,\ldots, T_n,X)$ is an irreducible polynomial over the field of rational functions over a finite field $\mathbb{F}_q$ of characteristic $p$, then the proportion of $n$-tuples $(t_1,\ldots, t_n)$ of monic polynomials of degree $d$ for which $f(t_1,\ldots, t_n,X)$ is reducible out of all $n$-tuples of d… ▽ More We prove a quantitative version of Hilbert's irreducibility theorem for function fields: If $f(T_1,\ldots, T_n,X)$ is an irreducible polynomial over the field of rational functions over a finite field $\mathbb{F}_q$ of characteristic $p$, then the proportion of $n$-tuples $(t_1,\ldots, t_n)$ of monic polynomials of degree $d$ for which $f(t_1,\ldots, t_n,X)$ is reducible out of all $n$-tuples of degree $d$ monic polynomials is $O(dq^{-d/2})$. △ Less

Submitted 11 December, 2019; originally announced December 2019.

Comments: 10 pages

Chebotarev density theorem in short intervals for extensions of $\mathbb{F}_q(T)$

Authors: Lior Bary-Soroker, Ofir Gorodetsky, Taelin Karidi, Will Sawin

Abstract: An old open problem in number theory is whether Chebotarev density theorem holds in short intervals. More precisely, given a Galois extension $E$ of $\mathbb{Q}$ with Galois group $G$, a conjugacy class $C$ in $G$ and an $1\geq \varepsilon>0$, one wants to compute the asymptotic of the number of primes $x\leq p\leq x+x^{\varepsilon}$ with Frobenius conjugacy class in $E$ equal to $C$. The level of… ▽ More An old open problem in number theory is whether Chebotarev density theorem holds in short intervals. More precisely, given a Galois extension $E$ of $\mathbb{Q}$ with Galois group $G$, a conjugacy class $C$ in $G$ and an $1\geq \varepsilon>0$, one wants to compute the asymptotic of the number of primes $x\leq p\leq x+x^{\varepsilon}$ with Frobenius conjugacy class in $E$ equal to $C$. The level of difficulty grows as $\varepsilon$ becomes smaller. Assuming the Generalized Riemann Hypothesis, one can merely reach the regime $1\geq\varepsilon>1/2$. We establish a function field analogue of Chebotarev theorem in short intervals for any $\varepsilon>0$. Our result is valid in the limit when the size of the finite field tends to $\infty$ and when the extension is tamely ramified at infinity. The methods are based on a higher dimensional explicit Chebotarev theorem, and applied in a much more general setting of arithmetic functions, which we name $G$-factorization arithmetic functions. △ Less

Submitted 20 November, 2019; v1 submitted 15 October, 2018; originally announced October 2018.

Comments: Incorporated referee comments. Accepted for publication in Trans. Amer. Math. Soc

Journal ref: Trans. Am. Math. Soc. 373, No. 1, 597-628 (2020)

Supplement to the article "irreducible polynomials with bounded height"

Authors: Lior Bary-Soroker, Gady Kozma

Abstract: We show that the determinant of a random matrix is unlikely to be a square. We show that the determinant of a random matrix is unlikely to be a square. △ Less

Submitted 23 May, 2018; originally announced May 2018.

Comments: 7 pages

Roots of Polynomials and The Derangement Problem

Authors: Lior Bary-Soroker, Ofir Gorodetsky

Abstract: We present a new killing-a-fly-with-a-sledgehammer proof of one of the oldest results in probability which says that the probability that a random permutation on $n$ elements has no fixed points tends to $e^{-1}$ as $n$ tends to infinity. Our proof stems from the connection between permutations and polynomials over finite fields and is based on an independence argument, which is trivial in the pol… ▽ More We present a new killing-a-fly-with-a-sledgehammer proof of one of the oldest results in probability which says that the probability that a random permutation on $n$ elements has no fixed points tends to $e^{-1}$ as $n$ tends to infinity. Our proof stems from the connection between permutations and polynomials over finite fields and is based on an independence argument, which is trivial in the polynomial world. △ Less

Submitted 6 February, 2018; originally announced February 2018.

Comments: Accepted to American Mathematical Monthly

Journal ref: Amer. Math. Monthly 125 (2018), no. 10, 934-938

Cubic twin prime polynomials are counted by a modular form

Authors: Lior Bary-Soroker, Jakob Stix

Abstract: We present the geometry lying behind counting twin prime polynomials in $\mathbb{F}_q[T]$ in general. We compute cohomology and explicitly count points by means of a twisted Lefschetz trace formula applied to these parametrizing varieties for cubic twin prime polynomials. The elliptic curve $X^3 = Y(Y-1)$ occurs in the geometry, and thus counting cubic twin prime polynomials involves the associate… ▽ More We present the geometry lying behind counting twin prime polynomials in $\mathbb{F}_q[T]$ in general. We compute cohomology and explicitly count points by means of a twisted Lefschetz trace formula applied to these parametrizing varieties for cubic twin prime polynomials. The elliptic curve $X^3 = Y(Y-1)$ occurs in the geometry, and thus counting cubic twin prime polynomials involves the associated modular form. In theory, this approach can be extended to higher degree twin primes, but the computations become harder. The formula we get in degree $3$ is compatible with the Hardy-Littlewood heuristic on average, agrees with the prediction for $q \equiv 2 \pmod 3$ but shows anomalies for $q \equiv 1 \pmod 3$. △ Less

Submitted 22 November, 2017; v1 submitted 15 November, 2017; originally announced November 2017.

Comments: minor changes

MSC Class: 11T55; 11G25

Journal ref: Can. J. Math.-J. Can. Math. 71 (2019) 1323-1350

On the distribution of the rational points on cyclic covers in the absence of roots of unity

Authors: Lior Bary-Soroker, Patrick Meisner

Abstract: In this paper we study the number of rational points on curves in an ensemble of abelian covers of the projective line: Let $\ell$ be a prime, $q$ a prime power and consider the ensemble $\mathcal{H}_{g,\ell}$ of $\ell$-cyclic covers of $\mathbb{P}^1_{\mathbb{F}_q}$ of genus $g$. We assume that $q\not\equiv 0,1\mod \ell$. If $2g+2\ell-2\not\equiv0\mod (\ell-1){\rm ord}_\ell(q)$, then… ▽ More In this paper we study the number of rational points on curves in an ensemble of abelian covers of the projective line: Let $\ell$ be a prime, $q$ a prime power and consider the ensemble $\mathcal{H}_{g,\ell}$ of $\ell$-cyclic covers of $\mathbb{P}^1_{\mathbb{F}_q}$ of genus $g$. We assume that $q\not\equiv 0,1\mod \ell$. If $2g+2\ell-2\not\equiv0\mod (\ell-1){\rm ord}_\ell(q)$, then $\mathcal{H}_{g,\ell}$ is empty. Otherwise, the number of rational points on a random curve in $\mathcal{H}_{g,\ell}$ distributes as $\sum_{i=1}^{q+1} X_i$ as $g\to \infty$, where $X_1,\ldots, X_{q+1}$ are i.i.d.\ random variables taking the values $0$ and $\ell$ with probabilities $\frac{\ell-1}{\ell}$ and $\frac{1}{\ell}$, respectively. The novelty of our result is that it works in the absence of a primitive $\ell$-th-root of unity, the presence of which was crucial in previous studies. △ Less

Submitted 4 December, 2017; v1 submitted 13 November, 2017; originally announced November 2017.

Comments: We have corrected a mistake in the main theorem pointed out by Will Sawin

Irreducible polynomials of bounded height

Authors: Lior Bary-Soroker, Gady Kozma

Abstract: 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$. 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$. △ Less

Submitted 8 August, 2019; v1 submitted 14 October, 2017; originally announced October 2017.

Comments: Some revisions

MSC Class: 11R09; 12E05

Journal ref: Duke Math. J. 169, no. 4 (2020), 579-598

Correlations of sums of two squares and other arithmetic functions in function fields

Authors: Lior Bary-Soroker, Arno Fehm

Abstract: We investigate a function field analogue of a recent conjecture on autocorrelations of sums of two squares by Freiberg, Kurlberg and Rosenzweig, which generalizes an older conjecture by Connors and Keating. In particular, we provide extensive numerical evidence and prove it in the large finite field limit. Our method can also handle correlations of other arithmetic functions and we give applicatio… ▽ More We investigate a function field analogue of a recent conjecture on autocorrelations of sums of two squares by Freiberg, Kurlberg and Rosenzweig, which generalizes an older conjecture by Connors and Keating. In particular, we provide extensive numerical evidence and prove it in the large finite field limit. Our method can also handle correlations of other arithmetic functions and we give applications to (function field analogues of) the average of sums of two squares on shifted primes, and to autocorrelations of higher divisor functions twisted by a quadratic character. △ Less

Submitted 15 January, 2017; originally announced January 2017.

Is a bivariate polynomial with plus minus 1 coefficients irreducible? Very likely!

Authors: Lior Bary-Soroker, Gady Kozma

Abstract: We prove that a random bivariate polynomial with plus minus 1 coefficients is irreducible with high probability. We prove that a random bivariate polynomial with plus minus 1 coefficients is irreducible with high probability. △ Less

Submitted 19 April, 2016; v1 submitted 21 February, 2016; originally announced February 2016.

Comments: Fixed another gap in the proof. To appear in the International Journal of Number Theory

MSC Class: 11C08

Sieves and the Minimal Ramification Problem

Authors: Lior Bary-Soroker, Tomer M. Schlank

Abstract: 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… ▽ More 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. △ Less

Submitted 11 February, 2016; originally announced February 2016.

MSC Class: 11R04; 12E25; 12E30; 11N35

Journal ref: J. Inst. Math. Jussieu 19 (2020) 919-945

On the number of ramified primes in specializations of function fields over $\mathbb{Q}$

Authors: Lior Bary-Soroker, François Legrand

Abstract: We study the number of ramified prime numbers in finite Galois extensions of $\mathbb{Q}$ obtained by specializing a finite Galois extension of $\mathbb{Q}(T)$. Our main result is a central limit theorem for this number. We also give some Galois theoretical applications. We study the number of ramified prime numbers in finite Galois extensions of $\mathbb{Q}$ obtained by specializing a finite Galois extension of $\mathbb{Q}(T)$. Our main result is a central limit theorem for this number. We also give some Galois theoretical applications. △ Less

Submitted 27 September, 2018; v1 submitted 8 November, 2015; originally announced November 2015.

Comments: To appear in the New York Journal of Mathematics

Sums of two squares in short intervals in polynomial rings over finite fields

Authors: Efrat Bank, Lior Bary-Soroker, Arno Fehm

Abstract: 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 lim… ▽ More 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!$. △ Less

Submitted 7 September, 2015; originally announced September 2015.

On the Function Field Analogue of Landau's Theorem on Sums of Squares

Authors: Lior Bary-Soroker, Yotam Smilansky, Adva Wolf

Abstract: 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… ▽ More 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. △ Less

Submitted 23 February, 2016; v1 submitted 26 April, 2015; originally announced April 2015.

Journal ref: Finite Fields Appl. 39 (2016) 195-215

Prime polynomial values of linear functions in short intervals

Authors: Efrat Bank, Lior Bary-Soroker

Abstract: 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… ▽ More 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. △ Less

Submitted 6 October, 2014; originally announced October 2014.

Shifted convolution and the Titchmarsh divisor problem over F_q[t]

Authors: J. C. Andrade, L. Bary-Soroker, Z. Rudnick

Abstract: In this paper we solve a function field analogue of classical problems in analytic number theory, concerning the auto-correlations of divisor functions, in the limit of a large finite field. In this paper we solve a function field analogue of classical problems in analytic number theory, concerning the auto-correlations of divisor functions, in the limit of a large finite field. △ Less

Submitted 1 January, 2015; v1 submitted 8 July, 2014; originally announced July 2014.

Comments: 22 pages, updated version

The Sylow subgroups of the absolute Galois group Gal(Q)

Authors: Lior Bary-Soroker, Moshe Jarden, Danny Neftin

Abstract: 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… ▽ More 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. △ Less

Submitted 13 March, 2014; originally announced March 2014.

MSC Class: 12F10; 12E25

On varieties of Hilbert type

Authors: Lior Bary-Soroker, Arno Fehm, Sebastian Petersen

Abstract: 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. 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. △ Less

Submitted 11 March, 2013; v1 submitted 17 February, 2013; originally announced February 2013.

Comments: We added a corollary on homogeneous spaces, and slightly generalized the formulation of the main result

MSC Class: 12E25; 12E30; 14L17

Prime polynomials in short intervals and in arithmetic progressions

Authors: Efrat Bank, Lior Bary-Soroker, Lior Rosenzweig

Abstract: 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, an… ▽ More 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. △ Less

Submitted 22 May, 2014; v1 submitted 4 February, 2013; originally announced February 2013.

Comments: Changes in the introduction, accepted to Duke

MSC Class: 11T06

Journal ref: Duke Math. J. 164, no. 2 (2015), 277-295

Hardy-Littlewood tuple conjecture over large finite field

Authors: Lior Bary-Soroker

Abstract: 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. W… ▽ More 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). △ Less

Submitted 4 October, 2012; v1 submitted 18 June, 2012; originally announced June 2012.

Comments: minor changes

Random Galois extensions of Hilbertian fields

Authors: Lior Bary-Soroker, Arno Fehm

Abstract: 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. 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. △ Less

Submitted 6 June, 2012; originally announced June 2012.

MSC Class: 12E25; 12E30

Hilbertian fields and Galois representations

Authors: Lior Bary-Soroker, Arno Fehm, Gabor Wiese

Abstract: 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. 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. △ Less

Submitted 25 November, 2013; v1 submitted 19 March, 2012; originally announced March 2012.

Comments: 18 pages, accepted for publication in Journal für die reine und angewandte Mathematik

MSC Class: 12E25; 12E30; 20E18; 20E22; 11F80; 14H52; 11G10

On the Bateman-Horm Conjecture about Polynomial Rings

Authors: Lior Bary-Soroker, Moshe Jarden

Abstract: 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$. 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$. △ Less

Submitted 4 March, 2012; originally announced March 2012.

Comments: To be published in Muenster Journal of Mathematics

On fields of totally $S$-adic numbers

Authors: Lior Bary-Soroker, Arno Fehm, with appendix by Florian Pop

Abstract: 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. 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. △ Less

Submitted 27 June, 2013; v1 submitted 28 February, 2012; originally announced February 2012.

Comments: Appendix by Florian Pop is added

MSC Class: 12E25; 12E30; 12F10

Subgroup structure of fundamental groups in positive characteristic

Authors: Lior Bary-Soroker, Manish Kumar

Abstract: 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 str… ▽ More 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. △ Less

Submitted 29 June, 2011; originally announced June 2011.

MSC Class: 14H30; 14G17; 14G32

Open Problems in the Theory of Ample Fields

Authors: Lior Bary-Soroker, Arno Fehm

Abstract: 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. 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. △ Less

Submitted 7 June, 2011; originally announced June 2011.

MSC Class: 14G05; 12E30

Subgroups of profinite surface groups

Authors: Lior Bary-Soroker, Katherine F. Stevenson, Pavel Zalesskii

Abstract: 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. 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. △ Less

Submitted 5 November, 2010; originally announced November 2010.

MSC Class: 20E18; 20F34; 57M05

Irreducibility and embedding problems

Authors: Lior Bary-Soroker

Abstract: 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. 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. △ Less

Submitted 22 September, 2010; originally announced September 2010.

MSC Class: 12E30; 12E25

On p-embedding problems in characteristic p

Authors: Lior Bary-Soroker, Nguyen Duy Tan

Abstract: 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. 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. △ Less

Submitted 11 August, 2010; originally announced August 2010.

MSC Class: 12E30; 12F12

Irreducible values of polynomials

Authors: Lior Bary-Soroker

Abstract: 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 irre… ▽ More 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. △ Less

Submitted 20 September, 2010; v1 submitted 25 May, 2010; originally announced May 2010.

Comments: The paper was shorten, some errors were corrected

MSC Class: 11T55; 12E30 (Primary) 12E25; 12F10 (Secondary)

Pseudo Algebraically Closed Extensions

Authors: Lior Bary-Soroker

Abstract: This PhD deals with the notion of pseudo algebraically closed (PAC) extensions of fields. It develops a group-theoretic machinery, based on a generalization of embedding problems, to study these extensions. Perhaps the main result is that although there are many PAC extensions, the Galois closure of a proper PAC extension is separably closed. The dissertation also contains the following subjec… ▽ More This PhD deals with the notion of pseudo algebraically closed (PAC) extensions of fields. It develops a group-theoretic machinery, based on a generalization of embedding problems, to study these extensions. Perhaps the main result is that although there are many PAC extensions, the Galois closure of a proper PAC extension is separably closed. The dissertation also contains the following subjects. The group theoretical counterpart of pseudo algebraically closed extensions, the so-called projective pairs. Applications to seemingly unrelated subjects, e.g., an analog of Dirichlet's theorem about primes in arithmetic progression for polynomial rings in one variable over infinite fields. △ Less

Submitted 16 July, 2009; originally announced July 2009.

Comments: PhD thesis done at Tel-Aviv University under the supervision of Prof. Dan Haran. The original thesis is written in Hebrew

MSC Class: 12E25

Fully Hilbertian Fields

Authors: Lior Bary-Soroker, Elad Paran

Abstract: We introduce the notion of fully Hilbertian fields, a strictly stronger notion than that of Hilbertian fields. We show that this class of fields exhibits the same good behavior as Hilbertian fields, but for fields of uncountable cardinality, is more natural than the notion of Hilbertian fields. In particular, we show it can be used to achieve stronger Galois theoretic results. Our proofs also pr… ▽ More We introduce the notion of fully Hilbertian fields, a strictly stronger notion than that of Hilbertian fields. We show that this class of fields exhibits the same good behavior as Hilbertian fields, but for fields of uncountable cardinality, is more natural than the notion of Hilbertian fields. In particular, we show it can be used to achieve stronger Galois theoretic results. Our proofs also provide a step toward the so-called Jarden-Lubotzky twinning principle. △ Less

Submitted 2 July, 2009; originally announced July 2009.

MSC Class: 12E25; 12E30; 12F10

On totally ramified extensions of discrete valued fields

Authors: Lior Bary-Soroker, Elad Paran

Abstract: We give a simple characterization of the totally wild ramified valuations in a Galois extension of fields of characteristic p. This criterion involves the valuations of Artin-Schreier cosets of the F_{p^r}^\times-translation of a single element. We apply the criterion to construct some interesting examples. We give a simple characterization of the totally wild ramified valuations in a Galois extension of fields of characteristic p. This criterion involves the valuations of Artin-Schreier cosets of the F_{p^r}^\times-translation of a single element. We apply the criterion to construct some interesting examples. △ Less

Submitted 2 July, 2009; originally announced July 2009.

MSC Class: 12G10

Projective pairs of profinite groups

Authors: Lior Bary-Soroker

Abstract: We generalize the notion of a projective profinite group to a projective pair of a profinite group and a closed subgroup. We establish the connection with Pseudo Algebraically Closed (PAC) extensions of PAC fields: Let M be an algebraic extension of a PAC field K. Then M/K is PAC if and only if the corresponding pair of absolute Galois groups (Gal(M),Gal(K)) is projective. Moreover any projectiv… ▽ More We generalize the notion of a projective profinite group to a projective pair of a profinite group and a closed subgroup. We establish the connection with Pseudo Algebraically Closed (PAC) extensions of PAC fields: Let M be an algebraic extension of a PAC field K. Then M/K is PAC if and only if the corresponding pair of absolute Galois groups (Gal(M),Gal(K)) is projective. Moreover any projective pair can be realized as absolute Galois groups of a PAC extension of a PAC field. Using this characterization we construct new examples of PAC extensions of relatively small fields, e.g., unbounded abelian extensions of the rational numbers. △ Less

Submitted 30 October, 2008; originally announced October 2008.

MSC Class: 20E18; 12E30

Permanence criteria for semi-free profinite groups

Authors: Lior Bary-Soroker, Dan Haran, David Harbater

Abstract: 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 o… ▽ More 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. △ Less

Submitted 1 April, 2010; v1 submitted 5 October, 2008; originally announced October 2008.

Comments: 24 pages

MSC Class: 12E30; 12F10; 20E18; 14H30

On Pseudo Algebraically Closed Extensions of Fields

Authors: Lior Bary-Soroker

Abstract: The notion of `Pseudo Algebraically Closed (PAC) extensions' is a generalization of the classical notion of PAC fields. It was originally motivated by Hilbert's tenth problem, and recently had new applications. In this work we develop a basic machinery to study PAC extensions. This machinery is based on a generalization of embedding problems to field extensions. The main goal is to prove that… ▽ More The notion of `Pseudo Algebraically Closed (PAC) extensions' is a generalization of the classical notion of PAC fields. It was originally motivated by Hilbert's tenth problem, and recently had new applications. In this work we develop a basic machinery to study PAC extensions. This machinery is based on a generalization of embedding problems to field extensions. The main goal is to prove that the Galois closure of any proper separable algebraic PAC extension is its separable closure. This vastly generalizes earlier works of Jarden-Razon, Jarden, and Jarden and the author. This also leads to a classification of all finite PAC extensions which in turn proves the `bottom conjecture' for finitely generated infinite fields. The secondary goal of this work is to unify proofs of known results about PAC extensions and to establish new basic properties of PAC extensions, e.g.\ transitiveness of PAC extensions. △ Less

Submitted 16 July, 2009; v1 submitted 24 June, 2008; originally announced June 2008.

Comments: 31 pages, small corrections, change of commutative diagrams, to be published in the Journal of Algebra

MSC Class: 12E30; 12F10

Journal ref: Journal of Algebra Volume 322, Issue 6, 15 September 2009, Pages 2082-2105

On the characterization of Hilbertian fields

Authors: Lior Bary-Soroker

Abstract: The main goal of this work is to answer a question of P. D`ebes and D. Haran by relaxing the condition for Hilbertianity. Namely we prove that for a field K to be Hilbertian it suffices that K has the irreducible specialization property merely for absolutely irreducible polynomials. The main goal of this work is to answer a question of P. D`ebes and D. Haran by relaxing the condition for Hilbertianity. Namely we prove that for a field K to be Hilbertian it suffices that K has the irreducible specialization property merely for absolutely irreducible polynomials. △ Less

Submitted 12 June, 2012; v1 submitted 4 March, 2008; originally announced March 2008.

Comments: (v2) contains a new application of the main result (v3) Changed the numbering of thms, lemmas, etc., to fit the published version

MSC Class: 12E25

Journal ref: International Mathematics Research Notices (2008) Vol. 2008 : article ID rnn089

On the remainder in the Taylor theorem

Authors: Lior Bary-Soroker, Eli Leher

Abstract: We give a short straightforward proof for the bound of the reminder term in the Taylor theorem. The proof uses only induction and the fact that $f'\geq 0$ implies the monotonicity of $f$, so it might be an attractive proof to give to undergraduate students. We give a short straightforward proof for the bound of the reminder term in the Taylor theorem. The proof uses only induction and the fact that $f'\geq 0$ implies the monotonicity of $f$, so it might be an attractive proof to give to undergraduate students. △ Less

Submitted 24 December, 2008; v1 submitted 8 January, 2008; originally announced January 2008.

Comments: 2 pages, the proof was shortened

MSC Class: 26A24

PAC Fields over Finitely Generated Fields

Authors: Lior Bary-Soroker, Moshe Jarden

Abstract: We prove the following theorem for a finitely generated field $K$: Let $M$ be a Galois extension of $K$ which is not separably closed. Then $M$ is not PAC over $K$. We prove the following theorem for a finitely generated field $K$: Let $M$ be a Galois extension of $K$ which is not separably closed. Then $M$ is not PAC over $K$. △ Less

Submitted 29 August, 2007; originally announced August 2007.

Comments: 7 pages, Math. Z

MSC Class: 12E30

Journal ref: Math. Z. 260 (2), 329-334 (2008)