arXiv:1706.01294v1 [math.CO] 5 Jun 2017

THE SMITH GROUP AND THE CRITICAL GROUP
OF THE GRASSMANN GRAPH OF LINES IN FINITE
PROJECTIVE SPACE AND OF ITS COMPLEMENT
JOSHUA E. DUCEY AND PETER SIN
Abstract. We compute the elementary divisors of the adjacency
and Laplacian matrices of the Grassmann graph on 2-dimensional
subspaces in a finite vector space. We also compute the corresponding invariants of the complementary graphs.

1. Introduction
The Smith group of a graph is the abelian group defined by using
an adjacency matrix of the graph as a relation matrix. The name
comes from the fact that a cyclic decomposition of this group is given
by the Smith normal form of the adjacency matrix. If we use the
Laplacian matrix of the graph as a relation matrix then the finite part
of the abelian group defined is called the the critical group. By the
well-known Matrix Tree Theorem of Kirchhoff, the order of the critical
group of a connected graph is equal to the number of spanning trees in
the graph. This group also arises in chip-firing games on graphs and
in the closely-related sandpile model in physics, where it is also known
as the sandpile group. It is therefore of some interest to compute the
Smith groups and critical groups for individual graphs or for families of
graphs. A particular class that has proved amenable to computations
is the class of strongly regular graphs (e.g. [4]). In this paper we treat
these questions for the Grassmann graph defined by the incidence of
lines in a finite projective space PG(n − 1, q), as well as its complementary graph, the skew lines graph. As well as being strongly regular
2010 Mathematics Subject Classification. 05C50.
Key words and phrases. invariant factors, elementary divisors, Smith normal
form, critical group, Jacobian group, sandpile group, adjacency matrix, Laplacian,
Grassmann.
This work was partially supported by a grant from the Simons Foundation
(#204181 to Peter Sin).
Research was (partially) completed while the second author was visiting the
Institute for Mathematical Sciences, National University of Singapore in 2016.
1

2

DUCEY AND SIN

these graphs admit the action of the general linear group of the projective space, which allows the application of extensive machinery from
representation theory. The problem of computing the Smith normal
forms or, equivalently, the elementary divisors of the adjacency and
Laplacian matrices, falls naturally into two parts, one for the characteristic p of the projective space and the second for all other primes.
In §3, we establish some general lemmas needed in both parts. The
charactersistic p case was handled in projective dimension 3 in an earlier paper [1], by making use of the computations of the p-elementary
divisors of point-subspace incidence matrices in [3]. Fortunately, it is
possible to extend the method to higher dimensions without great difficulty, and this is done in §4. We then turn to the cross-characteristic
case. Here we rely heavily on James’s theory [6] of unipotent representations of GL(n, q), over a field of characteristic ℓ 6= p. From general
considerations we know that the multiplicity of a given power ℓa as
an elementary divisor is the dimension of some GL(n, q)-subquotient
of the ℓ-modular permutation module on lines, and detailed information about the structure of the submodule lattice of this permutation
module allows us to determine all such multiplicities. In §5 we collect
together the required results from the ℓ-modular representation theory
of GL(n, q). The detailed computations are then made in the following
four sections, treating in turn the critical group and the Smith group
of the Grassmann graph, followed by the critical group and the Smith
group of the skew lines graph. Finally, we include an appendix displaying all the possible submodule structures of the ℓ-modular permutation
module, corresponding to various arithmetic conditions satisfied by ℓ
and n. Although we never use these informal pictures in our proofs,
we have found them very helpful in navigating through the many cases
into which the computations are divided.

2. Parameters of the graphs
Let V be an n-dimensional vector space (n ≥ 4) over a finite field
Fq of q = pt elements. Consider the graph with vertex set the 2dimensional subspaces of V (or 2-spaces for short), where a pair of
2-spaces are adjacent when their intersection is trivial. This is the
skew-lines graph of the associated projective space, which we denote by
Γ. Under some ordering of the vertices, we let A denote the adjacency
matrix.
The complement of this graph is the Grassmann graph Γ′ on 2-spaces,
and we denote by A′ its adjacency matrix.

GRASSMANN GRAPHS

3

These graphs are strongly regular [2, Chapter 8]. The parameters
v ′ , k ′ , λ′ , µ′ of Γ′ are given below. We use the q-binomial coefficients
[m
k ]q

(q m − 1)(q m−1 − 1) · · · (q m−k+1 − 1)
=
(q k − 1)(q k−1 − 1) · · · (q − 1)

which count the number of k-dimensional subspaces in an m-dimensional
vector space over Fq .
v ′ = [ n2 ]q
k ′ = q(q + 1)[ n−2
1 ]q
2
λ′ = [ n−1
1 ]q + q − 2

µ′ = (q + 1)2 .
Let v, k, λ, µ denote the parameters of the skew-lines graph Γ. Since
this graph is complementary to Γ′ we have
v = v′
k = v − k ′ − 1 = q 4 [ n−2
2 ]q
λ = v − 2k ′ + µ′ − 2 = 2k + µ − v
µ = v − 2k ′ + λ′ .
We also record that A has spectrum
2 n−3
q 4 [ n−2
2 ]q , −q [ 1 ]q , q

with respective multiplicities 1, [ n1 ]q − 1, [ n2 ]q − [ n1 ]q .
Let L = kI − A be the Laplacian matrix of Γ and L′ = k ′ I − A′ that
of Γ′ . We note that A and A′ are invertible matrices, while L and L′
have corank 1. We shall make use of relations satisfied by A, L, A′ and
L′ that follow from the strong regularity of Γ and Γ′ .
These are well known [2, Theorem 8.1.2].
Lemma 2.1. Let Ã be the adjacency matrix of a strongly regular graph
with parameters (ṽ, k̃, λ̃, µ̃) and restricted eigenvalues r̃ and s̃, and let
L̃ = k̃I − Ã be the Laplacian matrix. Then
(i) Ã2 + (µ̃ − λ̃)Ã + (µ̃ − k̃)I = µ̃J, where J is the matrix all of
whose entries are 1.
(ii) (Ã − r̃I)(Ã − s̃I) = µ̃J, and (L̃ − (k̃ − r̃)I)(L̃ − (k̃ − s̃)I) = µ̃J.
3. General results on modules
Let (R, (π)) be a local PID with residue field R/(π) = F , field of
quotients K, and let M a finitely generated free R-module. Let M =

4

DUCEY AND SIN

M/πM ∼
= F ⊗R M, and for any submodule U of M, we denote by U
its image in M . Let φ ∈ EndR (M), and for i ≥ 0 let
(3.1)

Mi = Mi (φ) = {n ∈ M|φ(n) ∈ π i M}.

Then we have
(3.2)

M = M0 ⊇ M1 ⊇ · · · ⊇ Ker(φ),

and
(3.3)

M = M 0 ⊇ M 1 ⊇ · · · ⊇ Ker(φ).

Then ei = ei (φ) := dimF (M i /M i+1 ) is the multiplicity of π i as an
elementary divisor of φ. (e0 is the rank of φ.) We will often use the
formula
X
(3.4)
dimF M i = dimF Ker(φ) +
ej .
j≥i

Note that Ker(φ) is not, in general, equal to the kernel of the induced
map φ ∈ EndF (M ). Indeed, Ker(φ) = M 1 .
One can also define an ascending chain of submodules of M:
Ni = Ni (φ) = {π −i φ(n)|n ∈ Mi }.
A formula similar to the above holds, namely,
(3.5)

dimF N i =

i
X

ej .

j=0

Lemma 3.1. Let M, and φ be as above. Let d be the π-adic valuation
of the product of the nonzero elementary divisors of φ, counted with
multiplicities. Suppose that in (3.3) we have an increasing sequence of
indices 0 < a1 < a2 < · · · < ah and a corresponding sequence of lower
bounds b1 > b2 > · · · > bh satisfying the following conditions.
(1) dimF M aj ≥ bj for j = 1,. . . , h.
P
(2) hj=1 (bj − bj+1 )aj = d, where we set bh+1 = dimF Ker(φ).

Then the following hold.

(1) eaj (φ) = bj − bj+1 for j = 1,. . . , h.
(2) e0 (φ) = dimF M − b1 .
(3) ei (φ) = 0 for i ∈
/ {0, a1 , . . . , ah }.

GRASSMANN GRAPHS

Proof. We have
(3.6) X
d=
iei

5

i≥0

≥

h−1
X
j=1

≥

h−1
X
j=1

=

h−1
X



X



aj ≤i<aj+1



aj



iei  +

X

aj ≤i<aj+1



X

iei

i≥ah

ei  + ah

X

ei

i≥ah

aj (dimF M aj − dimF M aj+1 ) + ah (dimF M ah − dimF Ker(φ))

j=1

= a1 dimF M a1 +

h
X

(aj − aj−1 ) dimF M aj − ah dimF Ker(φ)

j=2

≥ a1 b1 +

h
X

(aj − aj−1 )bj − ah bh+1

j=2

=

h
X

(bj − bj+1 )aj = d.

j=1

Therefore we must have equality throughout. The equality of the first
three lines implies that ei = 0 for i ∈
/ {0, a1 , . . . , ah }, proving (3). It
follows that for j = 1,. . . , h − 1 we have eaj = dimF M aj − dimF M aj+1 ,
and eah = dimF M ah − dimF Ker(φ). The equality of the second and
third last rows then shows that inequalities dimF M aj ≥ bj are all
equalities, for j = 1,. . . , h, so eaj = (bj − bj+1 ) and (1) is proved.
Finally, e0 (φ) is the rank of the induced endomorphism φ ∈ EndF (M),
whose kernel is M 1 by definition, and our discussion shows that M 1 =
M a1 , proving(2).

Let MK = K ⊗R M. The following lemma is well known (cf. [2,
Proposition 12.8.3]).
Lemma 3.2. Let φ ∈ EndR (M). Suppose the induced endomorphism
φK of MK has an eigenvalue u ∈ R. Let d be the dimension of the
eigenspace
(MK )u = {m ∈ MK | φK (m) = um}.
Then d ≤ dimF M b , for any b with π b | u.

6

DUCEY AND SIN

Proof. The submodule M ∩ (MK )u is pure ([5, p.84]), has rank equal
to d and clearly lies in Mb . It follows that d = dimF M ∩ (MK )u ≤
dimF M b .

Assume that M is an RG-module for a group G and φ an RG-module
homomorphism. Then we can strengthen the conclusion of Lemma 3.2
to a statement about the F G-composition factors of Mb .
Lemma 3.3. With the notation above and Lemma 3.2, let E be a KGsubmodule of (MK )u . Then the following hold.
(i) M ∩ E is a pure submodule of M such that K ⊗R (M ∩ E) ∼
= E.
∼
(ii) If X be any R-free RG-module with K ⊗R X = E, then X/πX
and M ∩ E have the same F G-composition factors, counting
multiplicities.
(iii) For any b with π b | u, the F G-composition factors of Mb include
those of X/πX, counting multiplicities.
Proof. Part (i) is immediate from the definitions of pure submodule
([5, p.84]) and M ∩ E. By (i), the image M ∩ E of M ∩ E in M is
isomorphic to (M ∩ E)/π(M ∩ E), and this has the same composition
factors as X/πX since X and M ∩E are both R-forms of E, by a general
principle [5, Proposition 16.16] in modular representation theory. Thus
(ii) holds. To see (iii), we note that from the hypothesis on b we have
M ∩ E ⊆ M b , and the statement about composition factors holds by
(ii).

4. The p-elementary divisors
4.1. Skew lines, A.
By Lemma 2.1, we have
(4.1)

A2 = kI + λA + µ(J − A − I).

Rewriting, we get
(4.2)

A[A − (λ − µ)I] = (k − µ)I + µJ,

where one checks that
λ − µ = −q n−2 − q n−3 − · · · − q 2 + q
= −q(q n−3 + q n−4 + · · · + q − 1)
and
k − µ = q n−1 + q n−2 + · · · + q 3
= q 3 (q n−4 + q n−5 + · · · + 1).

GRASSMANN GRAPHS

7

We can use Equation 4.2 to learn much about the p-elementary divisors of A. We may work over Zp , the ring of p-adic integers. Let L2
denote our vertex set of 2-spaces. The matrix A defines a Zp -module
homomorphism:
A : M → M,
where M = ZLp 2 consists of all formal Zp -linear combinations of the
elements of L2 , and the map A sends a 2-space to the formal sum of
the 2-spaces that intersect it trivially. Since |L2 | is a unit in Zp , we
have
M = Zp 1 ⊕ Y,
where Y is the kernel of the augmentation map ǫ : M → Zp sending all
2-spaces to 1, and 1 is the formal sum of all of the 2-spaces. The map
A respects this decomposition. Note that
(4.3)

A(1) = k1 = q 4 [ n−2
2 ]q ,

so p4t occurs at least once as an elementary divisor of A. We will see
shortly that it occurs exactly once. Now we focus our attention on Y
and the restriction map A|Y : Y → Y .
The Equation 4.2 now becomes
(4.4)

A|Y [A|Y − qz1 I] = q 3 z2 I,

with z1 , z2 being units in Zp . It follows immediately that A|Y has no
elementary divisors pi for i > 3t (and so p4t does indeed have multiplicity 1 as an elementary divisor of A). It also follows from Equation 4.4
that the multiplicity of pi as an elementary divisor of A|Y is equal to
the multiplicity of p3t−i as an elementary divisor of A|Y − qz1 I. Since
A|Y and A|Y − qz1 I are congruent modulo pt , they have the same multiplicities for elementary divisors pi with 0 ≤ i < t. Hence, pi and
p3t−i occur as elementary divisors for A with the same multiplicity, for
0 ≤ i < t.
Now we use the eigenspaces of A to determine exactly which pelementary divisor multiplicities are nonzero. From our argument above
we again only need consider A|Y and those pi where i ≤ 3t. It will turn
out that only those elementary divisors pi satisfying 0 ≤ i ≤ t or
2t ≤ i ≤ 3t will have a nonzero multiplicity. Write Qp for the field
of quotients of Zp . Denote by V−q2 the Qp -eigenspace for A for the
eigenvalue −q 2 [ n−3
1 ]q , and denote by Vq the eigenspace for q. We have
the inclusions
V−q2 ∩ M ⊆ M2t (A)
Vq ∩ M ⊆ Nt (A).

8

DUCEY AND SIN

Recall that ei denotes the multiplicity of pi as an elementary divisor of
A. We can apply Lemma 3.2 to get the inequalities
(4.5)

[ n1 ]q − 1 ≤ e2t + · · · + e3t

(4.6)

[ n2 ]q − [ n1 ]q ≤ e0 + · · · + et .

Since the left sides of the inequalities 4.5 sum to the dimension of Y ,
both must in fact be equalities. Thus we see that, aside from one
occurrence of the elementary divisor p4t , the only other p-elementary
divisors of A that occur are those pi satisfying 0 ≤ i ≤ t or 2t ≤ i ≤ 3t.
Since we have equality throughout in 4.5, we see that we only need to
determine the multiplicities of the elementary divisors pi where 0 ≤
i < t in order to know them all.
In general, if Ar,s denotes the zero-intersection incidence matrix between r-spaces and s-spaces, then we have that
−Ar,s ≡ Ar,1 A1,s

(mod pt )

and so the multiplicities of pi as elementary divisors agree for Ar,s and
Ar,1 A1,s when 0 ≤ i < t. In [1] the p-elementary divisors of the matrix
Ar,1 A1,s were computed. Our matrix A is just A2,2 , so we want to look
at A2,1 A1,2 . Before we can state the theorem, we need some notation.
Let [n − 1]t denote the set of t-tuples with entries from {1, 2, . . . , n −
1}. For nonnegative integers α, β, define the following subsets of [n−1]t :
)
(
t−1
X
max{0, 2 − si } = α
Hα = (s0 , . . . , st−1 ) ∈ [n − 1]t |
i=0

and

= {(n − s0 , . . . , n − st−1 )|(s0 , . . . , st−1 ) ∈ Hβ } .
To each tuple ~s ∈ [n − 1]t we will associate a number d(~s) as follows.
First define the integer tuple ~λ = (λ1 , . . . , λt−1 ) by
βH

λi = psi+1 − si
where the subscripts are read modulo t. For an integer k, set dk to
be the coefficient of xk in the expansion of (1 + x + · · · + xp−1 )n , or,
explicitly,

 
⌊k/p⌋
X
n + k − jp − 1
j n
.
dk =
(−1)
n−1
j
j=0
Q
Finally, we set d(~s) = t−1
i=0 dλi .

Theorem 4.1 ([1], Theorem 5.1 and Remark following its proof).
Let ei denote the multiplicity of pi as a p-adic elementary divisor of
A2,1 A1,2 .

GRASSMANN GRAPHS

9

(1) e4t = 1.
(2) For i 6= 4t,
ei =

X

d(~s),

~s∈Γ(i)

where
Γ(i) =

[

βH

∩ Hα .

α+β=i
0≤α≤t
0≤β≤t

Summation over an empty set is interpreted to result in 0.
4.2. Skew lines, L.
The Laplacian matrix L of the skew-lines graph is defined as
L = kI − A = q 4 [ n−2
2 ]q I − A.
Thus L ≡ −A (mod p4t ), and so the p-elementary divisor multiplicities
are the same for A and L, for prime powers pi with 0 ≤ i < 4t. This
actually accounts for all of the p-elementary divisors of L; this can be
read off from the order of the critical group which we now compute.
Since the skew-lines graph is regular, the spectrum of L easily follows
from that of A. For L we have eigenvalues
2 n−3
4 n−2
0, q 4 [ n−2
2 ]q + q [ 1 ]q , q [ 2 ]q − q

with respective multiplicities 1, [ n1 ]q −1, [ n2 ]q −[ n1 ]q . By the Matrix Tree
Theorem, the order of the critical group is the product of the nonzero
eigenvalues of L divided by the number of vertices. We have

|K(Γ)| =

[ n1 ] −1 

[ n2 ] −[ n1 ]
q
q
q
4 n−2
2 n−3
4 n−2
q [ 2 ]q + q [ 1 ]q
· q [ 2 ]q − q
[ n2 ]q

,

where K(Γ) denotes the critical group of Γ. Let S(Γ) denote the Smith
group of Γ, and compare the above order with
[ n1 ] −1 
[ n2 ] −[ n1 ]

q
q
q
4 n−2
2 n−3
·
q
[
]
−
q
.
|S(Γ)| = q 4 [ n−2
]
·
−q
[
]
2 q
2 q
1 q

Looking carefully, one sees that the p-parts of the two orders differ
only by an extra factor of p4t in the order of the Smith group of Γ.
This is accounted for by the image of 1 under A, whereas L(1) = 0.
In other words, the p-elementary divisors of L and A agree on Y and
these account for all of the p-elementary divisors of L.

10

DUCEY AND SIN

4.3. Grassmann, A′ .
The spectrum of A′ is
2 n−3
q(q + 1)[ n−2
1 ]q , q [ 1 ]q − 1, −q − 1

with respective multiplicities 1, [ n1 ]q − 1, [ n2 ]q − [ n1 ]q . Thus we see that
there is only one p-elementary divisor of A′ , and that is determined by
the image of 1 under A′ . This image is exactly divisible by pt , and so
the p-Sylow subgroup of S(A′ ) is cyclic of order pt .
4.4. Grassmann, L′ .
The spectrum of L′ is
n−2
n−2
0, −q 2 [ n−3
1 ]q + 1 + q(q + 1)[ 1 ]q , q + 1 + q(q + 1)[ 1 ]q

with respective multiplicities 1, [ n1 ]q − 1, [ n2 ]q − [ n1 ]q . By the Matrix
Tree Theorem the order of the critical group of Γ′ depends only on the
nonzero eigenvalues. Since none of these are divisible by p, we see that
L′ has no p-elementary divisors.
5. The ℓ-elementary divisors for ℓ 6= p
Let ℓ be a prime different from p. Let R be the integral extension
of the ℓ-adic integers obtained by adding a primitive p-th root of unity
and let K be its field of quotients. The prime ℓ is unramified in R and
we set F = R/ℓR. Let Li be the set of i-dimensional subspaces of V
and let M = RL2 be the free R-module with basis L2 , which has the
structure of an R GL(n, q)-permutation module. Let Y be the kernel
of the homomorphism M → R sending each 2-space to 1, namely the
map given by the matrix J in the standard basis of M. As before, we
shall identify the matrices A, L, A′ and L′ with the endomorphisms of
M that they define with respect to the standard basis.
We have an A-invariant decomposition
M = R1 ⊕ Y
if and only if ℓ ∤ [ n2 ]q .
On extending scalars to K, we have
(5.1)

MK = K ⊕ S̃1 ⊕ S̃2 ,

where S̃1 and S̃2 are simple K GL(n, q)-modules (Specht modules over
K). The matrices A, L, A′ and L′ induce endomorphisms of MK , and
the decomposition above is the decomposition in to eigenspaces of these
endomorphisms. The submodule S̃1 affords the “r-eigenvalues” rA , rL ,
rA′ and rL′ , while S̃2 affords the “s-eigenvalues” sA , sL , sA′ and sL′ . We
fix the notation f = dimK S̃1 = [ n1 ]q −1 and g = dimK S̃2 = [ n2 ]q −[ n1 ]q .

GRASSMANN GRAPHS

11

In this section we shall apply the results of §3 to the local P ID
(R, (ℓ)) and the R GL(n, q)-modules M and Y , to to determine the
ℓ-elementary divisors of the matrices A, L, A′ and L′ . We shall also
need to consider the R GL(n, q)-permutation modules RLi on the set
of i-dimensional subspaces of V , for i = 0, 1, 2 and 3, as well as the
corresponding permutation modules over F and K. These modules
have been studied in depth by James [6], to which we shall refer for the
definition and basic properties of the important class of related modules
called Specht modules, which are analogous to the better known Specht
modules for the symmetric group. Lemma 3.3 will be applied to M or
Y , with G = GL(n, q), E = S̃i , for i = 1 or 2, and X equal to the
corresponding Specht module over R. In this case, X/πX ∼
= Si , the
Specht module over F . By the theory of Specht modules, we also have
f = dimF S1 and g = dimF S2 .
James [6, Theorem 13.3] has shown that F Li has a a descending
filtration whose subquotients are isomorphic to the Specht modules Sj ,
for 0 ≤ j ≤ i, each with multiplicity 1. Moreover, the only simple
modules that can be composition factors of the Sj are certain simple
modules Dk , k ≤ j. We assume n ≥ 4 to avoid trivialities. Then the
modules Dk , k = 0, 1, 2 are nonisomorphic. We have D0 = S0 ∼
= F,
the trivial module. The structure of S1 is also easy to describe; if
ℓ ∤ [ n1 ]q then S1 = D1 , while if ℓ | [ n1 ]q , then S1 has a one-dimensional
trivial radical. In the latter case, one easily sees by self-duality of F L1
that F L1 is uniserial with socle series F , D1 , F . The structure of S2
varies according to arithmetic properties; its composition factors can
be read off from James’s results [6]. It is also possible to describe all the
possible submodule lattices, but we shall only give details in the cases
we need for computing the elementary divisors. A general fact is that
S2 has a unique maximal submodule with quotient D2 . A consequence
of this fact that we shall use later on is that unless S2 = D2 , F L2 has
no submodule isomorphic to D2 .
The composition multiplicities [Si : Dj ] are given by [6, Theorem
20.7]; they are no greater than one, with [Si : Di ] = 1. (In James’s
notation the module F Li is denoted M(n−i,i) , the Specht module Sj is
denoted S(n−j,j) and the simple module Dj is denoted D(n−j,j) .) The
module D0 is the trivial module and the module D1 is the unique
nontrivial composition factor of F L1 (and of S1 ). The module D2 is
the unique composition factor of F L2 (and of S2 ) that is not isomorphic
to D0 or D1 .
We summarize the consequences of [6, Theorem 20.7] that we need,
using our notation.

12

DUCEY AND SIN

Lemma 5.1. We have the following composition multiplicities.
(a) [S1 : D0 ] = 1 if ℓ | [ n1 ]q and is zero otherwise.
(b) [S2 : D1 ] = 1 if ℓ | [ n−2
1 ]q and is zero otherwise.
(c) [S2 : D0 ] = 1 if one of the following conditions holds and is zero
otherwise.
(i) ℓ = 2 and n ≡ 1 or 2 (mod 4).
⌋.
(ii) ℓ 6= 2, ℓ | q + 1 and ℓ | ⌊ n−1
2
(iii) ℓ 6= 2, ℓ | q − 1 and ℓ | n − 1.
(iv) ℓ 6= 2, ℓ ∤ q − 1 and ℓ | [ n−1
1 ]q .

Here ⌊x⌋ denotes the greatest integer that is no greater than x.
We end this section with some elementary properties of q-binomial
coefficients that will be used frequently without further mention.
Lemma 5.2. Suppose ℓ | q + 1. Then
(i) ℓ | [ m1 ]q if and only if m is even.
(ii) Assume that m is even. Then


[ m1 ]q = (q + 1) m/2
:= (q + 1)(q m−2 + q m−4 + · · · + q 2 + 1).
1
q2



6. Grassmann, L′
6.0.1. Parameters.
k ′ = q(q + 1)[ n−2
1 ]q ,
(6.1)

µ′ = (q + 1)2 ,

2
λ′ = [ n−1
1 ]q + q − 2,

2 n−3
n
rL′ = q(q + 1)[ n−2
1 ]q − q [ 1 ]q + 1 = [ 1 ]q ,
n−1
sL′ = q(q + 1)[ n−2
1 ]q + (q + 1) = (q + 1)[ 1 ]q .

In this section we shall write r for rL′ and s for sL′ . The multiplicity
of r is f = dimK S̃1 = [ n1 ]q −1 and that of s is g = dimK S̃2 = [ n2 ]q −[ n1 ]q .
′

(6.2)

|K(Γ )| =

g
[ n1 ]q f ((q + 1)[ n−1
1 ]q )

[ n2 ]q

= [ n1 ]q f −1 (q + 1)g+1 [ n−1
1 ]q

g−1

.

′
6.0.2. ℓ ∤ q + 1. If ℓ ∤ [ n1 ]q and ℓ ∤ [ n−1
1 ]q . then, ℓ ∤ |K(Γ )|, so we
can assume that ℓ divides exactly one of [ n1 ]q and [ n−1
1 ]q , since these
numbers are coprime.

GRASSMANN GRAPHS

13

n
′
Case (i). ℓ | [ n1 ]q and ℓ ∤ [ n−1
1 ]q . Let a = vℓ ([ 1 ]q ). Then vℓ (|K(Γ )|) =
a(f − 1). By Lemma 3.2 and the definitions of Mi and ei , we have

(6.3)

f ≤ dimF M a .

Therefore, by Lemma 3.1 with d = a(f − 1), h = 1, b2 = 1, b1 = f and
a1 = a, we obtain
(6.4)

ea = f − 1,

e0 = g + 1,

and ei = 0 otherwise.

(Moreover, from Lemma 5.1, dimF D1 = f − 1 and in fact it is not
hard to deduce that M a /M a+1 ∼
= D1 .)
n
n−1
Case (ii). ℓ ∤ [ 1 ]q and ℓ | [ n−1
1 ]q . Let a = vℓ ([ 1 ]q ). Then
vℓ (|K(Γ′ )|) = a(g − 1). By Lemma 3.2
(6.5)

g ≤ dimF M a .

Therefore, by Lemma 3.1 with d = a(g − 1), h = 1, b2 = 1, b1 = g and
a1 = a, we obtain
(6.6)

ea = g − 1,

e0 = f + 1,

and ei = 0 otherwise.

(Moreover, from Lemma 5.1, dimF D2 = g − 1 and in fact it is not hard
to deduce that M a /M a+1 ∼
= D2 .)
 (n−1)/2 
. Let a =
6.0.3. ℓ | q + 1. Case (i) ℓ ∤ [ n1 ]q , ℓ | [ n−1
1 ]q , ℓ ∤
1
q2


(n−1)/2
vℓ (q + 1). Then since [ n−1
, we have vℓ (|K(Γ′ )|) =
1 ]q = (q + 1)
1
q2
a(g +1)+a(g −1) = 2ag and vℓ (s) = 2a. Also, ℓ ∤ [ n2 ]q , so M = R1⊕Y ,
where Y is the kernel of the map J sending each 2-subspace to 1, and L′
maps each summand to itself. We have R1 = Ker(L′ ) and YK contains
the s-eigenspace of dimension g. Hence by Lemma 3.2, applied to Y ,
we have g ≤ dimF M2a ∩ Y , so
(6.7)

g + 1 ≤ dimF M 2a .

Therefore, by Lemma 3.1 with d = 2ag, h = 1, b2 = 1, b1 = g + 1
and a1 = 2a, we obtain
(6.8)

e2a = g,

e0 = f,

and ei = 0 otherwise.

(Moreover, from Lemma 5.1, dimF D2 = g, dimF D1 = f and in fact it
∼
is not hard to deduce that M ∼
= F 1⊕D
1 ⊕D2 , with M 2a /M 2a+1 = D2 .)

(n−1)/2
Case (ii) ℓ ∤ [ n1 ]q , ℓ | [ n−1
. Let a = vℓ (q + 1) and
1 ]q , ℓ |
1
q2
 (n−1)/2 
′
). Then vℓ (|K(Γ )|) = a(g + 1) + (a + b)(g − 1) =
b = vℓ (
1
q2
(2a + b)(g − 1) + 2a and vℓ (s) = 2a + b.
We will extract some information from the equation (Lemma 2.1)
(6.9)

(L′ − sI)(L′ − rI) = µ′ J.

14

DUCEY AND SIN

Modulo ℓ we have
(L′ )(L′ − rI) = 0.

(6.10)

Since r 6= 0 (mod ℓ) this equation shows that M has a direct sum
decomposition into eigenspaces Ker L′ and Ker(L′ − rI). Since s ≡ 0
(mod ℓ), the (algebraic) multiplicity of 0 as an eigenvalue of L′ is g + 1,
whence dimF Ker L′ = g + 1 and dimF Ker(L′ − rI) = f . It also follows
that Ker L′ = Im(L′ − rI), so we have shown that dimF Im(L′ − rI) =
g + 1. Now (6.9) implies that for any x ∈ Im(L′ − rI) we have L′ x ∈
sx + µ′ R1, so, as ℓ2a | s and ℓ2a | µ′ we have Im(L′ − rI) ⊆ M2a . We
have proved that
(6.11)

g + 1 ≤ dimF M 2a .

By Lemma 3.2 we also have
(6.12)

g ≤ dimF M 2a+b .

Therefore, by Lemma 3.1 with d = (2a + b)(g − 1) + 2a, h = 2, b3 = 1,
b2 = g, b1 = g + 1, a2 = 2a + b and a1 = 2a, we obtain
(6.13)

e2a+b = g − 1,

e2a = 1 e0 = f,

and ei = 0 otherwise.

For the next two cases, we need the following lemma.
Lemma 6.1. Assume that ℓ | q + 1 and that ℓ | [ n1 ]q . Let a = vℓ (q + 1).
Let WP be the set of 2 − spaces containing a fixed 1-space P , and let
[WP ] ∈ M be its characteristic vector. Then [WP ] ∈ Ma .
Proof. Since a = vℓ (q + 1) and P
q + 1 | k ′ , it suffices to show that
′
′
[WP ] ∈ Ma (A ). Let A ([WP ]) = m∈L2 am m. Then the coefficient am
is the number of lines through P that are distinct from m and meet m.
n−2
This number is [ n−1
1 ]q − 1 = q[ 1 ]q if m passes through P and q + 1
if m does not. Since q + 1 | [ n1 ]q under our assumptions, we also have
q + 1 | [ n−2

1 ]q , so the Lemma holds.


n/2
Case (iii) ℓ | [ n1 ]q , ℓ ∤ [ n−1
, ℓ ∤ ⌊ n−1
⌋. Then [ n1 ]q =
1 ]q , ℓ ∤
2
1 q2
 n/2 
(q + 1) 1 q2 . Let a = vℓ (q + 1). Then vℓ (|K(Γ′ )|) = a(f + g). We
have ℓ ∤ [ n2 ]q , so shall always apply Lemma 3.2 to the complementary
summand Y to R1 in M. Write
(6.14)

(L′ − rI)(L′ − sI) = µ′J

as
(6.15)

L′ (L′ − (r + s)I) = −rsI + µ′ J

to get Im(L′ − (r + s)I) ⊆ M2a , hence M 2a ⊇ Im(L′ − (r + s)I) =
Im(L′ ) = Im(L′ ). It is easy to see that Im(L′ ) is not in the span of 1,

GRASSMANN GRAPHS

15

and that 1 ∈ M2a . Since S2 is not simple in this case, by Lemma 5.1,
the only simple module that can appear in the socle of Y is D1 . It
follows that dimF M 2a ≥ 1 + dimF D1 = f . Next, we will show that
dimF (M a ) ≥ g + 2. Over K, the submodule S̃2 is the s-eigenspace
of MK , so by Lemma 3.3 and Lemma 5.1 the composition factors of
M ∩ S̃2 are D1 and D2 .
The map η from RL1 → M sending P to [WP ] is an R GL(n, q)homomorphism. From the structure of F L1 , it is not hard to see
that Im(η) has composition factors F and D1 , and simple socle D1 .
In particular, Im(η) does not contain 1. Using the preceding paragraph and Lemma 6.1 we now see that M a has among its composition
factors F (occurring twice), D1 and D2 . This proves our claim that
dimF (M a ) ≥ g + 2.
Therefore, by Lemma 3.1 with d = a(f + g), h = 2, b3 = 1, b2 = f ,
b1 = g + 2, a2 = 2a and a1 = a, we obtain
(6.16)
e2a = f − 1, ea = g − f + 2, e0 = f − 1, and ei = 0 otherwise.
 n/2 
. In this case ℓ | n2 so
Case(iv) ℓ | [ n1 ]q , ℓ ∤ [ n−1
1 ]q , ℓ |
1 q 2 
⌋. Let a = vℓ (q + 1) and b = vℓ ( n/2
). Then vℓ (|K(Γ′ )|) =
ℓ ∤ ⌊ n−1
2
1 q2

(a + b)f + ag − b. We claim that dimF (M a ) ≥ g + 2. Consider the
map η : RL1 → M sending a 1-subspace P to [WP ]. Since ℓ | q + 1,
the all-one vector of F L1 is in the kernel of η, and from the uniserial
structure of F L1 it is not hard to see that its span equals the kernel.
It follows that Im(η) is of dimension f and has no fixed points, and, in
particular, does not contain 1. However, by Lemma 6.1 Im(η) ⊆ Ma ,
so we know that M a has composition factors F (twice), D1 . Also,
since M ∩ S̃2 ⊆ Ma , we know by Lemma 3.3 that M a contains the
composition factors D1 and D2 of S2 . It follows that M a must have
at least composition factors F (twice), D1 and D2 , so is of dimension
≥ g + 2.
Let Y = Ker(J). Here Y is not a direct summand of M as an
R GL(n, q)-module but it is a pure R GL(n, q)-submodule.
Lemma 6.2. Under the current hypotheses on ℓ, we have F 1 ⊆ Y and
Y /F 1 is uniserial with socle series D1 , D2 , D1 .
Proof. The composition factors are given by Lemma 5.1. Since ℓ | [ n2 ]q
we have F 1 ⊆ Y = (F 1)⊥ , and Y /F 1 is self-dual with composition
factors D1 , D2 , D1 . The image of the Specht S2 in Y /F 1 has composition factors D2 and D1 , so is uniserial. The lemma now follows from

the self-duality of Y /F 1.

16

DUCEY AND SIN

We claim that dimF (M 2a+b ) ≥ f . To see this consider the image of
Y under L′ − (r + s)I. Since Y = Ker(J), the equation
(6.17)

L′ (L′ − (r + s)I) = −rsI + µ′ J

implies that (L′ −(r+s)I)(Y ) ⊆ M2a+b . It follows that L′ (Y ) ⊆ M 2a+b ,
and it is easy to check that L′ (Y ) is not in the span of 1. Since also
1 ∈ M2a+b , it follows that M 2a+b has at least one trivial composition
factor and one composition factor isomorphic to D1 , so its dimension
is at least f .
Therefore, by Lemma 3.1 with d = (a + b)f + ag − b, h = 2, b3 = 1,
b2 = f , b1 = g + 2, a2 = 2a + b and a1 = a, we obtain
(6.18)
e2a+b = f − 1, ea = g − f + 2, e0 = f − 1, and ei = 0 otherwise.
 n/2 
Case(v) ℓ | [ n1 ]q , ℓ ∤ [ n−1
, ℓ | ⌊ n−1
⌋. Let a = vℓ (q + 1).
1 ]q , ℓ ∤
2
1 q2
a
Here, r and s are exactly divisible by ℓ and ℓ ∤ [ n2 ]q , so vℓ (|K(Γ′ )|) =
a(f + g). Also, since ℓ ∤ [ n2 ]q , M = F 1 ⊕ Y , where Y = Ker(J). This
is an orthogonal decomposition with respect to the dot product on M.
Lemma 6.3. Y is a uniserial F GL(n, q)-module with socle series D1 ,
F , D2 , F , D1 .
Proof. The composition factors of Y and the Specht modules can be
read off from Lemma 5.1. Since the space of GL(n, q)-fixed points on
M is F 1, there are no fixed points on Y , hence none on its submodule
S2 . Since D2 is the unique simple quotient of S2 , it now follows that
S2 is uniserial with socle series D1 , F , D2 . The lemma is now implied
by the self-duality of Y .

Lemma 6.4. Let Wπ be the set of 2 − spaces contained in a fixed 3space π, and let [Wπ ] ∈ M be its characteristic vector. Then 1−[Wπ ] ∈
Ma (L′ ) and 1 − [Wπ ] ∈ Ma (A′ ).
′
′
a
Proof. Since
P q + 1 | k , it suffices to prove that A [Wπ ] ∈ ℓ M. Write
′
A [Wπ ] = L cL L, where L runs over the 2-subspaces. Then it is easy
to see that cL = 0 if L has zero intersection with π, that cL = q + 1 if L
meets π in a 1-dimensional space, and that cL = q 2 + q if L is contained
in π.


Lemma 6.5. Let h−, −i denote the natural dot product on M . Let π
be a 3-subspace and P a 1-subspace of π. Under the current hypotheses
on ℓ, the following hold, where we denote images in M of elements of
M by the same symbols.
(a) h1, 1 − [WP ]i = 0.

GRASSMANN GRAPHS

17

(b) h1, 1 − [Wπ ]i = 0.
(c) h1 − [WP ], 1 − [Wπ ]i =
6 0.
Proof. Under the hypothesis on ℓ, we know that n is even, that [ n2 ]q ≡
n
≡ 1 (mod ℓ), as ℓ | ( n2 − 1). The number of 2-spaces containing
2
P is [ n−1
1 ]q ≡ 1 (mod ℓ). The number of 2-spaces contained in π is
2
q + q + 1 ≡ 1 (mod ℓ), and of these there are q + 1 which contain P .
All parts of the lemma now follow.

We claim that dimF (M a ) ≥ g + 2. To see this we make use of
the uniserial structure of Y given in Lemma 6.3. Since ℓ | n, the
permutation module on points F L1 is uniserial with series F , D1 , F .
Let U1 be the submodule of M generated by the elements 1 − [WQ ]
as Q ranges over L1 . Then U1 ⊆ Y by Lemma 6.5(a). Also, U1 is
the image of F L1 under the F GL(n, q)-map sending Q to 1 − [WQ ], so
U1 is uniserial, and from the structures of Y and F L1 , we see that U1
has socle series D1 , F , so is equal to the second socle, soc2 (Y ). Thus,
from the structure of Y , we see that U1⊥ ∩ Y is equal to soc3 (Y ). Let
U3 be the submodule of M generated by the elements 1 − [Wπ ] as π
ranges over L3 . Then U3 ⊆ Y by Lemma 6.5(b), but U3 * U1⊥ ∩ Y by
Lemma 6.5(c). Therefore, from the uniserial structure of Y , it follows
that U3 ⊇ soc4 (Y ), so contains at least the composition factors D1 , F
(twice) and D2 . Hence dimF U3 ≥ g + 1. Our claim now follows from
Lemma 6.4 and the fact that 1 ∈ Ker(L′ ).
We next claim that dimF (M 2a ) ≥ f . From the equation
L′ (L′ − (r + s)I) = −rsI + µ′ J

(6.19)

we have Im(L′ − (r + s)I) ⊆ M2a , so Im(L′ ) ⊆ M 2a . This image is
easily seen not to be in the span of 1, hence from the structure of M,
must have a composition factor isomorphic to D1 . Also 1 ∈ M2a , so
M 2a has dimension at least 1 + dimF D1 = f .
Therefore, by Lemma 3.1 with d = a(f + g), h = 2, b3 = 1, b2 = f ,
b1 = g + 2, a2 = 2a and a1 = a, we obtain
(6.20)
e2a = f − 1, ea = g − f + 2, e0 = f − 1, and ei = 0 otherwise.
7. Grassmann, A′
7.0.1. Parameters.
(7.1)

k ′ = q(q + 1)[ n−2
1 ]q ,

µ′ = (q + 1)2 ,

n−2
rA′ = q 2 [ n−3
1 ]q − 1 = q[ 1 ]q − (q + 1),

2
λ′ = [ n−1
1 ]q + q − 2,

sA′ = −(q + 1).

18

DUCEY AND SIN

In this section we shall write r for rA′ and s for sA′ . The multiplicity
of r is f = dimK S̃1 = [ n1 ]q −1 and that of s is g = dimK S̃2 = [ n2 ]q −[ n1 ]q .
(7.2)

f n−2
|S(Γ′ )| = q(q + 1)g+1 (q 2 [ n−3
1 ]q − 1) [ 1 ]q .

Lemma 7.1.
(a) If n is odd then gcd(r, s) = 1, gcd(k ′ , s) = q + 1
′
and gcd(k , r) = 1.
(b) If n is even, then gcd(r, s) = q + 1, gcd(s, k ′ ) = q + 1, and any
common prime divisor of r and k ′ must divide q + 1.
7.0.2. ℓ ∤ q + 1. In this case, ℓ ∤ s. In the nontrivial case where ℓ | k ′ r,
we know by Lemma 7.1 that ℓ divides exactly one of k ′ and r.
Case(i). Suppose vℓ (k ′ ) = a, a > 0, ℓ ∤ r, ℓ ∤ s. Here, vℓ (|S(Γ′)|) = a
and we have 1 ∈ Ma , so dimF M a ≥ 1. Therefore, by Lemma 3.1 with
d = a, h = 1, b2 = 0, b1 = 1 and a1 = a, we obtain
(7.3)

ea = 1,

e0 = f + g,

and ei = 0 otherwise.

Case(ii). Suppose vℓ (r) = a, a > 0, ℓ ∤ k ′ , ℓ ∤ s. Here, vℓ (|S(Γ′ )|) =
af and by Lemma 3.2 we have dimF M a ≥ f . Therefore, by Lemma 3.1
with d = af , h = 1, b2 = 0, b1 = f and a1 = a, we obtain
(7.4)

ea = f,

e0 = g + 1,

and ei = 0 otherwise.

7.0.3. ℓ | q + 1. Since ℓ | q + 1, we have for any m that ℓ | [ m1 ]q if and
only of m is even, so we divide into two cases according to the parity
of n.
i) n even. Then
k ′ = q(q + 1)2 h, r = (q + 1)(qh − 1), s = −(q + 1),
h n−2 i
2
where h =
and that
. Note that ℓ | h if and only if ℓ | n−2
2
1
(7.5)

q2

gcd(h, qh − 1) = 1.
Let a = vℓ (q + 1), b = vℓ (qh − 1) and c = vℓ (h). Then either c = 0
or b = 0.
Note that since ℓ | q + 1 and n is even, we have ℓ | [ n2 ]q iff ℓ | n2 =
n−2
+ 1. But modulo ℓ, we have −( n−2
+ 1) ≡ −h − 1 ≡ qh − 1, so we
2
2
see that b = 0 if and only if ℓ ∤ [ n2 ]q .
a) Suppose c = 0 and b = 0. In this case ℓ ∤ [ n2 ]q , so we have
a decomposition M = R1 ⊕ Y . By Lemma 5.1 the module Y has
composition factors D1 (twice), D2 , F . From the self-duality of Y and
the fact that GL(n, q) has no fixed points in Y , one sees that Y has
socle series D1 , F ⊕ D2 , D1 . By Lemma 2.1, on Y = Ker(J) we have
(A′ − rI)(A′ − sI) = 0, which we can write as
(7.6)

