[论文解读] Dynamics on the PSL(2,C)-character variety of a twisted I-bundle

Michelle Lee|arXiv (Cornell University)|Mar 17, 2011

Geometric and Algebraic Topology参考文献 10被引用 6

一句话总结

本文在非可定向双曲曲面的扭曲 $I$-丛 $M$ 的 $ \mathrm{PSL}(2,\mathbb{C})$-特征簇上，建立了 $ \mathrm{Out}(\pi_1(M))$ 作用的更大不连续域。文章引入了原始稳定表示的集合 $\mathcal{PS}(M)$，该集合严格包含变形空间 $AH(M)$ 的内部，并证明该作用在 $\mathcal{PS}(M)$ 上是本性不连续的。关键结果精确刻画了哪些离散且忠实的表示位于该不连续域之外：即存在某个原始元素映射为抛物元素的情形。

ABSTRACT

Let M be a twisted interval bundle over a nonorientable hyperbolizable surface. Let X(M) be the PSL(2,C)-character variety of π_1(M). We examine the dynamics of the action of Out(π_1(M)) on X(M), and in particular, we find an open set on which the action is properly discontinuous that is strictly larger than the interior of the deformation space of marked hyperbolic manifolds homotopy equivalent to M. Further, we identify which discrete and faithful representations can lie in a domain of discontinuity for the action of Out(π_1(M)) on X(M).

研究动机与目标

• 理解 $\mathrm{Out}(\pi_1(M))$ 在非可定向双曲曲面上扭曲 $I$-丛 $M$ 的 $ \mathrm{PSL}(2,\mathbb{C})$-特征簇 $\mathcal{X}(M)$ 上的动力学行为。
• 识别 $ \mathrm{Out}(\pi_1(M))$-作用的不连续域，该域严格大于变形空间 $AH(M)$ 的内部。
• 刻画 $AH(M)$ 中哪些离散且忠实的表示位于或位于此类不连续域之外。
• 澄清可定向与不可定向曲面群在其在特征簇上的作用中动力学差异。

提出的方法

• 引入并研究通过原始元素作用下测地线几何稳定性定义的原始稳定表示集合 $\mathcal{PS}(M)$。
• 利用 $AH(M)$ 内部的参数化，证明 $ \mathrm{Out}(\pi_1(M))$-作用在 $\mathcal{PS}(M)$ 上是本性不连续的。
• 应用 Bonahon 的有界直径引理，控制双曲流形中不可压缩曲面的几何，并在原始稳定条件不成立时导出矛盾。
• 利用 Minsky 的结果：本质环纹核心曲线的抛物像会阻止表示属于任何不连续域。
• 通过涉及相对紧致核心和 $\pi_1$-单射曲面结构的拓扑论证，排除本质 Möbius 带的抛物像。
• 应用全纯迹映射并利用凸余紧表示的稠密性，证明抛物表示的邻域中包含具有无限稳定子群的点。

实验结果

研究问题

• RQ1 对于扭曲 $I$-丛，$ \mathrm{Out}(\pi_1(M))$ 在 $\mathcal{X}(M)$ 上的不连续域是否可以严格大于 $AH(M)$ 的内部？
• RQ2 在 $AH(M)$ 中，哪些离散且忠实的表示无法属于 $ \mathrm{Out}(\pi_1(M))$-作用的任何不连续域？
• RQ3 $\mathrm{Out}(\pi_1(M))$ 在 $\mathcal{X}(M)$ 上的动力学在不可定向与可定向曲面群之间有何不同？
• RQ4 原始稳定表示能否用于构造 $ \mathrm{Out}(\pi_1(M))$ 的最大不连续域？
• RQ5 表示的何种拓扑或几何条件可确保其位于任何不连续域之外？

主要发现

• 原始稳定表示集合 $\mathcal{PS}(M)$ 是 $\mathcal{X}(M)$ 的一个开集，关于 $ \mathrm{Out}(\pi_1(M))$ 不变，且在该集合上作用是本性不连续的。
• 不连续域 $\mathcal{PS}(M)$ 严格包含 $AH(M)$ 的内部，延伸至包含 $\partial AH(M)$ 的某些点。
• 若且唯若 $\rho(g)$ 对 $\pi_1(M)$ 中任意原始元素 $g$ 均非抛物，则 $[\rho] \in AH(M)$ 属于 $\mathcal{PS}(M)$。
• 若存在某个原始 $g$ 使得 $\rho(g)$ 为抛物，则任意 $[\rho] \in AH(M)$ 均不能属于 $ \mathrm{Out}(\pi_1(M))$-作用的任何不连续域。
• 该结果表明，$AH(M)$ 中所有纯双曲表示均属于 $\mathcal{PS}(M)$，因为它们不包含抛物原始元素。
• 对于可定向曲面上的平凡 $I$-丛，$AH(M)$ 的任意边界点均不属于任何不连续域，与扭曲 $I$-丛情形形成鲜明对比。