[논문 리뷰] Enumerating Regular Objects associated with Suzuki Groups

Martin Downs, Gareth A. Jones|arXiv (Cornell University)|2013. 09. 20.

Advanced Algebra and Geometry참고 문헌 7인용 수 5

한 줄 요약

이 논문은 수크지 그룹 $Sz(q)$의 부분군 격자에 대해 모비우스 역행렬을 적용하여, $Sz(q)$와 동형인 방향 보존 자동사상군을 갖는 정규 조합적 대상—예를 들어, 지도, 초지도, 데신 데 아앙, 표면 코팅 등—을 수량화한다. $Sz(q)$에 대해 계산된 모비우스 함수 $\mu_G$를 사용하여 이러한 대상의 수를 명시적인 공식으로 도출하며, 가장 작은 비아벨 단순 수크지 군인 $Sz(8)$에 대해 상세한 수량화를 수행하여 정규 초지도 1054개와 방향 정규 초지도 9534개를 도출한다.

ABSTRACT

We use the Möbius function of the simple Suzuki group Sz(q) to enumerate regular objects such as maps, hypermaps, dessins d'enfants and surface coverings with automorphism groups isomorphic to Sz(q).

연구 동기 및 목표

• 수크지 군 $Sz(q)$와 동형인 자동사상군을 갖는 정규 조합적 대상—예를 들어, 지도, 초지도, 데신 데 아앙—의 수량화를 확장한다. 이는 비아벨 유한 단순군이다.
• 수크지 군 $Sz(q)$의 부분군 격자에서 헬의 모비우스 역행렬 이론을 적용하여, 몫이 $Sz(q)$와 동형인 유한 생성 군 $\Gamma$의 정규 부분군을 수량화함으로써 정규 대상을 수량화한다.
• 가장 작은 수크지 군인 $Sz(8)$에 대해 종합적인 수량화를 제공하며, 유형별 정규 및 방향 정규 지도와 초지도의 수량, 그리고 종수별 정규 표면 코팅의 수량을 포함한다.
• 이전 연구에서 부분군 $Sz(2^f)$에 국한된 모비우스 역행렬을 사용한 것을 넘어서, $G = Sz(2^e)$에 대해 전체 모비우스 함수 $\mu_G$를 사용하여 보다 광범위하고 완전한 수량화를 수행한다.

제안 방법

• 유한군 $G$의 부분군 격자에서 헬의 모비우스 역행렬을 사용하며, 모비우스 함수 $\mu_G(H)$는 $\sum_{K \geq H} \mu_G(K) = \delta_{H,G}$로 재귀적으로 정의된다.
• 유한 생성 군 $\Gamma$에서 $G = Sz(q)$로의 전성 사상의 수를 세기 위해 공식 $|{\rm Epi}(\Gamma, G)| = \sum_{H \leq G} \mu_G(H) |{\rm Hom}(\Gamma, H)|$를 적용한다. 이는 자동사상군이 $G$인 정규 대상에 대응한다.
• 자기동형사상군 ${{\rm Aut}\,G}$ 작용 하에서 생성 쌍의 궤도 수와 관련지어, $\Gamma/N \cong G$를 만족하는 정규 부분군 $N \triangleleft \Gamma$의 수를 $n_\Gamma(G) = \frac{1}{|{\rm Aut}\,G|} \sum_{H \leq G} \mu_G(H) |{\rm Hom}(\Gamma, H)|$로 계산한다.
• 표현 이론과 군론적 자료(예: 시로프 부분군, 쌍대류류)를 활용하여, $xyz = 1$을 만족하는 주어진 순서를 갖는 생성 삼중항의 수를 결정한다. 이는 초지도와 지도의 유형을 분류한다.
• 형수 $g$인 옹호 표면의 정규 코팅을 수량화하기 위해 공식 $r_g(G) = \frac{1}{3} \left\{ |G|^n (1 + 2\cdot14^{-n} + \cdots) - \cdots \right\}$을 사용하며, 여기서 $n = 2g-2$이다. 이는 $G = Sz(8)$일 때 적용된다.
• 이전 연구에서 부분군 $H \cong Sz(2^f)$에 국한된 것과 달리, 전체 모비우스 함수 $\mu_G$를 사용하여 더 넓고 완전한 수량화를 달성한다.

실험 결과

연구 질문

• RQ1 방향 보존 자동사상군이 $Sz(8)$와 동형인 정규 초지도와 지도는 모두 몇 개인가?
• RQ2 $G = Sz(8)$를 자동사상군으로 갖는 방향 정규 지도 및 초지도의 유형 $\{m,n\}$ 분포는 어떻게 되는가?
• RQ3 형수 $g$인 표면에 대해, 덮개군이 $Sz(8)$인 정규 표면 코팅은 몇 개인가? 이 수는 $g$에 따라 어떻게 증가하는가?
• RQ4 $G = Sz(2^e)$에 대해 ${{\rm Aut}\,G}$의 생성 쌍에 대한 궤도 수는 얼마이며, 이는 정규 대상의 수와 어떻게 관련되는가?
• RQ5 $G = Sz(q)$에 대해 전체 모비우스 함수 $\mu_G$를 사용하여 이전의 제한된 역행렬 방법의 범위를 초월해 정규 대상을 수량화할 수 있는 방법은 무엇인가?

주요 결과

• 군 $G = Sz(8)$는 1054개의 정규 초지도와 14개의 정규 지도의 자동사상군이며, 이들 모두 비방향적이다.
• 방향 정규 초지도는 총 9534개, 방향 정규 지도는 142개이며, 모두 $G = Sz(8)$가 방향 보존 자동사상군이다.
• 142개의 방향 정규 지도 중 14개는 반사 가능(내부 반사 가능)이며, 나머지 128개는 64개의 치랄 쌍을 이룬다.
• 표본 4에 따르면, $\mathcal{R}_{\mathfrak{M}}^+(G)$ 내에서 유형 $\{m,n\}$의 방향 정규 지도의 수는 다음과 같다: $\{5,5\}$형 30개, $\{7,7\}$형 62개, $\{13,13\}$형 34개이다.
• 표본 5에 따르면, $\mathcal{R}_{\mathfrak{M}}(G)$ 내에서 유형 $\{m,n\}$의 정규 지도의 수는 총 14개이며, 순서 4인 원소가 자신과 역행하는 동형류를 갖지 않기 때문에 $\{4,n\}$ 또는 $\{m,4\}$ 유형은 존재하지 않는다.
• 형수 $g=2$일 때, 덮개군이 $G = Sz(8)$인 옹호 표면의 정규 코팅 수는 286,063,776개이며, $g \to \infty$일 때 점점 더 큰 $r_g(G) \sim 847,974,400^{g-1}/3$로 점 渐진한다.