[論文レビュー] The boundary of the free splitting graph and the free factor graph

Ursula Hamenstaedt|arXiv (Cornell University)|Nov 7, 2012

Geometric and Algebraic Topology参考文献 32被引用数 27

ひとこと要約

この論文は、自由群 $F_n$ ($n \geq 3$) の自由因子図、関連する図（自由分割図および巡回分割図）のグロモフ境界を、自由因子を含まない点安定化子のない最小で非常に小さい分解不能 $F_n$-木の同値類の空間として同定する。この同値関係は、観察者位相におけるメトリック完備化とグロモフ境界との間の $F_n$--equivariant な位相同相で定義される。

ABSTRACT

We show that the Gromov boundary of the free factor graph for the free group Fn with n>2 generators is the space of equivalence classes of minimal very small indecomposable projective Fn-trees without point stabilizer containing a free factor equipped with a quotient topology. Here two such trees are equivalent if the union of their metric completions with their Gromov boundaries are Fn-equivariantly homeomorphic with respect to the observer's topology. The boundary of the cyclic splitting graph is the space of equivalence classes of trees which either are indecomposable or split as very large graph of actions. The boundary of the free splitting graph is the space of equivalence classes of trees which either are indecomposable or split as large graph of actions.

研究の動機と目的

• 外自動同型群の研究における重要な双曲的図である自由因子図のグロモフ境界を特定すること。
• この特徴付けを、粗く稠密で双曲的類似物である自由分割図および巡回分割図へと拡張すること。
• Outer空間の境界上で、これらの図の漸近的構造を捉える位相的同値関係を定義すること。
• 大きなまたは非常に大きな作用のグラフに分解する木が、それぞれの図の境界点を表すことを確立すること。
• Outer空間の境界における木のメトリック完備化上の観察者位相を通じて、これらの図の境界構造を統一すること。

提案手法

• 非射影化されたOuter空間の境界 $\partial \mathrm{CV}(F_n)$ を用いる。これは、単体的でないか、または自由でない最小で非常に小さい $F_n$-木からなる。
• 木の同値関係を、観察者位相におけるメトリック完備化とグロモフ境界との間の $F_n$-equivariant な位相同相で定義する。
• 自由因子図の境界点を、自由因子を含まない点安定化子のない分解不能木として特徴付ける。
• 作用のグラフの理論を用いて、大きなまたは非常に大きな作用のグラフに分解する木を記述し、それらが自由分割図および巡回分割図の境界点を表すことを示す。
• 収束性と漸近的挙動を解析するために、$\overline{\mathrm{CV}(F_n)}$ 内の折りたたみパスと最適な準同型を用いる。
• 木のメトリック完備化上の観察者位相 $\hat{T} = \overline{T} \cup \partial T$ を用いて、木の同値類の空間に商位相を定義する。

実験結果

リサーチクエスチョン

• RQ1 自由群 $F_n$ ($n \geq 3$) の自由因子図のグロモフ境界は何か？
• RQ2 大きなまたは非常に大きな作用のグラフに分解する木は、自由分割図および巡回分割図の境界とどのように関係するか？
• RQ3 境界 $\partial \mathrm{CV}(F_n)$ 上のどの位相的同値関係が、自由因子図、自由分割図、および巡回分割図の漸近的構造を捉えるか？
• RQ4 木のメトリック完備化上の観察者位相は、これらの図の境界とどのように関係するか？
• RQ5 どの $F_n$-木が、自由分割図および巡回分割図の境界点を表すか？

主な発見

• 自由群 $F_n$ ($n \geq 3$) の自由因子図のグロモフ境界は、自由因子を含まない点安定化子のない最小で非常に小さい分解不能 $F_n$-木の同値類の空間である。
• 自由分割図の境界は、分解不能であるか、大きな作用のグラフに分解する木の同値類からなる。
• 巡回分割図の境界は、分解不能であるか、非常に大きな作用のグラフに分解する木の同値類からなる。
• 二つの木が、観察者位相におけるメトリック完備化とグロモフ境界との間で $F_n$-equivariant に位相同相である場合、それらは同値とみなされる。
• 自由因子図の境界は、この同値関係によるこのような木の同値類の商空間に位相的に同型である。
• これらの結果により、$F_n$ の外自動同型群における重要な双曲的図の境界の、明確な位相的および力学的特徴付けが確立された。