[论文解读] The Smith group and the critical group of the Grassmann graph of lines in finite projective space and of its complement

Joshua E. Ducey, Peter Sin|arXiv (Cornell University)|Jun 5, 2017

Graph theory and applications参考文献 4被引用 3

一句话总结

本论文利用 GL(n, q) 的表示理论与 Smith 标准型技术，计算了有限射影空间 PG(n−1, q) 中二维子空间的 Grassmann 图及其补图（即斜线图）的邻接矩阵与拉普拉斯矩阵的初等因子。主要贡献在于基于 q-二项式系数与 ℓ-进赋值，完全分类了 Smith 群与临界群，给出了依赖于素数 ℓ 相对于 q 与 n 的整除性条件的显式公式。

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.

研究动机与目标

• 确定 PG(n−1, q) 中二维子空间 Grassmann 图及其补图的邻接矩阵与拉普拉斯矩阵的初等因子。
• 利用表示论方法，计算这些图的 Smith 群与临界群的结构。
• 基于整除 q 或不整除 q 的素数 ℓ，以及涉及 n 与 q 的算术条件，对不变因子与初等因子进行分类。
• 通过 GL(n, q) 的幂零表示，将先前关于 p-模与交叉特征情形的结果推广至更高维。

提出的方法

• 利用邻接矩阵与拉普拉斯矩阵的 Smith 标准型，确定 Smith 群与临界群的初等因子。
• 应用在特征 ℓ ≠ p 的域上 GL(n, q) 的表示理论，特别是幂零表示。
• 利用在 2-子空间上的 ℓ-模置换模的结构，计算初等因子的重数。
• 利用矩阵树定理，将临界群的阶与图中生成树的数量联系起来。
• 应用引理 3.1 与 3.2，基于 q-二项式系数的 ℓ-进赋值，分析有限域上模的商的维数。
• 根据 ℓ 是否整除 q+1、[n−2]_q、[n−3]_q 或 [n−1]_q 分类情况，并据此推导最终公式。

实验结果

研究问题

• RQ1 PG(n−1, q) 中二维子空间 Grassmann 图的邻接矩阵的初等因子是什么？
• RQ2 该图的拉普拉斯矩阵的初等因子如何依赖于参数 q 与 n？
• RQ3 Grassmann 图及其补图的临界群（沙堆群）的结构，以不变因子表示时是怎样的？
• RQ4 当 ℓ 整除 q+1 与不整除 q+1 时，Smith 群与临界群如何变化？
• RQ5 q-二项式系数的 ℓ-进赋值在确定邻接矩阵与拉普拉斯矩阵的初等因子中起什么作用？

主要发现

• Grassmann 图邻接矩阵的初等因子由 q-二项式系数 [n−2]_q、[n−3]_q 与 [n−1]_q 的 ℓ-进赋值决定，显式公式取决于 ℓ 是否整除这些系数。
• 当 ℓ ∤ [n−2]_q 且 ℓ ∣ [n−3]_q 时，Grassmann 图临界群的初等因子为 e_a = 1 且 e_0 = f + g，其余情况 e_i = 0。
• 当 ℓ ∣ q+1 且 ℓ ∣ [n−3]_q 但 ℓ ∤ [ (n−3)/2 ]_q² 时，临界群的初等因子为 e_a = f 且 e_0 = g+1，其中 a = v_ℓ(q+1)。
• 当 ℓ ∣ q+1 且 ℓ ∣ [n−3]_q 且 ℓ ∣ [ (n−3)/2 ]_q² 时，临界群的初等因子为 e_{a+b} = f、e_b = 1 且 e_0 = g，其中 a = v_ℓ(q+1)，b = v_ℓ( [n−2]_q )。
• 当 ℓ ∣ [n−2]_q 且 ℓ ∤ [ (n−2)/2 ]_q² 时，Grassmann 图的 Smith 群的 ℓ-部分为平凡，表明此时无 ℓ-挠。
• 斜线图临界群的结构由相同的分类分析完全确定，其公式源自在 F_ℓ 上 2-子空间上的置换表示的模结构。