Three Dimensional Topological Field Theories and Nahm Sum Formulas

基本信息

• 论文ID: 2411.06081
• 标题: 3d Topological Field Theories and Nahm Sum Formulas
• 作者: Dongmin Gang, Heeyeon Kim, Byoungyoon Park, Spencer Stubbs
• 分类: hep-th (高能物理-理论), math.NT (数论)
• 发表时间: 2024年11月 (最新版本: 2025年10月1日 v3)
• 论文链接: https://arxiv.org/abs/2411.06081

摘要

本文研究了2维共形场论(CFT)特征标的Nahm求和表示与3维拓扑场论之间的深刻联系。D. Zagier曾识别出一系列Nahm求和表达式，它们是SL(2,ℤ)同余子群下的模函数，可作为有理CFT特征标的候选。作者发现这些公式自然出现在某些3维N=2超对称规范理论的半指标中，因此系统搜索了低秩3维N=2阿贝尔Chern-Simons物质理论，这些理论在红外流向幺正拓扑场论(TFT)或N=4秩零超共形场论(SCFT)。这些理论的边界预期支持有理且C₂-余有限的手征代数。研究结果与Zagier的列表进行了对比，并对Nahm猜想的可能推广进行了评论。

研究背景与动机

要解决的问题

本文旨在建立以下三个数学物理对象之间的精确对应关系：

1. 2维有理共形场论(RCFT)的特征标 - 可用Nahm求和公式表示
2. 3维拓扑场论 - 特别是从N=2超对称规范理论流向的理论
3. 模函数理论 - Nahm猜想涉及的数论结构

问题的重要性

1. 分类问题: 2维有理CFT的分类是理论物理和数学中的核心问题，自Mathur-Mukhi-Sen的开创性工作以来一直受到广泛关注
2. bulk-boundary对应: 理解3维TFT与其边界2维VOA(顶点算子代数)之间的关系是近年来的重要进展
3. 数学物理交叉: Nahm猜想连接了模函数、Bloch群的扭元素和共形场论，是数论与物理的深刻交汇点

现有方法的局限性

1. Nahm-Zagier的工作: 虽然识别了许多模Nahm求和，但主要从纯数学角度出发，缺乏物理解释
2. 不完整性: Zagier的列表只包含满足特定条件(i)的矩阵，不是所有产生模函数的情况
3. 整数限制: 物理理论中的Chern-Simons层数必须是整数，而数学上可以考虑有理数

研究动机

作者观察到Nahm求和公式(1.3)自然出现为特定3维N=2 U(1)ʳ Chern-Simons物质理论的半指标： $\chi_{(A,B,C)}(q) = \sum_{m\in\mathbb{N}^r} \frac{q^{\frac{1}{2}m^t A m + B^t m + C}}{(q)_{m_1}\cdots(q)_{m_r}}$

这里矩阵A对应混合Chern-Simons层数矩阵K，提供了从物理角度系统搜索模Nahm求和的新途径。

核心贡献

1. 系统分类: 对r=1,2,3的正定整数K矩阵(元素范围-17到17)进行了详尽搜索，识别出流向秩零SCFT或幺正TFT的理论
2. 新例子发现:
   • 找到27个不同的秩零SCFT候选，可组织为8个对偶类
   • 识别了多个无穷族的幺正TFT
   • 发现了Zagier列表中未出现的新模函数
3. Nahm猜想的推广: 提出了包含符号因子(-1)^{α^t m}的修正Nahm求和公式，对应于边界环面上不同的自旋结构选择
4. 物理实现: 为多个已知RCFT(如Virasoro极小模型M(2,5)、超Virasoro极小模型SM(2,8)、W₃极小模型等)提供了3维规范理论实现
5. 对偶性检验: 通过计算多种超对称配分函数(超共形指标、三球配分函数、半指标)进行了广泛的红外对偶性检验

方法详解

任务定义

输入: 正定整数对称矩阵K (r×r, r≤3)，以及1/2 BPS单极算子集合{Oᵢ}

输出: 判断理论TK,{Oᵢ}是否流向秩零SCFT或幺正TFT，并识别边界VOA

约束条件:

• K为正定对称整数矩阵
• 存在(r-1)个线性独立的规范不变1/2 BPS单极算子
• 超共形R荷满足特定量子化条件

理论框架

3维N=2阿贝尔Chern-Simons物质理论

