[論文レビュー] Fixed point properties in the space of marked groups

Yves Stalder|arXiv (Cornell University)|Mar 18, 2008

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

ひとこと要約

本稿では、超限極限を用いた一様なアプローチにより、カジダンの性質 (T) および関連する固定点性質 (FH, FℝA) が、マークされた有限生成群の空間において開集合を定義することを証明する。等長群作用を伴う距離空間の系列の超限極限をとることで、極限群が極限空間上で一様に作用することを示し、グロモフの一般枠組みと超限極限を用いて、これらの性質の開性を証明する。

ABSTRACT

We explain, following Gromov, how to produce uniform isometric actions of groups starting from isometric actions without fixed point, using common ultralimits techniques. This gives in particular a simple proof of a result by Shalom: Kazhdan's property (T) defines an open subset in the space of marked finitely generated groups.

研究の動機と目的

• マークされた有限生成群の空間におけるカジダンの性質 (T) の開性を、統一的かつ概念的な証明を提供すること。
• 同じコア技術を用いて、性質 (FH) や性質 (FℝA) を含む他の固定点性質へこの戦略を拡張すること。
• 等長群作用を伴う距離空間の超限極限が、極限空間上で一様作用をもたらすことを示し、固定点行動の転送を可能にすること。
• 超限極限および一般的な極限構成が、幾何学的群論において、特に固定点行動によって定義される群の性質に関連して果たす役割を明確にすること。

提案手法

• グロモフの超限極限構成を用い、等長群作用を伴う距離空間の系列から、極限群が作用する極限空間へと移行する。
• 固定点を持たない等長群作用を伴う完備距離空間（ヒルベルト空間、ℝ-木）の系列に超限極限構成を適用する。
• 収束を制御し、極限作用の一様性を保証するために、超限極限の前に距離空間のスケーリングを実施する。
• 超限極限が重要な幾何的性質（測地的完備性および 0-双曲性）を保存することを活用し、極限空間が ℝ-木またはヒルベルト空間のままであることを保証する。
• 非主超フィルターにおける不変性を活用し、極限群がマークされた群の極限の代数的構造を引き継ぐことを保証する。
• 各群が距離空間上で固定点を持たない一様作用をもつ収束するマークされた群の系列に対して、極限群が空間の超限極限上で一様に作用することを応用する。

実験結果

リサーチクエスチョン

• RQ1 マークされた有限生成群の空間に、固定点性質（性質 (T) など）が開集合であるような位相的構造が存在するか？
• RQ2 固定点を持たない一様作用を伴う等長群作用の系列から、極限距離空間上の一様作用を構成できるか？
• RQ3 ℝ-木の族は超限極限に関して閉じているか？ そして、これは性質 (FℝA) の挙動にどのように影響するか？
• RQ4 同じ一般的手法を用いて、マークされた群の空間における複数の固定点性質の開性を証明できるか？

主な発見

• カジダンの性質 (T) は、超限極限技術を用いて、マークされた有限生成群の空間において開集合を定義することが示された。
• 性質 (FℝA) — すなわち、完備 ℝ-木上への作用に関する固定点性質 — についても、マークされた群の空間において開集合を定義する。
• 証明は、ℝ-木の超限極限が再び ℝ-木であるという事実に依拠しており、固定点解析に必要な幾何的構造が保存されることを保証する。
• 極限群は超限極限空間上で一様に作用しており、これは作用が強い意味で「ほぼ」固定点を持つことを意味する。
• この方法により、性質 (FH) を含むさまざまな固定点性質の開性を証明する共通の枠組みが得られ、それらがすべて同じ超限極限構成に還元されることを示した。
• このアプローチは、シャロムによる性質 (FH) の結果を含め、従来の証明を一般化・簡略化し、より広範な幾何的・論理的構造に統合した。