Subspace theorem for moving hypersurfaces and semi-decomposable form inequalities (Q784266)

Let \(k\) be a number field with degree \([k:\mathbb{Q}]\). Let \(\Lambda\) be an infinite index set. A \textit{moving hyperspace} \(D\) indexed by \(\Lambda\) assigns, for every \(\alpha \in \Lambda\), a hypersurface \(D(\alpha)\) in \(\mathbb{P}^{n}\) over \(k\). Write \[ D(\alpha) = \left\{ [x_0:\cdots:x_n]\in \mathbb{P}^{n}: \sum_{I\in \mathcal{I}_d}a_I(\alpha)\mathbf{x}^{I}=0 \quad \text{with} \quad a_I(\alpha) \in k\right\}. \] Then a moving hypersurface \(D\) indexed by \(\Lambda\) can be regarded as the map \(D: \Lambda\to \mathbb{P}^{n_d -1}(k)\) given by \(\alpha \mapsto [\cdots: a_I(\alpha):\cdots ]_{I\in \mathcal{I}_d}\), where, for some positive integer \(d\), \[ \mathcal{I}_d:=\left\{ I=(i_0, \ldots, i_n) \in \mathbb{Z}_{\ge 0}^{n+1} \mid i_0+\cdots+i_n =d \right\} \quad \text{and} \quad n_d = \sharp \mathcal{I}_d = \binom{n+d}{n}. \] Let \(k\) be a number field. Let \(q\) be a positive integer with \(q>1\). A homogeneous polynomial \(F(x_0, \ldots, x_m) \in k[x_0, \ldots, x_m],\) for some positive integer \(m\ge 1\), is said to be \textit{semi-decomposable} if \(F\) can be factored into a product of homogeneous polynomials \(Q_1, \ldots, Q_q\) over \(\bar{k}\). In the paper under review, the authors consider a finite set of moving hyperspaces \(D_1, \ldots, D_q\) indexed by \(\Lambda\) of degree \(d_1, \ldots, d_q\), respectively, to prove Schmidt's subspace type theorem for moving hypersurfaces. As the applications, the authors give some finiteness criteria for the solutions of the sequence of semi-decomposable form equations and inequalities.