[论文解读] Any Baumslag-Solitar action on surfaces with a pseudo-Anosov element has a finite orbit

Nancy Guelman, Isabelle Liousse|arXiv (Cornell University)|Mar 27, 2017

Geometric and Algebraic Topology参考文献 20被引用 4

一句话总结

该论文证明，任何在闭曲面上对 Baumslag-Solitar 群 $BS(1,n)$ 的忠实 $C^1$ 作用，若包含一个伪阿诺索夫元素，则必须具有有限轨道。通过动力系统技术，包括不稳定流形和微分增长估计，论文表明伪阿诺索夫元素的存在迫使作用保持一个有限不变集，从而排除了在环面上具有阿诺索夫动力学的忠实 $C^1$ 作用。

ABSTRACT

We consider $f, h$ homeomorphims generating a faithful $BS(1,n)$-action on a closed surface $S$, that is, $h f h^{-1} = f^n$, for some $ n\\geq 2$. According to \\cite{GL}, after replacing $f$ by a suitable iterate if necessary, we can assume that there exists a minimal set $\\Lambda$ of the action, included in $Fix(f)$. Here, we suppose that $f$ and $h$ are $C^1$ in neighbourhood of $\\Lambda$ and any point $x\\in\\Lambda$ admits an $h$-unstable manifold $W^u(x)$. Using Bonatti's techniques, we prove that either there exists an integer $N$ such that $W^u(x)$ is included in $Fix(f^N)$ or there is a lower bound for the norm of the differential of $h$ only depending on $n$ and the Riemannian metric on $S$. Combining last statement with a result of \\cite{AGX}, we show that any faithful action of $BS(1, n)$ on $S$ with $h$ a pseudo-Anosov homeomorphism has a finite orbit. As a consequence, there is no faithful $C^1$-action of $BS(1, n)$ on the torus with $h$ an Anosov.

研究动机与目标

• 确定在闭曲面上具有伪阿诺索夫元素的 $BS(1,n)$ 的忠实 $C^1$ 作用是否可能在无有限轨道的情况下存在。
• 分析 $BS(1,n)$ 作用在极小集和不动点集附近的动力行为。
• 建立 $h$ 的不稳定流形迫使 $f$ 存在周期点或不动点的条件，从而导致有限轨道。
• 利用几何和动力学约束，解决 $BS(1,n)$ 是否能以 $C^1$ 光滑且忠实的方式作用在环面上，且 $h$ 为阿诺索夫映射的问题。

提出的方法

• 利用 $BS(1,n)$ 作用存在极小集 $\Lambda \subset \operatorname{Fix}(f)$ 的事实，假设在迭代后 $f$ 同伦于恒等映射。
• 应用 Bonatti 的不稳定流形和微分增长技术，分析 $h$ 的微分在不稳定方向上的范数。
• 在 $\Lambda$ 的邻域 $W$ 上建立 $Dh$ 的算子范数 $\mathcal{S}(h,W)$ 的下界，该下界仅依赖于 $n$ 和黎曼度量。
• 利用 [AGX] 的结果：若拉伸因子 $\lambda > n$，则 $f = \mathrm{id}$，从而在 $\lambda \leq n$ 不成立时导出矛盾。
• 证明若 $W^u(x_0)$ 不包含于 $\operatorname{Fix}(f^N)$，则 $\mathcal{S}(h,W) \geq \frac{n}{C_S}$，结合伪阿诺索夫动力学的生长估计，导致矛盾。
• 通过 [Wea] 的主要定理关于不变紧致集，应用反证法，表明不稳定流形上的点必须是不动点，除非微分增长过大。

实验结果

研究问题

• RQ1 在闭曲面上具有伪阿诺索夫元素的 $BS(1,n)$ 的忠实 $C^1$ 作用是否可能在无有限轨道的情况下存在？
• RQ2 当 $h$ 的不稳定流形与 $f$ 的不动点集相交时，会产生何种动力学约束？
• RQ3 沿不稳定流形的 $h$ 的微分的增长率是否迫使 $f$ 为平凡或周期映射？
• RQ4 $BS(1,n)$ 是否可能以 $C^1$ 光滑且忠实的方式作用在环面上，且 $h$ 为阿诺索夫映射？
• RQ5 映射 $h$ 的奇点集 $\Sigma$ 在阻碍无有限轨道的忠实作用中起什么作用？

主要发现

• 任何在闭曲面上具有伪阿诺索夫元素的 $BS(1,n)$ 的忠实 $C^1$ 作用，必须具有有限轨道。
• 若 $\Lambda$ 中某点处 $h$ 的不稳定流形不包含于 $\operatorname{Fix}(f^N)$，则 $Dh$ 的算子范数必须满足 $\mathcal{S}(h,W) \geq \frac{n}{C_S}$。
• 伪阿诺索夫元素的存在迫使拉伸因子 $\lambda$ 满足 $\lambda \leq n$，但由微分增长估计可得 $\lambda \geq n$，因此 $\lambda = n$，这与伪阿诺索夫映射的拉伸因子不能为整数的已知事实矛盾。
• $\operatorname{Fix}(f)$ 必须与 $h$ 的奇点集 $\Sigma$ 相交，而 $\Sigma$ 是有限且 $h$-不变的，这意味着作用具有有限轨道。
• 因此，环面上不存在 $BS(1,n)$ 的忠实 $C^1$ 作用且 $h$ 为阿诺索夫映射，因为此类作用需要 $\lambda > n$，从而导致 $f = \mathrm{id}$，违反忠实性。
• 该论文确立了：在具有伪阿诺索夫元素的曲面上，$BS(1,n)$ 的唯一可能的忠实 $C^1$ 作用是具有有限轨道的作用，从而解决了表面群作用中的一个关键问题。