A′ (A′ − (r + s)I) = −rsI.

GRASSMANN GRAPHS

19

This shows that (A′ − (r + s)I)(Y ) ⊆ M2a ∩ Y , so as ℓ | (r + s), we have
A′ (Y ) ⊆ M2a ∩ Y . It is easy to see that A′ (Y ) is nonzero, so it has D1
as a composition factor. In particular, dimF (M2a ∩ Y ) ≥ f − 1 and so
dimF M 2a ≥ f , as 1 ∈ M2a . By Lemma 3.3 applied to Y we know from
the fact that YK = S̃1 ⊕ S̃2 that Ma ∩ Y must contain the composition
factors of S1 and of S2 , so has at least the composition factors D1 , F
and D2 . This shows dimF (Ma ∩ Y ) ≥ (f − 1) + 1 + (g − f + 1) = g + 1,
so dimF M a ≥ g + 2. Now vℓ (|S(Γ′ )|) = a(f + g) + 2a. Therefore, by
Lemma 3.1 with d = a(f + g) + 2a, h = 2, b3 = 0, b2 = f , b1 = g + 2,
a2 = 2a and a1 = a, we obtain
(7.7) e2a = f,

ea = g − f + 2,

e0 = f − 1,

and ei = 0 otherwise.

b) Suppose b > 0, which implies c = 0. Here, vℓ (|S(Γ′)|) = (a+ b)f +
ag + 2a.
Lemma 7.2. Let Y = Ker(J). Then F 1 ⊆ Y and Y /F 1 is uniserial
with socle series D1 , D2 , D1 .
We will prove the following bounds.
Lemma 7.3.
(1) dimF M 2a+b ≥ f .
(2) dimF M a ≥ g + 2.
Proof. The restriction of A′ to Y satisfies the equation
(7.8)

