[論文レビュー] On commuting elements and embeddings of graph groups and monoids

Mark Kambites|ArXiv.org|Jan 3, 2006

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

ひとこと要約

本稿では、グラフ群とモノイドの可換性に関する性質を分析することで、それらの埋め込みを調査している。その結果、定義するグラフに弦のない4サイクルが含まれる場合に限り、グラフ群が非アーベル自由群の直積を含むことが示された。主な貢献は、このような埋め込みが発生する条件の特徴付けであり、これはある予想を解決し、右アングルアービン群とトレースモノイドにおける部分群属問題の決定可能性の境界を明確にした。

ABSTRACT

We study commutation properties of subsets of right-angled Artin groups and trace monoids. We show that if Gamma is any graph not containing a four-cycle without chords, then the group G(Gamma) does not contain four elements whose commutation graph is a four-cycle; a consequence is that G(Gamma) does not have a subgroup isomorphic to a direct product of non-abelian free groups. We also obtain corresponding and more general results for monoids.

研究の動機と目的

• 特定の可換性関係によって定義される部分構造が、グラフ群やモノイドに埋め込まれる条件を特定すること。
• グラフ群が非アーベル自由群の直積を含むのは、そのグラフに弦のない4サイクルが含まれる場合に限ることを示す予想を解決すること。
• グラフの埋め込みと代数的構造（群・モノイド）の埋め込みの関係を明らかにすること、特にグラフが埋め込まれないが代数的構造は埋め込まれるような場合の関係を明確にすること。
• 右アングルアービン群とトレースモノイドにおける部分群属問題の決定可能性を調査すること、特に弦のない4サイクルとの関係を強調すること。
• 埋め込み結果の限界を確立し、モノイドの結果が群の場合とは異なる方法で最良であることを示すこと。

提案手法

• グラフ群やモノイド内の代数的関係をモデル化するため、生成子の部分集合の可換性グラフを用いる。
• 次数が低い頂点 e を、2つの新しい頂点 e₀ と e₁ に置き換えることで、グラフ Γ をより大きなグラフ Ω に埋め込むグラフ論的構成を適用する。このとき、辺の関係を保存する。
• M(Γ) の生成子を M(Ω) の語に写像するモノイド準同型 τ: U(Γ)* → U(Ω)* を構築し、定義関係を保存する。
• 構築されたグラフ Ω における頂点の次数と隣接関係に関する技術的議論を通じて、誘導された群準同型 G(Γ) → G(Ω) の単射性を証明する。
• 誘導部分グラフと次数の最大性の概念を用いて、Γ が Ω に埋め込まれないにもかかわらず G(Γ) は G(Ω) に埋め込まれることを示す。
• 既知の結果（Mikhailova の構成による自由群の直積における部分群属問題の非決定可能性）と、弦のないサイクルを含まない群における決定可能性（Kapovich-Weidmann-Myasnikov の結果）を活用する。

実験結果

リサーチクエスチョン

• RQ1 グラフ群 G(Γ) が非アーベル自由群の直積と同型な部分群を含むのは、どのような条件下か？
• RQ2 グラフモノイド M(Γ) が、可換性グラフが Γ に同型となる部分集合を持つのはいつか？ また、そのような状況が、Γ が定義するグラフに埋め込まれる場合にのみ可能となるのはいつか？
• RQ3 グラフの埋め込みが存在しないにもかかわらず、グラフ群が別のグラフ群に埋め込まれる可能性はあり、そのような場合の条件は何か？
• RQ4 弦のない4サイクルは、グラフ群における部分群構造と属問題の決定可能性を決定づける役割を果たすか？
• RQ5 グラフモノイドの埋め込み特性は、グラフ群と比べてどう異なるか？ 特に、グラフの埋め込みが存在しない場合にその差異は何か？

主な発見

• グラフ群 G(Γ) が非アーベル自由群の直積を部分群として含むのは、Γ が弦のない4サイクルを含む場合に限る。
• Γ に次数が |Γ|−3 以下の頂点が存在し、かつ |Γ|−3 および |Γ|−2 の次数の頂点を含まない場合、グラフの埋め込み Γ → Ω が存在しないにもかかわらず、群の埋め込み G(Γ) → G(Ω) を構築できる。
• グラフモノイドにおいて、M(Ω) 内に可換性グラフが Γ に同型となる部分集合が存在するのは、Γ が定義するグラフ Ω に埋め込まれる場合に限る（ある条件下で）。
• モノイドの結果は最良である：ランク1または2の自由モノイドの直積でないすべてのグラフモノイドは、対応するグラフの埋め込みがないグラフモノイドに埋め込むことができる。
• Γ に弦のない4サイクルが存在しない場合、G(Γ) における部分群属問題は決定可能である。これは、他の長さの弦のないサイクルが存在する場合でも同様に成り立つ。
• 本稿は、Batty と Goda が提起した予想を解決した。すなわち、グラフ群における非アーベル直積部分群の存在には、弦のない4サイクルの存在が必要である。