[論文レビュー] Core and intersection number for group actions on trees

Vincent Guirardel|arXiv (Cornell University)|Jul 12, 2004

Mathematical Dynamics and Fractals参考文献 9被引用数 15

ひとこと要約

本稿では、2つの群作用がR-木上で働く際の凸核の幾何的構成を提示し、スコットの交差数、曲面の曲線交差数、およびフジワラ＝パパソグルのJSJ分解を一般化・統一する。核は、$T_1 \times T_2$ の中で、空でなく、閉じており、連結で、$G$-不変で、各繊維が凸であるような最小の部分集合として定義され、CAT(0)であり、$T_1 \times T_2$ への $G$--equivariantな変形リトラクションをもつ。主な貢献は、交差数をこの核のコバリュームとしての位相的解釈を与えることであり、これは曲面位相と群の分解における古典的交差数と一致する。

ABSTRACT

We present the construction of some kind of "convex core" for the product of two actions of a group on $\bbR$-trees. This geometric construction allows to generalize and unify the intersection number of two curves or of two measured foliations on a surface, Scott's intersection number of splittings, and the apparition of surfaces in Fujiwara-Papasoglu's construction of the JSJ splitting. In particular, this construction allows a topological interpretation of the intersection number analogous to the definition for curves in surfaces. As an application of this construction, we prove that an irreducible automorphism of the free group whose stable and unstable trees are geometric, is actually induced a pseudo-Anosov homeomorphism on a surface.

研究の動機と目的

• 曲線の交差数、測度的 foliation、有限生成群の分解における古典的交差数を、一つの幾何的枠組みへ一般化・統一すること。
• スコットの抽象的交差数を、2つのR-木の積における凸核を用いた位相的・幾何的解釈を提供すること。
• 非離散的または非可約な作用に対しても、2つの群作用のための、標準的で対称的かつ不変なコアの構成を確立すること。
• 交差数が0（すなわちコアが1次元）であることは、2つの分解が互いに適合可能であることとちょうど一致することを示すこと。
• コア構成を応用し、幾何的安定・不安定木を持つ自由群の非可約自己同型が、曲面上の擬アイソメトリック写像によって誘導されることを示すこと。

提案手法

• コア $\mathcal{C} \subset T_1 \times T_2$ を、空でなく、閉じており、連結で、$G$-不変で、各繊維が凸であるような最小の部分集合として定義する。ここで、凸性は繊維ごとのもの（$T_1$ および $T_2$ への射影の各繊維内で凸）である。
• 繊維ごとの凸性の条件を用いて、コアが過剰に大きなCAT(0)凸性の集合を避けるように、本質的な幾何的交差データのみを捉えるようにする。
• 非対称コア $\mathcal{A}_1 = \bigcup_{x_1 \in T_1} \{x_1\} \times \min_{T_2}(G_{x_1})$ および $\mathcal{A}_2 = \bigcup_{x_2 \in T_2} \min_{T_1}(G_{x_2}) \times \{x_2\}$ を用いてコアを構成し、やや弱い仮定のもとで両者が一致することを証明する。
• $\mathcal{C}$ が誘導された道の長さ計量に関してCAT(0)であり、$T_1 \times T_2$ への $G$-equivariantな変形リトラクションをもつことを証明する。
• 交差数を $\mathcal{C}$ のコバリュームとして定義し、これは曲線や分解における古典的交差数を一般化する。
• コアを用いて、$T_1$ と $T_2$ が適合可能（共通の細分をもつ）であることと、$\mathcal{C}$ が1次元であることとが同値であることを証明する。

実験結果

リサーチクエスチョン

• RQ1 2つの群作用がR-木上で働く際の凸核の幾何的構成は、曲面上の曲線、測度的foliation、有限生成群の分解における交差数を統一的に扱えるか？
• RQ2 繊維ごとの凸コア構成は、スコットの元々の定義に内在する非対称性を解消する対称的かつ不変な交差数の定義をもたらすか？
• RQ3 コア $\mathcal{C}$ が空でなく連結である条件は何か？ 連結性が失われた場合、どのようにして回復できるか？
• RQ4 コア構成を用いて2つの分解が適合可能である条件を特徴づけられ、交差数が0であることとどのように関係するか？
• RQ5 コアは、特に幾何的木をもつ非可約自己同型について、自由群の自己同型の文脈で交差数の位相的実現を提供するか？

主な発見

• コア $\mathcal{C} \subset T_1 \times T_2$ は、空でなく、閉じており、連結で、$G$-不変で、各繊維が凸であるような最小の部分集合であり、誘導された道の長さ計量に関してCAT(0)であり、$T_1 \times T_2$ への $G$-equivariantな変形リトラクションをもつ。
• コアは対称的である：$\mathcal{C}(T_1 \times T_2)$ は自然に $\mathcal{C}(T_2 \times T_1)$ に同型であり、交差数の対称性の幾何的根拠を提供する。
• 2つのR-木上の作用の交差数は、$\mathcal{C}$ のコバリュームとして定義され、これは曲面上の曲線の古典的交差数および分解のためのスコットの交差数と一致する。
• 曲面 $\Sigma$ 上の2つの直交する測度的foliationに対して、双対R-木作用のコアは、$\Sigma$ の普遍被覆空間と$G$--equivariantに位相同相であり、そのコバリュームはfoliationの測度的交差数に等しい。
• コア $\mathcal{C}$ が1次元であることと、2つの分解が適合可能であることとは同値であり、適合可能性の幾何的基準を提供する。
• 自由群の非可約自己同型で、幾何的安定・不安定木をもつ場合、コア構成により、その自己同型が曲面上の擬アイソメトリック写像によって誘導されることを示す。