[论文解读] Core and intersection number for group actions on trees

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

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

一句话总结

本文提出了一种在两个R-树上群作用的积空间中构造凸核的几何方法，推广并统一了斯科特的交数、曲面曲线交数以及富川原-帕帕索格鲁的JSJ分裂。该核被定义为具有凸纤维的最小非空、闭合、连通、$G$-不变子集，其为CAT(0)空间，并允许从$T_1 \times T_2$出发的$G$-等变形收缩。关键贡献在于将交数解释为该核的余体积，该解释与经典曲面拓扑与群分裂中的交数一致。

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.

研究动机与目标

• 将经典交数（如曲面上曲线、测度叶状丛以及有限生成群分裂的交数）统一到一个几何框架中。
• 通过R-树积空间中的凸核，为斯科特的抽象交数提供一个拓扑与几何解释。
• 为两个群在R-树上的作用构造一个规范的、对称的且不变的核，即使在作用非离散或不可约时亦成立。
• 证明交数为零（即核为一维）当且仅当两个分裂是相容的。
• 将核构造应用于证明：具有几何稳定与不稳定树的自由群的不可约自同构，是由曲面上的伪阿诺索夫映射诱导的。

提出的方法

• 将核$\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$-等变形收缩。
• 将交数定义为$\mathcal{C}$的余体积，该定义推广了曲面曲线与群分裂的经典交数。
• 利用核证明：当且仅当$\mathcal{C}$为一维时，$T_1$与$T_2$相容（即存在公共细化）。

实验结果

研究问题

• RQ1 能否通过R-树上群作用积空间的几何核构造，统一曲面上曲线、测度叶状丛以及有限生成群分裂的交数？
• RQ2 纤维凸核构造是否能给出对称且不变的交数定义，从而解决斯科特原始定义中固有的非对称性？
• RQ3 在何种条件下核$\mathcal{C}$非空且连通？当其不连通时，如何恢复其连通性？
• RQ4 核构造能否用于刻画两个分裂何时相容？这与交数为零有何关系？
• RQ5 核是否在自由群自同构的背景下，特别是对具有几何树的不可约自同构，提供了交数的拓扑实现？

主要发现

• 核$\mathcal{C} \subset T_1 \times T_2$是具有凸纤维的最小非空、闭合、连通、$G$-不变子集，其为CAT(0)空间，并允许从$T_1 \times T_2$出发的$G$-等变形收缩。
• 核是对称的：$\mathcal{C}(T_1 \times T_2)$自然同构于$\mathcal{C}(T_2 \times T_1)$，为交数的对称性提供了几何解释。
• 两个R-树上作用的交数定义为$\mathcal{C}$的余体积，该定义与曲面上曲线的经典交数及斯科特对分裂的交数一致。
• 对于曲面$\Sigma$上的一对横截测度叶状丛，其对偶R-树作用的核，与$\Sigma$的万有覆盖等变同胚，其余体积等于叶状丛的测度交数。
• 核$\mathcal{C}$为一维当且仅当两个分裂相容，从而提供了一个相容性的几何判别准则。
• 在自由群的不可约自同构且具有几何稳定与不稳定树的情形下，核构造表明此类自同构是由曲面上的伪阿诺索夫映射诱导的。