[논문 리뷰] Sur la Classification et le Denombrement des Sous-groupes du Groupe Modulaire et de leurs Classes de Conjugaison

Samuel Vidal|ArXiv.org|2007. 02. 08.

Finite Group Theory Research참고 문헌 36인용 수 8

한 줄 요약

이 논문은 삼차원 다이어그램(점이 없는 경우와 점이 있는 경우)을 불변량으로 사용하여 모듈라 군 PSL₂(ℤ)의 부분군과 그 족류를 조합론적으로 분류한다. 이는 오랫동안 미해결된 문제였던 점이 없는 조합적 맵의 수를 세는 문제를 해결하며, 기초가 되는 조합적 종류의 사이클 지수 생성함수의 놀라운 인수분해를 바탕으로 한 매우 효율적인 수세기 알고리즘을 제시한다.

ABSTRACT

In this article we give a classification of the sub-groups in PSL(2,Z) and of the conjugacy classes of these sub-groups by the mean of an combinatorial invariant: some trivalent diagrams (dotted or not). We give explicit formulae enabling to count the number of isomorphism classes of these structures and of some of their variations, as function of the number of their arcs. Until now, the counting of non-dotted diagrams was an open problem, for it gives also the number of unrooted combinatorial maps, triangular or general respectively. The article ends with the description of a high performance algorithm to enumerate those structures witch is built upon an unexpected factoring of the cycle index series of the considered combinatorial species.

연구 동기 및 목표

• 조합적 불변량을 사용하여 PSL₂(ℤ)의 모든 부분군과 그 족류를 체계적으로 분류하는 것.
• 점이 없는 삼차원 다이어그램의 수를 세는 것으로, 점이 없는 조합적 맵(삼각형 또는 일반적인 경우)을 세는 열린 문제를 해결하는 것.
• 이러한 조합적 구조를 수세기하기 위한 효율적인 알고리즘을 개발하는 것.
• 화살의 수에 대한 함수로서 삼차원 다이어그램의 동형류를 세는 명시적 공식을 도출하는 것.
• Grothendieck의 dessins d'enfants와 Gal(ℚ̄/ℚ)의 작용을 통해 분류를 더 깊은 산술적 및 갈루아 이론적 구조와 연결하는 것.

제안 방법

• 이sov형류의 삼차원 다이어그램(점이 있거나 없거나)을 통해 PSL₂(ℤ)의 부분군을 표현하고, 이러한 다이어그램의 이sov형류와 부분군의 족류 사이에 전단사 관계를 설정한다.
• 조합적 종류 이론과 사이클 지수 생성함수를 사용하여 다이어그램의 구조의 생성함수를 모델링한다.
• 기초가 되는 조합적 종류의 사이클 지수 생성함수의 놀라운 인수분해를 적용하여 고성능의 수세기 알고리즘을 설계한다.
• 화살의 수에 기반하여 삼차원 다이어그램의 이sov형류를 세는 명시적 폐형 공식을 유도한다.
• 다이어그램의 구조에 기반한 재귀적 기준을 활용하여 부분군의 성질(예: 정규성, 족류, 포함 관계)을 판단한다.
• PSL₂(ℤ) ≅ ℤ/2ℤ ∗ ℤ/3ℤ라는 사실을 활용하여, 이 방법을 임의의 두 유한 순환군의 자유곱으로 일반화한다.

실험 결과

연구 질문

• RQ1 PSL₂(ℤ)의 모든 부분군과 그 족류는 어떻게 조합적 불변량을 통해 시스템적으로 분류할 수 있는가?
• RQ2 주어진 화살의 수를 가진 삼차원 다이어그램의 이sov형류 수를 규정하는 명시적 공식은 무엇인가?
• RQ3 점이 없는 삼차원 다이어그램과 표면 위의 점이 없는 조합적 맵 사이의 관계는 무엇인가?
• RQ4 이러한 조합적 구조를 수세기하기 위한 효율적인 알고리즘은 어떻게 구성할 수 있는가?
• RQ5 다이어그램의 구조와 관련된 어떤 구조적 성질이 부분군의 대수적 성질(예: 정규성, 포함 관계)과 대응하는가?

주요 결과

• 논문은 점이 없는 삼차원 다이어그램과 점이 없는 조합적 맵 사이의 직접적인 대응 관계를 설정함으로써, 점이 없는 조합적 맵을 세는 열린 문제를 해결한다.
• 화살의 수에 대한 함수로서 삼차원 다이어그램의 이sov형류와 그 변형의 수를 세는 명시적 공식이 도출된다.
• 기초가 되는 조합적 종류의 사이클 지수 생성함수의 새로운 인수분해를 바탕으로 한 매우 효율적인 수세기 알고리즘이 개발된다.
• 분류 결과는 이sov형류의 삼차원 다이어그램(점이 있거나 없는 경우)과 PSL₂(ℤ)의 부분군 족류 사이의 이항 대응 관계를 확립한다.
• 다이어그램의 구조에서 직접적으로 족류, 포함 관계, 정규성 등의 부분군 성질을 판단할 수 있는 재귀적 기준이 제시된다.
• 이 방법은 PSL₂(ℤ)가 기본 사례인 ℤ/2ℤ ∗ ℤ/3ℤ인 임의의 두 유한 순환군의 자유곱으로 일반화될 수 있다.