[论文解读] On the groupoid of transformations of rigid structures on surfaces

Louis Funar, Rùazvan Gelca|ArXiv.org|Jul 5, 1999

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

一句话总结

本文提供了严格的证明，表明Moore-Seiberg方程完全呈现了曲面上刚性结构变换的2-群胚，为具有角的3D拓扑量子场论（TQFT）建立了普遍的代数框架。通过Cerf理论和Hatcher-Thurston风格的技术，它从最大TQFT构造了该2-群胚的典范表示，推广了映射类群表示，并通过对偶群胚和DAP分解与Grothendieck的Teichmüller塔建立了联系。

ABSTRACT

We prove that the groupoid of transformations of rigid structures on surfaces has a finite presentation as a 2-groupoid establishing a result first conjectured by G.Moore and N.Seiberg. An alternative proof was given by B.Bakalov and A.Kirillov Jr. We present some applications to TQFTs. This is also related to recent work on the Grothendieck-Teichmuller groupoid by P.Lochak, A.Hatcher and L.Schneps.

研究动机与目标

• 严格证明Moore-Seiberg方程完全呈现了曲面上刚性结构变换的2-群胚。
• 从具有角的最大3D TQFT中建立该2-群胚的典范表示。
• 通过将映射类群表示嵌入普遍2-群胚结构中，实现其推广。
• 通过刚性结构和DAP分解，阐明对偶群胚与Grothendieck的Teichmüller塔之间的关系。

提出的方法

• 应用Cerf理论和胞腔分解，分析曲面上曲线的同伦类及其变换。
• 构造标记群胚（非同伦的简单闭曲线最大系统）并推导其表示。
• 通过组合移动将群胚扩展至超标记（将曲面分割为圆盘、环面和裤形区域的曲线）。
• 利用Walker的框架将结构提升至刚性结构（带扭量数据的DAP分解），证明Moore-Seiberg方程是充分的。
• 使用带标记边的三价图定义图形演算，以关联向量空间和共形块。
• 在TQFT共形块与标记图上的张量积之间建立局部、典范的同构，从而给出对偶群胚的表示。

实验结果

研究问题

• RQ1 Moore-Seiberg方程是否构成曲面上刚性结构变换2-群胚的完备呈现？
• RQ2 具有角的3D TQFT如何导出对偶群胚的典范表示？
• RQ3 在TQFT背景下，对偶群胚与映射类群之间存在何种关系？
• RQ4 刚性结构（DAP分解）及其变换如何与Teichmüller塔及Grothendieck纲领相关联？
• RQ5 能否通过TQFT公理和局部粘合，在所有曲面上统一构造对偶群胚的表示？

主要发现

• 证明了Moore-Seiberg方程是曲面上刚性结构变换2-群胚的完备呈现。
• 从任意最大TQFT（带角）构造了对偶群胚的典范表示，推广了映射类群表示。
• 在具有唯一真空的幺正、循环TQFT中，共形块可分解为由三价图上标签索引的初级块$W^{i}_{jk}$。
• 同构$\Phi([\sigma,\sigma']) = \Phi(\sigma')^{-1}\Phi(\sigma)$定义了对偶群胚在向量空间张量积上的局部、函子性表示。
• 对偶群胚作为普遍对象，包含所有曲面的映射类群，类似于Grothendieck的Teichmüller塔。
• 对于非循环TQFT（如文献[18]中的TQFT），可通过添加辅助边界结构，在扩展群胚上构造表示。