[論文レビュー] Metric properties of Outer Space

Stefano Francaviglia, Armando Martino|ePrints Soton (University of Southampton)|Mar 5, 2008

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

ひとこと要約

本稿では、Culler-Vogtmann Outer Space 上の2つの尺度を導入し、分析する。1つはストレッチ要因に基づく非対称尺度であり、もう1つはその対称化されたバージョンである。非対称尺度ではフォールディングパスが測地線であることを証明し、対称尺度では薄い部分を避ける場合に準測地線であることを示す。主な貢献は、対称尺度の正規性（properness）を確立し、反復的自己同型が多項式成長の場合を含めても、準等長写像を引き起こすことを示したことである。

ABSTRACT

We define metrics on Culler-Vogtmann space, which are an analogue of the Teichmuller metric and are constructed using stretching factors. In fact the metrics we study are related, one being a symmetrised version of the other. We investigate the basic properties of these metrics, showing the advantages and pathologies of both choices. We show how to compute stretching factors between marked metric graphs in an easy way and we discuss the behaviour of stretching factors under iterations of automorphisms. We study metric properties of folding paths, showing that they are geodesic for the non-symmetric metric and, if they do not enter the thin part of Outer space, quasi-geodesic for the symmetric metric.

研究の動機と目的

• 自由群の外部自己同型群の幾何的解析を可能にするために、曲面のテイコフュラー尺度に類似したOuter Space上の尺度を開発すること。
• 非対称ストレッチ要因尺度とその対称化バージョンを比較し、それらの位相的・幾何的性質を分析すること。
• これらの尺度におけるフォールディングパスの振る舞い、特に測地線的および準測地線的性質を調査すること。
• 自己同型のOuter Spaceへの作用を通じて、反復軌道の準等長的性質を特に検討すること。
• 粗い幾何学、双曲的性質、および非可約アトロイダル（iwip）自己同型に対して測地線軸が存在するか、といった未解決の問題に取り組むこと。

提案手法

• マーク付き距離付きグラフ間の最小リプシッツ定数（ストレッチ要因）の対数を用いて、Outer Space 上に非対称尺度を定義する。
• 非対称尺度を対称化することで対称尺度を構成し、その正規性と長さ関数位相とにおける整合性を保証する。
• フォールディングパスを、マーク付き距離付きグラフにおける辺を反復的に折りたたむことで得られる、Outer Space 内の標準的なパラメータ化された経路とみなす。
• 補題7.7および7.8を適用して、局所的速度とターゲットまでの距離を計算し、速度と距離の比が1/2以上に有界であることを示す。
• 4点性質および補題7.2を用いて準測地線的性質を確立し、有界な幾何的構造下で一様な準測地線定数が得られることを証明する。
• 自己同型の反復を追跡することで、ローズとその反復写像の間のフォールディングパスを分析し、一様な定数を持つ準測地線を形成することを示す。

実験結果

リサーチクエスチョン

• RQ1 Outer Space の薄い部分を避けるフォールディングパスは、対称尺度において準測地線であるか？
• RQ2 Outer Space 上の対称尺度は長さ関数位相と同じ位相を誘導するか？また、正規性を満たすか？
• RQ3 自己同型の反復による点の軌道は準等長写像であるか？多項式成長の自己同型に対しても成り立つか？
• RQ4 非可約アトロイダル（iwip）自己同型に対して、Outer Space 上に測地線軸が存在するか？
• RQ5 Outer Space の厚い部分は双曲的性質を示すか？フラットや漸近的コーンといった粗い幾何的特徴は何か？

主な発見

• Outer Space 上の対称尺度は正規である：閉球はコンパクトである。これに対して非対称尺度は完備でないため、正規でない。
• フォールディングパスは非対称尺度において測地線である。これは、各点でストレッチ要因が距離を実現することから示される。
• Outer Space の薄い部分を避けるフォールディングパスは、対称尺度において(4,0)-準測地線である。一様な定数はパスに依存しない。
• 指数成長の自己同型に対しては、ℤ から Outer Space への軌道写像が準等長写像である。これは強い力学的挙動を示している。
• 多項式成長の自己同型に対しても、ローズとその反復写像の間のフォールディングパスは(2,0)-準測地線である。これにより、結果の頑健性が示された。
• 対称尺度は測地的ではない。反例を提示し、すべての点のペアが測地線的経路で接続されるわけではないことを示した。