[論文レビュー] Semisymmetric elementary abelian covers of the Möbius-Kantor graph

Aleksander Malnič, Dragan Marušič+2 more|ArXiv.org|Oct 18, 2005

Finite Group Theory Research参考文献 10被引用数 4

ひとこと要約

この論文は、モビウス・カントール図（一般化ピーターセン図 GP(8,3)）のすべての対ごとに非同型な最小の半対称な単純アーベル正則被覆射影を、素数体上の自己同型の線形表現を用いて分類する。p=2 の場合はこのような被覆が存在しないことが示され、p≡5,9,13,17,21(mod24) の場合の正確な数は (p−1)/4 であり、p≡3,7,11,15,23,19(mod24) の場合の正確な数は (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)）の、すべての対ごとに非同型な最小の半対称な単純アーベル正則被覆射影を分類すること。
• このような被覆がどの素数 p に対して存在するか、およびその数が p を 24 で割った剰余に依存する仕組みを特定すること。
• 有限体上の線形代数を用いて、各被覆射影を生成する電圧規則を明示的に構成すること。
• 各ケースにおいて、最大の群 H と M のどちらが引き上げられるかを特定すること。
• 被覆グラフ自体が必ずしも半対称ではないが、射影は最小かつ半対称であることを明確にすること。

提案手法

• 自己同型がグラフの一次ホモロジー群に作用する線形表現を用い、問題を素体上の行列群の不変部分空間の特定に還元する。
• 有限体 Z_p 上で分析を行い、被覆変換群は単純アーベル p-群である。
• p が 24 で割った剰余に応じて、Z_p^k（k=2 または 3）のベクトルを用いて辺に電圧規則を割り当てる。
• 分類は、Z_2×Z_2 の作用による二次方程式（例：α²+β²=−1 mod p または ν²=−i）の解の軌道に依存し、その軌道のサイズは 4 である。
• 自己同型群の引き上げは、パラメータに応じて最大群 H または M が引き上げられるかどうかを特定することで分析される。
• 正則被覆射影の理論と、被覆写像に沿った Aut(X) の部分群の引き上げに基づく構成である。

実験結果

リサーチクエスチョン

• RQ1 どの素数 p に対して、モビウス・カントール図 GP(8,3) の最小の半対称な単純アーベル正則被覆射影が存在するか？
• RQ2 各素数 p に対して、対ごとに非同型なこのような被覆射影はいくつ存在するか？また、その数は p を 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 を 24 で割った剰余に応じて Z_p^2 または Z_p^3 に値を割り当てる。射影は Z_2×Z_2 の作用の下で軌道のサイズが 4 のものに分類される。