Følner sequences and Hilbert's irreducibility theorem over \(\mathbb Q\) (Q2277515)

Let \(f(X,T_ 1,\ldots,T_ n)\) be an irreducible polynomial over \(\mathbb Q\) and \(B=\{b\in\mathbb Z^ n \mid \partial_ Xf(X,b)<\partial_ Xf(X,T)\) or \(f(X,b)\) is reducible over \(\mathbb Q\}\). Let \({\mathcal F}=\{F_ j\}_{j\in\mathbb N}\) be a Følner sequence in \(\mathbb Z^ n\) and suppose that for a proper \(\mathbb Q\)-subvariety \(W\) of \(\mathbb P^ n-\mathbb A^ n\) and for \(\varepsilon >0\), there is a neighbourhood \(U\) of \(W(\mathbb R)\) in the real topology such that \(\lim_{j\to \infty}\sup (| F_ j\cap U)/| F_ j|)<\varepsilon\). The main result of the paper shows that \[ \lim_{j\to \infty}(| F_ j\cap B| /| F_ j|)=0. \] The proof uses the ideas of the original proof of Hilbert's Irreducibility Theorem.