[論文レビュー] A generating set for the automorphism group of a graph product of abelian groups

Luis Jaime Corredor, Mauricio Gutiérrez|ArXiv.org|Nov 3, 2009

Geometric and Algebraic Topology参考文献 5被引用数 3

ひとこと要約

本稿では、ラベル付きグラフと4つの自己準同型族（ラベル付きグラフ自己準同型、因子自己準同型、適切に定義された支配的トランスベクション、部分共役）を用いて、有限生成アーベル群のグラフ積の自己準同型群の完全な生成集合を提供する。主な結果は、この集合が自己準同型群全体を生成することであり、部分集合は重要な部分群 Aut*G を生成することである。

ABSTRACT

We find a set of generators for the automorphism group of a graph product of finitely generated abelian groups entirely from a certain labeled graph. In addition, we find generators for the important subgroup of star-automorphisms defined in [7]. We follow closely the plan of M. Laurence's paper [11].

研究の動機と目的

• 有限生成アーベル群のグラフ積の自己準同型群の有限生成集合を特定すること。
• 部分群 Aut*G を特徴づけ、その生成集合を特定すること。
• ラウレンスらの枠組みを拡張し、有限アーベル群を含むグラフ積の自己準同型に適用すること。
• Aut(G) の有限提示の基礎を提供し、この文脈にホワイトヘッド自己準同型を一般化すること。

提案手法

• グラフ積 G = W(Γ, o) からラベル付きグラフ (Γ, o) を構成し、o が頂点に順序（∞ を含む）を割り当てる。
• 4つの自己準同型族を定義する：ラベル付きグラフ自己準同型、因子自己準同型、適切に定義された支配的トランスベクション、部分共役。
• 剛性の議論と中心化子構造を用いて、これらの4つの族が全自己準同型群 Aut(G) を生成することを証明する。
• 中心化子定理と巡回的に非可約な元の分解を用いて、自己準同型およびそのサポートへの作用を分析する。
• 部分群 Aut*G を定義し、その生成元がラベル付きグラフ自己準同型、因子自己準同型、スターツランスベクション、および部分共役であることを示す。
• ホワイトヘッド自己準同型をこの文脈に一般化し、それらが Aut(G) を生成することを示す。また、修正されたバージョンが Aut*G を生成することを示す。

実験結果

リサーチクエスチョン

• RQ1 有限生成アーベル群のグラフ積の自己準同型群の完全で明示的な生成集合は何か？
• RQ2 部分群 Aut*G はどのように特徴づけられ、どのような生成元を有するか？
• RQ3 ホワイトヘッド自己準同型はアーベル群のグラフ積に一般化可能か？また、それらは全自己準同型群を生成するか？
• RQ4 自己準同型は、巡回的に非可約な元およびそのサポートにどのように作用するか？
• RQ5 ラベル付きグラフ同型とトランスベクションは、自己準同型群の生成に果たす役割は何か？

主な発見

• ラベル付きグラフ自己準同型、因子自己準同型、適切に定義された支配的トランスベクション、および部分共役からなる集合 G は、全自己準同型群 Aut(G) を生成する。
• G の部分集合 G* — ラベル付きグラフ自己準同型、因子自己準同型、スターツランスベクション、および部分共役からなる — は、部分群 Aut*G を生成する。
• 自己準同型群 Aut(G) は、タイプ I および II のホワイトヘッド自己準同型によって生成され、修正されたタイプ II が Aut*G の生成元を提供する。
• 任意の自己準同型 θ ∈ Aut(G) の作用は、すべての v ∈ Γ に対して γ(v) ∈ csupp(θ(v)) を満たすグラフ自己準同型 γ によって決定される。
• G における中心化子の構造により、巡回的に非可約な元を基本形に分解でき、これは生成集合の正当性を示す上で不可欠である。
• 証明は、補グラフにおける最大クリークの数に関する帰納法に依拠し、最大性とサポート制約を用いて、自己準同型が最大クリークによって生成される部分群を保存することを示す。