[論文レビュー] On the concept of fractality for groups of automorphisms of a regular rooted tree

Jone Uria–Albizuri|arXiv (Cornell University)|Apr 20, 2016

Graph theory and applications被引用数 10

ひとこと要約

この論文は、正則なルート付き木の自己同型群の部分群における3つの階層的フラクタル性のレベルである『フラクタル』、『強くフラクタル』、および『超強くフラクタル』を明確に定義し、区別する。GGS群とハイアナ・タワーズ群を用いた具体的な例の構成により、これらの概念が同値でないことを証明している。具体的には、d ≥ 3 のとき、フラクタルだが強くフラクタルでない群、強くフラクタルだが超強くフラクタルでない群、および超強くフラクタルな群の存在を示している。主な貢献は、文献における曖昧さを解消し、セクション自己準同型におけるレベル安定化子の像を分析するための明確な反例と道具を提供することにある。

ABSTRACT

The aim of this article is to discuss and clarify the notion of fractality for subgroups of the group of automorphisms of a regular rooted tree. For this purpose we define three types of fractality. We show that they are not equivalent, by giving explicit examples. Furthermore we present some tools that are helpful in order to determine the fractality of a given group.

研究の動機と目的

• フラクタル性、強くフラクタル性、超強くフラクタル性の群の同値性について、文献に混乱が生じている問題を解消すること。
• d ≥ 3 の場合に、フラクタル性が強くフラクタル性を含まないことを示すために、明確な反例を構成すること。
• セクション自己準同型 ψ_u におけるレベル安定化子の像を分析するための道具を提供すること。
• 自己同型群がすべてのレベルで再帰的な自己複製的性質を示すための条件を明確にすること。
• 最初のグリゴルチキン群が、強くフラクタルであることからの含意ではなく、すべてのレベルで直接的検証によって、超強くフラクタルであることを確立すること。

提案手法

• 3つの明確に区別されるフラクタル性の概念を定義する：フラクタル（すべての u に対して ψ_u(st_G(u)) = G）、強くフラクタル（すべての u ∈ L_1 に対して ψ_u(st_G(L_1)) = G）、超強くフラクタル（すべての n と u ∈ L_n に対して ψ_u(st_G(L_n)) = G）。
• GGS群（グリゴルチキン群やギュプタ＝シドキー群の一般化）を、自己同型的かつレベル安定化子構造がよく理解されているため、例の構成の枠組みとして用いる。
• セクション自己準同型 ψ_n: st_G(L_n) → G × ⋯ × G（d^n 回）を用いて、レベル安定化子の像を分析する。
• 群の表示と交換子部分群を用いて安定化子の像を推定し、特に ψ_x(G') = ⟨b^{-1}a⟩^G により非全射性を示す。
• GGS群に関する既知の結果（n ≥ 3 のとき ψ(st_G(L_n)) = st_G(L_{n-1}) × ⋯ × st_G(L_{n-1})）を活用し、再帰的性質を検証する。
• 最初のグリゴルチキン群における超強くフラクタル性を、レベル n = 1, 2, 3 におけるセクション像の直接計算により検証し、すべての生成元が実現されることを示す。

実験結果

リサーチクエスチョン

• RQ1 フラクタル性の群は、必然的に強くフラクタル性をもつのか？もしそうでないなら、d ≥ 3 の場合に反例を構成できるか？
• RQ2 強くフラクタル性であることは、超強くフラクタル性と同値なのか？あるいは、すべてのレベルで条件を満たさないまま強くフラクタル性を有する群は存在するか？
• RQ3 セクション自己準同型 ψ_u におけるレベル安定化子の像を、非全射性を明らかにするように推定または評価できるか？
• RQ4 最初のグリゴルチキン群は超強くフラクタル性を満たすのか？もしそうなら、これは強くフラクタルであることからの含意なのか、それとも独立した性質なのか？
• RQ5 GGS群の定義ベクトルにどのような条件が課されると、超強くフラクタル性が保証されるか？

主な発見

• d ≥ 3 のとき、ハイアナ・タワーズ群の部分群に、フラクタルだが強くフラクタルでないものが存在し、フラクタル性が強くフラクタル性を含意しないことを示している。
• 定義ベクトル e が e_1 + ⋯ + e_{p-1} ≡ 0 mod p を満たすGGS群は超強くフラクタルであり、このような群のクラスを提供している。
• 最初のグリゴルチキン群は超強くフラクタルであり、これは強くフラクタルであることからの含意ではなく、レベル1, 2, 3におけるセクション像の直接計算により、すべての生成元が実現されることで確認されている。
• ハイアナ・タワーズ部分群における群 G = ⟨a,b⟩ はフラクタルだが超強くフラクタルでない。ψ_u(st_G(L_2)) = ⟨b^{-1}a⟩^G ≠ G であり、G/G' における像が巡回群であることから示されている。
• ハイアナ・タワーズ部分群における ψ_x(st_G(L_2)) の像は ⟨[a,b],[b,a]⟩^G = G' であり、さらなる解析により ψ_u(st_G(L_2)) = ⟨b^{-1}a⟩^G ≠ G であることが示され、非超強くフラクタル性が証明された。
• この論文は、強くフラクタル性が超強くフラクタル性を含意しないことを示しており、GGS群の例により、強くフラクタル性を満たすが、すべての n に対して ψ_u(st_G(L_n)) = G を満たさない群が存在することを示している。