[论文解读] Two-Dimensional Extended Homotopy Field Theories

Kürşat Sözer|arXiv (Cornell University)|Sep 9, 2019

Algebraic structures and combinatorial models参考文献 22被引用 1

一句话总结

本文提出了一种二维扩展同伦场论（E-HFTs）的新形式化，其目标空间为散射空间（aspherical targets），特别是 K(G,1)-空间，通过使用由带角流形和到目标空间的同伦映射类构成的 cobordism 二范畴 XBord2。该研究通过拟双对称 G-代数与相容的 G-分次 Morita 上下文，对 Alg2_k-取值的 E-HFTs 进行了分类，证明了 (G × SO(2))-结构 cobordism 假说的一个特例，并推广了 Schommer-Pries 对扩展 TFT 的分类结果。

ABSTRACT

We give another definition of two-dimensional extended homotopy field theories (E-HFTs) with aspherical targets and classify them. When the target of E-HFT is chosen to be a $K(G,1)$-space, we classify E-HFTs taking values in the symmetric monoidal bicategory of algebras, bimodules, and bimodule maps by certain Frobenius $G$-algebras called quasi-biangular $G$-algebras. As an application, for any discrete group $G$, we verify a special case of the $(G imes SO(2))$-structured cobordism hypothesis due to Lurie.

研究动机与目标

• 定义并形式化二维扩展同伦场论（E-HFTs），其目标空间为散射空间，特别是 K(G,1)-空间。
• 通过带角流形和到目标空间 X 的映射的同伦类，构建一个 X-cobordism 二范畴 XBord2，其为对称张量二范畴。
• 通过引入拟双对称 G-代数与相容的 G-分次 Morita 上下文，对 Alg2_k-取值的 E-HFTs 进行分类。
• 通过 K(G,1) 目标空间的 E-HFT 分类，验证 (G × SO(2))-结构 cobordism 假说的一个特例。

提出的方法

• 引入 X-cobordism 二范畴 XBord2，其中对象为 0-流形，1-态射为带同伦类到 X 的定向 cobordism，2-态射为带角曲面与到 X 的映射的等价类。
• 发展组合 G-线性、G-平面与 G-空间图作为 XBord2 的表示，推广了高阶范畴的弦图。
• 通过这些图的生成元与关系，定义对称张量二范畴 XBPD，建立等价关系 XBord2 ≃ XBPD。
• 应用可约性定理，将对称张量 2-函子的分类简化为在生成元与关系上的数据，从而得到双范畴等价 SymMon(XBord2, C) ≃ XP(C)。
• 引入代数结构拟双对称 G-代数——即具有可分单位分量与相容 Frobenius 形式的强分次 Frobenius G-代数。
• 建立 Alg2_k-取值 E-HFTs 与三元组 (A, B, ζ) 之间的对应关系，其中 A 与 B 为拟双对称 G-代数，ζ 为 A 与 B^op 之间的相容 G-分次 Morita 上下文。

实验结果

研究问题

• RQ1 如何将二维扩展同伦场论（目标空间为散射空间）正式定义并结构化为对称张量二范畴？
• RQ2 当 X 为 K(G,1)-空间时，哪些代数结构可对 Alg2_k-取值的二维扩展 X-HFTs 进行分类？
• RQ3 G-线性、G-平面与 G-空间图如何为 X-cobordism 二范畴 XBord2 提供组合表示？
• RQ4 在 Frobenius G-代数的背景下，扩展同伦场论与 G-分次 Morita 上下文之间的确切关系是什么？
• RQ5 对 K(G,1) 目标空间的 E-HFT 分类是否能恢复 (G × SO(2))-结构 cobordism 假说的一个特例？

主要发现

• 本文建立了 X-cobordism 二范畴 XBord2 与一个图示二范畴 XBPD 之间的等价关系，表明 XBPD 是一个计算性无偏的半严格对称张量二范畴。
• 证明了 Alg2_k-取值的二维扩展 X-HFT 的二范畴与三元组 (A, B, ζ) 的二范畴等价，其中 A 与 B 为拟双对称 G-代数，ζ 为 A 与 B^op 之间的相容 G-分次 Morita 上下文。
• 通过拟双对称 G-代数，实现了对目标空间 X = K(G,1) 的 E-HFT 分类，该结构推广了 Schommer-Pries 在扩展 TFT 分类中所用的可分对称 Frobenius 代数。
• 本文验证了 (G × SO(2))-结构 cobordism 假说的一个特例，表明 K(G,1) 目标空间的扩展同伦场论，其分类数据与结构化 cobordism 设置下的数据一致。
• 通过生成元与关系（图 25 和 26）构建 XBPD，为 cobordism 二范畴提供了具体且可计算的表示，从而实现了有效分类。
• 通过 Whitehead 定理证明了等价映射 Θ: XBPD → XBord2 是全忠实且本质满射，确认图示模型是 cobordism 二范畴的有效表示。