A′ (A′ − (r + s)I) = −rsI.

This shows that (A′ − (r + s)I)(Y ) ⊆ M2a+b , so (A′ − (r + s)I)(Y ) ⊆
M 2a+b It is easy to see that (A′ − (r + s)I)(Y ) is not in the span of 1
so it has a composition factor D1 . By explicit computation we have
(7.9)
A′ ([Wp ]) = (q[ n−2
1 ]q −(q+1))[Wp ]+(q+1)1 = (q+1)(qh−1)[Wp ]+(q+1)1
and
(7.10)

A′ (1) = k ′ 1 = q(q + 1)2 h1.

Therefore, as h is a unit of R, we have (q + 1)[Wp ] − (qh)−1 1 ∈ M2a+b ,
whence F 1 ⊆ M 2a+b . This proves (1).
By Lemma 3.3 we know that M a has at least the composition factors
D2 and D1 of S2 , and we have already seen that F 1 ⊆ M a . We shall
show that M a contains a submodule with no GL(n, q)-fixed points but
with a trivial composition factor. This will show that M a at least two
trivial composition factors and (2) will be proved. The submodule in
question is the F -submodule W generated by the [Wp ], for 1-spaces p.
It is the image of the homomorphism η : F L1 → M sending a 1-space
to the sum of 2-spaces containing it. A direct computation shows that

