Irreducible multivariate polynomials obtained from polynomials in fewer variables (Q932305)

The authors study the following question: given a field \(K\), under what hypotheses is a polynomial \(F(X,Y)\in K[X,Y]\) with the property that \(F(X, h(X))\) is irreducible over \(K\) for some \(h\in K[X]\), necessarily irreducible over \(K(X)\)? They give some methods to construct irreducible multivariate polynomials over an arbitrary field, starting from arbitrary irreducible polynomials in fewer variables, of which we mention the following two results: Theorem A. If we write an irreducible polynomial \(f \in K[X]\) as a sum of polynomials \(a_0, \dots, a_n\in K[X]\) with \(\deg a_0 > max_{1\leq i\leq n} \deg a_i\), then \(F(X,Y) = \sum^n_{i=0}a_i(X)Y^i\) is irreducible over \(K(X)\). Theorem B. Let \(K\) be a field of characteristic 0 and let \(f_1, f_2\in K[X]\) with \(\deg f_1\geq 1\), \(\deg f_2 \geq 2\). If \(f_1\circ f_2(X)\) is irreducible over \(K\), then \(f_1\circ (f_2(X)-X+Y)\in K[X,Y]\) is irreducible over \(K(X)\). As the authors note, they were inspired by some results of Ram Murty and Girstmair in connection with the irreducibility criterion of A. Cohn. In Part II [Proc. Indian Acad. Sci., Math. Sci. 121, No. 2, 133--141 (2011)] they complement these results.