Bounds for Hilbert's irreducibility theorem
type: Item
instance of: scholarly article
title: Bounds for Hilbert's irreducibility theorem
zbMATH Open document ID: 1213.12005
author: Pierre Dèbes
author: Yann Walkowiak
published in: Pure and Applied Mathematics Quarterly
publication date: 2008-12-10T00:00:00Z
full work available at URL: Hilbertwkg.pdf
review text: Hilbert's irreducibility theorem asserts that for every irreducible polynomial \(f(T,X)\) in the ring \(\mathbb{Q}[T,X]\) with \(\deg_X(f)\geq 1\) there exists an irreducible specialization in \(\mathbb{N}\), i.e., a positive integer \(t\) such that \(f(t,X)\) is irreducible in \(\mathbb{Q}[X]\). It is important for applications to find effective versions of Hilbert's irreducibility theorem. For example a bound on the minimal irreducible specialization in \(\mathbb{N}\) that is polynomial in the degree of \(f\) and in \(\log(H)\) (the logarithmic height of \(f\)) would provide a deterministic algorithm for the factorization of bivariate polynomials in polynomial time. \textit{Y. Walkowiak} [Acta Arith.\ 116, No.~4, 343--362 (2005; Zbl 1071.12002)] established a bound that is polynomial in \(\deg_T(f)\) and \(\log(H)\) but exponential in \(\deg_X(f)\). Moreover, the bound becomes fully polynomial if \(f(T,X)\) is Galois over \(\mathbb{Q}(T)\) (i.e., \(f(T,X)\) splits over \(\mathbb{Q}(T)[X]/(f)\)). The paper under review introduces the notion of \textit{Hilbert index} of a degree \(n\) transitive group \(G\), denoted \({\text{Hi}}(G,n)\),that comes from the maximal subgroup lattice of \(G\). The Hilbert index \({\text{Hi}}(f)\) of an irreducible polynomial \(f(T,X)\in \mathbb{Q}[T,X]\) is then defined to be the Hilbert index of the Galois group of \(f\) over \(\mathbb{Q}(T)\) (w.r.t.\ the Galois action on the roots of \(f(T,X)\) in an algebraic closure of \(\mathbb{Q}(T)\)). The main result of the paper asserts that the bound on the least irreducible specialization in \(\mathbb{N}\) for \(f\) is polynomial in \(\deg_T(f)\), \(\log(H)\), and \(\deg_X(f)^{{\text{Hi}}(f)}\). In several cases the authors absolutely bound the Hilbert index and hence achieve the desired bound on the least irreducible specialization. Most notably the Hilbert index is absolutely bounded whenever \(|G|\leq n^\alpha\), for some absolute constant \(\alpha\). Note that if \(f(T,X)\) is Galois ov…
reviewed by: Lior Bary-Soroker
Mathematics Subject Classification ID: 12E25
Mathematics Subject Classification ID: 14G05
Mathematics Subject Classification ID: 12E05
zbMATH DE Number: 5380355
zbMATH Keywords: Hilbert's irreducibility theorem
zbMATH Keywords: least irreducible specialization
MaRDI profile type: Publication
DOI: 10.4310/PAMQ.2008.V4.N4.A4
Recommended article: Q3645422
Recommended article: Finiteness results for Hilbert's irreducibility theorem
Recommended article: Der Hilbertsche Irreduzibilitätssatz.
Recommended article: Q3765868
Recommended article: On Hilbert’s irreducibility theorem
Recommended article: Théorème d'irréductibilité de Hilbert effectif
Recommended article: Bounds for Hilbert coefficients
Recommended article: Q3035399
Recommended article: On a special case of Hilbert's irreducibility theorem
description: scientific article; zbMATH DE number 5380355