20

DUCEY AND SIN

the image is not in the span of 1 and that the kernel contains the allone vector of F L1 . Since F L1 is uniserial with socle series F , D1 , F ,
it follows that W is uniserial with socle series D1 , F . Equation (7.9)
shows that A′ [Wp ] ∈ Ma , so we are done.

In view of the above lemma can apply Lemma 3.1 with d = (a +
b)f + ag + 2a, h = 2, b3 = 0, b2 = f , b1 = g + 2, a2 = 2a + b and a1 = a,
we obtain
(7.11)
e2a+b = f, ea = g − f + 2, e0 = f − 1, and ei = 0 otherwise.
c) Suppose c > 0, which implies b = 0. Then ℓ ∤ [ n2 ]q . We have a
decomposition M = R1 ⊕ Y . Here, vℓ (|S(Γ′ )|) = af + ag + 2a + c. We
will prove the following bounds.
(1) dimF M 2a+c ≥ 1.
(2) dimF M 2a ≥ f .
(3) dimF M a ≥ g + 2.
(1) is by simply computing A′ (1). For (2) and (3) we note that the
current hypotheses on ℓ imply those of case (v) for L′ in §6, and that
as ℓ2a | k ′ we have M2a (A′ ) = M2a (L′ ) and Ma (A′ ) = Ma (L′ ).
Therefore, by Lemma 3.1 with d = af + ag + 2a + c, h = 3, b4 = 0,
b3 = 1, b2 = f , b1 = g + 2, a3 = 2a + c, a2 = 2a and a1 = a, we obtain
(7.12)
e2a+c = 1, e2a = f −1, ea = g −f +2, e0 = f −1, and ei = 0 otherwise.
ii) n odd. Then ℓ ∤ [ n1 ]q and ℓ ∤ [ n−2
1 ]q , Let a = vℓ (q + 1). Then, by
′
Lemma 7.1, a = vℓ (k ) = vℓ (s) and ℓ ∤ r. Here, vℓ (|S(Γ′)|) = a + ag.
a) ℓ ∤ ⌊ n−1
⌋. In this case we have a decomposition M = R1 ⊕ Y .
2
Applying Lemma 3.2 to Y , we have dimF (Ma ∩ Y ) ≥ g, and so since
1 ∈ Ma , we have dimF M a ≥ g + 1.
Therefore, by Lemma 3.1 with d = a(g + 1), h = 1, b2 = 0, b1 = g + 1
and a1 = a, we obtain
(7.13)

