[论文解读] Operads and moduli spaces

Christopher David Braun|arXiv (Cornell University)|Sep 5, 2012

Homotopy and Cohomology in Algebraic Topology参考文献 41被引用 7

一句话总结

本文通过引入开克莱因拓扑共形场论（KTFT）及其相关的模态操作代数，构建了一个用于研究克莱因曲面——非可定向曲面——模空间的运算代数框架。该研究建立了克莱因曲面模空间的莫比乌斯图分解，类似于黎曼曲面模空间的带状图分解，并引入了量子同伦代数作为经典同伦代数的高亏格推广，其在陈-西蒙斯理论中的量子不变量研究中具有应用价值。

ABSTRACT

This thesis is concerned with the application of operadic methods, particularly modular operads, to questions arising in the study of moduli spaces of surfaces as well as applications to the study of homotopy algebras and new constructions of 'quantum invariants' of manifolds inspired by ideas originating from physics. We consider the extension of classical 2-dimensional topological quantum field theories to Klein topological quantum field theories which allow unorientable surfaces. We generalise open topological conformal field theories to open Klein topological conformal field theories and consider various related moduli spaces, in particular deducing a Mobius graph decomposition of the moduli spaces of Klein surfaces, analogous to the ribbon graph decomposition of the moduli spaces of Riemann surfaces. We also begin a study, in generality, of quantum homotopy algebras, which arise as 'higher genus' versions of classical homotopy algebras. In particular we study the problem of quantum lifting. We consider applications to understanding invariants of manifolds arising in the quantisation of Chern-Simons field theory.

研究动机与目标

• 通过克莱因拓扑量子场论（KTFT）将拓扑量子场论推广至不可定向曲面。
• 利用控制结合代数与对合的 MA ̄ss 操作代数的模态闭包，为开 KTFT 构建模态操作代数框架。
• 将黎曼曲面模空间的带状图分解推广为克莱因曲面模空间的莫比乌斯图分解。
• 引入并研究量子同伦代数作为 A∞ 代数的高亏格类比，尤其关注量子提升的语境。
• 将这些构造与来自陈-西蒙斯量化的 3-流形不变量联系起来，受物理学启发。

提出的方法

• 使用模态操作代数形式化 KTFT，特别是控制结合代数与对合的循环操作代数 MA ̄ss 的模态闭包。
• 应用亏格展开的概念，将量子同伦代数定义为 A∞ 代数的高亏格形变。
• 通过推广黎曼曲面模空间的带状图分解，构建克莱因曲面模空间的莫比乌斯图模型。
• 在开 KTFT 的链复形与 A∞ 操作代数的模态闭包之间建立拟同构，与科斯托洛在定向情形的结果相呼应。
• 利用同伦论与操作代数形变理论分析同伦代数的量子提升。
• 将该框架应用于通过陈-西蒙斯规范场论计算 3-流形的量子不变量，利用操作代数结构编码拓扑数据。

实验结果

研究问题

• RQ1 如何将拓扑量子场论推广至包含不可定向曲面的情形，其背后的代数结构是什么？
• RQ2 克莱因曲面模空间的带状图分解的类比是什么？如何通过操作代数方法描述它？
• RQ3 量子同伦代数如何作为 A∞ 代数的高亏格推广而出现？量子提升在此语境中起什么作用？
• RQ4 克莱因曲面的模空间能否通过莫比乌斯图实现胞腔分解？这与模空间的同调有何关联？
• RQ5 这些操作代数构造如何在陈-西蒙斯理论语境下产生 3-流形的新不变量？

主要发现

• 克莱因曲面的模空间可分解为由莫比乌斯图标记的胞腔，类似于黎曼曲面模空间的带状图分解。
• 开 KTFT 操作代数同构于控制结合代数与对合的 MA ̄ss 操作代数的模态闭包。
• 在开 KTFT 的链复形与 A∞ 操作代数的模态闭包之间建立了拟同构，将科斯托洛的结果推广至非定向情形。
• 量子同伦代数被定义为 A∞ 代数的高亏格形变，其量子提升过程推广了经典同伦代数。
• 该框架通过克莱因曲面模空间的操作代数结构，为陈-西蒙斯理论中的 3-流形量子不变量提供了新的代数-几何构造。
• 由拓扑事实“两个交叉帽微分同胚于带边界的克莱因瓶”推导出关系式 $U^2 = \bigoplus \beta_i^* \beta_i$，支持莫比乌斯图模型。