[論文レビュー] Isoperimetric inequalities and the asymptotic rank of metric spaces

Stefan Wenger|arXiv (Cornell University)|Jan 8, 2007

Fixed Point Theorems Analysis被引用数 2

ひとこと要約

この論文は、ハダマード空間など、錐型不等式を満たす距離空間が、k次サイクルに対して、kが空間の漸近的ランクに等しい以上であるとき、ユークリッド的より小さい等周不等式を有することを確立している。主な貢献は、高次元の等周不等式が漸近的ランクを検出できることであり、グロモフの線形等周不等式に関する予想（ランクより上での線形等周不等式）を支持するとともに、多項式的錐型不等式を満たす空間への多項式的等周不等式への拡張を実現している。

ABSTRACT

Abstract. In this article we study connections between the asymptotic rank of a metric space and higher-dimensional isoperimetric inequalities. We work in the class of metric spaces admitting cone type inequalities which, in particular, includes all Hadamard spaces, i. e. simply connected metric spaces of nonpositive curvature in the sense of Alexandrov. As was shown by Gromov, spaces with cone type inequalities admit isoperimetric inequalities of at most Euclidean type. Here we prove that they admit isoperimetric inequalities of sub-Euclidean type for k-cycles whenever k is greater or equal to their asymptotic rank. As a consequence it follows that the higher-dimensional isoperimetric inequalities can be used to detect the asymptotic rank of such spaces. Our work is to some extent inspired by a conjecture of Gromov which, in the case of proper cocompact Hadamard spaces, asserts even linear isoperimetric inequalities above the asymptotic rank. Our methods can moreover be used to establish polynomial isoperimetric inequalities for metric spaces admitting polynomial cone type inequalities. These include spaces with polynomial Lipschitz combings.

研究の動機と目的

• 距離空間における漸近的ランクと高次元等周不等式の関係を調査すること。
• 錐型不等式を満たす空間の漸近的ランクが、等周不等式によって検出可能かどうかを特定すること。
• グロモフの予想（漸近的ランクより上での線形等周不等式）を、錐型不等式を満たす空間の広いクラスへ拡張すること。
• 多項式的錐型不等式を満たす空間に対して、多項式的等周不等式を確立すること、特に多項式的リプシッツコムビングを有する空間を含むこと。

提案手法

• 本研究は、ハダマード空間を含む、錐型不等式を満たす距離空間のクラスに限定して行われる。
• 著者たちは、錐型不等式の構造を用いて、k-サイクルの埋め込み体積の上限を導出する。
• 幾何学的および距離空間的技法を適用し、k ≥ 漸近的ランクのとき、等周不等式が改善（ユークリッド的より小さくなる）ことを示す。
• この手法は、多項式的錐型不等式を満たす空間へと拡張可能であり、多項式的等周不等式を導く。
• 非正曲率空間における埋め込みに関する既知の結果を活用し、それを高次コhomological次元へ一般化する。
• このフレームワークにより、特にユークリッド的より小さい領域における等周挙動を通じて、漸近的ランクを検出可能となる。

実験結果

リサーチクエスチョン

• RQ1 高次元等周不等式は、錐型不等式を満たす距離空間の漸近的ランクを検出可能か？
• RQ2 kが漸近的ランク以上であるとき、錐型不等式を満たす空間は、k-サイクルに対してユークリッド的より小さい等周不等式を満たすか？
• RQ3 多項式的錐型不等式は、このような空間において、多項式的等周不等式をどの程度まで示唆するか？
• RQ4 グロモフの予想（漸近的ランクより上での線形等周不等式）は、錐型不等式を満たす空間の広いクラスにおいて成り立つか？
• RQ5 漸近的ランクは、等周成長率を通じて内挿的に特徴付け可能か？

主な発見

• k ≥ 漸近的ランクのとき、錐型不等式を満たす距離空間におけるk-サイクルは、ユークリッド的より小さい等周不等式を有する。
• このような空間の漸近的ランクは、k-サイクルの等周定数の成長率を通じて検出可能である。
• 本論文は、グロモフの予想の弱い形を確認し、錐型不等式の設定下でランクより上でのユークリッド的より小さい等周不等式を確立した。
• 多項式的錐型不等式を満たす空間は、多項式的等周不等式を満たし、多項式的リプシッツコムビングを有する空間への結果の拡張を実現した。
• 本研究の手法により、曲率の仮定に依存しない、漸近的ランクの幾何的特徴付けが等周挙動を通じて可能となった。
• 本研究の結果は、ハダマード空間における既知の等周不等式を統合・一般化し、非正曲率および多項式的錐型空間の広いクラスへと拡張した。