[論文レビュー] Isoperimetric inequalities of euclidean type in metric spaces

Stefan Wenger|ArXiv.org|Jun 5, 2003

Geometric Analysis and Curvature Flows参考文献 4被引用数 3

ひとこと要約

本稿は、コーン型不等式を満たす完備な距離空間において、グロモフとアンブロシオ＝キルヒハイムの結果を一般化する、ユークリッド型の等周不等式を確立する。このような空間では、境界がゼロである任意の $k$-次元整数的カレント $T$ が、$ \mathbf{M}(S) \leq D_k \mathbf{M}(T)^{(k+1)/k}$ を満たす $(k+1)$-次元カレント $S$ によって埋め込まれることを示しており、$D_k$ は $k$ と空間の幾何的定数にのみ依存する。

ABSTRACT

In this paper we prove an isoperimetric inequality of euclidean type for complete metric spaces admitting a cone-type inequality. These include all Banach spaces and all complete, simply-connected metric spaces of non-positive curvature in the sense of Alexandrov or, more generally, of Busemann. The main theorem generalizes results of Gromov and Ambrosio-Kirchheim.

研究の動機と目的

• 完備な距離空間において、コーン型不等式を満たす空間におけるユークリッド型の等周問題を解明すること。
• グロモフおよびアンブロシオ＝キルヒハイムの、リーマン多様体および双対バナッハ空間における等周不等式の結果を、より広いクラスの距離空間へ一般化すること。
• すべてのバナッハ空間がユークリッド型の等周不等式を満たすかどうかという未解決の問いに肯定的に答えること。
• 分解とコーン型不等式を用いた、距離空間における等周埋め込みを構築する一般枠組みを確立すること。
• 空間の幾何的・解析的パラメータの関数として、明示的かつ計算可能な定数 $D_k$ を等周不等式に導出すること。

提案手法

• アンブロシオとキルヒハイムが定義した、距離空間における曲面のための、距離的整数的カレント $\mathbf{I}_k(X)$ の理論を用いる。
• コーン型不等式を適用：任意の $k$-サイクル $T$ に対して、$\partial S = T$ かつ $\mathbf{M}(S) \leq C_k \cdot \text{diam}(\operatorname{spt} T) \cdot \mathbf{M}(T)$ を満たす $(k+1)$-カレント $S$ が存在する。
• パラメータ $\lambda$ を用いたスライシング技術と組み合わせ、$k$-カレント $T$ を直径と質量が制御された小さなサイクル $T_i$ に繰り返し分解する。
• 分解されたサイクル $T_i$ のコーン埋め込み $S_i$ の和の極限として、埋め込みカレント $S$ を構成し、質量ノルムにおける収束を保証する。
• 三角不等式と質量の $L^{(k+1)/k}$-summability を用いて、埋め込み $S$ の総質量を評価する。
• 整数的カレント空間 $\mathcal{I}_{k+1}(X)$ の完備性に依存し、部分埋め込みのコーシー列 $S^n = \sum_{i=1}^{N_n} S_i$ が、$\partial S = T$ を満たす $S \in \mathbf{I}_{k+1}(X)$ に収束することを保証する。

実験結果

リサーチクエスチョン

• RQ1 任意の完備な距離空間が $\mathbf{I}_k(X)$ に対してコーン型不等式を満たす場合、$\mathbf{I}_k(X)$ に対してもユークリッド型の等周不等式が成り立つか。
• RQ2 双対でもなく、有限次元でもないバナッハ空間に対しても、ユークリッド型の等周不等式が成り立つか。
• RQ3 コーン型不等式が、非リーマン的距離空間における等周埋め込みの構成を可能にする役割は何か。
• RQ4 カレントを小径のサイクルに繰り返し分解することで、一様に有界な埋め込みを構成するプロセスはどのように機能するか。
• RQ5 $\gamma$-凸二重曲線を備えた空間（例えば、単連結なアレクサンドロフ空間や非正曲率のブースマン空間）は、どの程度までユークリッド型の等周不等式を満たすか。

主な発見

• 任意の完備な距離空間が $k$-次元のコーン型不等式と $\mathbf{I}_{k-1}(X)$ に対するユークリッド型の等周不等式を満たすならば、$\mathbf{I}_k(X)$ に対しても同様の不等式が成り立ち、定数 $D_k$ は $k$、コーン定数 $C_k$、および $\mathbf{I}_{k-1}$-定数にのみ依存する。
• すべてのバナッハ空間が $\mathbf{I}_k(E)$ に対してユークリッド型の等周不等式を満たし、定数 $D_k$ は空間に依存しない普遍的定数である。これはアンブロシオとキルヒハイムの未解決の問いに肯定的に答えている。
• $\gamma$-凸二重曲線を備えた空間（例えば、単連結なアレクサンドロフ空間や非正曲率のブースマン空間）は、定数 $D_k$ が $k$ と $\gamma$ のみに依存するユークリッド型の等周不等式を満たす。
• カレント $T$ の等周埋め込み $S$ は、$\mathbf{M}(S) \leq C_k E \left(\frac{1+\lambda}{\delta}\right)^{(k+1)/k} \mathbf{M}(T)^{(k+1)/k}$ を満たす。ここで $E$、$\lambda$、$\delta$ は分解プロセスのパラメータである。
• 本構成により、部分埋め込みのコーシー列 $S^n = \sum_{i=1}^{N_n} S_i$ が質量ノルムにおいて収束し、$\partial S = T$ を満たす極限 $S \in \mathbf{I}_{k+1}(X)$ に収束する。
• 主定理およびその推論における定数 $D_k$ は、計算可能であるが、最適ではない。$X = \mathbb{R}^n$ に対しても同様である。