ea = g + 1,

e0 = f,

and ei = 0 otherwise.

b) ℓ | ⌊ n−1
⌋. Let a = vℓ (q + 1). We claim that dimF M a ≥ g + 1. By
2
Lemma 2.1, we have (A′ −sI)(A′ −rI) = µ′ J, where µ′ = (q+1)2 . Thus,
A′ (A′ − rI) = s(A′ − rI) + µ′ J, which shows that Im(A′ − rI) ⊆ Ma
and hence Im(A′ − rI) ⊆ M a . Now on M, A′ has a quadratic minimal
polynomial with distinct roots 0 and r, so we have an F GL(n, q)decomposition
(7.14)

M = Ker(A′ − rI) ⊕ Ker A′ = Ker(A′ − rI) ⊕ Im(A′ − rI).

GRASSMANN GRAPHS

21

The dimension of Ker A′ is equal to the algebraic multiplicity of 0 as
an eigenvalue of A′ , which equals g + 1 since ℓ divides both s and k ′ .
Therefore dimF M a ≥ g + 1. It now follows from Lemma 3.1 with
d = a(g + 1), h = 1, b2 = 0, b1 = g + 1 and a1 = a, that
(7.15)

ea = g + 1,

e0 = f,

and ei = 0 otherwise.

8. Skew lines, L
8.0.1. Parameters.
µ=
(8.1)

