[论文解读] Proper affine deformation spaces of two-generator Fuchsian groups

Virginie Charette, Todd A. Drumm+1 more|arXiv (Cornell University)|Jan 19, 2015

Geometric and Algebraic Topology参考文献 17被引用 7

一句话总结

本文对双生成元Fuchsian群的适当仿射变形进行分类，其对应的双曲曲面为单孔环面，表明此类Margulis时空可分解为对应理想三角剖分的拐角理想三角形。关键结果为适当仿射变形的空间与几何上良态变形的空间完全一致，形成具有无限多条边的凸多边形变形空间。

ABSTRACT

A Margulis spacetime is a complete flat Lorentzian 3-manifold M with free fundamental group. Associated to M is a noncompact complete hyperbolic surface S homotopy-equivalent to M. The purpose of this paper is to classify Margulis spacetimes when S is homeomorphic to a one-holed torus. We show that every such M decomposes into polyhedra bounded by crooked planes, corresponding to an ideal triangulation of S. This paper classifies and analyzes the structure of crooked ideal triangles, which play the same role for Margulis spacetimes as ideal triangles play for hyperbolic surfaces. This extends our previous work on affine deformations of three-holed sphere and two-holed cross surfaces.

研究动机与目标

• 对关联双曲曲面为单孔环面的Margulis时空的适当仿射变形进行分类。
• 将先前关于三孔球面和双孔十字曲面的研究扩展至更复杂的单孔环面情形。
• 建立Margulis时空向拐角理想三角形的几何分解，类比双曲几何中的理想三角剖分。
• 将此类时空的变形空间表征为具有无限多条边的凸多边形。
• 证明适当仿射变形的空间与几何上良态变形的空间完全一致。

提出的方法

• 利用自由群F₂的超基所关联的瓷砖对变形空间进行铺砌。
• 利用单孔环面的理想三角剖分，诱导Margulis时空向拐角理想三角形的分解。
• 将拐角理想三角形定义为双曲几何中理想三角形的仿射类比，具有特定的几何与代数性质。
• 应用Fuchsian群的仿射变形理论，特别关注原始群元素的Margulis不变量α(γ)。
• 利用曲面的曲线复形的对偶裤复形来组织变形空间的铺砌。
• 通过递归构造一列嵌套的凸多边形，证明几何上良态变形空间的凸性。

实验结果

研究问题

• RQ1 对于基本群为F₂且关联单孔环面的Margulis时空，其适当仿射变形的空间结构如何？
• RQ2 拐角理想三角形如何作为Margulis时空分解中的基本构建块？
• RQ3 在单孔环面情形下，适当仿射变形与几何上良态变形之间存在何种关系？
• RQ4 为何单孔环面的变形空间具有无限多条边，而三孔球面和双孔十字曲面的变形空间为有限多边形？
• RQ5 原始元素的Margulis不变量α(γ)如何约束仿射变形的适当性？

主要发现

• 单孔环面Margulis时空的适当仿射变形空间是凸的，且与几何上良态变形空间完全一致。
• 该变形空间为无限多边形，是通过F₂的超基相关联的瓷砖构造出的凸多边形的递增并集。
• 变形空间中的每块瓷砖对应一个超基，是方向球面S H¹(F₂, V)中的凸三角区域。
• 相邻瓷砖沿对应无向基的边相接，铺砌结构反映了曲面曲线复形的对偶三价树。
• 拐角理想三角形为Margulis时空提供了基本分解，类比双曲曲面中的理想三角形。
• 证明适当变形与几何上良态变形相等的关键在于瓷砖并集的凸性，以及利用分离点与良态区域的直线进行反证法。