[论文解读] Automorphisms of two-generator free groups and spaces of isometric actions on the hyperbolic plane

William M. Goldman, Greg McShane+2 more|arXiv (Cornell University)|Sep 12, 2015

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

一句话总结

本文研究自由群 F₂ 的外自同构群在双曲3维空间等距作用空间上的动力系统，聚焦于保持双曲平面但不保持其方向的表示。研究证明，群 Γ 在由三次不变量 κΦ(x,y,z) = −x²−y²+z²+xyz−2 定义的特征 variety 特定子集上作用适当且遍历，其中 k < 2 时建立遍历性，k > 2 时得到稠密性结果，与非可定向曲面（如二孔实射影平面和单孔克莱因瓶）的 Fricke 空间相关联。

ABSTRACT

The automorphisms of a two-generator free group acting on the space of orientation-preserving isometric actions of on hyperbolic 3-space defines a dynamical system. Those actions which preserve a hyperbolic plane but not an orientation on that plane is an invariant subsystem, which reduces to an action on R^3 by polynomial automorphisms preserving the cubic polynomial and an area form on the level surfaces. We describe the dynamical decomposition of this action. The domain of discontinuity of this action corresponds to geometric structures: either complete hyperbolic structures on the 2-holed cross-surface (projective plane) with cusps and funnels, or complete hyperbolic structures on a one-holed Klein bottle, or hyperbolic structures on a Klein bottle with one conical singularity. The action is ergodic on the complement of the orbit of the Fricke space of the 2-holed cross-surface, and we show that the orbit of the generalized Fricke space of the one-holed Klein bottle is open and dense.

研究动机与目标

• 理解自由群 F₂ 的外自同构群在双曲3维空间上保持方向的等距作用空间上诱导的动力系统。
• 分析保持一个双曲平面但不保持其方向的不变子系统，该系统可约化为 R³ 上的多项式作用。
• 在实 Markoff 曲面的实点集中，刻画非可定向曲面（特别是二孔实射影平面和单孔克莱因瓶）的标记双曲结构的 Fricke 空间。
• 在广义 Fricke 空间及其水平集上，建立群作用的适当性与遍历性。
• 研究特征 variety 中轨道闭包的稠密性与测度性质，特别是针对 k > 2 和 k < 2 的情形。

提出的方法

• 作者使用三次不变量 κΦ(x,y,z) = −x²−y²+z²+xyz−2 在 R³ 中定义水平集，以参数化 F₂ 到 PSL(2,C) 的共轭类表示。
• 他们分析群 Γ（由 Nielsen 变换和符号变换生成）在 R³ 上的作用，该作用保持 κΦ 及其水平面上的面积形式。
• 二孔实射影平面的 Fricke 空间 F(C₀,₂) 定义为 z ≤ −2 且 xy + z ≥ 2；单孔克莱因瓶的广义 Fricke 空间 F′(C₁,₁) 定义为 z > 2 且 xyz ≥ x² + y²。
• 采用拓扑与动力系统方法，包括投影技术及三价树上交错测地线的应用，以分析水平集的结构。
• 论文应用 Bowditch 的迹标记与例外特征理论，研究特征 variety 上作用的动力学行为。
• 通过 Moore 定理及 GL(2,Z)ₚ 在 R² 上的作用，证明了遍历性，该作用因非紧的稳定子群与有限 Haar 测度商而具有遍历性。

实验结果

研究问题

• RQ1 F₂ 的外自同构群如何作用于双曲3维空间上等距作用的空间，特别是在保持一个双曲平面但不保持其方向的子空间上？
• RQ2 群 Γ 在水平集 κΦ⁻¹(k) 上对不同 k 值的动力行为如何，特别是关于遍历性与轨道结构？
• RQ3 非可定向曲面（二孔实射影平面与单孔克莱因瓶）的 Fricke 空间如何嵌入由 κΦ 定义的特征 variety 中？
• RQ4 当 k > 2 时，Γ·F′(C₁,₁) 是否在 κΦ⁻¹(k) 中稠密，且其补集是否几乎处处为零测度？
• RQ5 当 k < 2 时，水平集 κΦ⁻¹(k) 的拓扑与几何结构如何，特别是与椭圆元素及下降路径的关系？

主要发现

• 群 Γ 在轨道闭包 Γ·F(C₀,₂) 与 Γ·F′(C₁,₁) 上作用适当，这些闭包通过三次不变量 κΦ 嵌入特征 variety 中。
• 当 k < 2 时，Γ 在 κΦ⁻¹(k) 中除去 Γ·F(C₀,₂) 的部分上作用遍历，且当 −14 ≤ k < 2 时在整个 κΦ⁻¹(k) 上作用遍历。
• 当 k > 2 时，轨道 Γ·F′(C₁,₁) 在 κΦ⁻¹(k) 中为开集且稠密，其补集猜想为零测度。
• 水平集 κΦ⁻¹(2) 通过微分同胚 Ψ: R² → 两分支曲面参数化，且 GL(2,Z)ₚ 在 R² 上的作用由 Moore 定理保证遍历性。
• 当 k = 23 时，广义 Fricke 空间 F′(C₁,₁) ∩ κΦ⁻¹(k) 由四个连通分支组成，每个分支在 xy 平面上投影为一个以原点为顶点的三角形，且在符号变换下相互置换。
• 当 k < 2 时，水平集 κΦ⁻¹(k) 是连通的，且在 k = −10 时与椭圆区域 |z| < 2 的交集为环形区域，而在 k = −2 处具有奇点。