Geometric hyperplanes of embeddable Grassmannians (Q1183282): Difference between revisions

Given a partial linear space \(\Gamma=({\mathcal P},{\mathcal L})\) with point set \(\mathcal P\) and line set \(\mathcal L\) the author terms \((\phi_ 1,\phi_ 2,V)\) a projective embedding of \(\Gamma\) iff \(V\) is a finite dimensional right vector space and \(\phi_ i\), \(i=1,2\) are injections of \(\mathcal P\) resp. \(\mathcal L\) into the point set \({\mathcal P}'\) resp. the line set \({\mathcal L}'\) of the projective space \(\Pi(V):=({\mathcal P}',{\mathcal L}')\) belonging to \(V\) such that incidence is preserved, the \(\phi_ 2\)-image of a line of \(\Gamma\) is an entire projective line in \(\Pi(V)\), and \(\phi_ 1({\mathcal P})\) spans \({\mathcal P}'\). A proper subspace \(H\) of \(\Gamma\) is called geometric hyperplane if any \(L\in {\mathcal L}\) has at least one point in common with \(H\). For instance, given a projective embedding of \(\Gamma\), and some hyperplane in \(\Pi(V)\) the set of points of \(\Gamma\) whose images are contained in this hyperplane is always a geometric hyperplane of \(\Gamma\), which in this case is said to arise from the given embedding. Assume now that \(n\in\mathbb{N}\), \(1<k<n\), \(F\) a field, and \(\Gamma\) is a Grassmann space, i.e. \(\mathcal P\) equals the set of \(k\)-dimensional subspaces of some \(n\)-dimensional vector space \(V\) over \(F\), and lines \(L\in {\mathcal L}\) are of the form \(L:=S\in\{{\mathcal P}\mid U\subset S\subset V\}\) where \(U\), \(V\) are subspaces of dimension \(k-1\), \(k+1\), respectively. The author proves (Theorem 1) that every geometric hyperplane of \(\Gamma\) arises from the embedding of \(\Gamma\) into \(\Pi(W)\) where \(W\) is the \(k\)-fold wedge product of \(V\) [cf. \textit{A. L. Wells}, Q. J. Math., Oxf. II. Ser. 34, 375-386 (1983; Zbl 0537.51008)]. Theorem 2 gives an equivalent formulation of Theorem 1: The author considers a family \(\mathcal H\) of \(k\)-subspaces of \(V\) with the property that for any \((k-1)\)-subspace \(U\) it contains either all \(k\)-subspaces above \(U\) or all \(k\)-subspaces which lie in some fixed hyperplane of \(V\) depending on \(U\). \(\mathcal H\) is shown to coincide with the set of \(k\)- subspaces \(U\) for which there exists an alternating \(k\)-linear form which takes value zero exactly on \(k\)-tuples from \(U\).