Classical subspaces of symplectic Grassmannians (Q2471463)

From MaRDI portal

!

This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:

scientific article; zbMATH DE number 5239239
Language Label Description Also known as
default for all languages
No label defined
    English
    Classical subspaces of symplectic Grassmannians
    scientific article; zbMATH DE number 5239239

      Statements

      Classical subspaces of symplectic Grassmannians (English)
      0 references
      0 references
      22 February 2008
      0 references
      The author considers the rank 2 incidence geometry \(C_{n,k}({\mathbb F})\), \(1\leq k\leq n\), of symplectic \(k\)-Grassmannians with points the totally isotropic \(k\)-dimensional subspaces of a symplectic \(2n\)-dimensional vector space over a field \({\mathbb F}\) and lines of the form \(T(D,C)=\{U: C<U<D\}\) for pairs of subspaces \(C< D< C^\perp\) of dimension \(k-1\) and \(k+1\), respectively. He asks whether each (geometric) subspace \(S\) of \(C_{n,k}({\mathbb F})\) which is isomorphic to some geometry \({\mathcal G}_{m,j}({\mathbb F})\) (the analogously defined rank 2 incidence geometry of \(j\)-Grassmannians in an \(m\)-dimensional vector space where \(2\leq j\leq m-2\)) is parabolic, that is, its stablizer in the automorphism group \(\Gamma\) of \(C_{n,k}({\mathbb F})\), which is isomorphic to \(\text{ PSp}_{2n}({\mathbb F})\), is a parabolic subgroup of \(\Gamma\). It is shown that the answer is affirmative except when \(\text{ char }~{\mathbb F}=2\), \((m,j)=(4,2)\) and \(S\) is a subspace of \(T(U^\perp, U)\) for some totally isotropic \((k-1)\)-dimensional subspace \(U\) such that \(U\) has codimension 6 in the subspace spanned by all the elements of \(S\). The proof is by induction on \(N=n+k+m-\min\{j,m-j\}\) using well-known properties of (symplectic) Grassmannians and their maximal singular subspaces and of polar spaces. The start of the induction is covered in the cases \((m,j)=(4,2)\), which also leads to the exceptional situation, and \(\min\{j,m-j\}=2\).
      0 references
      incidence geometry
      0 references
      Grassmannian
      0 references
      symplectic Grassmannian
      0 references
      polar space
      0 references

      Identifiers