[论文解读] Fixed points for actions of Aut(Fn) on CAT(0) spaces

Olga Varghese|arXiv (Cornell University)|Dec 21, 2011

Geometric and Algebraic Topology参考文献 19被引用 8

一句话总结

本文建立了关于 Aut(Fn) 和 SAut(Fn) 在完备 CAT(0) 空间上作用的、与维度相关的精确不动点定理。通过引入一种具有有限子群的新型生成集，以及 CAT(0) 空间上 Helly 定理的扩展形式，证明了当 n ≥ 4 时，若 d < 2⌊n/4⌋ − 1，则 Aut(Fn) 在任意 d 维 CAT(0) 空间中具有不动点；类似地，当 n ≥ 5 且 d < 2⌊(n−1)/4⌋ − 1 时，SAut(Fn) 也具有该性质，其结果对表示理论具有深远影响。

ABSTRACT

For n greater or equal 4 we discuss questions concerning global fixed points for isometric actions of Aut(Fn), the automorphism group of a free group of rank n, on complete CAT(0) spaces. We prove that whenever Aut(Fn) acts by isometries on complete d-dimensional CAT(0) space with d is less than 2 times the integer function of n over 4 and minus 1, then it must fix a point. This property has implications for irreducible representations of Aut(Fn), which are also presented here. For SAut(Fn), the unique subgroup of index two in Aut(Fn), we obtain similar results.

研究动机与目标

• 确定 Aut(Fn) 与 SAut(Fn) 在完备 CAT(0) 空间上具有全局不动点性质的最大维数 d。
• 将已知的关于单纯单形树（FA）的不动点结果推广至高维 CAT(0) 空间（FAd）。
• 利用生成集的组合结构与几何群论方法，建立不动点性质的精确维数界限。
• 推导出 Aut(Fn) 与 SAut(Fn) 表示理论的推论，特别是不可约表示的共轭类的有限性。

提出的方法

• 构造 Aut(Fn) 与 SAut(Fn) 的有限生成集，使得每对生成元都生成一个有限子群。
• 应用 d 维 CAT(0) 空间中有限闭凸子集族的 Helly 定理的扩展版本。
• 应用 Farb 的不动点准则：若生成集中任意 (d+1) 个元素的子集都有不动点，则整个群具有全局不动点。
• 利用 Bridson 关于交换共轭子群的定理，将不动点问题约化为有限子群问题。
• 分析 Aut(Fn) 与 SAut(Fn) 在对称空间与仿射建筑上的作用，以建立精确的维数界限。
• 结合行列式同态与嵌入技术，将问题约化为低秩群的情形。

实验结果

研究问题

• RQ1 在哪些维数 d 下，Aut(Fn) 在完备 d 维 CAT(0) 空间上具有全局不动点性质？
• RQ2 使得 Aut(Fn) 在任意完备 CAT(0) 空间维数 d 上作用具有全局不动点的 d 的上确界是多少？
• RQ3 Aut(Fn) 的不动点性质与 GLn(Z) 相比如何？这对它们的表示理论有何影响？
• RQ4 特殊自同构群 SAut(Fn) 的类似不动点界限是什么？它与 Aut(Fn) 的界限有何不同？
• RQ5 不动点性质如何限制到 GLd(K) 或 SLd(K) 中不可约表示的共轭类数量？

主要发现

• 当 n ≥ 4 时，若 d < 2⌊n/4⌋ − 1，则 Aut(Fn) 在任意完备 d 维 CAT(0) 空间中具有全局不动点性质。
• 当 n ≥ 5 时，若 d < 2⌊(n−1)/4⌋ − 1，则 SAut(Fn) 在任意完备 d 维 CAT(0) 空间中具有全局不动点性质。
• 不动点性质意味着当 d ≤ 2⌊n/4⌋ − 1 且 K 为代数闭域时，不可约表示 ρ: Aut(Fn) → GLd(K) 的共轭类仅有有限多个。
• 类似地，当 d ≤ 2⌊(n−1)/4⌋ − 1 时，SAut(Fn) 的不可约表示 ρ: SAut(Fn) → SLd(K) 的共轭类也仅有有限多个。
• 界限 2⌊n/4⌋ − 1 是精确的，因为当 n 足够大时，Aut(Fn) 在维数为 ½n(n+1) 的对称空间 Pn(R) 上作用无全局不动点，而该维数超过此界限。
• 结果可推广至 GLn(Z) 与 SLn(Z)，表明它们在相同维数界限下也具有 FAd 性质。