[论文解读] Quasisymmetric sewing in rigged Teichmueller space

David Radnell, Eric Schippers|ArXiv.org|Jul 13, 2005

Algebraic structures and combinatorial models参考文献 25被引用 7

一句话总结

本文通过将解析边界参数化推广至拟对称类型，为带刚性结构的Teichmüller空间中的拟对称缝合建立了严格的框架，证明了缝合运算的全纯性，并确立了带 puncture（尖点）与 border（边界）模型的带刚性模空间与Teichmüller空间之间的全纯等价性。核心贡献在于通过Teichmüller理论在带刚性模空间上构造复结构，从而为任意亏格曲面的共形场论（CFT）提供了全纯表述。

ABSTRACT

One of the basic geometric objects in conformal field theory (CFT) is the the moduli space of Riemann surfaces whose $n$ boundaries are ''rigged'' with analytic parametrizations. The fundamental operation is the sewing of such surfaces using the parametrizations to identify points. An alternative model is the moduli space of $n$-punctured Riemann surfaces together with local biholomorphic coordinates at the punctures. We refer to both of these moduli spaces as the "rigged Riemann moduli space". By generalizing to quasisymmetric boundary parametrizations, and defining rigged Teichmueller spaces in both the border and puncture pictures, we prove the following results: (1) The Teichmueller space of a genus-$g$ surface bordered by $n$ closed curves covers the rigged Riemann and rigged Teichmueller moduli spaces of surfaces of the same type, and induces complex manifold structures on them. (2) With this complex structure the sewing operation is holomorphic. (3) The border and puncture pictures of the rigged moduli and rigged Teichmueller spaces are biholomorphically equivalent. These results are necessary in rigorously defining CFT (in the sense of G. Segal), as well as for the construction of CFT from vertex operator algebras.

研究动机与目标

• 在先前仅限于解析构造的基础上，严格定义具有拟对称边界参数化的带刚性黎曼曲面模空间。
• 证明在这些曲面上进行的缝合运算具有全纯性，这是Segal意义下共形场论（CFT）的基础要求。
• 在Teichmüller空间与模空间两个层次上，建立带刚性Teichmüller空间与模空间的尖点模型和边界模型之间的全纯等价性，从而弥合长期存在的概念性鸿沟。
• 通过明确Teichmüller空间与刚性结构在其中的作用，为从顶点算子代数构造CFT提供几何与分析基础。
• 将经典带边界曲面的Teichmüller理论扩展至包含拟对称刚性结构的情形，从而获得新的结构性洞见与全纯纤维丛描述。

提出的方法

• 将边界参数化从解析映射推广至拟对称映射（即拟共形映射的边界值），以在Teichmüller理论中实现更灵活且自然的构造。
• 在边界模型（带边界分量的带 puncture 曲面）与尖点模型（punctures 处的局部坐标）两种框架下定义带刚性Teichmüller空间，并证明二者全纯等价。
• 利用全纯运动与λ-引理，构造拟共形映射的全纯族，并将映射类群的作用自然延拓至带刚性设定中。
• 从带边界Teichmüller空间 $T^B(g,n)$ 构造一个到尖点模型带刚性Teichmüller空间 $ ilde{T}^P(g,n)$ 的全纯投影，其纤维同构于 $ ilde{ ho}_{ ext{qc}}^ riangle$，从而证明 $T^B$ 是 $ ilde{T}^P$ 上的全纯纤维丛。
• 利用带刚性模空间上扩展的复结构，证明缝合运算——即沿拟对称参数化边界粘合曲面——是全纯的。
• 证明带边界曲面的Teichmüller空间 $T^B(g,n)$ 同时覆盖了带刚性黎曼模空间与带刚性Teichmüller空间，从而为它们赋予自然的复流形结构。

实验结果

研究问题

• RQ1 当使用拟对称边界参数化而非仅解析参数化时，带刚性黎曼曲面上的缝合运算是否全纯？
• RQ2 在Teichmüller空间与模空间两个层次上，带刚性Teichmüller空间与模空间的尖点模型与边界模型是否全纯等价？
• RQ3 带边界曲面的Teichmüller空间能否自然地视为尖点模型带刚性Teichmüller空间上的全纯纤维丛，其纤维对应于拟共形刚性数据？
• RQ4 使用拟对称刚性结构是否能提供更自然、更一般的框架，以描述 $T^B(g,n)$ 对带刚性模空间的覆盖性质？
• RQ5 带刚性模空间上的复结构能否被一致地定义并用于构造高亏格下的CFT，从而推广Huang等人在亏格零情形的结果？

主要发现

• 带刚性黎曼模空间与带刚性Teichmüller空间均通过映射类群的离散子群作用在无限维Teichmüller空间 $T^B(g,n)$ 上的商空间，继承了自然的复结构。
• 在定理6.7中已证明，对拟对称刚性曲面进行的缝合运算具有全纯性，从而解决了几何化CFT中一个关键的开放问题。
• 尖点模型与边界模型的带刚性Teichmüller空间之间存在全纯等价性，建立了两种基本描述带刚性曲面的深层结构等价性。
• 带边界曲面的Teichmüller空间 $T^B(g,n)$ 是尖点模型带刚性Teichmüller空间 $ ilde{T}^P(g,n)$ 上的全纯纤维丛，其纤维同构于 $ ilde{ ho}_{ ext{qc}}^ riangle$（即刚性数据的拟共形延拓空间）。
• 投影 $T^B(g,n) o ilde{T}^P(g,n)$ 是全纯的，且局部全纯同胚于乘积 $T^P imes ilde{ ho}_{ ext{qc}}^ riangle$，从而提供了局部全纯平凡化。
• 结果建立了一个交换图（图5.10），统一了尖点与边界模型，为CFT与弦理论构造提供了连贯的框架。