考虑理论类： $T[K,\{O_I\}] := \frac{(T_\Delta)^r}{U(1)^r_K} \text{ with superpotential } W = \sum_{I=1}^{N_O} O_I$

其中：

• $T_\Delta$是单个手征场的自由理论，带背景CS层数-1/2
• 规范荷矩阵选为$Q_{ij}=\delta_{ij}$
• UV有效CS层数为$K-\frac{1}{2}I$

1/2 BPS单极算子

规范不变的手征初级算子构造为： $O_{(n,m)} := \left(\prod_{i=1}^r \phi_i^{n_i}\right) V_m$

需满足规范不变性和1/2 BPS条件： $Q_i = n_i + \sum_j K_{ij}m_j - \frac{1}{2}(|m_i|+m_i) = 0, \quad n_i m_i = 0$

R-对称性混合

一般R荷可与拓扑对称性混合： $R_{\vec{\mu}} = R_* + \vec{\mu}\cdot\vec{T}$

超势形变后，混合参数限制在仿射子空间： $\mathcal{M}[K,\{O_I\}] = \{\vec{\mu}\in\mathbb{R}^r : R_{\vec{\mu}}(O_I) = 2, \forall I\}$

对于(r-1)个超势项，这是一维仿射空间： $\mathcal{M} = \{\vec{\mu} = \vec{\mu}_0 + \nu\vec{a} : \nu\in\mathbb{R}\}$

识别秩零理论的判据

理论TK,{Oᵢ}流向N=4秩零SCFT需满足：

(a) 算子条件: 存在(r-1)个线性独立的1/2 BPS CPO满足规范不变性

(b) R荷量子化: 超共形R荷满足$\vec{\mu}_0\in(\frac{1}{2}\mathbb{Z})^r$

• 这是因为N=4增强后$R_{\nu=0} = J^C_3 + J^H_3 \in \frac{1}{2}\mathbb{Z}$
• 此条件非常限制性，因为$\vec{\mu}_0$由F-极大化确定，通常是超越函数

(c) 指标条件:

• (i) $I_{\text{sci}}(q, \nu=\pm1, \eta=1) = 1$ (Higgs/Coulomb分支平凡)
• (ii) $I_{\text{sci}}(q, \nu=0, \eta) \neq 1$ (非平凡SCFT)

超对称配分函数计算

超共形指标

$I_{\text{sci}}(q,\eta,\nu) = \text{Tr}_{\mathcal{H}(S^2)}(-1)^{R_\nu} q^{R_\nu/2+j_3}\eta^A$

对于TK,{Oᵢ}理论： $I_{\text{sci}}(q,\eta,\nu) = \sum_{m_i\in\mathbb{Z}} \oint \prod_{i=1}^r \frac{dz_i}{2\pi iz_i} \prod_{i,j} z_i^{K_{ij}m_j} \prod_i I_\Delta(m_i,z_i)(\zeta_i(-q^{1/2})^{\mu_i})^{m_i}$

其中$I_\Delta(m,z)$是四面体指标。

F-极大化

超共形R荷通过极大化自由能确定： $F(\vec{\mu}) := -\log|Z^{K}_{S^3_{b=1}}(\vec{\mu})|$

三球配分函数可表示为： $Z^K_{S^3_b}(\vec{\mu}) = \int \prod_i \frac{dZ_i}{\sqrt{2\pi\hbar}} \exp\left(\frac{\vec{Z}^T K\vec{Z} + 2\vec{Z}\cdot\vec{W}}{2\hbar}\right) \prod_i \psi_\hbar(Z_i)$

半指标与Nahm求和

在Dirichlet边界条件D下，半指标为： $I^{W_{\vec{Q}}}_{\text{half}}(q,\nu,\eta) = \sum_{m\in\mathbb{N}^r} \frac{q^{\frac{1}{2}m^t K m}\eta^{-\vec{a}^t m}(-q^{1/2})^{-\vec{\mu}^t m}q^{-\vec{Q}^t m}}{(q)_{m_1}\cdots(q)_{m_r}}$

在A-扭曲点$\nu=-1, \eta=1$时，这应给出边界VOA的特征标： $\chi_A(q) = q^\Delta I_{\text{half}}(q,\nu=-1,\eta=1)$

技术创新点

