[논문 리뷰] Semisymmetric elementary abelian covers of the Möbius-Kantor graph

Aleksander Malnič, Dragan Marušič외 2명|ArXiv.org|2005. 10. 18.

Finite Group Theory Research참고 문헌 10인용 수 4

한 줄 요약

이 논문은 모비us-카르터 그래프(Möbius-Kantor graph, 일반화된 페테르센 그래프 GP(8,3))의 모든 쌍별로 비이sov모르스인 최소의 반대칭 원소 아벨 정규 쌍대 덮개를 소수체 위에서의 자기동형사상의 선형 표현을 사용하여 분류한다. p=2인 경우 이러한 덮개가 존재하지 않음을 입증하고, p≡5,9,13,17,21(mod24)일 때는 각각 (p−1)/4와 1+(p−1)/4개, p≡3,7,11,15,23,19(mod24)일 때는 각각 (p+1)/4와 1+(p+1)/4개의 정확한 수를 제시하며, 각 경우에 대해 명시적인 전압 규칙을 제공한다.

ABSTRACT

Let $\p_N \colon X o X$ be a regular covering projection of connected graphs with the group of covering transformations isomorphic to $N$. If $N$ is an elementary abelian $p$-group, then the projection $\p_N$ is called $p$-elementary abelian. The projection $\p_N$ is vertex-transitive (edge-transitive) if some vertex-transitive (edge-transitive) subgroup of $\Aut X$ lifts along $\p_N$, and semisymmetric if it is edge- but not vertex-transitive. The projection $\p_N$ is minimal semisymmetric if $p_N$ cannot be written as a composition $\p_N = \p \circ \p_M$ of two (nontrivial) regular covering projections, where $\p_M$ is semisymmetric. Finding elementary abelian covering projections can be grasped combinatorially via a linear representation of automorphisms acting on the first homology group of the graph. The method essentially reduces to finding invariant subspaces of matrix groups over prime fields (see {\em J. Algebr. Combin.}, {\bf 20} (2004), 71--97). In this paper, all pairwise nonisomorphic minimal semisymmetric elementary abelian regular covering projections of the Möbius-Kantor graph, the Generalized Petersen graph $\GP(8,3)$, are constructed. No such covers exist for $p =2$. Otherwise, the number of such covering projections is equal to $(p-1)/4$ and $1+ (p-1)/4$ in cases $p \equiv 5,9,13,17,21 (\mod 24)$ and $p \equiv 1 (\mod 24)$, respectively, and to $(p+1)/4$ and $1+ (p+1)/4$ in cases $p \equiv 3,7,11,15,23 (\mod 24)$ and $p \equiv 19 (\mod 24)$, respectively. For each such covering projection the voltage rules generating the corresponding covers are displayed explicitly.

연구 동기 및 목표

• 모비우스-카르터 그래프(일반화된 페테르센 그래프 GP(8,3))의 모든 쌍별로 비이sov모르스인 최소의 반대칭 원소 아벨 정규 쌍대 덮개를 분류하는 것.
• 이러한 덮개가 어떤 소수 p에 대해 존재하는지, 그리고 p mod 24에 따라 존재하는 수가 어떻게 달라지는지 규명하는 것.
• 유한체 위에서의 선형대수학을 이용해 각 덮개를 생성하는 전압 규칙을 명시적으로 구성하는 것.
• 각 경우에서 가장 큰 군이 어떻게 올라가는지, 즉 군 H와 M 중 어느 것이 올라가는지 식별하는 것.
• 덮개 그래프 자체가 반드시 반대칭이 아니라는 점을 명확히 하는 것. 다만 덮개 사상은 최소적이며 반대칭이다.

제안 방법

• 자기동형사상의 선형 표현을 이용해 그래프의 첫 번째 호모로지 군에 작용하는 문제를 소수체 위의 행렬군의 불변 부분공간을 찾는 문제로 환원한다.
• 유한체 Z_p 위에서 분석을 수행하며, 덮개 변환군은 원소 아벨 p군이다.
• 소수 p mod 24에 따라 Z_p^k (k=2 또는 3)의 벡터를 사용해 간선에 전압 규칙을 할당한다.
• 분류의 핵심은 Z_2×Z_2의 작용에 의한 이차방정식의 해(예: α²+β²=−1 mod p 또는 ν²=−i)의 궤도를 찾는 것으로, 궤도 크기는 항상 네이다.
• 자동형사상 군의 올림은 매개변수에 따라 가장 큰 군 H 또는 M이 올라가는지 여부를 분석함으로써 다룬다.
• 정규 덮개 사상 이론과 덮개 사상에 沿해 Aut(X)의 부분군을 어떻게 올리는지에 기반한 구성

실험 결과

연구 질문

• RQ1 어떤 소수 p에 대해 모비우스-카르터 그래프 GP(8,3)의 최소 반대칭 원소 아벨 정규 덮개 사상이 존재하는가?
• RQ2 각 소수 p에 대해 이러한 덮개 사상이 서로 비이sov모르스인 쌍별로 몇 개인가? 이 수는 p mod 24에 따라 어떻게 달라지는가?
• RQ3 각 덮개 사상의 생성에 사용되는 명시적인 전압 규칙은 무엇인가?
• RQ4 각 경우에서 어떤 자동형사상 군(H 또는 M)이 올라가는가? 이는 소수 p와 전압 할당의 매개변수에 따라 어떻게 달라지는가?
• RQ5 결과로 얻어진 덮개 그래프는 스스로 반대칭인가, 아니면 덮개 사상만 최소적이며 반대칭인가?

주요 결과

• p=2인 경우 최소 반대칭 원소 아벨 덮개 사상은 존재하지 않는다.
• 소수 p≡5,9,13,17,21(mod24)일 때 이러한 덮개 사상의 수는 (p−1)/4이다.
• 소수 p≡1(mod24)일 때 이러한 덮개 사상의 수는 1+(p−1)/4이다.
• 소수 p≡3,7,11,15,23(mod24)일 때 이러한 덮개 사상의 수는 (p+1)/4이다.
• 소수 p≡19(mod24)일 때 이러한 덮개 사상의 수는 1+(p+1)/4이다.
• 각 경우에 대해 전압 규칙이 명시적으로 제시되며, p mod 24에 따라 Z_p^2 또는 Z_p^3에 값을 할당하고, Z_2×Z_2 작용에 의해 궤도 크기가 4인 덮개 사상들이 존재한다.