[论文解读] Equivalences between weight modules via $\mathcal{N}=2$ coset constructions

Ryo Sato|arXiv (Cornell University)|May 8, 2016

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

一句话总结

本文通过 $χ=2$ 对偶构造，建立了仿射 $χ\mathfrak{sl}_2$ 代数的按权重分类的容许模块与 $χ=2$ 超共形代数之间的范畴等价。它引入了按权重分类的容许模作为顶点超代数的一般化框架，证明了谱流等变等价性，并利用相应的 $χ\mathfrak{sl}_2$ 特征标推导出 $χ=2$ 模的全新特征标公式，包括对中心电荷 $c=3(1-2p'/p)$ 处已知容许模公式的新证明。该工作为早期物理启发的对偶等价提供了数学上严格的理论基础。

ABSTRACT

In this paper we introduce a variant of weight modules for certain conformal vertex superalgebras as an appropriate framework of the $\mathcal{N}=2$ supersymmetric coset construction. We call them weight-wise admissible modules. Motivated by the work of Feigin-Semikhatov-Tipunin, we give (block-wise) categorical equivalences between the categories of weight-wise admissible modules over $\widehat{\mathfrak{sl}}_{2}$ and the $\mathcal{N}=2$ superconformal algebra, induced by the coset construction. As an application, we obtain some character formulae of modules over the $\mathcal{N}=2$ superconformal algebra.

研究动机与目标

• 为物理文献中提出的 $χ\mathfrak{sl}_2$ 与 $χ=2$ 超共形代数的权重模等价关系提供数学上严格的框架。
• 定义并研究按权重分类的容许模作为顶点超代数普通模的一般化，尤其在非正则情形下。
• 通过共轭构造，建立 $χ\mathfrak{sl}_2$ 与 $χ=2$ SCA 上按权重分类的容许模类别之间的显式、块状范畴等价。
• 借助等价关系与已知的 $χ\mathfrak{sl}_2$ 特征标数据，推导出 $χ=2$ 模的新特征标公式。
• 建立所构造等价关系的谱流等变性，将底层李（超）代数的自同构与模函子联系起来。

提出的方法

• 引入按权重分类的容许模的概念，即作为 $χ$-模在共形顶点超代数 $V$ 上的弱模，且可分解为 Fock 模的直和。
• 定义此类模的范畴 $χ_V$，并证明其基于 Heisenberg 权重分解而分解为块。
• 通过 Heisenberg 顶点子代数 $W$ 在 $V$ 中的交换子 ${ sf{Com}}(W,V)$ 构造共轭构造，其中 $V$ 为 $χ\mathfrak{sl}_2$ VOAs 与自由费米子 VOSA 的张量积。
• 利用已知同构 ${ sf{Com}}(W,V) \cong \u03c7=2$ VOSA，诱导两个代数上模之间的函子对应。
• 通过顶点算子取值的形式幂级数 $\Delta(h;z)$ 定义谱流函子 $\Delta^\theta$，并证明其与共轭等价相容。
• 证明块之间诱导的函子为 $ bb{C}$-线性阿贝尔范畴的等价，并在李（超）代数层面上自然同构于谱流函子。

实验结果

研究问题

• RQ1 能否为物理文献中提出的 $χ\mathfrak{sl}_2$ 与 $χ=2$ 超共形代数的权重模等价关系建立数学上严格的框架？
• RQ2 在共轭构造的背景下，如何将权重模推广以包含不规则或非正则情形？
• RQ3 由 $χ=2$ 共轭构造诱导的范畴等价是否具有谱流等变性？
• RQ4 能否通过等价关系与已知的 $χ\mathfrak{sl}_2$ 特征标公式推导出 $χ=2$ 模的特征标公式？
• RQ5 $χ\mathfrak{sl}_2$ 与 $χ=2$ SCA 上的谱流自同构与诱导的模函子之间的确切关系为何？

主要发现

• 本文构造了 $χ\mathfrak{sl}_2$ 与 $χ=2$ 超共形代数上按权重分类的容许模类别之间的显式、块状范畴等价。
• 证明了这些等价关系具有谱流等变性，即它们与两个代数上定义的谱流函子可交换。
• 通过从对应 $χ\mathfrak{sl}_2$ 模转移特征标数据，推导出 $χ=2$ SCA 上按权重分类的容许模的新特征标公式。
• 这些特征标公式重现了在中心电荷 $c=3(1-2p'/p)$ 处已知的 $χ=2$ 容许模结果，包括对 [FSST99] 中公式的重新证明。
• 按权重分类的容许模框架在正则情形下推广了普通模，并为共轭构造中的不规则模提供了统一的设定。
• 证明了等价函子在李（超）代数层面上自然同构于谱流自同构的拉回，确认了与物理预期的一致性。