1. 符号因子的引入: 相比标准Nahm求和，半指标包含因子$(-q^{1/2})^{-\vec{\mu}^t m}$，对应(NS,NS)边界条件。这是Nahm猜想的自然推广。
2. Bethe方程的推广: $1-x_a = \zeta_a \prod_b x_b^{K_{ab}}$ 相比Nahm的方程多了相位因子$\zeta_a = e^{i\pi\mu_a}$
3. 模数据的提取: 从配分函数直接提取TFT的模S和T矩阵： $T_{\alpha\beta} = \delta_{\alpha\beta}\exp\left[\frac{1}{2\pi i}\sum_i L(X_i^{(\alpha)})\right]$
4. Wilson圈的简单对象判据: 提出了UV Wilson圈流向IR简单线的两个必要条件：
   • $\langle W^\pm_{\vec{Q}}\rangle_{\text{sci}}(q,\eta=1,\nu=-1) = 0$ 或 $\pm q^{\mathbb{Z}/2}$
   • $\langle W^+_{\vec{Q}}W^-_{\vec{Q}}\rangle_{\text{sci}}(q,\eta=1,\nu=-1) = 1$

实验设置

搜索参数

• 秩: r = 1, 2, 3
• 矩阵元素范围: $K_{ij} \in [-17, 17]$
• 正定性: K必须是正定对称整数矩阵
• 排除冗余: 通过基本镜像对偶和直积关系排除冗余情况

计算方法

1. 指标计算: 使用留数定理计算超共形指标的多重积分
2. F-极大化: 数值极大化$|Z_{S^3}(\vec{\mu})|$确定超共形R荷
3. Bethe真空: 求解Bethe方程(A.10)获得真空集合
4. 模数据: 通过配分函数在Bethe真空的值提取S和T矩阵

验证策略

对每个候选理论进行多重检验：

• 超共形指标在A/B扭曲点是否为1
• R荷是否满足半整数量子化
• 半指标是否匹配已知RCFT特征标
• 不同超势选择是否给出对偶理论
• 配分函数是否满足模性质

实验结果

主要结果

r=1情况

找到唯一理论（极小秩零SCFT $T_{\min}$）：

• 1-1: $K=(2)$, 无超势
• $\vec{\mu}_0=(-1)$, $\vec{a}=(1)$
• 半指标再现M(2,5)的特征标： $I_A[1] = q^{-11/60}\chi^{M(2,5)}_{(1,1)}, \quad I_A[W_1] = q^{1/60}\chi^{M(2,5)}_{(1,2)}$

r=2情况

找到3个主要例子：

2-1: $K=\begin{pmatrix}2 & -1\\-1 & 1\end{pmatrix} = C(T_2)$

• 超势: $(φ_1)^2V_{(0,2)}$
• 半指标: $I_A[1] = q^{-19/96}\chi_F\chi^{SM(2,8)}_{(1,1)}$
• 对应超Virasoro极小模型SM(2,8)乘自由费米子

2-2: $K=\begin{pmatrix}2 & 1\\1 & 1\end{pmatrix} = C(T_2)^{-1}$

• 与2-1对偶（通过$K\leftrightarrow K^{-1}$）

2-3: $K=\begin{pmatrix}4 & 2\\2 & 2\end{pmatrix}$

• 半指标再现M(2,7)特征标
• 有3个简单对象

r=3情况：8个对偶类

Class 1: $T_1 = T_{\min}$ (12个理论) 所有理论具有相同超共形指标，流向$T_{\min}$。代表性例子：

• 3-1: $K=C(T_3)=\begin{pmatrix}2&-1&-1\\-1&2&0\\-1&0&1\end{pmatrix}$
  • 半指标: $I_A[1] = q^{3/80}\chi_F(q)\chi^{\text{osp}(1|2)_1}[1](q,x)|_{x=-q^{1/2}}$
• 3-2: 三种不同超势选择，都给出M(2,5)特征标
• 3-12 (无穷族): $K=\begin{pmatrix}a^2+1&a^2&a\\a^2&a^2&a\\a&a&2\end{pmatrix}$, $a\in\mathbb{Z}\setminus\{0\}$

Class 2: $(T_1)^2$ (1个理论)

• 3-13: 指标是$T_1$指标的平方
• 半指标: $I_A[1] = q^{-11/30}(\chi^{M(2,5)}_{(1,1)})^2$

Class 3: $T_1\times U(1)_2$ (1个理论)

• 3-14: 包含两个例子，第二个半指标包含$\chi_F^{-1}$因子（可能表明超势不相关）

