Non-invertible symmetries and modular invariance in lattice models

问题陈述
本文研究了由来自融合范畴 $\mathcal{C}$ 的面相互作用定义的经典二维晶格统计模型的结构分析。具体而言，研究重点在于其局部相互作用满足 Temperley–Lieb (TL) 代数关系的模型。核心问题是系统地确定在各种边界条件（固定、周期性和扭曲周期性）下，转移矩阵态空间向简单 TL（或仿射 TL）模的分解。此外，该工作旨在表征作用于这些空间的拓扑算子代数，并推导相关不可约 TL 特征标在原根单位根处的模变换性质。

方法论
作者采用了一种基于融合范畴和 Temperley–Lieb 代数表示论的框架。

1. 模型定义： 研究考虑了方格晶格上的面模型，其中格点携带融合范畴 $\mathcal{C}$ 的简单对象。玻尔兹曼权重使用量子维度和 F-符号构造。局部面算子满足 TL 关系，且圈权重为 $\beta = d(a)$，其中 $a$ 是一个特定的简单对象。
2. 拓扑算子： 遵循 Petkova 和 Zuber 在共形场论 (CFT) 中的方法，将晶格拓扑算子定义为 TL 模的态射。这些算子对应于沿轮廓插入修改后的条件（缝隙）。论文构造了适用于开边界和闭边界条件的算子族 $Y_p$（与简单对象 $p$ 相关）和 $Q_L$（与范畴自同构 $L$ 相关）。
3. 递归分解算法： 文中提出了一个通用的算法，用于将态空间 $V(N)$ 分解为简单模。
   • 种子态（Seed States）： 该方法依赖于识别“种子态”——即特定大小且被某些降低算子 ($c_j$) 消灭，并在 TL 图形作用下生成简单模的特定态。
   • 固定边界条件： 对于开边界，分解被证明为简单 TL 模 $I_k$ 的直和。其多重性由源自切比雪夫多项式的邻接矩阵矩阵 $n_k$ 编码，这类似于边界 CFT 中的融合邻接矩阵。
   • 扭曲周期边界条件： 对于闭边界，分解涉及简单仿射 TL 模 $I_{k,z}$。该算法利用循环平移算子 $\Omega$ 和圈算子 $f$ 的谱来确定参数 $z$ 和多重性。
4. 模分析： 对于圈权重形式为 $\beta = 2\cos(\pi/h)$（对应于幺正 RSOS 模型）的情况，论文定义了作为仿射 TL 简单模之迹的模特征标。通过分析扭曲 RSOS 模型的分解以及拓扑算子的特征值，作者通过反转先前 CFT 结果的逻辑，推导出了这些 TL 特征标的模 S-矩阵变换。

主要贡献与结果

• 通用分解算法： 论文提供了一个构造性的递归算法，能够解析地将具有 TL 相互作用的通用二维晶格模型的转移矩阵态空间分解为简单 TL 模。这既适用于固定边界条件，也适用于扭曲周期边界条件。
• 拓扑算子代数： 明确计算了拓扑算子在分解后的态空间上的作用。在 Fibonacci、Ising 和三态 Potts 模型的示例中，展示了 TL 内同态的代数是由与简单对象及范畴自同构相关的拓扑算子生成的。
• 显式示例：
  • Fibonacci 模型： 详细阐述了固定、周期和扭曲边界条件下 Fibonacci 模型的分解及拓扑算子作用。其标度极限被确定为最小模型 $\mathcal{M}(5,4)$，并伴随由位移算子产生的特定共形自旋。
  • Ising 模型： 面模型被映射到临界量子 Ising 哈密顿量。拓扑算子被识别为自旋翻转和 Kramers–Wannier 对偶操作。其标度极限对应于 $\mathcal{M}(4,3)$。
  • 三态 Potts 模型： 利用 Tambara–Yamagami 范畴 $TY(\mathbb{Z}_3)$，论文分析了分解和算子作用，并将标度极限识别为 $\mathcal{M}(6,5)$。
  • 非临界模型： 分析了一个基于 $psu(2)_5$ 融合规则（其中 $d(a) > 2$）的模型，显示其态空间为简单模的无限直和。
• TL 特征标的模不变性： 对于 $A_n$ 系列（幺正 RSOS 模型），论文推导了不可约 TL 特征标的模变换。它确立了这些特征标构成模群的表示，其 S-矩阵由融合范畴的 S-矩阵与一个符号因子乘积给出。文中应用 Verlinde 公式来暗示简单仿射 TL 模的融合规则。

意义与主张
论文声称，对于任何与融合范畴相关的具有 TL 相互作用的面模型，它都提供了一种“从第一原理出发系统计算这种分解的方法”。这种分解被描述为此类模型的“对称性分析的基石”。

• 理论统一： 该工作利用融合范畴和 TL 代数的语言统一了各种精确求解模型（Ising、Potts、RSOS）的处理方式，提供了一个通用的算法，而以往的方法往往是针对特定模型的。
• 模表示论： 一个基本结果是推导了不可约 TL 特征标的模变换。这扩展了对模不变性的理解，使其超越了标准的 CFT 特征标，深入到晶格模型的代数结构中。
• 局限性与未来方向： 作者指出，对于非临界模型（$\beta \ge 2$），内同态代数是无限维的，而拓扑算子仅生成有限维子代数；剩余内同态的具体形式仍是一个开放性问题。此外，虽然 Verlinde 公式暗示了仿射 TL 模的融合规则，但论文指出，这些规则的有效性取决于需要进一步验证的条件。该工作并非提出新的实验应用，而是为理解晶格模型的对称性和标度极限提供了一个严谨的代数框架。