Haagerup-Izumi modular data from hyperbolic words: S-fold TQFTs, central charge, torsion and the Bethe vacua

技术摘要：基于双曲词的 Haagerup–Izumi 模数据

问题陈述
本文旨在对 Haagerup–Izumi 范畴的双倍（doubles）所关联的模数据进行严谨的构建与理解。此前，Evans 和 Gannon 曾推测这些模数据源于两个有限度规群（metric groups）的“嫁接”（grafting），而 Gannon、Schopieray 和 Yadav 已证明了这一结论对于无扭转（untwisted）范畴成立；然而，通过拓扑量子场论（TQFTs）实现这些数据的物理机制仍有待完全阐明。具体而言，Gang 和 Kim 在由阿贝尔化规范理论的 Bethe 真空构成的秩为 0 的 $S$-fold 理论的拓扑扭转中，识别出了具有此类形状的非幺正模数据。核心问题在于如何在此背景下严谨地定义手柄粘合（handle-gluing）算符和纤维化（fibering）算符，构建一般双曲单值性（hyperbolic monodromies）下的 Bethe 真空，并建立 Haagerup–Izumi 范畴的代数数据与 $S$-fold TQFTs 的物理数据之间的精确对应关系。

方法论
作者开发了一个统一的框架，该框架基于 $SL(2, \mathbb{Z})$ 生成元 $L$ 和 $R$ 中的双曲词 $\phi$，这些生成元对应于单穿孔环面丛的单值性。该方法论通过三个不同的“框架”进行，这些框架解释了相同的底层数学结构：

1. Farey 框架： 利用映射环面 $M_\phi$ 的分层三角剖分，本文构建了 Neumann–Zagier 矩阵 $A$ 和 $B$。能级矩阵 $K$ 被推导为满足行列式律 $\det K = 2^r$（其中 $r$ 为词长度）且满足粘合方程 $BK_{raw} = A$ 的唯一对称解。该框架定义了电荷向量和 Bethe 方程。
2. Nahm 框架： Bethe 方程被证明等价于对称矩阵 $N = 2(I - K_{raw}^{-1})$ 的 Nahm 阶梯系统。这种等价性允许显式构造解。正真空 $V^*$ 被识别为由 $\phi$ 的扩张特征向量传播的解，表现为沿 Farey 斜率的高度比。
3. Bethe 框架： 该框架定义了物理可观测量。手柄粘合算符 $H_\alpha$ 和纤维化算符 $F_\alpha$ 在 Bethe 真空中进行求值。本文采用了一种 Bethe 方程的形变（引入参数 $\epsilon$），以恢复在未形变的系统中位于无穷远处的退化解。

关键数学工具包括用于约束词运行中解的 frieze 行理论（特别是 $SL_2$ friezes）、用于计算手柄粘合谱的周期性 Jacobi 矩阵 Hill 公式，以及用于计算上同调核 $A_\mp = \text{coker}(\phi \mp 1)$ 的扭缠联结形式（torsion linking forms）。

主要贡献与结果

• 度规群的构造： 对于每个双曲词 $\phi$，本文识别了两个有限度规群 $A_\mp = \text{coker}(\phi \mp 1)$。证明了 $A_-$ 携带映射环面 $M_\phi$ 的扭缠联结形式，而 $A_+$ 携带 $M_{-\phi}$ 的扭缠联结形式。对于对角族 $L_m R_m$，这些群被证明分别为 $\mathbb{Z}_m \times \mathbb{Z}_m$ 和 $\mathbb{Z}_{m^2+4}$，与无扭转 Haagerup–Izumi 范畴的度规群相匹配。
• 闭式解： 本文为每一个双曲词提供了正真空 $V^*$ 及其 Galois 共轭 $\sigma V^*$ 的闭式表达式。这些解被表示为由单值性的扩张特征向量所传播的沿 Farey 斜率的高度比。
• 有效中心电荷： 本文严谨地证明了对于每个双曲词，有效中心电荷为 $c_{eff} = \#L$（即词中 $L$ 字母的数量），这是通过在特征向量解处使用 Rogers 罗达金姆恒等式（Rogers dilogarithm identities）得出的。
• 手柄粘合谱： 计算了所有非退化类别的手柄粘合值 $H_\alpha$。
  • 对于两个单位类（$V^*$ 和 $\sigma V^*$），$H = 2^{\#L} \lambda^{\pm 1} |A_-| |A_+|$，其中 $\lambda$ 是拉伸因子（stretch factor）。
  • 对于与核向量 $v$（属于 $\phi \mp 1$）相关的非单位非退化类，$H = 2^{\#L} |A_\mp|$。
  • 本文确立了对于没有单元素运行（singleton runs）的词，这些类别（加上单位类）构成了所有的非退化类。
• 模数据与嫁接： 在特定的物理输入（半指数字典和真空识别）下，本文展示了对于奇迹数（odd trace）的词，所得的 $S$ 和 $T$ 矩阵实现了 Evans–Gannon 嫁接。具体而言，对于 $m$ 为素数且 $m^2+4$ 为素数的对角族 $L_m R_m$，其数据是幺正嫁接的 Galois 共轭，实现了无扭转 Haagerup–Izumi 范畴双倍的模数据。
• 自旋与联结形式： 证明了真空的共形自旋是 $A_\mp$ 群上扭缠联结形式的二次细化。自旋通过核向量和联结形式显式给出。

意义与范围
本文声称严谨地桥接了 Haagerup–Izumi 范畴的代数分类与 $S$-fold TQFTs 的物理构造之间的鸿沟。它为广泛的词提供了一套完整的、闭式的 Bethe 真空及其相关不变量（手柄粘合、纤维化、自旋）的描述，证实了这些 TQFTs 背景下的 Evans–Gannon 嫁接猜想。

本文在研究范围方面较为适度：

• 它证明了对于所有双曲词关于能级矩阵结构和正真空存在性的结果，但未涉及物理输入。
• 关于中心电荷 $c$ 和单位对象识别的结果依赖于“半指数字典”和特定的真空识别假设（输入 (b)）。
• 本文明确指出，它并未构造针对扭转模数据（$D^\omega H_{gm}$，其中 $\omega \neq 0$）的范畴，也未完全解决一般词的退化类问题（尽管通过第四部分的独立分析处理了对角族 $L_m R_m$ 在素数 $m$ 时的情形）。
• $S_{00}$ 项的符号以及对于含有单元素运行之词的分类完整性仍是开放问题或依赖于数值验证。

总而言之，本文确立了 Haagerup–Izumi 范畴双倍的模数据可以通过与之相关的阿贝尔化规范理论的 Bethe 真空，从 $SL(2, \mathbb{Z})$ 的双曲词中系统地生成，其中手柄粘合和纤维化算符扮演了连接拓扑与代数结构的键不变量的角色。