Non-invertible symmetries and modular invariance in lattice models

問題の所在
本論文は、融合圏 $\mathcal{C}$ に由来する面相互作用によって定義される、古典的な二次元格子統計モデルの構造解析を扱っている。具体的には、局所的な相互作用がテンプレー・リー（Temperley–Lieb, TL）代数の関係を満たすモデルに焦点を当てている。中心となる問題は、様々な境界条件（固定、周期、およびねじれ周期）に対して、状態の転送行列空間の単純なTL（またはアフィンTL）加群への分解を系統的に決定することである。さらに、本研究は、これらの空間に作用するトポロジカル演算子の代数を特徴付け、関連する既約TL指標（character）のモジュラー変換特性、特に原始根における性質を導出することを目的としている。

手法
著者は、融合圏とテンプレー・リー代数の表現論に基づいたフレームワークを用いている。

1. モデルの定義： 本研究では、サイトが融合圏 $\mathcal{C}$ の単純対象を保持する正方格子上の面モデルを検討する。ボルツマン重みは、量子次元とF記号を用いて構成される。局所的な面演算子は、ループ重み $\beta = d(a)$（ここで $a$ は特定の単純対象）を持つTL関係を満たす。
2. トポロジカル演算子： 共形場理論（CFT）におけるペトコヴァとズーバーの手法に従い、格子トポロジカル演算子はTL加群の射として定義される。これらの演算子は、輪郭に沿って修正された条件（シーム）を挿入することに対応する。本論文では、開境界および閉境界の両方について、単純対象 $p$ に関連する一族 $Y_p$ と、圏の自己同型 $L$ に関連する一族 $Q_L$ を構成している。
3. 再帰的分解アルゴリズム： 状態空間 $V(N)$ を単純加群へと分解するための一般的なアルゴリズムが提示されている。
   • シード状態（Seed States）： この手法は、「シード状態」の特定に依存している。これは、特定のサイズの単純な状態であり、特定の低減演算子（$c_j$）によって消滅し、TL図形の下で単純加群を生成するものである。
   • 固定境界条件： 開境界の場合、分解は単純なTL加群 $I_k$ の直和として示される。その多重度は、境界CFTにおける融合隣接行列と同様に、隣接行列のチェビシェフ多項式から導かれる行列 $n_k$ によって符号化される。
   • ねじれ周期境界条件： 閉境界の場合、分解は単純なアフィンTL加両 $I_{k,z}$ を含む。アルゴリズムは、巡回移動演算子 $\Omega$ とループ演算子 $f$ のスペクトルを利用して、パラメータ $z$ と多重度を決定する。
4. モジュラー解析： ループ重みが $\beta = 2\cos(\pi/h)$ （ユニタリRSOSモデルに対応）の形式である場合、本論文はアフィンTL単純加群上のトレースとしてモジュラー指標を定義する。ねじれのあるRSOSモデルの分解とトポロジカル演算子の固有値を分析することにより、著者は従来のCFTの結果の論理を逆転させ、これらのTL指標に対するモジュラーS行列変換を導出している。

主要な貢献と結果

• 一般的な分解アルゴリズム： 本論文は、TL相互作用を持つ汎用的な2次元格子モデルの転送行列の状態空間を、単純なTL加群へと解析的に分解するための、構成的かつ再帰的なアルゴリズムを提供している。これは、固定境界およびねじれ周期境界の両方に適用される。
• トポロジカル演算子の代数： 分解された状態空間に対するトポロジカル演算子の作用が明示的に計算されている。フィボナッチ、アイシング、および三状態ポッツモデルの例において、TL自己準同型の代数は、単純対象および圏の自己同型に関連するトポロジカル演算子によって生成されることが示されている。
• 具体的な例：
  • フィボナッチモデル： 固定、周期、およびねじれ境界条件について、分解とトポロジカル演算子の作用が詳細に述べられている。スケーリング極限は最小模型 $\mathcal{M}(5,4)$ と同定され、シフト演算子から生じる特定の共形スピンが得られる。
  • アイシングモデル： 面モデルは、臨界量子アイシングハミルトニアンに写像される。トポロジカル演算子は、スピン反転およびクラマース・ワニエ双対操作と同定される。スケーリング極限は $\mathcal{M}(4,3)$ に対応する。
  • 三状態ポッツモデル： タンバラ・ヤマガミ圏 $TY(\mathbb{Z}_3)$ を用いて、本論文は分解と演算子の作用を分析し、スケーリング極限を $\mathcal{M}(6,5)$ と同定している。
  • 非臨界モデル： $psu(2)_5$ 融合則に基づくモデル（$\beta = d(a) > 2$ の場合）が分析されており、状態空間が単純加群の無限直和であることが示されている。
• TL指標のモジュラー不変性： $A_n$ シリーズ（ユニタリRSOSモデル）について、本論文は既約TL指標のモジュラー変換を導出している。これらの指標がモジュラー群の表現を形成することを示し、S行列は融合圏のS行列と符号因子の積で与えられることを確立している。また、アフィンTL加群の融合則を示唆するために、ベルリンデ公式が適用されている。

意義と主張
本論文は、融合圏に関連するTL相互作用を持つ任意の面モデルに対して、この分解を「第一原理から計算するための系統的な方法」を提供すると主張している。この分解は、そのようなモデルの「対称性解析の礎石」として記述されている。

• 理論的統一： 本研究は、様々な厳密解を持つモデル（アイシング、ポッツ、RSOS）の扱いを、融合圏と言語およびTL代数の言葉の下で統一しており、従来の、モデルごとに特異であった手法に対し、汎用的なアルゴリズムを提供している。
• モジュラー表現論： 基礎的な結果として、既約TL指標のモジュラー変換の導出が挙げられる。これは、標準的なCFT指標を超えて、格子モデルの代数的構造へとモジュラー不変性の理解を拡張するものである。
• 限界と今後の方向性： 著者は、非臨界モデル（$\beta \ge 2$ の場合）において、自己準同型代数は無限次元であるが、トポロジカル演算子は有限次元の部分代数のみを生成することに注意を払っており、残りの自己準同型の具体的な形態は未解決の問題であるとしている。さらに、ベルリンデ公式はアフィンTL加群の融合則を示唆しているものの、本論文は、これらの規則の妥当性はさらなる検証を要する条件に依存すると述べている。本研究は新しい実験的応用を提案するものではなく、むしろ格子モデルの対称性とスケーリング極限を理解するための厳密な代数的枠組みを提供するものである。