[论文解读] The rhombic dodecahedron and semisimple actions of Aut(F_n) on CAT(0) spaces

Martin R. Bridson|arXiv (Cornell University)|Feb 28, 2011

Geometric and Algebraic Topology被引用 4

一句话总结

本文研究了 Aut(Fₙ) 在完备 CAT(0) 空间上的半单等距作用，证明当 n ≥ 4 时，所有 Nielsen 生成元均固定一点。当 n = 3 时，要么所有 Nielsen 生成元均固定一点，要么每个生成 ℤ⁴ 的 Nielsen 变换作用在 3-平面中，以菱形十二面体为基本域，且作用离散。该研究确立了当 n ≥ 2 时，Aut(Fₙ) 和 Out(Fₙ) 均不是紧致 Kähler 流形的基本群。

ABSTRACT

We consider actions of automorphism groups of free groups by semisimple isometries on complete CAT$(0)$ spaces. If $n\\ge 4$ then each of the Nielsen generators of Aut$(F_n)$ has a fixed point. If $n=3$ then either each of the Nielsen generators has a fixed point, or else they are hyperbolic and each Nielsen-generated $\\Z^4\\subset Aut(F_3)$ leaves invariant an isometrically embedded copy of Euclidean 3-space on which it acts as a discrete group of translations with the rhombic dodecahedron as a fundamental domain. An abundance of actions of the second kind is described. Constraints on maps from Aut$(F_n)$ to mapping class groups and linear groups are obtained. If $n\\ge 2$ then neither Aut$(F_n)$ nor Out$(F_n)$ is the fundamental group of a compact K\\"ahler manifold.

研究动机与目标

• 通过半单等距研究 Aut(Fₙ) 在 CAT(0) 空间上的几何约束。
• 确定 Aut(Fₙ) 的 Nielsen 生成元是否作用为椭圆型（具有不动点）或双曲型（具有平移轴）。
• 对 Aut(F₃) 在 CAT(0) 空间上的可能作用进行分类，特别关注由 Nielsen 变换生成的 ℤ⁴ 子群。
• 推导拓扑与表示论后果，尤其是关于 Kähler 群与线性表示的结论。
• 确立当 n ≥ 2 时，Aut(Fₙ) 和 Out(Fₙ) 均非紧致 Kähler 流形的基本群。

提出的方法

• 使用 Karlsson-Margulis 引理分析 CAT(0) 空间中等距变换的平移长度。
• 应用 Gersten 的思想，证明当 n ≥ 4 时，Nielsen 生成元在半单作用下必固定一点。
• 对 Aut(F₃) 中由 Nielsen 变换生成的 ℤ⁴ 子群进行几何分析，表明其在等距嵌入的 ℝ³ 上离散作用，且基本域为菱形十二面体。
• 将菱形十二面体用作 Dirichlet 域，以刻画 n = 3 情况下 Nielsen ℤ⁴ 子群的作用。
• 利用标准表示 Aut(Fₙ) → GL(n, ℤ) 的刚性及其对表示理论的影响。
• 应用 Simpson 的非形变结果及 Hodge 理论障碍，证明 Aut(Fₙ) 和 Out(Fₙ) 均非 Kähler 群。

实验结果

研究问题

• RQ1 当 n ≥ 4 时，在任意完备 CAT(0) 空间上的半单等距作用中，Aut(Fₙ) 的所有 Nielsen 生成元是否均固定一点？
• RQ2 当 n = 3 时，Nielsen 变换是否可作用为双曲型？若是，其 ℤ⁴ 子群所保持的几何结构为何？
• RQ3 是否存在一个统一的几何不变量（如基本域），与 Aut(F₃) 中 Nielsen ℤ⁴ 子群的作用相关联？
• RQ4 在 CAT(0) 空间上的作用对从 Aut(Fₙ) 到映射类群或线性群的同态施加了何种约束？
• RQ5 当 n ≥ 2 时，Aut(Fₙ) 和 Out(Fₙ) 是否为紧致 Kähler 流形的基本群？

主要发现

• 当 n ≥ 4 时，Aut(Fₙ) 的每个 Nielsen 生成元在任意完备 CAT(0) 空间上的半单等距作用中均固定一点。
• 当 n = 3 时，要么所有 Nielsen 生成元均固定一点，要么每个 Nielsen ℤ⁴ 子群在等距嵌入的 ℝ³ 上离散作用，且基本域为菱形十二面体。
• 存在大量 Aut(F₃) 的双曲作用，源于线性表示，以及 Out(F₃) 有一个有限指数子群映满非交换自由群的事实。
• 当 n ≥ 6 时，所有 Nielsen 生成元在任意完备 CAT(0) 空间上的等距作用中平移长度为零，意味着它们为椭圆型或中性抛物型。
• Aut(Fₙ) 在 H₁(Fₙ, ℤ) 上的标准表示具有刚性，且该刚性意味着当 n ≥ 2 时，Aut(Fₙ) 和 Out(Fₙ) 均非 Kähler 群。
• 当 n ≥ 6 时，任何表示 Φ: Aut(Fₙ) → SL(d, ℝ) 的像中所有特征值的模均为 1，这是由于 Nielsen 生成元的平移长度为零。