[論文レビュー] Rough CAT(0) spaces

Stephen M. Buckley, Kurt Falk|arXiv (Cornell University)|Apr 11, 2011

Geometric and Algebraic Topology参考文献 15被引用数 6

ひとこと要約

この論文は、Gromov超曲率空間とCAT(0)空間を統一的に扱う枠組みとして、CAT(0)比較不等式に加法的誤差を許容するrough CAT(0)空間を導入し、その性質を調査する。著者らは2つの主要な変種—一様誤差束のrCAT(κ)と、関数に依存する誤差のrCAT(κ;*)—を定義し、それらの同値性を証明。これらの空間は豊富な境界理論を備え、積や貼り合わせを用いた非自明な例を構成。さらに、ノルム線形空間がrough CAT(0)であるならば、実際にCAT(0)でなければならないことを示した。

ABSTRACT

We investigate various notions of rough CAT(0). These conditions define classes of spaces that strictly include the union of all Gromov hyperbolic length spaces and all CAT(0) spaces.

研究の動機と目的

• Gromov超曲率空間とCAT(0)空間を含む非正曲率の統一的理論を構築すること。
• CAT(0)比較条件に加法的誤差項を導入することで、rough CAT(0)空間を定義し、その解析を行うこと。
• rough CAT(0)空間の幾何学的・位相的性質（特に測地線の一意性と境界挙動）を調査すること。
• 積や等長貼り合わせを用いて、CAT(0)でもGromov超曲率でもない非自明なrough CAT(0)空間の例を構成すること。
• ノルム線形空間がrough CAT(0)条件を満たすならば、実際にCAT(0)でなければならないことを示し、このクラスに非CAT(0)の例が存在しないことを排除すること。

提案手法

• h-短い線分を用い、三角形のサイズに依存するhを用いて、CAT(0)比較不等式に一様な加法的誤差を導入することで、rCAT(κ)空間を定義する。
• より柔軟なrCAT(κ;*)の変種を導入し、誤差束が三角形の頂点に依存する任意の正関数である場合を扱い、rCAT(κ)と同値であることを証明する。
• 弱いおよび非常に弱いrCAT(0)条件を確立し、非常に弱い条件がKasparovとSkandalisのbolicity条件と同値であることを示す。
• ノルム線形空間の拡大不変性を用いて、この設定においてrCAT(0)がCAT(0)を意味することを証明する。
• rough CAT(0)空間のl²積を用いて例を構成し、このような積がrCAT(0)性質を保つことを示す。
• 有界な凸部分空間に沿った等長貼り合わせを適用し、新たなrough CAT(0)空間を構築。一方、貼り合わせ集合が無限大である場合には失敗することを示す。

実験結果

リサーチクエスチョン

• RQ1 Gromov超曲率空間とCAT(0)空間を両方含み、重要な幾何学的および境界的性質を保つ統一的枠組みを構築できるか？
• RQ2 加法的誤差を許容しつつも、頑健な幾何学的理論を導くためのCAT(0)比較条件の適切な一般化は何か？
• RQ3 CAT(0)でもGromov超曲率でもない非自明なrough CAT(0)空間の例は存在するか？
• RQ4 ノルム線形空間において、rCAT(0)条件は全CAT(0)条件を意味するか？
• RQ5 rough CAT(0)空間を凸部分空間に沿って等長貼り合わせしても常にrCAT(0)性質が保たれるか？また、貼り合わせ集合が無限大である場合にはどうなるか？

主な発見

• 誤差束が三角形の頂点に依存するrCAT(κ;*)条件は、一様誤差束の標準的rCAT(κ)条件と同値である。
• すべてのCAT(0)空間は(2+√3)-rCAT(0)である。これは、rCAT(0)クラスがCAT(0)空間を真に含むことを示している。
• 2つのrough CAT(0)空間のl²積もまたrough CAT(0)であり、この構成により、CAT(0)でもGromov超曲率でもない例が得られる。
• 有界な凸部分空間に沿ったrough CAT(0)空間の等長貼り合わせはrCAT(0)性質を保つが、貼り合わせ集合が無限大である場合には失敗する。
• 実ノルム線形空間は、rCAT(0)であるための必要十分条件がCAT(0)であることから、このクラスには非CAT(0)の例は存在しない。
• 非常に弱いrCAT(0)条件は、KasparovとSkandalisのbolicity条件と同値であり、rough CAT(0)理論がK理論的予想と結びつくことを示している。