TQFT gravity dual to the orbifold groupoid of Narain code CFTs over $\mathbb{Z}_4$

技術的要約：$\mathbb{Z}_4$ 上の Narain コード CFT のオービフォールド・グルポイドに対する TQFT 重力双対

問題と背景
本論文は、環 $\mathbb{Z}_4$ 上の誤り訂正符号を用いて「構成A（Construction A）」から構築された、特定の Narain 共形場理論（CFT）の族に関する物理的解釈を調査している。先行研究では、自己双対符号と Narain 格子の対応、および $U(1)$ 重力におけるハンドルボディの和と Narain 理論の平均との間の対応が確立されていたが、これらの結果は主に素数または平方フリーなアルファベットに限定されていた。著者らは、$\mathbb{Z}_4$ 上の $A_3$ ルート格子族に焦点を当てている。これはアルファベットが平方フリーではなく、かつ符号がすべて「自由（free）」（すなわち、すべて $\mathbb{Z}_4^d$ と同型であるわけではない）ではないケースである。具体的には、2つの双曲型ペア（$d=2$, 中心電荷 $c=\bar{c}=6$）の場合、分類によれば、7つの不等価な T-dual クラスに分類される22個の異なる偶自己双対接着符号が得られる。中心となる問題は、この理論の族に対するバルク・トポロジカル場理論（TQFT）の構造、この理論を接続するオービフォールド・グルポイドの構造、およびこの非平方フリーな文脈における重力パス積分（ハンドルボディの和）の性質を理解することである。

手法
著者らは、代数的符号理論、格子構成、および3次元トポロジカル場理論の手法を組み合わせて用いている：

1. バルク・境界対応： 彼らは、バルク理論を単一のアベリアン・チャーン・サイムス理論 $Z_2$（未ねじれ $\mathbb{Z}_4^2$ ゲージ理論と同等）として特定し、そのトポロジカルな境界条件は偶自己双対接着符号によってラベル付けされるとしている。これは SymTFT（対称性トポロジカル場理論）または「サンドイッチ」の図式を利用している。
2. オービフォールド・ウェブの構成： 符号のモジュロ 2 による簡約を用いることで、異なる境界条件を接続するゲージ群を導出している。彼らは、7つの T-duality クラスをマッピングするために、有限対称性（$\mathbb{Z}_2, \mathbb{Z}_4, \mathbb{Z}_2 \times \mathbb{Z}_2$）をゲージ化するためのねじれた分配関数を明示的に構成している。
3. ハンドルボディの総和： 彼らは、種数1のハンドルボディにわたって計算されたバルク・チャーン・サイムス理論の分配関数を計算している。これには、$SL(2, \mathbb{Z}_4)$ が真空状態に作用する Weil 表現を評価し、コードベクトルへと射影するプロセスが含まれる。
4. 有限の Siegel-Weil 恒等式： 彼らは、ハンドルボディの和を自由なコードの一様平均 $A_d$ とトーション（torsion）コードの和として表す恒等式を、異なる双曲型ペアの数 $d$ に対して成立する形で証明している。

主な貢献と結果

• バルク理論と対称性軌道： $d=2$ における22個のコード理論は、単一のバルク・チャーン・サイムス理論 $Z_2$ のトポロジカルな境界条件として特定される。バルクの可逆的な対称性（T-dualities および分数 B-field シフト）は、コードの群のタイプに基づいて、これらの境界を3つの異なる軌道に整理する：

  • Free（自由）： 12個のコード（クラス $F_0, F_1, F_2$）。
  • Mixed（混合）： 9個のコード（クラス $M_0, M_1, M_2$）。
  • Torsion（トーション）： 1個のコード（クラス $T$）。
    著者らは、異なる軌道にある理論は、可逆的な対称性のみでは接続できず、ゲージ化によってのみ関連付けられることを示している。

