[論文レビュー] Strongly t-logarithmic t-generating sets: Geometric properties of some soluble groups

Andrew D. Warshall|ArXiv.org|Aug 20, 2008

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

ひとこと要約

本稿では、$ℤ[t,t^{-1}]$-加群に対して強力な$t$-対数的$t$-生成集合の概念を導入し、非アーベルバウムスラッグ＝ショルスターダムの群を含む広範な可解群のクラスが、特定の生成集合に関してほとんど凸でなく、無限大のデッドエンド深さを示すことを証明する。主な貢献は、モジュール構造に基づく幾何的基準であり、これにより非ほとんど凸性と無限大の深さが保証され、ラムプライトヤーや可解群に関する先行研究が拡張される。

ABSTRACT

We introduce the concept of a strongly t-logarithmic t-generating set for a Z[t,t^{-1}]-module, which enables us to prove that a large class of soluble groups are not almost convex. We also prove some results about dead-end depth.

研究の動機と目的

• 任意の生成集合に関して可解群がほとんど凸でない条件を幾何学的に確立すること。
• ラムプライトヤー群やバウムスラッグ＝ショルスターダム群のような群における既知の無限大のデッドエンド深さの結果を、より広範な可解群のクラスへと拡張すること。
• $\mathbb{Z}[t,t^{-1}]$-加群における強力な$t$-対数的$t$-生成集合を定義・分析し、群の幾何学的性質を研究するための道具とする。
• 無限大のデッドエンド深さの性質が群そのものに内在するものではなく、生成集合の選択に依存することを示すこと。
• 非アーベルバウムスラッグ＝ショルスターダム群を含む特定の可解群が、無限大の深さと非ほとんど凸性の両方を満たす条件を満たすことを証明すること。

提案手法

• $\mathbb{Z}[t,t^{-1}]$-加群の有限部分集合$A$における$t$-語とは、$a_i \in A$を満たす有限形式的和$\sum t^i a_i$として定義される。
• 強力な$t$-対数的$t$-生成集合の概念を導入し、語表現における$L^1$-ノルムが小さい任意の加群の元は、生成集合の有限固定部分集合からの文字を含むことを保証する。
• $T$を双曲的自己同型とし、$\bigcup T^i L = K$かつ$\bigcap T^i L = \{0\}$を満たすフルランク格子$L$を備えた$\mathbb{Z}[t,t^{-1}]$-加群の構造を利用する。
• 補題6.14を適用し、非ゼロ要素を表現する長さが有界な$t$-語は、生成集合の有限部分集合$C$（$K$, $T$, $A$, $l$に依存）からの文字を含むことを示す。
• 語長$l$に関する帰納法を用いて、固定された$k \in K - \{0\}$を表現する長さ$\leq l$のすべての最小$t$-語が、$l$に依存しない有限集合$C$からの文字を含むことを示す。
• 双曲的$t$作用を有する商加群$K/K_d$および$K/K_c$へのモジュールの分解を活用し、既知の有界語表現に関する結果が適用可能な場合に問題を還元する。

実験結果

リサーチクエスチョン

• RQ1 可解群の$\mathbb{Z}[t,t^{-1}]$-加群およびその生成集合に関して、群がほとんど凸でなくなる条件は何か？
• RQ2 特定の生成集合の選択により、可解群における無限大のデッドエンド深さを保証できるか？
• RQ3 無限大のデッドエンド深さの性質は生成集合の選択に依存するものか、それとも群そのものに内在する性質か？
• RQ4 非アーベルバウムスラッグ＝ショルスターダム群は、非ほとんど凸性と無限大の深さを示す幾何的条件を満たすか？
• RQ5 $\mathbb{Z}[t,t^{-1}]$-加群の収縮方向および拡張方向を有する構造を用いて、長さが有界な語表現を制御できるか？

主な発見

• 非アーベルバウムスラッグ＝ショルスターダム群を含む広範な可解群のクラスは、任意の生成集合に関してほとんど凸でない。
• 強力な$t$-対数的$t$-生成集合の存在は、その生成集合に関して群が無限大のデッドエンド深さを持つことを示唆する。
• 固定された$k \in K - \{0\}$および語長$l$に対して、$k$を長さ$\leq l$で表現するすべての最小$t$-語は、$K$, $T$, $A$, $k$, $l$に依存する有限集合$C$からの文字を含む。
• 生成集合が最小でない場合でも、強力な$t$-対数的条件を満たしていれば結果は成り立つ。
• 本稿では、ラムプライトヤー群や可解バウムスラッグ＝ショルスターダム群に対して、無限大の深さをもたらす生成集合を構成するが、同じ群に対しては他の生成集合では有界な深さが得られる場合がある。
• 証明により、無限大の深さの性質が群そのものに内在するものではないことが示され、同じ群に対して有界な深さをもたらす生成集合が存在することが示された。