On invariant notions of Segre varieties in binary projective spaces

From MaRDI portal
(Redirected from Publication:664378)



Abstract: Invariant notions of a class of Segre varieties Segrem(2) of PG(2^m - 1, 2) that are direct products of m copies of PG(1, 2), m being any positive integer, are established and studied. We first demonstrate that there exists a hyperbolic quadric that contains Segrem(2) and is invariant under its projective stabiliser group Stabm2. By embedding PG(2^m - 1, 2) into PG(2^m - 1, 4), a basis of the latter space is constructed that is invariant under Stabm2 as well. Such a basis can be split into two subsets whose spans are either real or complex-conjugate subspaces according as m is even or odd. In the latter case, these spans can, in addition, be viewed as indicator sets of a Stabm2-invariant geometric spread of lines of PG(2^m - 1, 2). This spread is also related with a Stabm2-invariant non-singular Hermitian variety. The case m=3 is examined in detail to illustrate the theory. Here, the lines of the invariant spread are found to fall into four distinct orbits under Stab32, while the points of PG(7, 2) form five orbits.


The paper considers invariant notions in the ambient space of certain Segre varieties over fields of characteristic 2, where invariant refers to the stabiliser of the Segre variety in the projective group of the ambient space. Specifically, the authors investigate Segre varieties of \(PG(2^m-1,2)\) that are direct products of \(m\) copies of \(PG(1,2)\). They prove that there exists a hyperbolic quadric that contains the Segre variety and is invariant under its projective stabiliser group. By embedding \(PG(2^m-1,2)\) into \(PG(2^m-1,4)\) they produce a basis of the larger space that is invariant under this group as well. This basis is shown to split into two subsets whose spans are either real or complex-conjugate subspaces determined by the parity of \(m\). In the complex-conjugate case, these spans can be viewed as indicator sets of an invariant geometric spread, under this group, of lines of \(PG(2^m-1,2)\). The case when \(m=3\) is examined to illustrate the theory. For \(m\leq 3\) the invariants described provide sufficient information for the classification of the points and hyperplanes of the ambient space of the Segre variety.











This page was built for publication: On invariant notions of Segre varieties in binary projective spaces

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q664378)