[論文レビュー] The Asymptotic Dimension of Box Spaces for Elementary Amenable Groups

Martin Finn-Sell, Jianchao Wu|arXiv (Cornell University)|Aug 20, 2015

Advanced Operator Algebra Research参考文献 9被引用数 3

ひとこと要約

本稿では、初等アーベル的で再帰的に有限な群のボックス空間の漸近次元が、そのヒルシュ長に上から有界であることを確立している。特に、ヴァーチャル・ポリクライシック群やそれらの有限アーベル群とのワルフィング積を含む広いクラスの群に対しては等号が成り立つ。著者らは群の拡大と半共役分離族に基づく帰納的技法を開発し、群の拡大における漸近次元の下位加法性を証明することで、このような群のボックス空間に対する鋭い境界を得た。

ABSTRACT

We show that the asymptotic dimension of box spaces behaves (sub)additively with respect to extensions of groups. As a result, we obtain that for an elementary amenable group, the asymptotic dimension of any of its box spaces is bounded above by its Hirsch length. This bound is shown to be an equality for a large subclass of groups including all virtually polycyclic groups.

研究の動機と目的

• 初等アーベル的で再帰的に有限な群のボックス空間の漸近次元に対する上界を確立すること。
• この上界が、ヴァーチャル・ポリクライシック群や有限アーベル群とのワルフィング積を含む広いクラスの群に対して鋭いものであることを証明すること。
• 群の拡大を用いたボックス空間の漸近次元を推定する一般化された帰納的技法を開発すること。
• 正規部分群に限定しない粗幾何的取り扱いを一般化するために、半共役分離条件を導入すること。

提案手法

• 著者らは、有限指数部分群の族が半共役分離的であるという概念を導入し、これによりボックス空間上の粗い構造がうまく制御されることを保証した。
• 彼らは下位加法性の性質を証明した：拡大群のボックス空間の漸近次元は、核群と商群の漸近次元の和によって上から抑えられる。
• この手法は、粗いファイブレーションの構成と、商写像の粗い幾何的性質を用いて、ファイバーの漸近次元を制御することに依存している。
• 初等アーベル的群のヒルシュ長のフィルトレーションに沿って超限帰納法を適用し、ボックス空間の漸近次元を帰納的に上界づけた。
• 離別な有限商の直和に重み付き距離を導入する計量分解技術を用いた。
• 鍵となる技術的道具は、Lemma 4.1 と Theorem 2.5 であり、これらにより粗いファイバーの制御が可能になり、下位加法性の推定が可能になった。

実験結果

リサーチクエスチョン

• RQ1 初等アーベル的で再帰的に有限な群のボックス空間の漸近次元は何か？
• RQ2 群の拡大においてボックス空間の漸近次元はどのように振る舞うか？
• RQ3 ヒルシュ長は、初等アーベル的群のボックス空間の漸近次元に対する鋭い上界か？
• RQ4 どのクラスの群に対してボックス空間の漸近次元がヒルシュ長に等しくなるか？
• RQ5 正規部分群に制限しないでボックス空間の粗い構造を制御することは可能か？

主な発見

• 任意の $G \in \mathbf{Elem_{RF}}$ に対して、完全なボックス空間 $\square_{\mathrm{F}}G$ の漸近次元は、ヒルシュ長 $h(G)$ によって上から抑えられる。
• ヴァーチャル・ポリクライシック群およびそれらの有限アーベル群とのワルフィング積に対しては、ボックス空間の漸近次元はヒルシュ長に等しい。
• 群の拡大においてボックス空間の漸近次元は下位加法的である：$\mathrm{as\dim}(\square_{\mathrm{F}}G) \leq \mathrm{as\dim}(\square_{\mathrm{F}}N) + \mathrm{as\dim}(\square_{\mathrm{F}}K)$ が $1 \to N \to G \to K \to 1$ に対して成り立つ。
• 同じ下位加法性は完全な正規ボックス空間 $\square_{\mathrm{f}}G$に対しても成り立ち、同じ上界が得られる。
• 任意の半共役分離族 $\sigma$ に対して、$\mathrm{as\dim}(\square_{\sigma}G) \leq h(G)$ が成り立つ。
• $F$ を有限アーベル群、$H$ をヴァーチャル・ポリクライシック群とするとき、$G = F \wr H$ に対して $\mathrm{as\dim}(\square_{\sigma}G) = h(G) = h(H)$ が成り立つ。