[論文レビュー] Lipschitz-Volume rigidity in Alexandrov geometry

Nan Li|arXiv (Cornell University)|Oct 25, 2011

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

ひとこと要約

この論文は、アレクサンドロフ幾何におけるリプシッツ・ボリューム剛性定理を確立する：$n$次元のアレクサンドロフ空間間の1-リプシッツ写像が体積を保存するならば、それはパス等長写像でなければならない。さらに、その内部への制限は等長写像である。主な結果は、写像が全射である場合に、被映像空間の計量構造を特徴づけ、境界に沿った貼り合わせが等長である必要があることを示しており、これによりペトルニンによる境界の等長貼り合わせの必要性に関する予想が裏付けられる。

ABSTRACT

We prove a Lipschitz-Volume rigidity theorem in Alexandrov geometry, that is, if a 1-Lipschitz map $f\colon X=\amalg X_\ell o Y$ between Alexandrov spaces preserves volume, then it is a path isometry and an isometry when restricted to the interior of $X$. We furthermore characterize the metric structure on $Y$ with respect to $X$ when $f$ is also onto. This implies the converse of Petrunin's Gluing Theorem: if a gluing of two Alexandrov spaces via a bijection between their boundaries produces an Alexandrov space, then the bijection must be an isometry.

研究の動機と目的

• 1-リプシッツかつ体積を保存する写像がアレクサンドロフ空間の間で定義される剛性定理を確立すること。
• このような写像が全射である場合に、被映像空間の計量構造を特徴づけること。
• ペトルニンが提起した、アレクサンドロフ空間を構成する際に境界の等長貼り合わせがなぜ必要かという予想を解決すること。
• 計量構造の分析を通じて、アレクサンドロフ空間の体積保存貼り合わせの必要条件を提示すること。
• 既知の多様体およびリッチ極限空間に対する体積剛性結果を、境界を持つ特異空間へと一般化すること。

提案手法

• 貼り合わせ構造をモデル化するため、アレクサンドロフ空間 $X = igsqcup X_ u$ の直和を用いる。
• 内挿計量とハウスドルフ測度を用いて体積およびパス長を定義する。
• 体積保存性と1-リプシッツ条件から、パスに沿った長さ保存が導かれるという事実を活用する。
• ペレルマンの安定性定理を用いて、最大体積を持つ空間のグロモフ＝ハウスドルフ極限を分析する。
• メトリック空間の貼り合わせ理論と境界球面上の等長自己同型を用いて、極限空間を特徴づける。
• スミスの定理とポアンカレ双対性を用いて、自己貼り合わせ空間の位相的型（例えばホモトピー球面）を導出する。

実験結果

リサーチクエスチョン

• RQ1 1-リプシッツかつ体積を保存する写像がアレクサンドロフ空間の間でパス等長写像となる条件は何か？
• RQ2 このような写像が全射である場合、被映像空間が満たすべき計量構造は何か？
• RQ3 境界の等長貼り合わせが、結果として得られる空間がアレクサンドロフ空間のままであるために必要であるか？
• RQ4 体積が最大であるアレクサンドロフ空間は、等長自己同型による自己貼り合わせのメトリックコーンとして特徴づけられるか？
• RQ5 体積保存を満たすように境界に沿ってアレクサンドロフ空間を貼り合わせた場合、生じる位相的制約は何か？

主な発見

• 1-リプシッツかつ体積を保存する写像 $f: X = \bigsqcup X_\nu \to Y$ は、$n$次元のアレクサンドロフ空間の間でパス等長写像である。
• 写像 $f$ の $X$ の内部への制限は、内挿計量に関して等長写像である。
• 写像 $f$ が全射である場合、$Y$ 上の計量は、$x_1 \thicksim x_2 \text{ iff } f(x_1) = f(x_2)$ による貼り合わせによって誘導され、その貼り合わせは等長である。
• 任意の $Y$ の点の逆像は有限集合であり、複数の逆像を持つ点はすべて $X$ の境界上にある。
• ちょうど2つの逆像を持つ $Y$ の点の集合のハウスドルフ次元は $n-1$ である。3つ以上の逆像を持つ点の集合の次元は $n-2$ 以下である。
• ペトルニンの貼り合わせ定理の逆が成り立つ：境界同士の全単射写像による2つのアレクサンドロフ空間の貼り合わせがアレクサンドロフ空間を生成するならば、その全単射写像は等長写像でなければならない。