[論文レビュー] Svarc-Milnor Lemma: a proof by definition

N. Brodskiy, Jerzy Dydak+1 more|ArXiv.org|Mar 21, 2006

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

ひとこと要約

この論文は、『大規模距離』（ls-距離）という新しい概念を用いて、共通の性質を再定義することで、Švarc-Milnor補題を再証明している。ls-距離では、距離がゼロである点の組み合わせは有限個に限られる。著者らは、長さ空間上に等長作用を真にかつコンパクトに施す群が、群と空間との間で粗同値を誘導することを示しており、その結果、群の有限生成性と群の粗同値性が、この枠組みのもとで自動的に得られる。

ABSTRACT

The famous Švarc-Milnor Lemma says that a group $G$ acting properly and cocompactly via isometries on a length space $X$ is finitely generated and induces a quasi-isometry equivalence $g o g\cdot x_0$ for any $x_0\in X$. We redefine the concept of coarseness so that the proof of the Lemma is automatic.

研究の動機と目的

• 大規模距離に基づく共通性の新しい定義を用いて、Švarc-Milnor補題を再フレームする。
• 真に、コンパクトに等長作用を施す群が、可算群に自然に粗構造を誘導することを示す。
• 群の粗幾何における代数的（語の距離）および幾何的（群作用）アプローチを統合する。
• 標準的なŠvarc-Milnorの結果が、ls-距離の新しい定義から自動的に導かれるようにすること。
• すべての真で左不変なls-距離が、生成集合に依存せず、粗同値であることを示すこと。

提案手法

• 大規模距離（ls-距離）の概念を導入し、互いに距離がゼロである点の組み合わせは有限個に限られる。
• 群における真で左不変なls-距離を定義し、その存在が安定化部分群の有限性および軌道の離散性という有限性条件を満たす場合に限ることを示す。
• 軌道写像 $ g \mapsto g \cdot x_0 $ を用いて、空間 $ X $ からの距離を群 $ G $ に引き戻し、$ d_G(g,h) = d_X(g\cdot x_0, h\cdot x_0) $ を定義する。
• この引き戻しにより、$ x_0 $ の安定化部分群が有限で、軌道が位相的に離散的であり、有界な距離的離散的部分集合が有限であるとき、かつそのときに限り、真のls-距離が得られることを証明する。
• 真で左不変なls-距離を備えた群間のls-一様写像は、群の差に関する有限近傍条件を満たす写像に対応することを確立する。
• 同じ群に二つの真で左不変なls-距離が与えられたとき、恒等写像が粗同値であることを示し、したがって、すべてのこのような距離が同じ粗構造を誘導することを示す。

実験結果

リサーチクエスチョン

• RQ1 共通性を大規模距離に基づいて再定義することで、Švarc-Milnor補題をより自然に導出できるか？
• RQ2 空間上に等長作用を施す群作用が、群に真で左不変なls-距離を誘導するのはどのような条件下か？
• RQ3 真でコンパクトに等長作用を施す群作用が誘導する粗構造は、語の距離からのものと等価か？
• RQ4 可算群における代数的および幾何的粗構造の構成法は、どのように関係しているか？
• RQ5 可算群に存在するすべての真で左不変なls-距離は、粗同値か？

主な発見

• 長さ空間 $ X $ 上に真にかつコンパクトに等長作用を施す群 $ G $ は、誘導されたls-距離が距離的に連結であることから、有限生成である。
• 軌道写像 $ g \mapsto g \cdot x_0 $ は、$ G $ と $ X $ の間で粗同値である。これにより、群は空間と粗同値であり、したがって群は空間と粗等長である。
• 群作用の真性は、$ X $ にやや強い位相的仮定を課したもとでは、誘導された $ d_G $ が真のls-距離であることと同値である。
• 同じ群に二つの真で左不変なls-距離が与えられたとき、恒等写像は粗同値である。これは、粗構造が生成集合に依存しないことを示している。
• 任意の漸近次元がゼロである可算群は、直和 $ \bigoplus_{i=1}^\infty \mathbb{Z}_{n_i} $ と粗同値であり、このような群は $ \mathcal{M}^0 $、つまり0次元のカントール集合の類似物と粗同値である。
• 空間 $ \mathcal{M}^0 $ は、有界な幾何的性質と漸近次元がゼロである真の距離空間に対して普遍的であり、$ \bigoplus_{i=1}^\infty \mathbb{Z}_2 $ と粗同値である。