English

Using a Grassmann graph to recover the underlying projective geometry

Combinatorics 2024-08-02 v2

Abstract

Let n,kn,k denote integers with n>2k6n>2k\geq 6. Let Fq\mathbb{F}_q denote a finite field with qq elements, and let VV denote a vector space over Fq\mathbb{F}_q that has dimension nn. The projective geometry Pq(n)P_q(n) is the partially ordered set consisting of the subspaces of VV; the partial order is given by inclusion. For the Grassmann graph Jq(n,k)J_q(n,k) the vertex set consists of the kk-dimensional subspaces of VV. Two vertices of Jq(n,k)J_q(n,k) are adjacent whenever their intersection has dimension k1k-1. The graph Jq(n,k)J_q(n,k) is known to be distance-regular. Let \partial denote the path-length distance function of Jq(n,k)J_q(n,k). Pick two vertices x,yx,y in Jq(n,k)J_q(n,k) such that 1<(x,y)<k1<\partial(x,y)<k. The set Pq(n)P_q(n) contains the elements x,y,xy,x+yx,y,x\cap y,x+y. In our main result, we describe xyx\cap y and x+yx+y using only the graph structure of Jq(n,k)J_q(n,k). To achieve this result, we make heavy use of the Euclidean representation of Jq(n,k)J_q(n,k) that corresponds to the second largest eigenvalue of the adjacency matrix.

Keywords

Cite

@article{arxiv.2311.16880,
  title  = {Using a Grassmann graph to recover the underlying projective geometry},
  author = {Ian Seong},
  journal= {arXiv preprint arXiv:2311.16880},
  year   = {2024}
}

Comments

29 pages

R2 v1 2026-06-28T13:34:17.220Z