[論文レビュー] Reducing systems for very small trees

Patrick Reynolds|arXiv (Cornell University)|Nov 14, 2012

Geometric and Algebraic Topology参考文献 11被引用数 24

ひとこと要約

この論文は、自由群のOuter空間の境界における非有理的木を特徴づけ、そのような木が自由かつ分解不能であるか、あるいは非有理的測度付き foliation を持つ一回穴あき曲面と双対であることを示している。自由因子に対する短縮系を導入し、木が非有理的であることと、非自明な真の自由因子がそれを動的に短縮しないこととが同値であることを証明し、すべての短縮因子を制御するための標準的で有限な因子の集合を確立した。これにより、Bestvina-Handelの分類定理や自由因子複体のGromov境界への応用が可能になる。

ABSTRACT

We study very small trees from the point of view of reducing systems of free factors, which are analogues of reducing systems of curves for a surface lamination; a non-trivial, proper free factor $F \leq \FN$ reduces $T$ if and only if $F$ acts on some subtree of $T$ with dense orbits. We characterize those trees, called arational, which do not admit a reduction by any free factor: $T$ is arational if and only if either $T$ is free and indecomposable or $T$ is dual to a surface with one boundary component equipped with an arational measured foliation. To complement this result, we establish some results giving control over the collection of all factors reducing a given tree. As an application, we deduce a form of the celebrated Bestvina-Handel classification theorem for elements of $Out(\FN)$. We also include an appendix containing examples of very small trees. The results of this paper are used in Bestvina and Reynolds (2012), where we describe the Gromov boundary of the complex of free factors.

研究の動機と目的

• 任意の非自明な真の自由因子によって短縮されない、Outer空間境界に属する木を特徴づけること。
• 曲線の短縮と類似する自由因子の短縮系の理論を構築すること。
• 与えられた木を短縮するすべての自由因子の集合を制御し、それらを制御する有限で標準的な因子の集合を確立すること。
• 得られた結果を応用して、Out(F_N)に対するBestvina-Handel分類定理の形を導出すること。
• 自由因子複体のGromov境界を理解するための基盤的ツールを提供すること。

提案手法

• 非常に小さい F_N-木 T が、不変な部分木（軌道が稠密）を持つ自由因子によって動的に短縮されることを定義する。
• 非自明な真の自由因子によって短縮されない木を非有理的木と定義し、それが自由かつ分解不能であるか、あるいは非有理的測度付き foliation を持つ一回穴あき曲面と双対であることを特徴づける。
• すべての短縮因子を制御する有限で標準的な因子の集合 C(T) = {F^1, ..., F^r} を構成し、共役性および交差性に関する条件を満たす。
• すべての点固定部分群が T' においても点を固定するような単体的木 T' が存在することを用い、周辺的短縮を既知のケースに還元する。
• Whiteheadのアルゴリズムおよび測地的カレントの性質を用いて、自由因子複体における短縮因子集合の直径を有界化する。
• 相対的トレイントラック写像および自己同型の反復による極限木を用い、非常に小さい木およびその短縮系の具体例を構成する。

実験結果

リサーチクエスチョン

• RQ1 どの非常に小さい F_N-木が非自明な真の自由因子によって短縮されず、そのような木はどのように特徴づけられるか？
• RQ2 与えられた非常に小さい F_N-木を短縮するすべての自由因子の集合の構造は何か？
• RQ3 すべての短縮因子を制御する有限で標準的な自由因子の集合をどのように構成できるか？
• RQ4 自由因子の短縮系は、Outer空間の境界および自由因子複体のGromov境界の幾何とどのように関係するか？
• RQ5 短縮系の理論は、特にBestvina-Handel定理の文脈において、Out(F_N)の元の分類をどのように支援するか？

主な発見

• T ∈ ∂cv_N が非有理的であることと、それが分解不能であり、かつ自由でない場合には、非有理的測度付き foliation を持つ一回穴あき曲面と双対であることは同値である。
• 任意の因子短縮可能な木 T ∈ ∂cv_N に対して、すべての短縮因子が適当な F^j に共役になる有限標準的集合 C(T) = {F^1, ..., F^r} が存在する。
• 各 F^j は T における最小不変部分木上で混合作用をし、i ≠ j および任意の g ∈ F_N に対して F^i ∩ (F^j)^g は T において点を固定する。
• すべての T の点固定部分群が点を固定するような単体的木 T' ∈ ∂cv_N が存在し、各 F^j は T' において点を固定する元を含む。
• 自由因子複体における短縮因子集合の直径は一様に有界であり、その有界性は標準的集合 C(T) の制御から導かれる。
• 一意な双対性結果が成り立つ：T と T' がともに非有理的であり、あるカレント μ ∈ M_N に対して同じ消滅ペアリングを持つならば、L(T) = L(T') であり、T' も非有理的である。