rL =



n−1
[
]
−
(q
+
2)
q 3 [ n−3
]
1 q
1 q
q+1

q 4 [ n−2
2 ]q

−

q 2 [ n−3
1 ]q

sL = q 4 [ n−2
2 ]q − q =

=

n
q 2 [ n−3
1 ]q [ 1 ]q

q+1

,



n−1
[
]
−
(q
+
2)
q[ n−1
]
1 q
1 q

.
q+1
In this section we shall write r for rL and s for sL . The multiplicity of
r is f = dimK S̃1 = [ n1 ]q − 1 and that of s is g = dimK S̃2 = [ n2 ]q − [ n1 ]q .

(8.2)

|K(Γ)| = q

2f +g



[ n1 ]q [ n−3
1 ]q
q+1

f



 !g

n−1 −(q+2)
[ n−1
1 ]q [ 1 ]q
q+1

[ n2 ]q

Lemma 8.1.
(a) If n is odd then no prime ℓ 6= p can divide both r
and s.
(b) If n is even, then any common prime divisor of r and s must
divide q(q + 1).
(c) [ n−1
1 ]q divides s(q + 1).
Proof. (a) Suppose ℓ 6= p divides both r and s. Then ℓ divides both
n
3 n−2
3 n−2
n−3
([ n−3
1 ]q /(q + 1))[ 1 ]q and q [ 2 ]q − 1 = q [ 1 ]q ([ 1 ]q /(q + 1)) − 1.
n
Obviously, ℓ cannot divide [ n−3
1 ]q /(q + 1), so ℓ must divide [ 1 ]q =
3 n−2
q 2 [ n−2
1 ]q + (q + 1). Hence q [ 1 ]q ≡ −q(q + 1) (mod ℓ) and so
n−3
n−3
n−2
0 ≡ q 3 [ n−2
1 ]q ([ 1 ]q /(q + 1)) − 1 ≡ −q[ 1 ]q − 1 ≡ −[ 1 ]q

(mod ℓ),

n−3
a contradiction since ℓ divides q 3 [ n−2
1 ]q ([ 1 ]q /(q + 1)) − 1.
(b) Suppose that ℓ divides r and s, but ℓ does not divide q(q + 1).
3 n−2
n−3
Then ℓ divides ([ n1 ]q /(q + 1))[ n−3
1 ]q and q ([ 1 ]q /(q + 1))[ 1 ]q − 1 so,
n
2 n−2
obviously, ℓ does not divide [ n−3
1 ]q . Hence ℓ divides [ 1 ]q = q [ 1 ]q +

22

DUCEY AND SIN

q + 1. Thus q 3 [ n−2
1 ]q ≡ −q(q + 1) (mod ℓ), and it follows that ℓ divides
n−3
n−2
−q[ 1 ]q − 1 = −[ n−2
1 ]q . But then ℓ divides [ 1 ]q /(q + 1), which
n−3
contradicts the fact that ℓ divides q 3 ([ n−2
1 ]q /(q + 1))[ 1 ]q − 1.
(c) This is clear from the factorization of s given at the beginning of
this section.