Class 4: $T_2$ (3个理论)

• 3-15: $K=C(A_3)$，半指标给出$L_1(\text{osp}(1|4))$特征标
• 3-16: 半指标给出M(2,7)特征标
• 3-17: 另一个M(2,7)实现

Class 5: $T_3$ (1个理论)

• 3-18: 半指标给出M(2,9)特征标，有4个简单对象

Class 6: SM(2,8)理论 (1个)

• 3-19: 半指标: $I_A[1] = q^{-7/32}\chi^{SM(2,8)}_{(1,1)}$

Class 7: SM(2,12)理论 (3个)

• 3-20, 3-21, 3-22: 不同实现，都给出SM(2,12)特征标

Class 8: W₃(3,7)极小模型 (2个)

• 3-23, 3-24: 指标不包含标准项$-(η+1/η)q^{3/2}$
• 半指标再现W₃(3,7)特征标

幺正TFT结果

找到多个无穷族：

U2-1: $K=\begin{pmatrix}a&1-a\\1-a&a\end{pmatrix}$, $a\geq1$

• 半指标在$\nu\in2a\mathbb{Z}$时给出$U(1)_a$ WZW模型真空特征标

U3-1: 三维推广，给出相同的$U(1)_a$结构

U3-2: 流向$U(1)_a\otimes SO(1)_1$ CS理论

与Zagier结果的比较

完全吻合的情况:

• Zagier表1中所有整数(A,B)的情况都在本文分类中找到
• 包括所有ADET型矩阵$A=C(X)\otimes C(Y)^{-1}$的整数情况

本文新发现:

1. 包含符号因子的修正Nahm求和（对应非偶$\mu_a$）
2. 不满足Nahm猜想条件(i)的矩阵（$\sum_i D(X_i^{(\alpha)})\neq0$）但仍产生模函数
3. 多个Zagier列表中未出现的矩阵

Zagier中有但本文未搜到的情况:

1. $K=\begin{pmatrix}2+a&a&-a\\a&a&1-a\\-a&1-a&a\end{pmatrix}$ ($a\geq3$)
   • 原因：UV有两个$U(1)$对称性，但IR只有一个非平凡
   • 违反了简化假设(a)
2. $(A,B,C)=(\begin{pmatrix}2&1&1\\1&2&0\\1&0&2\end{pmatrix}, \begin{pmatrix}1\\1\\0\end{pmatrix}, 5/24)$
   • 给出$\frac{1}{2}\chi^{U(1)_2}_1$，不对应已知RCFT真空特征标
   • UV Wilson圈不流向简单对象

统计总结

• 秩零SCFT: 27个不同候选，8个对偶类
• 幺正TFT: 多个无穷族
• 新模函数: 约10个Zagier列表外的例子
• RCFT实现: 覆盖M(2,p)系列、SM(2,p)系列、仿射VOA、W-代数等

相关工作

数学背景

Nahm猜想 (Nahm, Zagier):

• 原始形式将Rogers双对数$L(x)$、Bloch-Wigner函数$D(z)$与模性联系
• Calegari-Garoufalidis-Zagier给出弱化版本并排除了反例

模函数与Bloch群:

• Nahm将模性与Bloch群扭元素联系
• Zagier系统搜索了低秩情况

物理背景

3d-3d对应:

• Dimofte-Gaiotto-Gukov建立了3流形与3维N=2理论的对应
• 本文利用这一框架计算配分函数

边界VOA:

• Costello-Gaiotto及后续工作发展了3维规范理论边界VOA理论
• Creutzig等人研究了非半单TFT情况

秩零理论:

• Gang-Yamazaki首次发现极小秩零SCFT
• 最近工作(Ferrari-Garner-Kim, Creutzig-Garner-Kim)系统研究了秩零理论的边界VOA

bulk-boundary对应:

• Dedushenko等人、Gang等人建立了3维TFT与2维RCFT的精确对应
• 本文扩展了这一对应到更广泛的理论类

本文相对优势

1. 系统性: 首次对低秩阿贝尔CS理论进行详尽分类
2. 物理解释: 为Nahm-Zagier的数学结果提供了物理实现
3. 新例子: 发现了数学文献中未识别的模函数
4. 推广: 提出了包含符号因子的Nahm猜想推广

结论与讨论

主要结论

