[论文解读] Condensation inversion and Witt equivalence via generalised orbifolds

Vincentas Mulevičius|arXiv (Cornell University)|Jun 6, 2022

Homotopy and Cohomology in Algebraic Topology被引用 8

一句话总结

本文证明了在模融合范畴（MFCs）中，通过广义轨道丛构造的轨道丛方法诱导出Witt等价关系，证明了可通过特定轨道丛数据实现凝聚过程的逆操作。本文引入了“扭结弗罗贝尼乌斯”函子的概念，并显式构造了逆凝聚，表明所得的MFC与原始MFC等价，从而证明关系 $\mathcal{C} \sim \mathcal{C}_{\mathbb{A}}$ 恰好是Witt等价。

ABSTRACT

In Mulevičius-Runkel, arXiv:2002.00663, it was shown how a so-called orbifold datum $\mathbb{A}$ in a given modular fusion category (MFC) $\mathcal{C}$ produces a new MFC $\mathcal{C}_{\mathbb{A}}$. Examples of these associated MFCs include condensations, i.e. the categories $\mathcal{C}_B^\circ$ of local modules of a separable commutative algebra $B\in\mathcal{C}$. In this paper we prove that the relation $\mathcal{C} \sim \mathcal{C}_{\mathbb{A}}$ on MFCs is the same as Witt equivalence. This is achieved in part by providing one with an explicit construction for inverting condensations, i.e. finding an orbifold datum $\mathbb{A}$ in $\mathcal{C}_B^\circ$ whose associated MFC is equivalent to $\mathcal{C}$. As a tool used in this construction we also explore what kinds of functors $F\colon\mathcal{C} ightarrow\mathcal{D}$ between MFCs preserve orbifold data. It turns out that $F$ need not necessarily be strong monoidal, but rather a `ribbon Frobenius' functor, which has weak monoidal and weak comonoidal structures, related by a Frobenius-like property.

研究动机与目标

• 建立模融合范畴中轨道丛构造与Witt等价之间的精确联系。
• 通过在凝聚范畴中构造一个轨道丛数据，解决凝聚过程的逆问题，以恢复原始范畴。
• 识别在MFC之间保持轨道丛数据的函子类，推广强张量函子的概念。
• 引入并研究“扭结弗罗贝尼乌斯”函子作为一类具有弱张量与弱余张量结构、并通过弗罗贝尼乌斯条件关联的新函子类。
• 为拓扑序与任意子凝聚背景下凝聚过程的逆操作提供一个完整框架。

提出的方法

• 利用模融合范畴 $\mathcal{C}$ 中的轨道丛数据 $\mathbb{A}$，本文通过广义轨道丛构造方法构建一个新的MFC $\mathcal{C}_{\mathbb{A}}$。
• 关键技术工具是引入“扭结弗罗贝尼乌斯”函子，即具有弱张量与弱余张量结构、并满足类似弗罗贝尼乌斯相容性条件的函子。
• 本文证明了此类函子保持轨道丛数据，从而实现函子在范畴间传递轨道丛结构。
• 给出了在 $\mathcal{C}_B^\circ$ 中显式构造轨道丛数据 $\mathbb{A}$ 的方法，使得 $\mathcal{C}_{\mathbb{A}} \simeq \mathcal{C}$，从而实现凝聚过程的逆操作。
• Witt等价性的证明依赖于表明该构造所诱导的关系 $\mathcal{C} \sim \mathcal{C}_{\mathbb{A}}$ 满足MFC范畴中Witt等价的公理。
• 该框架应用于可分的交换代数 $B \in \mathcal{C}$ 的凝聚，通过逆轨道丛数据恢复原始范畴。

实验结果

研究问题

• RQ1 在模融合范畴中，通过广义轨道丛构造的轨道丛方法是否产生与Witt等价等价的关系？
• RQ2 是否能通过在凝聚范畴中使用明确定义的轨道丛数据，实现模融合范畴中凝聚过程的逆操作？
• RQ3 在模融合范畴之间，哪一类函子保持轨道丛数据？这一类函子如何推广强张量函子的概念？
• RQ4 函子需要满足何种结构才能与轨道丛构造交换？这与弗罗贝尼乌斯性质有何关联？
• RQ5 是否存在一种自然方法，通过轨道丛数据从其凝聚版本重建原始模融合范畴？

主要发现

• 由广义轨道丛构造所诱导的关系 $\mathcal{C} \sim \mathcal{C}_{\mathbb{A}}$ 恰好是Witt等价。
• 在 $\mathcal{C}_B^\circ$ 中显式构造了逆轨道丛数据 $\mathbb{A}$，使得 $\mathcal{C}_{\mathbb{A}} \simeq \mathcal{C}$，证明了凝聚过程可被逆操作。
• 保持轨道丛数据的函子类被表征为“扭结弗罗贝尼乌斯”函子，其具有由弗罗贝尼乌斯条件关联的弱张量与弱余张量结构。
• 逆凝聚构造对任意可分的交换代数 $B$ 在模融合范畴 $\mathcal{C}$ 中均成立，推广了已知结果。
• 该框架为拓扑序与任意子凝聚背景下凝聚过程的逆操作提供了完整且系统的方法。
• 本文建立了MFC中凝聚与轨道丛构造之间的完全对偶性，Witt等价作为基础等价关系。