[論文レビュー] Sur la Classification et le Denombrement des Sous-groupes du Groupe Modulaire et de leurs Classes de Conjugaison

Samuel Vidal|ArXiv.org|Feb 8, 2007

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(ℚ̄/ℚ) の作用を通じて、分類をより深い算術的およびガロア理論的構造と結びつけること。

提案手法

• 三価図（点あり・点なしを含む）を用いて PSL₂(ℤ) の部分群を表現し、このような図の同型類と部分群の共轭類との間の全単射を確立する。
• 組合せ的体系理論と巡回指数級数を用いて、図の構造の母関数をモデル化する。
• 関連する組合せ的体系の巡回指数級数の驚きの因数分解を応用し、高性能な列挙アルゴリズムを設計する。
• 弧の数に基づいて、三価図の同型類の数え上げの明示的閉形式公式を導出する。
• 図の構造に基づく再帰的基準を用いて、部分群の性質（例えば正規性、共轭、包含関係）を特定する。
• PSL₂(ℤ) ≅ ℤ/2ℤ ∗ ℤ/3ℤ であることに着目し、任意の2つの有限巡回群の自由積への一般化を可能にする。

実験結果

リサーチクエスチョン

• RQ1 PSL₂(ℤ) のすべての部分群およびその共轭類を、組合せ的不変量を用いて体系的に分類するにはどうすればよいか？
• RQ2 与えられた弧の数を持つ三価図の同型類の数を支配する明示的公式は何か？
• RQ3 点なしの三価図と、曲面上の未根付きの組合せ的マップとの間にはどのような関係があるか？
• RQ4 これらの組合せ的構造を列挙するための効率的なアルゴリズムをどのように構築できるか？
• RQ5 図の構造に現れるどのような構造的性質が、部分群の代数的性質（例えば正規性、包含関係）に対応するか？

主な発見

• 本稿は、未根付きの組合せ的マップ（三角形または一般）の列挙に関する未解決問題を、それらと点なしの三価図との直接的対応関係を確立することで解決する。
• 弧の数の関数として、三価図の同型類およびその変種の数え上げの明示的公式が導出された。
• 関連する組合せ的体系の巡回指数級数の新規因数分解に基づく、これらの構造を列挙するための効率的なアルゴリズムが開発された。
• 分類は、三価図の同型類（点あり・点なしを含む）と PSL₂(ℤ) の部分群の共轭類との間の全単射対応を確立する。
• 共轭、包含関係、正規性などの部分群の性質を、図の構造から直接特定するための再帰的基準が提供された。
• 本手法は、PSL₂(ℤ) が代表例である（ℤ/2ℤ ∗ ℤ/3ℤ）任意の2つの有限巡回群の自由積へ一般化可能である。