1. 分类完整性: 对r≤3的正定整数K矩阵进行了系统搜索，识别出所有流向秩零SCFT或幺正TFT的候选
2. 物理实现: 为多个已知RCFT提供了3维规范理论实现，包括：
   • Virasoro极小模型M(2,p)
   • 超Virasoro极小模型SM(2,p)
   • 仿射VOA $L_k(\text{osp}(1|2))$, $L_1(\text{osp}(1|4))$
   • W₃极小模型
3. Nahm猜想的推广: 提出了修正的Nahm求和公式，包含符号因子$(-1)^{\alpha^t m}$，对应不同自旋结构
4. 新模函数: 发现了Zagier列表外的多个模函数例子
5. 对偶性: 通过配分函数计算验证了多个红外对偶性

局限性

1. 搜索范围:
   • 仅限于r≤3和|Kᵢⱼ|≤17
   • 更高秩或更大CS层数的理论未被覆盖
   • 技术原因：大CS层数使单极算子量子维度过大，超势形变变得不相关
2. 超势相关性:
   • 未系统验证超势形变的相关性条件$R_0^{(I-1)}(O_I)<2$
   • 某些例子(如3-14-(2), 3-20)出现$\chi_F^{-1}$因子，可能表明超势不相关
3. 边界条件兼容性:
   • 未严格证明Dirichlet边界条件与A/B-扭曲超荷的兼容性
   • 某些例子(3-6, 3-7, 3-8)半指标恒为0，表明边界条件可能不兼容
4. 简单对象识别:
   • Wilson圈判据只给出简单对象的子集
   • 某些RCFT初级算子没有对应的UV Wilson圈实现
   • 例如3-22的$\chi^{SM(2,12)}_{(1,3)}$和3-24的$\chi^{W_3(3,7)}_{(3,3,1)}$
5. 非阿贝尔情况: 完全限于阿贝尔规范群，非阿贝尔推广未探索

未来方向

论文在第5节"Discussion"中提出了多个开放问题：

1. 超势相关性的系统分析:
   • 需要数值验证每步RG流中超势的相关性
   • 理解$\chi_F^{-1}$因子的物理意义
2. 非简单线的理解:
   • 某些UV Wilson圈流向IR简单对象的线性组合
   • 例如3-22: $W_{(1,1,0)} \to L_{-1/3} - q^{1/2}I$
   • 需要更深入理解这种现象的物理机制
3. 更高秩推广:
   • 扩展搜索到r≥4
   • 可能需要更高效的数值方法
4. 非阿贝尔理论:
   • 研究非阿贝尔CS物质理论
   • 可能对应更丰富的RCFT结构
5. Nahm猜想的完整证明:
   • 从物理角度理解为何某些矩阵产生模函数
   • 建立符号因子版本的严格数学理论
6. 4d/3d/2d对应的深化:
   • 理解4维N=2理论在这一框架中的作用
   • 探索与4维BPS粒子的关系

深度评价

优点

1. 方法创新性

• 跨学科视角: 巧妙地将数论(Nahm猜想)、共形场论(RCFT分类)和超对称规范理论统一在一个框架内
• 计算技术: 发展了系统计算半指标、超共形指标和配分函数的高效方法
• 符号因子推广: 识别出修正Nahm求和的物理必要性，这是理论上的重要进展

2. 结果的系统性

• 详尽分类: 在给定参数范围内进行了完整搜索，没有遗漏
• 多重验证: 对每个候选进行了多种配分函数计算，确保结果可靠
• 对偶性检验: 系统验证了不同UV描述流向相同IR理论

3. 物理洞察

• bulk-boundary对应: 为抽象的RCFT提供了具体的3维TFT实现
• 新RCFT实现: 发现了W₃(3,7)等复杂VOA的规范理论实现
• 模数据提取: 展示了如何从物理配分函数直接提取TFT模数据

4. 数学贡献

• 新模函数: 识别出Zagier未发现的模函数
• Bethe方程推广: 包含相位因子的Bethe方程与Rogers双对数的关系

5. 写作质量

• 论文结构清晰，从动机到技术细节层次分明
• 附录A详细总结了配分函数计算的约定和公式
• 附录B提供了RCFT特征标的完整表达式，便于读者验证

不足

1. 理论严格性

• 边界条件: 未严格证明Dirichlet边界条件在IR保持QA/B不变性
• SUSY增强: 仅通过指标计算推断N=4增强，缺乏直接证明
• 超势相关性: 承认未系统验证超势形变的相关性，某些例子可能有问题

