English

The nucleus of the Grassmann graph $J_q(N,D)$

Combinatorics 2025-09-22 v1

Abstract

Let Fq\mathbb{F}_q denote a finite field with qq elements. Let NN and DD denote integers with N>D1N>D \ge 1. Let V\mathcal{V} denote an NN-dimensional vector space over Fq\mathbb{F}_q. The Grassmann graph Jq(N,D)J_q(N,D) is the graph with vertex set XX that consists of the DD-dimensional subspaces of V\mathcal{V}. Two vertices are adjacent whenever their intersection has dimension D1D-1. Fix a vertex xx in XX. The Terwilliger algebra T=T(x)T=T(x) of Jq(N,D)J_q(N,D) with respect to xx is the subalgebra of MatX(C)\mathrm{Mat}_X(\mathbb{C}) generated by the adjacency matrix AA and the dual adjacency matrix A=A(x)A^* = A^*(x). It is known that an irreducible TT-module WW has certain parameters called the endpoint rr, the dual endpoint tt, and the diameter dd. The displacement of WW is defined to be the integer r+tD+dr+t-D+d. Let N=N(x)\mathcal{N}=\mathcal{N}(x) denote the span of all irreducible TT-modules with displacement 0. We call N\mathcal{N} the nucleus of Jq(N,D)J_q(N,D) with respect to xx. In this paper, we study the structure of N\mathcal{N}. Specifically, we present a formula for the dimension of N\mathcal{N}, construct two explicit bases for N\mathcal{N}, and describe the action of AA and AA^* on these bases. To obtain these results, we use the projective geometry Pq(N)P_q(N), consisting of all subspaces of V\mathcal{V}, as a key tool.

Keywords

Cite

@article{arxiv.2509.15395,
  title  = {The nucleus of the Grassmann graph $J_q(N,D)$},
  author = {Jae-Ho Lee and Jongyook Park and Ian Seong},
  journal= {arXiv preprint arXiv:2509.15395},
  year   = {2025}
}

Comments

24 pages, 4 figures