[论文解读] Immersions and the space of all translation structures

W. Patrick Hooper|arXiv (Cornell University)|Oct 19, 2013

semigroups and automata theory参考文献 16被引用 4

一句话总结

本文通过定义从圆盘到曲面的浸入来实现对所有带基点的微分几何曲面空间的沉浸拓扑——该拓扑允许有限与无限亏格曲面序列的收敛。关键贡献在于证明了该拓扑是豪斯多夫的，并且在基点处具有统一有界注入半径的曲面构成一个紧致子集，从而实现了从逼近曲面到极限曲面之间几何与动力信息的连续传递。

ABSTRACT

A translation structure on a surface is an atlas of charts to the plane so that the transition functions are translations. We allow our surfaces to be non-compact and infinite genus. We endow the space of all pointed surfaces equipped with a translation structure with a topology, which we call the immersive topology because it is related to the manner in which disks can be immersed into such a surface. We prove that a number of operations typically done to translation surfaces are continuous with respect to the topology. We show that the topology is Hausdorff, and that the collection of surfaces with a fixed lower bound on the injectivity radius at the basepoint is compact.

研究动机与目标

• 对所有带基点的微分几何曲面空间进行拓扑化，包括非紧致与无限亏格的情形。
• 定义一种拓扑，使得有限亏格微分几何曲面序列可收敛至无限亏格极限。
• 确保几何与动力性质可从逼近曲面连续传递至其极限。
• 为研究有限与无限亏格微分几何曲面（包括无理多边形中的折线运动与阿贝尔覆叠）提供统一框架。
• 以一种保留关键几何不变量（如注入半径与圆盘浸入）的方式形式化收敛性。

提出的方法

• 通过考虑所有带基点的微分几何曲面空间，并基于曲面中存在圆盘浸入来定义收敛性，从而定义沉浸拓扑。
• 若对于曲面的万有覆叠中的每个紧致子集，基点的提升在万有覆叠中收敛，则一个带基点的微分几何曲面序列收敛。
• 通过在嵌套邻域上递归应用算法，选择一个子序列及其基点的提升，使其在万有覆叠中收敛，从而形成极限提升集合。
• 利用万有覆叠中嵌入圆盘构造的不相交邻域，证明该拓扑是豪斯多夫的。
• 通过在万有覆叠中选择基点提升的收敛子列，证明了在基点处注入半径一致有界的曲面集合的紧致性。
• 该框架利用了先前关于圆盘上微分几何结构的研究成果，特别是万有覆叠中圆盘浸入的行为。

实验结果

研究问题

• RQ1 能否在所有带基点的微分几何曲面空间（包括无限亏格与非紧致情形）上定义一种拓扑，以捕捉有限亏格曲面序列的自然极限？
• RQ2 该结果拓扑是否为豪斯多夫的，从而确保极限唯一且收敛行为良好？
• RQ3 在基点处具有统一下界的注入半径的带基点微分几何曲面集合，在此拓扑下是否构成紧致子集？
• RQ4 微分几何曲面的标准几何与动力操作在此拓扑下是否连续？
• RQ5 能否从逼近的有限亏格曲面连续传递几何信息至其无限亏格极限？

主要发现

• 沉浸拓扑是豪斯多夫的，确保收敛序列的极限唯一，且空间具有良好的分离性质。
• 在基点处注入半径有下界的带基点微分几何曲面集合，在沉浸拓扑下是紧致的。
• 沉浸拓扑中的收敛性由曲面万有覆叠中基点提升的收敛性所刻画。
• 该拓扑允许从逼近曲面到其极限连续传递几何数据，保留了圆盘浸入与局部结构等性质。
• 收敛子列的构造依赖于在嵌套邻域上递归选择基点提升收敛的子序列，利用万有覆叠中提升的收敛性。
• 该框架通过将它们嵌入同一拓扑空间，支持对有限亏格曲面极限（包括阿贝尔覆叠与无理多边形中的折线运动）的研究。