[论文解读] Dynamics of the Automorphism Group of the GL(2,R)-Characters of a Once-puncutred Torus

William M. Goldman, George Stantchev|arXiv (Cornell University)|Sep 4, 2003

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

一句话总结

本文研究了秩为2的自由群的外自同构群在单极点环面的GL(2,R)-表示的特征簇上的作用动力学。利用多项式不变量 𝜅(x,y,z) = -x² - y² + z² + xyz - 2，证明当 -14 < c < 2 时，该作用在水平集 𝜅⁻¹(c) 上是遍历的；而当 c < -14 时，该作用在特定开子集 Ωᴹᶜ 上是游荡的，且在其余部分是遍历的。本文构建了一个高效的多项式时间算法，用于判断轨道成员关系。

ABSTRACT

Let pi be a free group of rank 2. Its outer automorphism group Out(pi) acts on the space of equivalence classes of representations in Hom(pi, SL(2,C)). Let SLm(2,R) denote ths subset of GL(2,R) consisting of matrices of determinant -1 and let ISL(2,R) denote the subgroup (SL(2,R) union i SLm(2,R)) of SL(2,C). The representation space Hom(pi, ISL(2,R)) has four connected components, three of which consist of representations that send at least on generator of pi to iSLm(2,R). We investigate the dynamics of the Out(pi)-action on these components. The group Out(pi) is commensurable with the group Gamma of automorphisms of the polynomial kappa(x,y,z) = -x^2 - y^2 + z^2 + xyz -2. We show that for -14 &lt; c &lt; 2, the action of Gamma is ergodic on the level sets kappa^(-1)(c). For c &lt; -14 the group Gamma acts properly and freely on an open subset OmegaMc of kappa^(-1)(c) and acts ergodically on the complement of OmegaMc. We construct an algorithm which determines, in polynomial time, if a point (x,y,z) in R^3 is Gamma-equivalent to a point in OmegaMc or in its complement. Conjugacy classes of ISL(2,R)-representations identify with R^3 via an appropriate restriction of the Fricke character map. Corresponding to the Fricke spaces of the once-punctures Klein bottle and the once-punctured Moebius band are Gamma-invariant open subsets OmegaK and OmegaM respectively. We give an explicit parametrization of OmegaK and OmegaM as subsets of R^3 and we show that OmegaM has a non-empty intersection with kappa^(-1)(c) if and only if c6.

研究动机与目标

• 分析外自同构群 Out(π) 在单极点环面的GL(2,R)-表示空间上的动力行为。
• 对表示空间 Hom(π, ISL(2,R)) 的连通分支进行分类，并通过不变多项式 𝜅(x,y,z) 理解其结构。
• 确定在不同 c 值下，该作用在水平集 𝜅⁻¹(c) 上的遍历性与游荡性。
• 构建一个多项式时间算法，以判断给定特征在群作用下是否属于开集 Ωᴹᶜ 或其补集。

提出的方法

• 通过迹映射 χ: Hom(π, SL(2,C)) → ℂ³ 参数化特征簇，将表示映射为 (tr(ρ(X)), tr(ρ(Y)), tr(ρ(XY)))。
• 使用不变多项式 𝜅(x,y,z) = -x² - y² + z² + xyz - 2 定义水平集 𝜅⁻¹(c)，以对 ISL(2,R)-表示的共轭类进行分类。
• 利用二次反射 Qₓ, Qᵧ 和 Q_z 生成轨道，并通过将其分析为二叉树来研究动力学行为。
• 应用 τ-约化算法将特征约化至基本域，从而实现轨道分类。
• 通过循环子群在双曲水平集上的作用以及 τ-函数的单调性，分析极值点与不变集，进而研究动力学。
• 通过在水平集上的测度论论证，特别是分析椭圆与双曲线上无理旋转下轨道的稠密性，建立遍历性。

实验结果

研究问题

• RQ1 对于哪些 c 值，模群 Γ 在水平集 𝜅⁻¹(c) 上的作用是遍历的？
• RQ2 对应于莫比乌斯带与克莱因瓶表示的开不变子集 Ωᴹ 和 Ωᴷ 的结构是怎样的？
• RQ3 如何算法性地判断给定特征在 Γ 作用下是否属于集合 Ωᴹᶜ 或其补集？
• RQ4 不变多项式 𝜅 与基本群为秩2的非可定向曲面的几何之间存在何种关系？

主要发现

• 当 -14 < c < 2 时，群 Γ 在水平集 𝜅⁻¹(c) 上的作用是遍历的。
• 当 c < -14 时，群 Γ 在开子集 Ωᴹᶜ ⊂ 𝜅⁻¹(c) 上作用适当且自由，且在 Ωᴹᶜ 的补集上是遍历的。
• 当且仅当 c < -14 时，集合 Ωᴹᶜ ∩ 𝜅⁻¹(c) 非空。
• 当且仅当 c > 6 时，集合 Ωᴷ ∩ 𝜅⁻¹(c) 非空。
• 存在一个多项式时间算法，可判断 ℝ³ 中的点 (x,y,z) 是否在 Γ 作用下等价于 Ωᴹᶜ 中的某点或其补集中的某点。
• 对于所有 c < 2，Γ 在 𝜅⁻¹(c) ∩ (𝒳₁,₁ − Ωᴹ) 上的作用是遍历的，该结果扩展至广泛的水平集范围。