[論文レビュー] Kurosh rank of intersections of subgroups of free products of orderable groups

Yago Antolín, Armando Martino+1 more|arXiv (Cornell University)|Sep 1, 2011

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

ひとこと要約

この論文は、右順序可能群の自由積における2つの部分群の交差の削減 Kurosh ランクに対する鋭い上界を確立し、共役された交差の削減 Kurosh ランクの二重コセットに関する和が、部分群の削減 Kurosh ランクの積によって上から抑えられることを証明している。結果として、Bass-Serre 理論と Dicks の Mineyev の Hilbert モジュール法の簡略化証明を用いて、強化された Hanna Neumann 猜想を右順序可能群の自由積へ一般化した。

ABSTRACT

We prove that the reduced Kurosh rank of the intersection of two subgroups $H$ and $K$ of a free product of right-orderable groups is bounded above by the product of the reduced Kurosh ranks of $H$ and $K$. In particular, taking the fundamental group of a graph of groups with trivial vertex and edge groups, and its Bass-Serre tree, our Theorem becomes the desired inequality of the usual Strengthened Hanna Neumann conjecture for free groups.

研究の動機と目的

• Kurosh ランク枠組みを拡張することで、右順序可能群の自由積における強化された Hanna Neumann 猜想を一般化すること。
• このような群における部分群の交差の削減 Kurosh ランクに対する鋭い上界を確立すること。
• 二重コセットにおける $ H^g \cap K $ の削減 Kurosh ランクが、$ H $ と $ K $ の削減 Kurosh ランクの積によって上から抑えられることを示すこと。
• 群の木への作用と Dicks の幾何的アプローチを用いて、自由積における Kurosh ランクの上限に関する先行研究を統合・拡張すること。

提案手法

• G-木 $ T $ が辺安定化が自明であるとき、部分群 $ H $ の Kurosh ランク $ \kappa_T(H) $ を Bass-Serre 理論を用いて定義する。
• 削減 Kurosh ランクを $ \overline{\kappa}_T(H) = \max\{0, \kappa_T(H) - 1\} $ として定義し、自由群の古典的ランクと整合させる。
• Mineyev の Hilbert モジュール証明の Dicks の簡略化版を適用し、高度な関数解析を避けても重要な不等式を保持する。
• 標準的同型を確立する：$ \overline{\kappa}_T(H) = |E\mathcal{T}_H / H| $、すなわち Dicks の $ H $-木 $ \mathcal{T}_H $ の辺における $ H $-軌道の数。
• 辺集合への単射写像を構成する：$ \bigcup_{g \in K\backslash G/H} E\mathcal{T}_{H^g \cap K}/(H^g \cap K) \to E\mathcal{T}_H/H \times E\mathcal{T}_K/K $、自明な辺安定化の性質を活用する。
• この写像の単射性を用いて不等式 $ \sum_{g \in K\backslash G/H} \overline{\kappa}_T(H^g \cap K) \leq \overline{\kappa}_T(H) \cdot \overline{\kappa}_T(K) $ を導出する。

実験結果

リサーチクエスチョン

• RQ1 強化された Hanna Neumann 猜想は、右順序可能群の自由積へ拡張可能か？
• RQ2 自由積における部分群の交差の削減 Kurosh ランクは、部分群の削減 Kurosh ランクの積によって上から抑えられるか？
• RQ3 Dicks の木における辺軌道を通じて、削減 Kurosh ランクの幾何的特徴づけは可能か？
• RQ4 Mineyev の Hilbert モジュール法は、Bass-Serre 理論と Dicks の枠組みを用いて自由積へ適応可能か？

主な発見

• 二重コセット代表元 $ g \in K\backslash G/H $ における交差 $ H^g \cap K $ の削減 Kurosh ランクの和は、$ H $ と $ K $ の削減 Kurosh ランクの積によって上から抑えられる。
• 任意の右順序可能群の自由積が、辺安定化が自明な木に作用する場合、不等式 $ \sum_{g \in K\backslash G/H} \overline{\kappa}_T(H^g \cap K) \leq \overline{\kappa}_T(H) \cdot \overline{\kappa}_T(K) $ が成り立つ。
• 群 $ G $ が自由群で $ T $ がその Bass-Serre 木であるとき、削減 Kurosh ランクは標準的群ランクと一致するため、結果は強化された Hanna Neumann 猜想を回復する。
• 削減 Kurosh ランク $ \overline{\kappa}_T(H) $ は、Dicks の $ H $-木 $ \mathcal{T}_H $ における $ H $-軌道の辺の数に等しく、幾何的かつ組合せ的特徴づけを提供する。
• この証明は、自明な辺安定化と二重コセットの構造のおかげで、Dicks 木の辺軌道集合間の単射写像に依存する。
• Kurosh ランクが無限大であっても、$ 0 \cdot \infty = 0 $ の慣習に従えば、すべての部分群に対してこの結果が成り立つ。