Skip to main content
4 of 4
added 32 characters in body

Points at which a polynomial becomes reducible

Let $n \geq 10$ and set $\mathbf{y} = (y_1,\ldots,y_n)$. Let $Q_1(\mathbf{y}),\ldots,Q_5(\mathbf{y})$ be non-zero quadratic forms with integer coefficients such that the cubic form $x_1Q_1(\mathbf{y})+\ldots+x_5Q_5(\mathbf{y})$ is non-degenerate in the $x_i$ and irreducible over $\overline{\mathbf{Q}}$. Then I would like to show that the set $$ V = \left\{(x_1,\ldots,x_5) \in \mathbf{A}_{\mathbf{Q}}^5 : x_1Q_1(\mathbf{y})+\ldots+x_5Q_5(\mathbf{y}) \text{ is reducible over }\mathbf{Q}\right\} $$ is contained in a proper subvariety of $\mathbf{A}_{\mathbf{Q}}^5$.

This is true, for example, if the generic fibre of the morphism $(\mathbf{x},\mathbf{y}) \to \mathbf{x}$ from $X$ to $\mathbf{A}_{\mathbf{Q}}^5$ is geometrically irreducible, where $X$ is the cubic hypersurface cut out by the equation $\sum_{i=1}^5x_iQ_i(\mathbf{y}) = 0$ (see https://stacks.math.columbia.edu/tag/0559). However, I am not sure how to proceed if this is not the case.

Any help to show that $V$ is contained in a proper subvariety would be much appreciated.

Note: An earlier version of this question did not specify that the $Q_i$ are non-zero. If this is the case, $V$ is Zariski-dense. Thanks to Jason Starr for pointing this out.