[論文レビュー] The intrinsic geometry of a Jordan domain

Richard L. Bishop|ArXiv.org|Dec 28, 2005

Geometric and Algebraic Topology参考文献 4被引用数 3

ひとこと要約

本稿では、ジョルダン領域に内在的長さ計量を備えた有限距離点の集合が、CAT(0)空間であり、グロモフ双曲的であることを確立する。さらに、その境界 at infinity をコンウエイの位相で備えた空間は、元のジョルダン領域と位相的に同値であることが示され、内在的幾何構造と位相的型が計量的コンパクト化によって結びつけられる。

ABSTRACT

For a Jordan domain in the plane the length metric space of points connected to an interior point by a curve of finite length is a CAT(0)space and Gromov hyperbolic. With respect to the cone topology, that space plus its boundary at infinity is topologically the same as the original Jordan domain.

研究の動機と目的

• ジョルダン領域の内在的計量幾何を完全な長さ空間として特徴づける。
• ジョルダン領域における有限距離点の空間がCAT(0)であることを証明する。
• この空間がグロモフ双曲的であることを確立する。
• 境界 at infinity を用いたコンパクト化が、コンウエイ位相のもとで元のジョルダン領域と位相同型であることを示す。

提案手法

• 点 $X$ を、ジョルダン領域 $J$ の内部点からの内在的距離が有限である点の集合として定義する。
• 局所的凸性と補助的半円板を用いて、特に $\partial X$ 上の境界点における測地線の挙動を分析する。
• アレクサンドロフの基準を適用：単連結空間においてすべての測地線三角形の内角の和が $\leq 2\pi$ であれば、空間はCAT(0)である。
• 分岐点によって形成される測地線三角形 $\bar{p}\bar{q}\bar{r}$ の全曲率が $\leq 0$ であることを示し、これにより内角の和が $\leq 2\pi$ であることが保証され、アレクサンドロフの条件を満たす。
• 空間 $X \cup \partial X$ にコンウエイ位相を導入し、境界 at infinity を $\partial J$ と同一視し、近傍構成を用いて $J$ と位相同型であることを証明する。
• 測地線の収束と距離関数の凸性を活用し、ユークリッド計量と内在的計量の収束の関係を特定する。

実験結果

リサーチクエスチョン

• RQ1 ジョルダン領域の内在的長さ計量空間はCAT(0)か？
• RQ2 この空間はグロモフ双曲的か？
• RQ3 境界 at infinity を用いた有限距離空間のコンパクト化が、コンウエイ位相のもとで元のジョルダン領域と位相同型になるか？
• RQ4 測地線は漸近的にどのように振る舞い、その収束は境界の位相とどのように関係するか？

主な発見

• ジョルダン領域における有限距離点の空間 $X$ は完全なCAT(0)空間である。
• この空間 $X$ は、CAT(0)構造の結果としてグロモフ双曲的である。
• 空間 $X$ の境界 at infinity にコンウエイ位相を備えると、元のジョルダン領域の境界 $\partial J$ と位相同型であり、全体のコンパクト化 $X \cup \partial X$ は $J$ と位相同型である。
• 測地線 $X$ は局所的に凸であり、すべての内部点で半円板によって支持され、曲率制約により三角形が細くなる。
• コンパクト化 $X \cup \partial X$ に誘導されるコンウエイ位相は、$J$ における標準位相と一致し、位相的同定を確立する。
• 距離関数の凸性と計量の優越性により、測地線の内在的計量における収束は、その端点のユークリッド位相における収束と同値である。