English

The proportion of non-degenerate complementary subspaces in classical spaces

Combinatorics 2023-05-12 v2 Group Theory

Abstract

Given positive integers e1,e2e_1,e_2, let XiX_i denote the set of eie_i-dimensional subspaces of a fixed finite vector space V=(Fq)e1+e2V=(\mathbb{F}_q)^{e_1+e_2}. Let YiY_i be a non-empty subset of XiX_i and let αi=Yi/Xi\alpha_i=|Y_i|/|X_i|. We give a positive lower bound, depending only on α1,α2,e1,e2,q\alpha_1,\alpha_2,e_1,e_2,q, for the proportion of pairs (S1,S2)Y1×Y2(S_1,S_2)\in Y_1\times Y_2 which intersect trivially. As an application, we bound the proportion of pairs of non-degenerate subspaces of complementary dimensions in a finite classical space that intersect trivially. This problem is motivated by an algorithm for recognizing classical groups. By using techniques from algebraic graph theory, we are able to handle orthogonal groups over the field of order 2, a case which had eluded Niemeyer, Praeger, and the first author.

Keywords

Cite

@article{arxiv.2207.04678,
  title  = {The proportion of non-degenerate complementary subspaces in classical spaces},
  author = {S. P. Glasby and Ferdinand Ihringer and Sam Mattheus},
  journal= {arXiv preprint arXiv:2207.04678},
  year   = {2023}
}

Comments

15 pages, 1 table, 1 figure

R2 v1 2026-06-25T00:48:11.493Z