8.0.2. ℓ ∤ q + 1. By Lemma 8.1, ℓ can divide at most one of r and s, so
we consider the two nontrivial cases in turn.
Case(i) ℓ | r, ℓ ∤ s.
n
n
a) ℓ | [ n1 ]q and ℓ ∤ [ n−3
1 ]q . Let a = vℓ ([ 1 ]q ). Then a = vℓ ([ 2 ]q ),
and vℓ (|K(Γ)|) = a(f − 1). By Lemma 3.2, we have dimF (M a ) ≥ f .
Therefore, by Lemma 3.1 with d = a(f − 1), h = 1, b2 = 1, b1 = f and
a1 = a, we obtain
(8.3)

ea = f − 1,

e0 = g + 1,

and ei = 0 otherwise.

2
b) ℓ | [ n1 ]q and ℓ | [ n−3
1 ]q . Note that we must have ℓ | q + q + 1. Let
a = vℓ ([ n1 ]q ), b = vℓ ([ n−3
1 ]q ),
n
Here, vℓ ([ 2 ]q ) = a, so vℓ (|K(Γ)|) = a(f − 1) + bf . By Lemma 3.2 we
have dimF M a+b ≥ f . We claim dimF M b ≥ f + 1.
From Lemma 2.1 we have L(L − (s + r)I) = −rsI + µJ, which shows
that Im(L − (s + r)I) ⊆ Mb , hence Im(L − sI) ⊆ M b . Now on M,
L has quadratic minimal polynomial with eigenvalues s and 0, which
gives the decomposition of F GL(n, q)-modules

(8.4)

M = Ker(L) ⊕ Ker(L − sI) = Im(L − sI) ⊕ Ker(L − sI).

The dimension of Ker L is equal to the algebraic multiplicity of 0 as an
eigenvalue of L, which equals f + 1 since ℓ divides both r and k. We
have shown that dimF M b ≥ f + 1.
Therefore, by Lemma 3.1 with d = a(f − 1) + bf , h = 2, b3 = 1,
b2 = f , b1 = f + 1, a2 = a + b and a1 = b, we obtain
(8.5)

ea+b = f − 1,

eb = 1,

e0 = g,

and ei = 0 otherwise.

c) ℓ ∤ [ n1 ]q and ℓ | [ n−3
1 ]q . Under the present assumptions, we have
n
ℓ ∤ [ 2 ]q , so we have a decomposition M = R1 ⊕ Y as R GL(n, q)modules. Let a = vℓ ([ n−3
1 ]q ). Then vℓ (|K(Γ)|) = af . Using Lemma 3.2
applied to Y , we see that dimF (Ma ∩ Y ) ≥ f , so dimF (M a ) ≥ f + 1.
Therefore, by Lemma 3.1 with d = af , h = 1, b2 = 1, b1 = f + 1 and
a1 = a, we obtain
(8.6)

ea = f,

Case (ii) ℓ | s, ℓ ∤ r.

e0 = g,

and ei = 0 otherwise.

GRASSMANN GRAPHS

23

n
a) ℓ ∤ [ n−1
1 ]q . Let a = vℓ (s). Then since ℓ ∤ [ 2 ]q , we have vℓ (|K(Γ)|) =
ag. Also M = R1 ⊕ Y . Using Lemma 3.2 applied to Y , we see that
dimF (Ma ∩ Y ) ≥ g, so dimF (M a ) ≥ g + 1. Therefore, by Lemma 3.1
with d = ag, h = 1, b2 = 1, b1 = g + 1 and a1 = a, we obtain

(8.7)

ea = g,

e0 = f,

and ei = 0 otherwise.

n−1
b) ℓ | [ n−1
1 ]q . Let a = vℓ ([ 1 ]q ). Then vℓ (s) = a+b, where b = vℓ (µ).
Then vℓ (|K(Γ)|) = (a + b)g − a.
If b = 0, then by Lemma 3.2, dimF (M a ) ≥ g. Therefore, by
Lemma 3.1 with d = a(g − 1), h = 1, b2 = 1, b1 = g and a1 = a,
we obtain

(8.8)

ea = g − 1,

e0 = f + 1,

and ei = 0 otherwise.

Suppose b > 0. Here we have vℓ (|K(Γ)|) = (a + b)g − a. By
Lemma 3.2 we have dimF M a+b ≥ g, and we claim that dimF M b ≥
g +1. By Lemma 2.1, we have L(L−rI) = s(L−rI)+µJ, which shows
that Im(L − rI) ⊆ Mb , hence Im(L − rI) ⊆ M b . The same equation
also shows that on M , L has a quadratic minimal polynomial with
distinct roots r and 0, so M = Ker(L − rI) ⊕ Ker(L). The algebraic
multiplicity of 0 is g + 1, the sum of the multiplicities of s and 0 as
eigenvalues of L, so dimF Ker(L) = g + 1. Then, from the decomposition above, we have dimF Im(L − rI) = g + 1, and our claim follows.
Therefore, by Lemma 3.1 with d = (a + b)g − a, h = 2, b3 = 1, b2 = g,
b1 = g + 1, a2 = a + b and a1 = b, we obtain
(8.9)

ea+b = g − 1,

eb = 1,

e0 = f,

and ei = 0 otherwise.

8.0.3. ℓ | q + 1. As ℓ | q + 1, we have for any m, ℓ | [ m1 ]q if and only if
m is even, so we consider two cases according to the parity of n.
Case (i) n even.
Lemma 8.2. ℓ | r iff ℓ |

n
2

iff ℓ | s.

Proof. As n is even, ℓ divides [ n1 ]q and [ n−2
neither [ n−1
1 ]q but divides
1 ]q


n/2
2 n−3
n−3
nor [ 1 ]q . Since ℓ divides q + 1 and r = q [ 1 ]q 1 q2 , it follows
that ℓ divides r if and only if ℓ divides n/2. Since


3 (n−4)/2
n−1
n−1
s = q[ n−1
+ (q − 1)),
1 ]q ([ 1 ]q − (q + 2))/(q + 1) = q[ 1 ]q (q
1
q2

and q ≡ −1 (mod ℓ), we see that ℓ divides s if and only if ℓ divides
−(n − 4)/2 − 2 = −n/2.


Let a = vℓ (r), b = vℓ (s). We can assume a, b > 0, or else vℓ (|K(Γ)|) =
0. Then vℓ ([ n2 ]q ) = a and we have vℓ (|K(Γ)|) = af + bg − a.

24

DUCEY AND SIN

We claim (1) dimF M a+b ≥ f and (2) dimF M b ≥ g +1. To prove (1),
we observe that the equation L(L − (r + s)I) = −rsI + µJ implies that
(L − (r + s)I)(Y ) ⊆ Ma+b . It is easy to see that L(Y ) is not in the span
of 1, so contains a nontrivial composition factor. Since [S2 : D1 ] 6= 0
we see that L(Y ) must have a composition factor D1 , whose dimension
is f − 1. Also F 1 ⊆ M a+b so (1) is proved. For (2), we note that S2
has composition factors D2 and D1 , so by Lemma 3.3, M ∩ S̃2 also has
these composition factors, so M b has at least these composition factors.
In addition we have F 1 ⊆ M b , so dimF M b ≥ g + 1. Therefore, by
Lemma 3.1 with d = af + bg − a, h = 2, b3 = 1, b2 = f , b1 = g + 1,
a2 = a + b and a1 = b, we obtain
(8.10) ea+b = f −1,

eb = g−f +1,

e0 = f,

and ei = 0 otherwise.

Case (ii) n odd. Let a = vℓ (r), b = vℓ (s). We can assume vℓ (|K(Γ)|) >
0. By Lemma 8.1, exactly one of a and b is nonzero.
. In this case ℓ ∤ [ n2 ]q , so vℓ (|K(Γ)|) = af + bg and we have
a) ℓ ∤ n−1
2
a decomposition M = R1 ⊕ Y .
If a > 0, b = 0, then from Lemma 3.2, we have dimF Ma ∩ Y ≥ f , so
dimF Ma ≥ f + 1. Therefore, by Lemma 3.1 with d = af + bg, h = 1,
b2 = 1, b1 = f + 1 and a1 = a, we obtain
(8.11)

ea = f,

e0 = g,

and ei = 0 otherwise.

If a = 0, b > 0, then from Lemma 3.2, we have dimF Mb ∩ Y ≥ g, so
dimF Mb ≥ g + 1. Therefore, by Lemma 3.1 with d = af + bg, h = 1,
b2 = 1, b1 = g + 1 and a1 = b, we obtain
(8.12)

eb = g,
n−1
.
2

e0 = f,

and ei = 0 otherwise.


[ n−1
1 ]q



= vℓ ([ n2 ]q ). We
h n−1 i
2
,
so
since
ℓ
|
q
+
1,
we
have
≡
are assuming that ℓ | n−1
2
1
q2
h n−1 i
[ n−1
1 ]q
n−1
2
(mod
ℓ),
so
ℓ
|
and we have b > 0. Then by
=
2
q+1
1
b) ℓ |

