[논문 리뷰] Classification of tetravalent $2$-transitive non-normal Cayley graphs of finite simple groups

Xin Fang, Jie Wang외 1명|arXiv (Cornell University)|2016. 11. 19.

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

한 줄 요약

이 논문은 유한 단순군의 연결된 사차원 2-전이성 비정규 카일리 그래프를 분류하며, 유일하게 수학자 군 M11만 이러한 그래프를 허용하며, 정확히 두 개의 이방형 예외가 존재함을 증명한다. 이 작업은 오랫동안 미해결이었던 문제를 해결하여, PSL₂(11), M23, A11 등의 후보 군들에 대해서는 이러한 비정규 카일리 그래프가 존재하지 않음을 보이고, 따라서 유한 단순군의 연결된 사차원 2-전이성 카일리 그래프의 자기동형군을 완전히 규명한다.

ABSTRACT

A graph $\Gamma$ is called $(G, s)$-arc-transitive if $G \le \mathrm{Aut}(\Gamma)$ is transitive on the set of vertices of $\Gamma$ and the set of $s$-arcs of $\Gamma$, where for an integer $s \ge 1$ an $s$-arc of $\Gamma$ is a sequence of $s+1$ vertices $(v_0,v_1,\ldots,v_s)$ of $\Gamma$ such that $v_{i-1}$ and $v_i$ are adjacent for $1 \le i \le s$ and $v_{i-1} e v_{i+1}$ for $1 \le i \le s-1$. $\Gamma$ is called 2-transitive if it is $(\mathrm{Aut}(\Gamma), 2)$-arc-transitive but not $(\mathrm{Aut}(\Gamma), 3)$-arc-transitive. A Cayley graph $\Gamma$ of a group $G$ is called normal if $G$ is normal in $\mathrm{Aut}(\Gamma)$ and non-normal otherwise. It was proved by X. G. Fang, C. H. Li and M. Y. Xu that if $\Gamma$ is a tetravalent 2-transitive Cayley graph of a finite simple group $G$, then either $\Gamma$ is normal or $G$ is one of the groups $\mathrm{PSL}_2(11)$, $M_{11}$, $M_{23}$ and $A_{11}$. However, it was unknown whether $\Gamma$ is normal when $G$ is one of these four groups. In the present paper we answer this question by proving that among these four groups only $M_{11}$ produces connected tetravalent 2-transitive non-normal Cayley graphs. We prove further that there are exactly two such graphs which are non-isomorphic and both determined in the paper. As a consequence, the automorphism group of any connected tetravalent 2-transitive Cayley graph of any finite simple group is determined.

연구 동기 및 목표

• 유한 단순군에 대해 정규 케이스 외의 사차원 2-전이성 비정규 카일리 그래프가 존재하는지 여부에 대한 열린 문제를 해결하기 위해.
• 유한 단순군의 모든 연결된 사차원 2-전이성 비정규 카일리 그래프를 분류하며, 특히 네 가지 예외 군인 PSL₂(11), M11, M23, A11에 대해 다루기 위해.
• 유한 단순군의 연결된 사차원 2-전이성 카일리 그래프의 전체 자기동형군을 규명하기 위해.
• 오직 M11만 이러한 비정규 그래프를 생성하며, 그 결과로 두 개의 이방형 그래프를 구성하고 이를 구별하기 위해.

제안 방법

• 자기동형군 내의 정점 안정자와 정규부분군을 분석하기 위해 군 작용 이론과 몫그래프 분석을 사용하기 위해.
• 자기동형군 A = GAα의 구조를 분석하기 위해 준단순군 작용 이론과 소클 분해를 적용하기 위해.
• GAP를 사용하여 T = M11, M12, A12일 때, 보조정리 2.3의 조건을 만족하는 2-원소의 존재하지 않음을 검증하기 위해.
• M12의 특정 부분집합 ∆1과 ∆2를 통해 두 후보 그래프 Γ(∆1)과 Γ(∆2)를 구성하고, 이들의 이웃 구조를 분석하기 위해.
• 특히 α = S4에 대해 Γi(α)의 이웃 집합을 사용한 동형성 불변량을 활용하여, Γ(∆1)과 Γ(∆2)가 이방형임을 증명하기 위해.
• 대칭군 내에서 자기동형군의 정규화군과 중심화군을 제약하기 위해 [2, 정리 1.1]과 [3, 사실 2.3]의 알려진 결과를 활용하기 위해.

실험 결과

연구 질문

• RQ1 M11 이외의 유한 단순군에 대해 연결된 사차원 2-전이성 비정규 카일리 그래프가 존재하는가?
• RQ2 네 가지 예외 군인 PSL₂(11), M11, M23, A11 중에서, 연결된 사차원 2-전이성 비정규 카일리 그래프를 허용하는 군은 무엇이 있는가?
• RQ3 유한 단순군의 연결된 사차원 2-전이성 카일리 그래프의 전체 자기동형군은 무엇인가?
• RQ4 두 후보 그래프 Γ(∆1)과 Γ(∆2)는 이방형인가? 그리고 이를 어떻게 증명할 수 있는가?

주요 결과

• 모든 유한 단순군 중에서 오직 수학자 군 M11만 연결된 사차원 2-전이성 비정규 카일리 그래프를 허용한다.
• 정확히 두 개의 이방형 그래프가 존재하며, 이는 모두 M12의 부분군으로부터 구성되며, Γ(∆1)과 Γ(∆2)로 표기된다.
• 각 그래프의 자기동형군은 M12:2와 동형이며, 정점 안정자는 S4와 동형이다.
• Γ(∆1)과 Γ(∆2)는 S4에 해당하는 정점의 이웃이 서로 다르므로 이방형이다.
• PSL₂(11), M23, A11를 포함한 모든 다른 유한 단순군에 대해서는 연결된 사차원 2-전이성 비정규 카일리 그래프가 존재하지 않는다.
• 어떤 유한 단순군의 연결된 사차원 2-전이성 카일리 그래프의 전체 자기동형군은 이제 완전히 규명되었다: 정규 케이스일 경우 G.A4 또는 G.S4이며, 비정규 케이스일 경우 G = M11일 때 M12:2이다.