Trivectors and cubics: PG(5,2) aspects (Q641697): Difference between revisions

Let \(Alt(\times^ d_{n+1})\) denote the vector space of alternating multilinear forms \(\times^d V_{n+1} \rightarrow GF(2).\) The space \(Alt(\times^3V_6)\) of alternating trilinear forms on \(V_6=V(6,2)\) is naturally isomorphic to the space \(\land^3 (V_6^*)\) of trivectors based on \(V_6^*\), where \(V_6^*\) is the dual vector space of \(V_6\). Under the natural action of the group \(GL(6,2)\) the nonzero elements of \(Alt(\times^3V_6)\) are shown to fall into five distinct orbits. It follows that the \(2^{21} (2^{20} -1)\) cubic hypersurfaces in \(PG(5,2)\) are classified into five families. The set of \(T\)-singular lines, \({ L}_T\), \(T \in Alt(\times^3V_6)\), are described for a representative of each of the orbits. One of the orbits is a Desarguesian line-spread in \(PG(5,2).\) Additionally, the author makes the following two conjectures which are shown to be equivalent. Conjecture A: For any \(n >2\) and any \(T \in Alt(\times^3V_{n+1})\) the set \({ L}_T\) of \(T\)-singular lines in \(PG(n,2)\) is non-empty. Conjecture B: For any \(n>2\) and any \(T \in Alt(\times^3 V_{n+1})\) the Grassmannian \({G}_{1,n,2} \subset P(\land^2V_{n+1})\) has non-empty intersection with \({ P}(\ker C_T).\)