[论文解读] On type-preserving representations of the thrice punctured projective plane group

Sara Maloni, Frédéric Palesi+1 more|arXiv (Cornell University)|Jul 22, 2018

Algebraic Geometry and Number Theory参考文献 13被引用 3

一句话总结

本文研究了三倍穿孔射影平面的基本群到 PGL(2,R) 的类型保持表示，使用装饰表征簇上的扩展卡沙耶夫坐标与平衡三角剖分。在欧拉类 ±1 时，证明了存在 6 个连通分支，其中所有二边形简单闭曲线均映射为双曲元素，另有 2 个分支中部分曲线映射为非双曲元素，从而解决了鲍奇特提出的问题。映射类群在大多数分支上作用遍历，给出了显式的迹公式，并在坐标空间中的椭圆上展现了几何动力学。

ABSTRACT

In this paper we consider type-preserving representations of the fundamental group of the three--holed projective plane into $\mathrm{PGL}(2, \R) =\mathrm{Isom}(\HH^2)$ and study the connected components with non-maximal euler class. We show that in euler class zero for all such representations there is a one simple closed curve which is non-hyperbolic, while in euler class $\pm 1$ we show that there are $6$ components where all the simple closed curves are sent to hyperbolic elements and $2$ components where there are simple closed curves sent to non-hyperbolic elements. This answer a question asked by Brian Bowditch. In addition, we show also that in most of these components the action of the mapping class group on these non-maximal component is ergodic. In this work, we use an extension of Kashaev's theory of decorated character varieties to the context of non-orientable surfaces.

研究动机与目标

• 确定三倍穿孔射影平面的类型保持 PGL(2,R)-表征簇在非最大欧拉类下的连通分支数量。
• 解决鲍奇特关于是否存在所有二边形简单闭曲线均映射为双曲元素但表示非离散且忠实的表示的问题。
• 研究映射类群在表征簇非最大欧拉类分支上的遍历性。
• 将卡沙耶夫的装饰表征簇框架扩展至非可定向曲面，以实现迹计算与几何分析。

提出的方法

• 作者将卡沙耶夫关于装饰表征簇的理论扩展至非可定向曲面，引入了针对 PGL(2,R) 表示的三角形坐标与迹坐标。
• 他们采用曲面 N_{1,3} 的平衡三角剖分，以定义尊重曲面拓扑与角点单值化性质的坐标系。
• 关键方程将生成元的迹与欧拉类关联，包括恒等式：(a+b−(c+d))² = (ab+4)(cd+4)，以及其它配对的类似形式。
• 通过坐标系导出的迹公式计算闭曲线的迹，从而对简单闭曲线像的双曲性或椭圆性进行分类。
• 通过其在 R⁴ 中二维椭圆上的作用分析德恩扭转的动力学，表明德恩扭转的复合在几乎所有参数值下作用为旋转且具有遍历性。
• 通过证明不变椭圆的梯度在分支的通用点处张成切空间，确立了映射类群的遍历性。

实验结果

研究问题

• RQ1 在欧拉类 e(ρ) = ±1 与 e(ρ) = 0 时，三倍穿孔射影平面的 PGL(2,R)-表征簇中存在多少个连通分支？
• RQ2 是否存在类型保持表示，使得所有二边形简单闭曲线均映射为双曲元素，即使表示非离散且忠实？若存在，这些表示出现在哪些分支中？
• RQ3 映射类群是否在表征簇的非最大欧拉类分支上作用遍历？
• RQ4 卡沙耶夫的装饰表征簇框架能否扩展至具有一致迹公式与几何解释的非可定向曲面？
• RQ5 德恩扭转在表征簇上的动力学行为如何，特别是与遍历性及不变集的关系？

主要发现

• 在欧拉类 e(ρ) = 0 时，每个类型保持表示至少存在一个二边形简单闭曲线被映射为非双曲元素。
• 在欧拉类 e(ρ) = ±1 时，恰好存在 6 个连通分支，其中所有二边形简单闭曲线均被映射为双曲元素。
• 在欧拉类 e(ρ) = ±1 时，恰好存在 2 个连通分支，其中部分二边形简单闭曲线被映射为非双曲元素。
• 映射类群在 e(ρ) = ±1 时所有二边形曲线均被映射为双曲元素的 6 个分支上作用遍历。
• 基于 R⁴ 中不变椭圆上的横截动力学，也证明了在 e(ρ) = 0 分支上作用是遍历的。
• 沿某条曲线的德恩扭转在坐标空间的二维椭圆上作用为旋转，且几乎所有参数值下，两个此类扭转的复合生成稠密轨道。