예외군과 정점 원시 방향그래프의 s아크 전이성

초록

본 논문은 거의 단순 예외 군군을 자동군으로 갖는 정점‑원시 s아크 전이 방향그래프에 대해 s의 상한을 조사한다. 3D₄(q), G₂(q), ²F₄(q), F₄(q), E₆(q), ²E₆(q) 등 예외 군에 대해 s≤2임을 증명하고, 현재까지 s=2인 구체적 예는 알려지지 않았음을 언급한다.

상세 분석

논문은 2018년 Giudici‑Xia가 제시한 “정점‑원시 s아크 전이 방향그래프의 s에 대한 절대 상한 존재 여부” 문제를 예외 군군에 한정하여 풀고 있다. 먼저, 거의 단순군 H의 소핵이 L∈{³D₄(q), G₂(q), ²F₄(q), F₄(q), E₆(q), ²E₆(q)}인 경우를 가정하고, H가 이러한 그래프의 자동군일 때 s가 2를 초과할 수 없음을 보인다. 이를 위해 저자들은 다음과 같은 전략을 사용한다.

1. 군의 인수분해와 궤도 구조
   H의 정점 안정자 H_v가 두 부분군 H_{uv}, H_{vv₁}의 곱으로 표현되는 동질 인수분해가 존재함을 보이고, 이 인수분해가 비자유적(코어프리)이어야 함을 Lemma 2.6‑2.7을 통해 확인한다. 특히, H_v의 라디칼 부분과 준단순 성분을 분리하고, 각각에 대해 가능한 단순 인수군을 제한한다.

2. 예외 군의 최대 부분군 분류 활용
   ³D₄(q), G₂(q), ²F₄(q) 등에 대한 완전한 최대 부분군 분류(