Here we have b = vℓ (s) = vℓ

q+1

q2

Lemma 8.1 a = 0. Then vℓ (|K(Γ)|) = bg − b. By Lemma 3.2, we have
dimF M b ≥ g. Therefore, by Lemma 3.1 with d = bg − b, h = 1, b2 = 1,
b1 = g and a1 = b, we obtain
(8.13)

eb = g − 1,

e0 = f + 1,

and ei = 0 otherwise.

GRASSMANN GRAPHS

25

9. Skew lines, A
9.0.1. Parameters.

(9.1)

k = q 4 [ n−2
2 ]q ,

 n−1
q
− q2 − q + 1
3 n−3
µ = q [ 1 ]q
q2 − 1
!
n−1
[
]
−
(q
+
2)
1
q
= q 3 [ n−3
,
1 ]q
q+1
rA = −q 2 [ n−3
1 ]q ,

sA = q.

In this section we shall write r for rA and s for sA . The multiplicity of
r is f = dimK S̃1 = [ n1 ]q − 1 and that of s is g = dimK S̃2 = [ n2 ]q − [ n1 ]q .
f
n−3
|S(Γ)| = q 4+2f +g [ n−2
2 ]q ([ 1 ]q )

(9.2)

= q 4+2f +g

f +1
n−3
[ n−2
1 ]q ([ 1 ]q )

q+1

!

.

n−3
9.0.2. ℓ ∤ q + 1. If ℓ ∤ [ n−2
1 ]q and ℓ ∤ [ 1 ]q the ℓ-part of S(Γ) is trivial,
so we consider the nontrivial cases.
n−3
n−2
Case (i) ℓ | [ n−2
1 ]q , ℓ ∤ [ 1 ]q . Let a = vℓ ([ 2 ]q ). Then as we have
1 ∈ Ma , we have dimF (M a ) ≥ 1 and by Lemma 3.1 with d = a, h = 1,
b2 = 0, b1 = 1 and a1 = a, we obtain

(9.3)

ea = 1,

e0 = f + g,

and ei = 0 otherwise.

n−3
n−3
Case (ii) ℓ ∤ [ n−2
1 ]q , ℓ | [ 1 ]q . Let a = vℓ ([ 1 ]q ). We claim
dimF M a ≥ f + 1. Suppose first that ℓ ∤ [ n1 ]q . Then ℓ ∤ [ n2 ]q , so we have
a decomposition M = R1 ⊕ Y . The r-eigenspace of A is contained in
YK , so f ≤ dimF Ma ∩ Y . Also 1 ∈ Ma , so the claim is true in this
case. Now assume that ℓ | [ n1 ]q . In this case, F L1 is uniserial with its
unique simple submodule spanned by the all-one vector 11 of F L1 . The
map η : F L1 → M maps 11 to (q + 1)1 6= 0, so it is an injective map.
Its (f + 1)-dimensional image is the span of the elements [Wp ]. Direct
computation shows that A([Wp ]) = q 2 [ n−3
1 ]q (1 − [Wp ]), so Im(η) ⊆ Ma .
Therefore, by Lemma 3.1 with d = a(f + 1), h = 1, b2 = 0, b1 = f + 1
and a1 = a, we obtain

(9.4)

ea = f + 1,

e0 = g,

and ei = 0 otherwise.

26

DUCEY AND SIN

9.0.3. ℓ | q + 1. Case (i) ℓ | [ n−2
1 ]q , but ℓ ∤

h n−2 i
2

1

q2

. In this case

n−3
ℓ ∤ [ n−2
of S(Γ) is trivial.
2 ]q and ℓ ∤ [ 1 ]q , so the ℓ-part
h n−2 i
2
. In this case, ℓ ∤ [ n−3
Case (ii) ℓ | [ n−2
1 ]q . Let
1 ]q , and ℓ |
1
q2

a = vℓ ([ n−2
2 ]q ). Then 1 ∈ Ma , so by Lemma 3.1 with d = a, h = 1,
b2 = 0, b1 = 1 and a1 = a, we obtain
(9.5)

ea = 1,

e0 = f + g, and ei = 0 otherwise.
h n−3 i
2
Case (iii) ℓ | [ n−3
]
,
but
ℓ
∤
. Let a = vℓ ([ n−3
1 q
1 ]q ). Then
1
q2

n−3
[ n−2
1 ]q [ 1 ]q

. We have f ≤ dimF M a
a = vℓ (q + 1) and so ℓ ∤ [ n−2
2 ]q =
q+1
by Lemma 3.2. Therefore, by Lemma 3.1 with d = af , h = 1, b2 = 0,
b1 = f and a1 = a, we obtain
(9.6)

ea = f,

e0 = g + 1, and ei = 0 otherwise.
h n−3 i
2
Case (iv) ℓ | [ n−3
]
,
and
ℓ
|
. Let a = vℓ (q + 1) and b =
1 q
1
q2

[ n−3
1 ]q

vℓ ( q+1 ). Then b = vℓ ([ n−2
2 ]q ), so 1 ∈ Mb , and F 1 ⊆ M b . Now
n−3
n−1
ℓ | 2 , so ℓ ∤ 2 , and it follows that ℓ ∤ [ n2 ]q . Thus, M = R1 ⊕ Y ,
where YK contains the whole r-eigenspace in MK . As vℓ (r) = a + b it
follows from Lemma 3.2 that f ≤ dimF Ma+b ∩ Y . As M = F 1 ⊕ Y ,
and 1 ∈ Mb , we also have dimF M b ≥ 1 + f . Therefore, by Lemma 3.1
with d = f (a + b) + b, h = 2, b3 = 0, b2 = f , b1 = f + 1, a2 = a + b and
a1 = b, we obtain
(9.7)

ea+b = f,

eb = 1,

e0 = g,

and ei = 0 otherwise.

References
1. Andries E. Brouwer, Joshua E. Ducey, and Peter Sin, The elementary divisors
of the incidence matrix of skew lines in PG(3, q), Proc. Amer. Math. Soc. 140
(2012), no. 8, 2561–2573.
2. Andries E. Brouwer and Willem H. Haemers, Spectra of graphs, Universitext,
Springer, New York, 2012. MR 2882891
3. David B. Chandler, Peter Sin, and Qing Xiang, The invariant factors of the
incidence matrices of points and subspaces in PG(n, q) and AG(n, q), Trans.
Amer. Math. Soc. 358 (2006), no. 11, 4935–4957. MR 2231879
4.
, The Smith and critical groups of Paley graphs, J. Algebraic Combin. 41
(2015), no. 4, 1013–1022. MR 3342710
5. Charles W. Curtis and Irving Reiner, Methods of representation theory. Vol. I,
John Wiley & Sons, Inc., New York, 1981, With applications to finite groups
and orders, Pure and Applied Mathematics, A Wiley-Interscience Publication.
MR 632548

GRASSMANN GRAPHS

27

6. G. D. James, Representations of general linear groups, London Mathematical
Society Lecture Note Series, vol. 94, Cambridge University Press, Cambridge,
1984.

10. Appendix
The two tables in this appendix show the F GL(n, q)-submodule
structure of the permutation module M , according to the relation of ℓ,
q and n.

ℓ ∤ [ n−2
1 ]q

ℓ∤q+1

ℓ ∤ [ n−1
1 ]q

S 2 = D2
M = F ⊕ D1 ⊕ D2

S 2 = D2 + F
F
ℓ | [ n−1
1 ]q
M = D1 ⊕ D2
F
S 2 = D2
⌋
ℓ ∤ ⌊ n−1
2
ℓ|q+1
M = F ⊕ D1 ⊕ D2
S 2 = D2 + F
F
⌋
ℓ | ⌊ n−1
2
M = D1 ⊕ D2
F
Table A. ℓ ∤ [ n1 ]q .

ℓ | [ n−2
1 ]q
S 2 = D2 + D1
M =F⊕

N/A

N/A

N/A

D1
D2
D1

28

ℓ∤q+1

ℓ|q+1

DUCEY AND SIN

ℓ | [ n−1
1 ]q

ℓ ∤ [ n−2
1 ]q
S 2 = D2
F
M = D1 ⊕ D2
F
N/A

⌋
ℓ ∤ ⌊ n−1
2

N/A

ℓ ∤ [ n−1
1 ]q

ℓ | [ n−2
1 ]q
N/A
N/A
S 2 = D2 + D1

ℓ ∤ [ n2 ]q
M=

F⊕

④
④④

D2 ❈

❈❈

ℓ | ⌊ n−1
⌋
2

N/A

D1 ❅

ℓ | [ n2 ]q
D1

❅❅

F

M=

⑦
⑦⑦⑦

D1
S 2 = D2 + D1 + F
D1
F
M = F ⊕ D2
F
D1

Table B. ℓ | [ n1 ]q .

Dept. of Mathematics and Statistics, James Madison University,
Harrisonburg, VA 22807, USA
E-mail address: duceyje@jmu.edu
Dept. of Mathematics, University of Florida, P.O. Box 118105, Gainesville,
FL 32611, USA
E-mail address: sin@ufl.edu

F

⑦
⑦⑦

D2

D1

F
⑦
⑦⑦⑦

