[论文解读] Relative outer automorphisms of free groups

Erika Meucci|arXiv (Cornell University)|Oct 22, 2010

Geometric and Algebraic Topology参考文献 10被引用 7

一句话总结

本文引入了一个相对外空间 $Δ_n(A_1,\ldots,A_k)$，该空间上相对外自同构群 $ΔΝΝ(F_n;A_1,\ldots,A_k)$ 作用且稳定子群有限，并证明该空间是可缩的。关键贡献在于给出了该群的虚拟上同调维数（VCD）的精确公式：$ΔΝΝ = 2n - 2\sum_{i=1}^k s(i) + 2k - 2 - m$，其中 $s(i)$ 表示 $A_i$ 的最小生成元个数，$m$ 表示满足 $s(i) = 1$ 的 $A_i$ 的个数。该结果推广了已知的纯对称自构群和经典外空间的结果。

ABSTRACT

Let $A_1,...,A_k$ be a system of free factors of $F_n$. The group of relative automorphisms $Aut(F_n;A_1,...,A_k)$ is the group given by the automorphisms of $F_n$ that restricted to each $A_i$ are conjugations by elements in $F_n$. The group of relative outer automorphisms is defined as $Out(F_n;A_1,...,A_k) = Aut(F_n;A_1,...,A_k)/Inn(F_n)$, where $Inn(F_n)$ is the normal subgroup of $Aut(F_n)$ given by all the inner automorphisms. We define a contractible space on which $Out(F_n;A_1,...,A_k)$ acts with finite stabilizers and we compute the virtual cohomological dimension of this group.

研究动机与目标

• 定义一个 $ΔΝΝ(F_n;A_1,\ldots,A_k)$-等变的、可缩的空间，类似于 Culler-Vogtmann 外空间，但针对相对自构群。
• 证明该群在该空间上的作用具有有限稳定子群，确保该空间适用于上同调计算。
• 计算 $ΔΝΝ(F_n;A_1,\ldots,A_k)$ 的虚拟上同调维数（VCD），推广已知的特殊情况（如纯对称自构群）的结果。
• 通过具有受控拓扑与体积约束的相对外空间，为研究相对自构群提供几何与拓扑框架。

提出的方法

• 构造一个相对外空间 $Δ_n(A_1,\ldots,A_k)$，其由带有指定楔形圈（对应于自由因子 $A_1,\ldots,A_k$）的标记度量图组成。
• 通过相对体积归一化定义该空间：楔形圈外的边总长度为 1，每个楔形圈的总长度也为 1。
• 利用楔形圈的对偶图强制形成森林结构，通过形变收缩到一个骨架，从而保证空间是可缩的。
• 分析小骨架 $S_n(\mathcal{A})$ 的结构，以计算最大单形的维数，从而界定 VCD。
• 应用欧拉示性数与图论论证，推导骨架的维数，进而得出 VCD 公式。
• 通过自构群生成元的归纳法与独立性论证，建立 VCD 的下界。

实验结果

研究问题

• RQ1 对于自由因子系，相对外自构群 $ΔΝΝ(F_n;A_1,\ldots,A_k)$ 的虚拟上同调维数是多少？
• RQ2 能否构造一个可缩空间，使得 $ΔΝΝ(F_n;A_1,\ldots,A_k)$ 作用且稳定子群有限？
• RQ3 $ΔΝΝ(F_n;A_1,\ldots,A_k)$ 的 VCD 如何依赖于自由因子 $A_i$ 的数量与复杂度？
• RQ4 该 VCD 公式是否能正确退化为已知情形，如纯对称自构群或经典外空间？

主要发现

• 相对外自构群 $ΔΝΝ(F_n;A_1,\ldots,A_k)$ 的虚拟上同调维数为 $2n - 2\sum_{i=1}^k s(i) + 2k - 2 - m$，其中 $s(i)$ 表示 $A_i$ 的最小生成元个数，$m$ 表示满足 $s(i) = 1$ 的 $A_i$ 的个数。
• 相对外空间 $Δ_n(A_1,\ldots,A_k)$ 是可缩的，且 $ΔΝΝ(F_n;A_1,\ldots,A_k)$ 在其上作用且稳定子群有限。
• 当 $k = n$ 且所有 $s(i) = 1$ 时，该群退化为纯对称自构群，此时公式给出 $ΔΝΝ = n - 2$，与 Collins 的结果一致。
• 在经典情形 $k = 0$ 时，公式退化为 $ΔΝΝ(\u0394Ν(F_n)) = 2n - 3$，与已知结果一致。
• 当 $n > \sum s(i)$ 时，相对外空间 $Δ_n(\mathcal{A})$ 的维数为 $3n + 3k - 3\sum s(i) - 4 - m$；当 $n = \sum s(i)$ 时，维数为 $3n + 2k - 3\sum s(i) - 2 - m$。
• 由骨架维数导出的 VCD 上界与由群生成元独立性论证得到的下界一致，从而确认了公式的正确性。