[論文レビュー] Covering R-trees

V. N. Berestovskiĭ, Conrad Plaut|arXiv (Cornell University)|Jul 24, 2007

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

ひとこと要約

本稿では、任意の内部距離空間 X に自由等長作用を介して埋め込まれる完全な R-木としての被覆 R-木を導入する。これは普遍被覆である。コンパクトな 1 次元測地的空間、たとえばシエルピンスキーのギャスケット、カーペット、メンガースポンジに対して、被覆 R-木は一意的であり、完全で、頂点の次数が連続体値をとる。これにより、有界な次数を持つすべての R-木が等長埋め込み可能であり、任意のペアノ連結集合へ開で軽い上への写像が可能となる。

ABSTRACT

We show that every inner metric space X is the metric quotient of a complete R-tree via a free isometric action, which we call the covering R-tree of X. The quotient mapping is a weak submetry (hence, open) and light. In the case of compact 1-dimensional geodesic space X, the free isometric action is via a subgroup of the fundamental group of X. In particular, the Sierpin'ski gasket and carpet, and the Menger sponge all have the same covering R-tree, which is complete and has at each point valency equal to the continuum. This latter R-tree is of particular interest because it is in at least two senses: First, every R-tree of valency at most the continuum can be isometrically embedded in it. Second, every Peano continuum is the image of it via an open light mapping. We provide a sketch of our previous construction of the uniform universal cover in the special case of inner metric spaces, the properties of which are used in the proof.

研究の動機と目的

• 内部距離空間の普遍被覆を R-木を用いて構成すること。
• コンパクトな 1 次元測地的空間の場合に、被覆 R-木が完全であり、基本群の部分群による自由等長作用を許容することを示すこと。
• シエルピンスキーのギャスケット、カーペット、メンガースポンジといった主要なフラクタル空間の被覆 R-木を特徴付けること。
• 被覆 R-木が、次数が連続体以下であるすべての R-木を普遍的に等長埋め込みできることを確立すること。
• 任意のペアノ連結集合が、被覆 R-木から開で軽い写像の像として得られることを示すこと。

提案手法

• 空間 X 上での自由等長作用を介して、完全な R-木の距離商として被覆 R-木を構成すること。
• 弱部分等長写像の性質を用いて、商写像が開かつ軽いことを保証すること。
• コンパクトな 1 次元測地的空間における基本群の構造を用いて、自由等長作用を定義すること。
• 先行研究における均一な普遍被覆の構成を、内部距離空間に特化して適用すること。
• 被覆 R-木の次数を分析し、すべての点で連続体値をとることを示すこと。
• 被覆 R-木の位相的および距離的構造を用いて、普遍埋め込みおよび全射性の性質を確立すること。

実験結果

リサーチクエスチョン

• RQ1 任意の内部距離空間 X は、自由等長作用を介して完全な R-木の距離商として実現可能か？
• RQ2 コンパクトな 1 次元測地的空間、たとえばシエルピンスキーのギャスケットやメンガースポンジに対して、被覆 R-木の構造は何か？
• RQ3 被覆 R-木は、次数が連続体以下のすべての R-木の等長埋め込みを許容するか？
• RQ4 任意のペアノ連結集合は、被覆 R-木から開で軽い写像の像として得られるか？
• RQ5 内部距離空間の特別な場合において、被覆 R-木は基本群および均一な普遍被覆とどのように関係するか？

主な発見

• 任意の内部距離空間 X の被覆 R-木は、完全な R-木であり、その商が X と等長であるような自由等長作用を備えている。
• コンパクトな 1 次元測地的空間に対しては、自由等長作用が X の基本群の部分群から生じる。
• シエルピンスキーのギャスケット、カーペット、メンガースポンジは、すべて同じ被覆 R-木を持つ。この被覆 R-木は、すべての点で連続体値の頂点次数を持つ。
• 次数が連続体以下のすべての R-木は、被覆 R-木に等長埋め込み可能である。
• 任意のペアノ連結集合は、被覆 R-木から開かつ軽い写像の像として得られる。
• この構成は、内部距離空間の設定において均一な普遍被覆を一般化し、被覆 R-木が標準的なモデルとして機能する。