• オービフォールド・ウェブ： 彼らは、クラス間のゲージ化の完全なウェブを構築している。

  • ゲージ化は、符号のモジュロ 2 による交わりによって決定される。
  • 接続は、位数 2, 4, または 8 の群を介して存在する。
  • 7つのクラスのうち5つは、特定のゲージ化（T-dualities に関連）に対して自己双対である。
  • 特筆すべきは、トーション・クラス $T$ は他のすべてのクラスと1ステップのゲージ化で結ばれている一方で、特定のペア（例：$F_1$ と $M_0$）は接続するために位数 8 のゲージ化を必要とする点である。
  • 著者らは、これらのゲージ化が CFT スペクトル（ギャップ、軽い状態の縮退、および $\widehat{su}(2)$ カレント代数の出現を含む）に与える影響を明示的に計算している。例えば、トーション・クラス $T$ を $\mathbb{Z}_2$ でゲージ化すると混合クラス $M_2$ が得られ、スペクトル・ギャップが $1/2$ から $1$ へと上昇する。

• 有限の Siegel-Weil 恒等式とハンドルボディの和：

  • 著者らは、任意のペア数 $d$ に対して有効な有限の Siegel-Weil 恒等式（定理 5.1）を証明している。この恒等式は、ハンドルボディの和 $P_d[e_0]$ を、自由なコードの一様平均 $A_d$ とトーション・コードのベクトル $v_{T_d}$ の線形結合として表すものである。
  • $d=2$ の場合： トーション・コードの係数は消滅する。ハンドルボディの和は、12個の自由な理論の一様平均と正確に一致する。全22個の理論の一様平均は、トーション・コードに比例する特定の補正項を加えることで回収される：$Z_{all} = \frac{9}{11}Z_{free} + \frac{2}{11}Z_T$。
  • $d \ge 3$ の場合： トーション・コードの係数は負になる。その結果、ハンドルボディ状態（コード空間内のベクトル）は、コード境界状態の非負の線形結合として表現できない。しかし、著者らは、バルク状態から分配関数への写像は単射ではないため、これ自体は対応するスカラー分配関数の正の分解を排除するものではないと明記している。スカラー分配関数が正の分解を許容するかどうかは、未解決の問題である。

意義
本論文は、平方フリーなアルファベットの範囲を超えて、Narain CFT に対する TQFT 重力双対の理解を拡張することを主張している。その主な意義は以下の通りである：

1. 非平方フリーなケースの解明： $\mathbb{Z}_4$ のケース（複数の双曲型ペアを持つ場合）を初めて明示的に扱い、$d=2$ ではハンドルボディの和が自由な理論の一様平均を再現する一方で、全22個の理論の一様平均を回収するにはトーション・コードに比例する補正項が必要であることを明らかにしている。$d \ge 3$ では、ハンドルボディ状態に負の成分が現れる。これは、ハンドルボディ状態がコード境界状態の非負の結合ではないことを示唆している。しかし、スカラー分配関数の正の分解が存在するかどうかについては、バルクの状態から分配関数への写像が非単射であることから、正のアンサンブルの存在は依然として開かれた問題であり、より複雑なバルク・トポロジー（具体的にはライン欠陥を持つソリッド・トーラス）の寄与が必要である可能性を示唆している。
2. オービフォールド・グルポイド構造： $A_3$ ファミリーのオービフォールド・グルポイドの完全な構造をマッピングし、自由なコードの記述に限定されていた場合には不明瞭であった、自由、混合、およびトーション理論がゲージ化を通じてどのように相互接続されているかを示した。
3. アンサンブルの正値性： $d \ge 3$ において、ハンドルボディ状態がコード境界状態の正の結合にならないことを指摘し、より高い $d$ における正のアンサンブルの存在、あるいはスカラー分配関数の正の分解を実現するために、より複雑なバルク・トポロジーが必要であるという問いを提起している。

本研究は、コード CFT に対する SymTFT フレームワークの具体的な実現として機能し、バルク・トポロジカルな和と境界コードの平均を結びつける有限の Siegel-Weil 恒等式を確立し、非平方フリーな設定におけるこの対応の限界を明確にしている。