[論文レビュー] Asymptotic dimension in Bedlewo

G. Bell, Alexander Dranishnikov|ArXiv.org|Jul 27, 2005

Advanced Operator Algebra Research参考文献 18被引用数 36

ひとこと要約

本稿は、幾何的群論と粗幾何学における漸近次元理論の包括的サーベイを提示している。基礎的な定義を確立し、主要な同値性を証明し、限界群、性質A、ノヴィコフ予想への応用を示している。中心的な貢献は、漸近次元に対するヒューレヴィツ型定理の確立と、無限大の漸近次元をもつ群のための自己同型不変量としての次元成長関数の導入である。

ABSTRACT

This survey was compiled from lectures and problem sessions at the International Conference on Geometric Topology at the Mathematical Research and Conference Center in Bedlewo, Poland in July 2005.

研究の動機と目的

• 幾何トポロジーおよび幾何的群論の研究者を対象に、漸近次元理論の自己完結的入門を提供すること。
• 漸近次元のさまざまな定義の同値性を確立し、粗同値性のもとでの不変性を証明すること。
• 有限漸近次元が性質A やノヴィコフ高次符号数予想への影響をどのように及えるかを調査すること。
• 無限大の漸近次元をもつ有限生成群のための自己同型不変量としての次元成長関数を導入し、その分析を行うこと。
• 群の木への作用を用いたヒューレヴィツ型定理を適用し、限界群が有限漸近次元をもつことを示すこと。

提案手法

• 一様有界被覆と多重度条件を用いた漸近次元の定義を行い、r-非交差性および一様複体を用いた同等の定式化を提示する。
• 一様有界被覆の性質と和集合定理を用いて、漸近次元が粗不変量であることを証明する。
• ヒューレヴィツ型定理を用いて、漸近次元と群の木への作用、構成可能限界群との関係を関係づける。
• ヒグソン＝ロウの証明技法を応用し、有限漸近次元が有限生成群において性質Aを示すことを証明する。
• Lebesgue数が $ \theta $ である一様有界被覆の最小多重度として次元関数 $ d_X(\theta) $ を導入し、その自己同型不変性を証明する。
• 特に $ N $ がノルム的で $ \operatorname{asdim} G < \infty $ のとき、$ G \wr N $ のようなワルプ製品に対して、次元関数の多項式的境界を確立する。

実験結果

リサーチクエスチョン

• RQ1 漸近次元の同値な定式化は何か。また、Lebesgue被覆次元とはどのように関係するか？
• RQ2 有限漸近次元が性質A にどのように導くか。また、ノヴィコフ高次符号数予想の支持にどのように寄与するか？
• RQ3 無限大の漸近次元をもつ群を自己同型のもとで区別するために、次元成長関数 $ d_\Gamma(\lambda) $ を用いることができるか？
• RQ4 例えば $ \mathbb{Z} \wr \mathbb{Z} $ のようなワルプ製品の次元関数の成長率は何か。また、漸近次元とはどのように関係するか？
• RQ5 ヒューレヴィツ型定理は限界群にどのように適用可能か。また、それによってその漸近次元にどのような含意が生じるか？

主な発見

• $ \mathbb{Z}^n $ の漸近次元は $ n $ であり、$ \mathbb{Z} \wr \mathbb{Z} $ はすべての $ n $ に対して $ \mathbb{Z}^n $ を含むため、無限大の漸近次元をもつ。
• 限界群は、木への群の作用に適用したヒューレヴィツ型定理により、有限漸近次元をもつことが示された。
• 有限漸近次元をもつ有限生成群は、ヒグソンとロウにより証明されたように、性質Aを満たす。
• 次元関数 $ d_\Gamma(\lambda) $ は自己同型不変量であり、任意の有限生成群 $ \Gamma $ に対して $ d_\Gamma(\lambda) \leq e^{\alpha \lambda} $ を満たす。
• 有限生成群 $ G $ が $ \operatorname{asdim} G < \infty $ を満たすとき、ノルム的群 $ N $ とのワルプ製品 $ G \wr N $ に対して、ある $ n $ について $ d_{G \wr N}(\lambda) \leq \lambda^n $ が成り立つ。
• 次元関数が多項式的成長を示す、すなわち $ d_\Gamma(\lambda) \leq \lambda^m $ ならば、$ \Gamma $ は性質Aをもち、$ \Gamma $ に対してノヴィコフ高次符号数予想が成り立つ。