[論文レビュー] 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

ひとこと要約

この論文は、有限射影空間 PG(n−1, q) 内の2次元部分空間のグラスマングラフおよびその補グラフ（交わらない直線グラフ）の隣接行列とラプラシアン行列の基本因子を、GL(n, q) の表現論とスミス標準形技術を用いて計算する。主な貢献は、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) 内の2次元部分空間のグラスマングラフおよびその補グラフの隣接行列とラプラシアン行列の基本因子を特定すること。
• 表現論的技法を用いて、これらのグラフの Smith 群と臨界群の構造を計算すること。
• 素数 ℓ が q を割るか否か、および n と q に関する算術的条件に基づいて、不変因子と基本因子を分類すること。
• p-モジュラーおよびクロス特徴的ケースに関する先行結果を、GL(n, q) のユニポテンツ表現を用いて高次元へと拡張すること。

提案手法

• 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) 内の2次元部分空間のグラスマングラフの隣接行列の基本因子は何か？
• RQ2 このグラフのラプラシアン行列の基本因子はパrameter q と n にどのように依存するか？
• RQ3 グラスマングラフおよびその補グラフの臨界群（砂山群）の構造は、不変因子の観点からどのように記述できるか？
• RQ4 ℓ が q+1 を割る場合と割らない場合で、Smith 群と臨界群はどのように変化するか？
• RQ5 q-二項係数の ℓ-進付値は、隣接行列とラプラシアン行列の基本因子を決定するために果たす役割は何か？

主な発見

• グラスマングラフの隣接行列の基本因子は、q-二項係数 [n−2]_q、[n−3]_q、[n−1]_q の ℓ-進付値によって決定され、ℓ による可除性に応じた明示的公式を持つ。
• グラスマングラフの臨界群に関しては、ℓ ∤ [n−2]_q かつ ℓ ∣ [n−3]_q のとき、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 ) である。
• Smith 群の ℓ-部が自明であるのは、ℓ ∣ [n−2]_q かつ ℓ ∤ [ (n−2)/2 ]_q² のときであり、この場合には ℓ- torsion が存在しないことを示している。
• 交わらない直線グラフの臨界群の構造は、同じケース分析に基づき完全に決定されており、F_ℓ 上の2次元部分空間への置換表現の加群構造から導かれた公式に基づく。