Aspects of the Segre variety \({\mathcal{S}}_{1,1,1}(2)\) (Q663480): Difference between revisions

Let \(PG(1,2)=\{u_0,u_1,u_2\}\). The Segre variety \(\mathcal{S}_{1,1,1}(2)\subset PG(7,2)\) is defined as \[ \mathcal{S}_{1,1,1}(2)=\{u_i\otimes u_j \otimes u_k : i,j,k \in \{0,1,2\}\}, \] where \(\otimes\) denotes the tensor product. Its stabilizer group \(\mathcal{G}_{\mathcal{S}}< GL(8,2)\) has the structure \((GL(2,2)\times GL(2,2)\times GL(2,2))\rtimes Sym(3)\). In this article the authors consider various aspects of the Segre variety. Let \(\mathcal{N}_0\) be the subgroup of \(GL(2,2)\times GL(2,2)\times GL(2,2)\) consisting of all those elements \(a_0\otimes a_1 \otimes a_2\) such that \(0\) or \(2\) of the \(a_i\) belong to the coset \(GL(2,2) \setminus \mathcal{H}\), where \(\mathcal{H} =\langle W\rangle \simeq \mathbb{Z}_{3}\). They prove that the centralizer in \(GL(8,2)\) of \(\mathcal{G}_{\mathcal{S}}^{0}=\mathcal{N}_{0}\rtimes Sym(3)\) is the subgroup \(\mathcal{Z}\simeq \mathbb{Z}_{3}\). Moreover the orbits of \(\mathcal{Z}\) in \(PG(7,2)\) constitute a \(\mathcal{G}_{\mathcal{S}}\)-invariant spread \(\mathcal{L}_{85}\) of \(85\) lines. They also observe that, under the action of \(\mathcal{G}_{\mathcal{S}}\), the points of \(PG(7,2)\) are divided into five orbits and the lines of \(\mathcal{L}_{85}\) into four orbits. In particular one of the five orbits of points (called in the paper \(\mathcal{O}_{4}\)) contains two copies of the Segre variety \(\mathcal{S}_{1,1,1}\), namely \(=\mathcal{S}^{\prime}=W(\mathcal{S}_{1,1,1})\) and \(\mathcal{S}^{\prime \prime}=W^2(\mathcal{S}_{1,1,1})\) and the triplet \(\{\mathcal{S}, \mathcal{S}^{\prime}, \mathcal{S}^{\prime\prime}\}\) shares the same \(\mathbb{Z}_{3}\)-subgroup \(\mathcal{Z}\). Finally the authors describe all the fifteen \(\mathcal{G}_{\mathcal{S}}\)-invariant polynomials on \(PG(7.2)\) of degree less than \(8\) (one quadric, six quartics and eight of degree six) and their relations with the five \(\mathcal{G}_{\mathcal{S}}\)-orbits of points in \(PG(7,2)\).