2. 搜索范围

• 参数限制: r≤3和|Kᵢⱼ|≤17的限制可能遗漏重要例子
• 非阿贝尔: 完全排除非阿贝尔规范群，而这可能对应更丰富的RCFT
• 简化假设: 假设NO=r-1排除了某些有效情况(如例子4.28)

3. 技术细节

• 数值精度: F-极大化和Bethe方程求解的数值精度未明确说明
• 半整数检验: R荷的半整数性如何数值验证？容错范围多大？
• 符号因子: 方程(A.21)中的相位δ∈ℚ未给出具体计算方法

4. 物理解释

• χF⁻¹因子: 某些例子出现的$\chi_F^{-1}$因子缺乏清晰物理解释
• 恒零半指标: 3-6, 3-7, 3-8的半指标为0，但超共形指标正常，这一矛盾未充分讨论
• 非简单线: UV Wilson圈流向简单对象线性组合的机制不清楚

5. 实验完整性

• B-扭曲: 主要关注A-扭曲，B-扭曲的结果较少
• 线算子: 只考虑了Wilson圈，'t Hooft圈等其他线算子未探索
• 高亏格: 主要计算S³和S²×S¹配分函数，高亏格Riemann面的结果有限

影响力

1. 对领域的贡献

• RCFT分类: 为2维RCFT分类提供了新的物理角度
• 3d/2d对应: 显著扩展了3维TFT与2维VOA对应的例子库
• 数学物理桥梁: 为数论中的Nahm猜想提供了物理解释和新例子

2. 实用价值

• 计算工具: 发展的配分函数计算方法可应用于其他3维理论
• 判据系统: 提出的秩零理论判据可用于未来的理论搜索
• 对偶性: 识别的对偶性关系有助于理解3维理论的IR动力学

3. 可复现性

• 详细公式: 附录提供了所有配分函数的显式表达式
• 具体例子: 第4节列举了所有找到的理论，参数完整
• 缺陷: 未公开代码，数值计算细节不够充分

4. 后续研究

• 已有后续工作引用并扩展了本文结果
• 为理解非幺正RCFT提供了新工具
• 可能启发4维理论的类似研究

适用场景

1. 理论物理研究

• 研究3维N=2超对称规范理论的IR行为
• 探索3d/2d bulk-boundary对应
• 理解SUSY增强机制

2. 数学物理

• 验证和推广Nahm猜想
• 研究模函数与物理的联系
• 探索Bloch群与量子场论的关系

3. 共形场论

• 寻找RCFT的新实现
• 理解VOA的模性质
• 研究W-代数和仿射VOA

4. 拓扑场论

• 构造新的3维TFT
• 理解TFT的模数据
• 研究非幺正TFT

5. 弦论与M-理论

• 理解M5-膜上的理论
• 研究BPS态计数
• 探索对偶性

局限场景:

• 不适用于非超对称理论
• 不直接适用于高维(≥4d)理论
• 对强耦合非阿贝尔理论效果有限

参考文献

论文引用了66篇重要文献，涵盖：

数学文献:

• 1 D. Zagier, "The Dilogarithm Function" - Nahm猜想的主要参考
• 12 W. Nahm, "Conformal field theory and torsion elements of the Bloch group"
• 39 F. Calegari et al., "Bloch groups, algebraic K-theory, units, and Nahm's conjecture"

RCFT分类:

• 2 S. D. Mathur et al., "On the Classification of Rational CFTs"
• 3 Y. Zhu, "Modular invariance of characters of VOAs"
• 4-8 近期RCFT分类工作(Chandra-Mukhi, Mukhi-Rayhaun等)

3d规范理论:

• 42 T. Dimofte et al., "Gauge Theories Labelled by Three-Manifolds"
• 43-44 Kim, Imamura-Yokoyama关于超共形指标
• 46-48 Jafferis等关于F-极大化

边界VOA:

• 26-28 Costello-Gaiotto及合作者关于边界手征代数
• 29 Creutzig et al.关于非半单TQFT
• 21-25 Gang-Kim-Stubbs等近期工作

配分函数计算:

• 49 Hama-Hosomichi-Lee关于压扁三球
• 61-62 Closset-Kim-Willett关于扭曲配分函数

这些参考文献构成了本文工作的坚实基础，展示了该研究在多个领域前沿的交汇点。