[论文解读] The Structure and Singularities of Arc Complexes

Robert Penner|ArXiv.org|Oct 28, 2004

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

一句话总结

本文分类了哪些带边曲面的弧复形是拓扑球面，扩展了关于多边形弧复形的经典结果。它表明，亏格为 g、有 r 个边界分量和 s 个点洞的曲面的弧复形是球面，当且仅当 (g,r,s) = (0,1,2)、(0,2,1) 或 (0,3,0)，其中后一种情况是 2-单形上一个 3-环面丛，且确立了这些复形通过其奇点控制紧化黎曼曲面模空间的局部拓扑结构。

ABSTRACT

A classical combinatorial fact is that the simplicial complex consisting of disjointly embedded chords in a convex planar polygon is a sphere. For any surface F with non-empty boundary, there is an analogous complex Arc(F) consisting of suitable equivalence classes of arcs in F connecting its boundary components. The main result of this paper is the determination of those arc complexes Arc(F) that are also spherical. This classification has consequences for Riemann's moduli space via its known identification with an analogous arc complex in the punctured case with no boundary. Namely, the essential singulities of the natural cellular compactification can be described.

研究动机与目标

• 分类哪些带边曲面的弧复形同胚于球面。
• 理解具有边界、点洞和标记边界点的曲面的弧复形的拓扑结构。
• 将弧复形的局部几何与黎曼模空间自然胞复化紧化形式的奇点联系起来。
• 将关于多边形弧复形的经典结果（例如，n 边形弧复形 = S^{n-4}）推广到具有亏格和边界分量的曲面。
• 在三倍点球面（P = F_{0,3}^0）的弧复形上建立一个环面丛结构，将其与测度叶状结构和德恩扭转作用联系起来。

提出的方法

• 通过边界分量上的交数（m_i）和扭转数（t_i）对加权弧族进行参数化。
• 应用纯映射类群通过德恩扭转的作用，其将扭转数平移 m_i，从而定义一个 Z^3 作用，基本域为 |t_i| ≤ m_i/2。
• 通过纯映射类群对预弧复形进行商化，构造弧复形，得到在射影交类 2-单形上的环面丛结构。
• 采用并集构造：Arc(F_{0,3}^0) ≈ S^1_1 * S^1_2 * S^1_3，表明其为 3-球面。
• 利用如下事实：当 r+s=3 时（例如 F_{0,1}^2、F_{0,2}^1、F_{0,3}^0），曲面的弧复形分别为 1、2 和 3 维球面。
• 依赖于弧复形与射影测度叶状结构空间的识别，以及映射类群在这些空间上作用的已知结构。

实验结果

研究问题

• RQ1 对于亏格为 g、有 r 个边界分量和 s 个点洞的带边曲面 F，何时其弧复形 Arc(F) 是拓扑球面？
• RQ2 Arc(F) 的拓扑结构如何与黎曼曲面模空间自然紧化形式的奇点相关？
• RQ3 三倍点球面（F_{0,3}^0）的弧复形的全局结构是什么？其分解方式如何？
• RQ4 德恩扭转如何作用于加权弧族空间，其商结构为何？
• RQ5 交数和扭转数（m_i, t_i）在参数化弧类和构造弧复形中起什么作用？

主要发现

• 弧复形 Arc(F) 是球面，当且仅当 (g,r,s) = (0,1,2)、(0,2,1) 或 (0,3,0)，其维数分别为 1、2 和 3。
• 三倍点球面（F_{0,3}^0）的弧复形同胚于三个圆的并集：S^1_1 * S^1_2 * S^1_3，因此为 3-球面。
• F_{0,2}^1 的弧复形同胚于 S^1 * S^1，即 2-球面。
• F_{0,1}^2 的弧复形同胚于 S^1，即 1-球面。
• 三倍点球面（P = F_{0,3}^0）的弧复形 Arc(P) 在射影交类的 2-单形上具有环面丛结构，其纤维根据所在层为 3-环面、2-环面或圆。
• 该分类表明，黎曼模空间自然胞复化紧化形式的奇点由带边曲面弧复形的局部拓扑结构所控制。