Incompressibility of products of Weil transfers of generalized Severi-Brauer varieties (Q2339670)

Let \(F\) be a field and let \(L/F\) be a Galois field extension. A central division \(L\)-algebra \(D\) is \textit{balanced} if for every \(g \in \mathrm{Gal}(L/F)\), the conjugate \(L\)-algebra \(g(D)\) is Brauer-equivalent to a tensor power of \(D\). For a balanced \(D\), a \(\mathcal{R}\mathrm{SB}\)-variety is the Weil transfer \(\mathcal{R}_{L/F}\) of a generalised Severi--Brauer variety \(\mathrm{SB}(j,D)\) of \(D\), \(j = 1,\ldots,\mathrm{deg}\,D\). For a prime \(p\), a \(p\mathcal{R}\mathrm{SB}\)-variety is a \(\mathcal{R}\mathrm{SB}\)-variety such that the integers \([L:F]\), \(\mathrm{deg}\,D\) and \(j\) are \(p\)-powers. See [\textit{N. A. Karpenko} and \textit{Z. Reichstein}, Comment. Math. Helv. 90, No. 3, 667--701 (2015; Zbl 1346.14021)] for the definition of \(p\)-incompressibility. The author generalises the following result of Karpenko and Reichstein in two directions: Theorem 1.1. Any \(p\mathcal{R}\mathrm{SB}\)-variety is \(p\)-incompressible. On the one hand, he replaces Galois field extensions by separable ones in the definition of \(p\mathcal{R}\mathrm{SB}\)-varieties. On the other hand, he proves Corollary 3.6. A product \(X_1 \times \cdots X_r\) of \(p\mathcal{R}\mathrm{SB}\)-varieties over \(F\) is \(p\)-incompressible iff \((X_i)_{F(X_1 \times \cdots X_{i-1} \times X_{i+1} \cdots X_r)}\) is \(p\)-incompressible for every \(i = 1, \ldots, r\).