[논문 리뷰] 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)|2017. 06. 05.

Graph theory and applications참고 문헌 4인용 수 3

한 줄 요약

이 논문은 유한 사영 공간 PG(n−1, q)의 2차원 부분공간들에 대한 그라스만 그래프와 그 여집합(비교선 그래프)의 인cidency 행렬과 라플라시안 행렬의 기본 요소들을 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차원 부분공간에 대한 그라스만 그래프와 그 여집합의 인cidency 행렬과 라플라시안 행렬의 기본 요소를 결정하는 것.
• 표현론적 방법을 사용하여 이러한 그래프의 Smith 군과 임계 군의 구조를 계산하는 것.
• 소수 ℓ가 q를 나누는지 여부와 n과 q에 관한 산술 조건에 따라 불변 인자와 기본 요소를 분류하는 것.
• p-모듈라 및 교차 특성수 경우의 이전 결과를 GL(n, q)의 유니포텐트 표현을 활용하여 고차원으로 확장하는 것.

제안 방법

• Smith 표준형을 이용해 Smith 군과 임계 군의 기본 요소를 결정하기 위해 인cidency 행렬과 라플라시안 행렬의 스미스 표준형을 사용한다.
• 특히 유니포텐트 표현을 중심으로 특성 ℓ ≠ 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차원 부분공간에 대한 그라스만 그래프의 인cidency 행렬의 기본 요소는 무엇인가?
• RQ2 이 그래프의 라플라시안 행렬의 기본 요소는 매개변수 q와 n에 따라 어떻게 달라지는가?
• RQ3 그라스만 그래프와 그 여집합의 임계 군(sandpile group)의 구조는 불변 인자에 대해 어떻게 기술되는가?
• RQ4 ℓ가 q+1을 나누는 경우와 나누지 않는 경우에 따라 Smith 군과 임계 군은 어떻게 달라지는가?
• RQ5 q-이항계수의 ℓ-진 값매김은 인cidency 행렬과 라플라시안 행렬의 기본 요소를 결정하는 데 어떤 역할을 하는가?

주요 결과

• 그라스만 그래프의 인cidency 행렬의 기본 요소는 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² 이면 ℓ-부분이 자명함을 나타내어, 이 경우에 ℓ-토르션이 존재하지 않음을 의미한다.
• 비교선 그래프의 임계 군의 구조는 동일한 경우 분석을 통해 완전히 결정되며, F_ℓ 위에서 2차원 부분공간에 대한 순열 표현의 모듈러 구조로부터 유도된 공식을 따른다.