[論文レビュー] A notion of geometric complexity and its application to topological rigidity

Erik Guentner, Romain Tessera+1 more|arXiv (Cornell University)|Aug 4, 2010

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

ひとこと要約

この論文は、幾何的不変量である有限分解複雑性（FDC）を導入し、メトリック空間および群のための位相的剛性を研究する。FDC を持つ閉じたアスpherical多様体の基本群をもつ場合、その普遍被覆は有界剛性を示し、多様体は安定的に剛性を示す。つまり、十分高い次元のユークリッド空間との積をとることで、ホモトピー同値な任意の多様体とホメオモーフィックになる。

ABSTRACT

We introduce a geometric invariant, called finite decomposition complexity (FDC), to study topological rigidity of manifolds. We prove for instance that if the fundamental group of a compact aspherical manifold M has FDC, and if N is homotopy equivalent to M, then M x R^n is homeomorphic to N x R^n, for n large enough. This statement is known as the stable Borel conjecture. On the other hand, we show that the class of FDC groups includes all countable subgroups of GL(n,K), for any field K, all elementary amenable groups, and is closed under taking subgroups, extensions, free amalgamated products, HNN extensions, and direct unions.

研究の動機と目的

• 大規模幾何における位相的剛性を分析するための幾何的不変量である有限分解複雑性（FDC）を定義する。
• 閉じたアスpherical多様体の普遍被覆が有界剛性を示す条件を確立する。
• 基本群が有限分解複雑性をもつ多様体に対して、安定的Borel予想を証明する。
• FDC を持つ群のクラスを特徴付け、主要な群論的演算に関して閉じていることを示す。
• 剛性問題において、動的法則の代わりに粗幾何的アプローチを提供する。

提案手法

• 有限漸近次元にインspiredされた大規模幾何的性質として、有限分解複雑性（FDC）を定義し、メトリック空間を単純な部分に段階的に分解可能であることを可能にする。
• FDC を用いて、FDC を持つ閉じたアスpherical多様体の基本群をもつ場合、任意のホモトピー同値が、普遍被覆の間で有界ホモトピー同値であり、かつ有界ホモトピー的に有界ホメオモーフィズムに同値であることを証明する。
• FDC を用いて、有界幾何をもつメトリック空間と FDC をもつ空間において、有界Farrell-Jones同型予想と有界Borel予想を確立する。
• FDC が部分群、拡張、自由な結合積、HNN 拡張、および直和に関して保存されることを示す。
• FDC を持つ群には、任意の体上のすべての可算線形群、すべての双曲群、すべての初等的可換群、およびほとんど連結リー群のすべての可算部分群が含まれることを示す。
• FDC の仮定の下で、L-理論同型予想を解析するため、有界圏における制御された代数およびK理論的手法を用いる。

実験結果

リサーチクエスチョン

• RQ1 閉じたアスpherical多様体の基本群にどのような幾何的条件が満たされると、位相的剛性が成立するか？
• RQ2 動的性質の代わりに大規模幾何的不変量を用いて、安定的Borel予想を確立できるか？
• RQ3 どのような群のクラスが有限分解複雑性を満たし、標準的な群の構成に関してこのクラスは閉じているか？
• RQ4 有限分解複雑性は、有限漸近次元や他の幾何的不変量とどのように関係しているか？
• RQ5 FDC が、普遍被覆の有界剛性および多様体の安定的剛性をどれほど強く示唆するか？

主な発見

• 閉じたアスpherical多様体の基本群が有限分解複雑性をもつならば、その普遍被覆は有界剛性を示す。すなわち、任意の有界ホモトピー同値は、有界ホモトピー的に有界ホメオモーフィズムに同値である。
• FDC を持つ基本群をもつ閉じたアスpherical多様体に対して、安定的Borel予想が成立する。すなわち、十分大きな $ n $ に対して、$ M \times \mathbb{R}^n $ は $ M $ と $ N $ がホモトピー同値であるとき、$ N \times \mathbb{R}^n $ とホメオモーフィックである。
• 有限分解複雑性をもつ群のクラスには、任意の体上のすべての可算線形群、すべての双曲群、すべての初等的可換群、およびほとんど連結リー群のすべての可算部分群が含まれる。
• 有限分解複雑性は、部分群、拡張、自由結合積、HNN 拡張、および直和に関して保存される。
• 有界幾何をもつメトリック空間と有限分解複雑性をもつ空間において、有界Farrell-Jones $ L $-理論同型予想と有界Borel同型予想が成立する。
• FDC 条件は、剛性を証明する際の動的法則の代わりに粗幾何的代替手段を提供し、$ K $-理論および $ L $-理論の同型予想への応用がある。