[논문 리뷰] Automorphism groups of edge-transitive maps

Gareth A. Jones|arXiv (Cornell University)|2016. 05. 31.

Geometric and Algebraic Topology참고 문헌 41인용 수 5

한 줄 요약

이 논문은 Graver와 Watkins에 의해 정의된 14개의 서로 다른 유형으로 나뉜 엣지-정규 맵에서 자동화군으로서 나타날 수 있는 유한군, 특히 대칭군, 교환군, 그리고 사영 선형군을 분류한다. 대수적이고 위상수학적인 방법을 사용하여 각 유형에서 군 실현을 위한 필요 및 충분 조건을 규명하였으며, 대부분의 유형에서 유한한 개수를 제외한 모든 대칭군과 교환군이 실현 가능하다는 것을 보였다. 또한 충분히 큰 노름군 또는 가환군, 그리고 비가чёт 수의 무한군 역시 실현 가능하다는 것을 밝혔다.

ABSTRACT

For each of the 14 classes of edge-transitive maps described by Graver and Watkins, necessary and sufficient conditions are given for a group to be the automorphism group of a map, or of an orientable map without boundary, in that class. Extending earlier results of Siran, Tucker and Watkins, these are used to determine which symmetric groups $S_n$ can arise in this way for each class. Similar results are obtained for all finite simple groups, building on work of Leemans and Liebeck, Nuzhin and others on generating sets for such groups. It is also shown that each edge-transitive class realises finite groups of every sufficiently large nilpotence class or derived length, and also realises uncountably many non-isomorphic infinite groups. Edge-transitive embeddings of complete graphs are classified, and there is a detailed discussion of edge-transitive maps with boundary.

연구 동기 및 목표

• 14개의 엣지-정규 맵 유형 각각에 대해, 어떤 유한군이 그 유형의 맵의 자동화군으로 실현될 수 있는지에 대한 필요 및 충분 조건을 규명하는 것.
• Širáň, Tucker, Watkins의 이전 결과를 확장하여, 각 유형에서 어떤 대칭군 $S_n$이 실현되는지 완전히 특성화하는 것. 마찬가지로 교환군 $A_n$과 $L_2(q)$에 대해서도 동일한 분석을 수행하는 것.
• 유한 단순군의 실현 가능성에 대해 연구하며, Leemans, Liebeck, Nuzhin의 작업을 바탕으로 하여 충분히 큰 노름군 또는 가환군이 각 유형에서 실현 가능하다는 것을 보이는 것.
• 각 엣지-정규 유형이 비가산 수의 서로 동형이 아닌 무한군을 실현하며, 이러한 군들의 임bedding 성질과 성장 특성에 대해 규명하는 것.

제안 방법

• Graver와 Watkins가 제시한 엣지-정규 맵의 14유형 분류를 활용하며, 이는 몫 맵 $\mathcal{M}/\mathrm{Aut}\,\mathcal{M}$ 의 동형 유형에 기반한다.
• 맵 이론에서의 대수적 기법을 적용하여, 단순화된 모노드로미 군과 플래그 위에서 작용하는 생성자 $r_i$, $s_i$를 사용한다.
• 특히 정규가 아닌 경우에 유용한 중간 맵 구조 $\mathcal{M}^{\rm med}$ 를 활용하여 원래 맵과 유도된 맵의 자동화군 간의 관계를 분석한다.
• Leemans, Liebeck, Nuzhin의 유한 단순군의 생성집합에 관한 군론적 결과를 응용하여 실현 조건을 규명한다.
• 오일러 지표 $\chi$ 와 옹호성 기준과 같은 위상수학적 불변량을 사용하여 실현 가능성과 맵의 분류를 분석한다.
• 피복 이론과 임베딩 정리를 적용하여, 각 유형에서 비가산 수의 서로 동형이 아닌 무한군이 실현 가능하다는 것을 보인다.

실험 결과

연구 질문

• RQ1 14개의 엣지-정규 맵 유형 각각에 대해, 어떤 유한군이 그 유형의 맵의 자동화군으로 실현될 수 있는가?
• RQ2 각 유형에서 어떤 대칭군 $S_n$, 교환군 $A_n$, 그리고 사영 특수 선형군 $L_2(q)$가 자동화군으로 실현될 수 있는가?
• RQ3 어떤 유한 단순군이 엣지-정규 맵의 자동화군으로 실현될 수 있으며, 어떤 조건에서 가능한가?
• RQ4 모든 충분히 큰 노름군 또는 가환군이 각 엣지-정규 유형에서 자동화군으로 실현될 수 있는가?
• RQ5 14개의 유형이 비가산 수의 서로 동형이 아닌 무한군을 실현하는가? 그리고 이러한 군들의 위상수학적 성질과 성장 특성은 어떠한가?

주요 결과

• 각 14개 유형에 대해, 어떤 군이 그 유형의 맵의 자동화군으로 실현될 수 있는지에 대한 필요 및 충분 조건이 확립되었다.
• 모든 대칭군 $S_n$ 중 유한한 개수를 제외한 나머지는 $2^{\rm ex}$, $2^{*}{\rm ex}$, $5$, $5^*$를 제외한 모든 유형에서 실현 가능하며, 이 경우 $n \geq 6$ 가 필요하다.
• 모든 교환군 $A_n$ 중 유한한 개수를 제외한 나머지는 $2^{\rm ex}$, $2^{*}{\rm ex}$, $5$, $5^*$를 제외한 모든 유형에서 실현 가능하며, 이 경우 $n \geq 8$ 가 필요하다.
• $L_2(q)$ 는 유형 1에서 $q \neq 3,7,9$ 인 경우, 유형 2에서 $q \neq 3$ 인 경우, 유형 3에서 $q \neq 3$ 인 경우 실현 가능하며, $2^{\rm ex}$, $2^{*}{\rm ex}$, $5$, $5^*$ 유형에서는 실현 불가능하다.
• 충분히 큰 노름군의 계수 또는 유도 길이를 가진 모든 유한군은 각 엣지-정규 유형에서 실현 가능하다.
• 각 엣지-정규 유형은 비가산 수의 서로 동형이 아닌 무한군을 실현하며, 이러한 군들에 대해 성장이 제어된 임베딩 정리가 확립되었다.