[论文解读] The actions of $Out(F_k)$ on the boundary of Outer space and on the space of currents: minimal sets and equivariant incompatibility

Ilya Kapovich, Martin Lustig|ArXiv.org|May 19, 2006

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

一句话总结

该论文证明了当 $k \geq 5$ 时，不存在从外自同构群 $\mathrm{Out}(F_k)$ 的外空间边界 $\partial CV(F_k)$ 到射影化测地流形测度空间 $\mathbb{P}Curr(F_k)$ 的连续 $\mathrm{Out}(F_k)$-等变或反等变映射，并证明了在 $\partial CV(F_k)$ 和 $\mathbb{P}Curr(F_k)$ 中均存在唯一的极小闭 $\mathrm{Out}(F_k)$-不变集，从而表明帕特森-萨利斯伯里嵌入给出了外空间的一个新紧化。

ABSTRACT

We prove that for $k\ge 5$ there does not exist a continuous map $\partial CV(F_k) o\mathbb PCurr(F_k)$ that is either $Out(F_k)$-equivariant or $Out(F_k)$-anti-equivariant. Here $\partial CV(F_k)$ is the "length-function" boundary of Culler-Vogtmann's Outer space $CV(F_k)$, and $\mathbb PCurr(F_k)$ is the space of projectivized geodesic currents for $F_{k}$. We also prove that, if $k\ge 3$, for the action of $Out(F_k)$ on $\mathbb PCurr(F_{k})$ and for the diagonal action of $Out(F_k)$ on the product space $\partial CV(F_k) imes \mathbb PCurr(F_k)$ there exist unique non-empty minimal closed $Out(F_k)$-invariant sets. Our results imply that for $k\ge 3$ any continuous $Out(F_k)$-equivariant embedding of $CV(F_k)$ into $\mathbb PCurr(F_k)$ (such as the Patterson-Sullivan embedding) produces a new compactification of Outer space, different from the usual "length-function" compactification $\bar{CV(F_k)}=CV(F_k)\cup \partial CV(F_k)$.

研究动机与目标

• 研究 $\mathrm{Out}(F_k)$ 在外空间边界 $\partial CV(F_k)$ 上的作用与在射影化测地流形测度空间 $\mathbb{P}Curr(F_k)$ 上的作用之间的动力学关系。
• 确定是否存在从 $\partial CV(F_k)$ 到 $\mathbb{P}Curr(F_k)$ 的连续 $\mathrm{Out}(F_k)$-等变或反等变映射。
• 识别并表征 $\partial CV(F_k)$、$\mathbb{P}Curr(F_k)$ 及其乘积空间中的极小闭 $\mathrm{Out}(F_k)$-不变集。
• 探讨这些结果对外空间紧化的影响，特别是帕特森-萨利斯伯里嵌入的作用。

提出的方法

• 通过 $\mathbb{R}$-树的长度函数边界分析 $\mathrm{Out}(F_k)$ 在 $\partial CV(F_k)$ 上的作用，即 Culler-Vogtmann 外空间的边界。
• 研究射影化测地流形测度空间 $\mathbb{P}Curr(F_k)$，其为 $F_k$-不变、反对称不变的 Radon 测度，定义在 $\partial^2 F_k$ 上。
• 应用 $\mathrm{Out}(F_k)$-等变的交形式 $I: cv(F_k) \times Curr(F_k) \to \mathbb{R}$，该形式推广了双曲曲面的博纳宏交数。
• 利用等变映射的不存在性，推导出帕特森-萨利斯伯里嵌入到 $\mathbb{P}Curr(F_k)$ 产生了一个不同于标准长度函数紧化的紧化。
• 运用极小集理论与拓扑动力系统方法，证明当 $k \geq 3$ 时，$\mathrm{Out}(F_k)$ 在 $\partial CV(F_k) \times \mathbb{P}Curr(F_k)$ 上的对角作用存在唯一的非空闭极小不变集。
• 利用德恩扭转的行为以及 $cv(F_k)$ 和 $Curr(F_k)$ 中序列的收敛性，分析极限点与交数量。

实验结果

研究问题

• RQ1 当 $k \geq 5$ 时，是否存在连续的 $\mathrm{Out}(F_k)$-等变或反等变映射 $\partial CV(F_k) \to \mathbb{P}Curr(F_k)$？
• RQ2 在 $\partial CV(F_k)$、$\mathbb{P}Curr(F_k)$ 及其乘积空间中，$\mathrm{Out}(F_k)$-极小闭不变集是什么？
• RQ3 帕特森-萨利斯伯里嵌入 $\mathcal{P}: CV(F_k) \to \mathbb{P}Curr(F_k)$ 是否可用于构造外空间的新紧化？
• RQ4 在 $\partial CV(F_k) \times \mathbb{P}Curr(F_k)$ 中的极小集 $\mathcal{M}^2$ 是否等于交数量为零的集合？

主要发现

• 当 $k \geq 5$ 时，不存在从 $\partial CV(F_k)$ 到 $\mathbb{P}Curr(F_k)$ 的连续 $\mathrm{Out}(F_k)$-等变或反等变映射。
• 当 $k \geq 3$ 时，在 $\partial CV(F_k)$、$\mathbb{P}Curr(F_k)$ 及其乘积空间中均存在唯一的非空闭 $\mathrm{Out}(F_k)$-不变极小集。
• 帕特森-萨利斯伯里嵌入 $\mathcal{P}: CV(F_k) \to \mathbb{P}Curr(F_k)$ 是一个连续的 $\mathrm{Out}(F_k)$-等变拓扑嵌入，其闭包包含 $\mathbb{P}Curr(F_k)$ 中的极小集。
• 帕特森-萨利斯伯里嵌入的像在标准长度函数紧化中不是稠密的，这意味着它诱导了外空间的一个不同紧化。
• 在假设交形式连续延拓到边界的情况下，$\partial CV(F_k) \times \mathbb{P}Curr(F_k)$ 中的极小集 $\mathcal{M}^2$ 包含于零交数量集 $I_0$ 中。
• 极小集 $\mathcal{M}^2$ 包含于由代数利纳米特定义的集合 $\mathcal{L}^2$ 中，暗示了利纳米特与零交数对之间存在深刻联系。