Class $\mathcal S$ 理論の非可逆ツイスト紧化と $(B,B,B)$ ブレーン

基本情報

• 論文ID: 2412.06729
• タイトル: Non-invertible twisted compactification of class $\mathcal S$ theory and $(B,B,B)$ branes
• 著者: Yankun Ma (Sun Yat-Sen University)
• 分類: hep-th (高エネルギー物理学 - 理論)
• 提出時期: 2024年12月
• 論文リンク: https://arxiv.org/abs/2412.06729

要旨

本論文では、$S^1$ 上の class $\mathcal S$ 理論の非可逆ツイスト紧化を研究する。すなわち、$S^1$ 上に残存方向に沿って延びる非可逆対称欠陥を挿入した後、$S^1$ 上で紧化を行う。その結果、得られた3次元理論は3次元 $\mathcal N=4$ シグマモデルであり、その目標空間はHitchin模空間の超Kähler部分多様体、すなわち $(B,B,B)$ ブレーンである。この $(B,B,B)$ ブレーンは、基礎となるRiemann面の写像類群の有限部分群によるHitchin模空間上の不動点集合である。本論文では $(B,B,B)$ ブレーンをアフィン多様体として記述し、$A_1$ 型、種数2の class $\mathcal S$ 理論の具体例を計算した。

研究背景と動機

問題の背景

1. 一般化された大域対称性の発展: 近年、量子場論における一般化された大域対称性の研究が急速に発展しており、対称性は位相欠陥として理解されている。非可逆対称性は重要な一般化対称性であり、2次元共形場論では数十年にわたって研究されてきたが、高次元量子場論での研究は比較的新しい。
2. Class S理論の重要性: Class S理論は、6次元 $\mathcal N=(2,0)$ SCFT を標点付きRiemann面上で紧化することで得られる4次元 $\mathcal N=2$ SCFT である。この理論族は豊かな双対群構造を持ち、非可逆対称性の研究に理想的なプラットフォームを提供する。
3. ツイスト紧化の物理的意義: 従来のツイスト紧化は、紧化円上にツイスト境界条件を課すことで新しい低次元理論を生成する。非可逆ツイスト紧化はこの概念を非可逆対称欠陥の場合に一般化したものである。

研究の動機

• 非可逆対称性が理論の紧化挙動にどのように影響するかを探索する
• 得られた3次元理論の幾何学的構造を理解する
• 非可逆対称性とHitchin模空間の幾何学の間の関連性を確立する
• $(B,B,B)$ ブレーンの新しい物理的実現と数学的記述を提供する

核心的貢献

1. 非可逆ツイスト紧化と $(B,B,B)$ ブレーン間の対応関係の確立: Class S理論の非可逆ツイスト紧化が生成する3次元理論が、$(B,B,B)$ ブレーンを目標空間とする $\mathcal N=4$ シグマモデルであることを証明した。
2. $(B,B,B)$ ブレーンの群論的刻画: $(B,B,B)$ ブレーンが写像類群の有限部分群によるHitchin模空間上の不動点集合であることを証明した。
3. $(B,B,B)$ ブレーンのアフィン多様体記述の提供: 初めて数学文献においてこのクラスの $(B,B,B)$ ブレーンをアフィン多様体として具体的に記述した。
4. 具体例の計算: $A_1$ 型、種数2の場合の $(B,B,B)$ ブレーンを詳細に計算し、その豊かな幾何学的および代数的構造を示した。

方法論の詳細

非可逆対称性の構成

非可逆自己双対欠陥の構成は以下の手順に従う：

1. 双対作用: 理論族 $T_\rho(x)$ に対して（$x$ は共形多様体をパラメータ化）、双対群 $\Gamma$ は位相界面を通じて作用する： $S: T_\rho(x) \mapsto T_{S\cdot\rho}(S\cdot x)$
2. 位相操作: 大域構造のみを変更する位相操作を導入する： $\sigma: T_\rho(x) \mapsto T_{\sigma\cdot\rho}(x)$
3. 非可逆欠陥: 新しい位相界面を組み合わせて得る： $N := \sigma S$
4. 自己双対条件: 自己双対点 $S\cdot x = x$ と $\sigma S\cdot \rho = \rho$ を選択して、$N$ を対称欠陥にする。

Class S理論の大域構造

Class S理論の大域構造はLagrangian部分格子対 $(L,L^\perp) \subset H^1(\Sigma_{g,0}, \mathbb{Z}_N)$ で刻画される。ここで：

• $L \oplus L^\perp = H^1(\Sigma_{g,0}, \mathbb{Z}_N)$
• シンプレクティック配対は $\langle u_i, u_j \rangle = J_{ij}$、ただし $J = \begin{pmatrix} 0 & -1_{g \times g} \\ 1_{g \times g} & 0 \end{pmatrix}$

大域構造上の位相操作と双対作用の作用は： $M \rightarrow FMG$ ここで $F \in \text{Sp}(2g,\mathbb{Z})$ は双対作用、$G \in \text{Sp}(2g,\mathbb{Z}_N)$ は位相操作である。

非可逆ツイスト紧化

非可逆ツイスト紧化の主要な手順：

1. 欠陥挿入: $S^1$ 上に非可逆対称欠陥 $N$ を挿入する
2. 制約条件: 場の配置は $N \cdot p = p$ を満たさなければならない
3. 模空間: 3次元理論の真空模空間は： $M' = \{p \in M | N \cdot p = p\}$ ここで $M = M_H(\tilde{G}, \Sigma_g)/L$ は直接紧化の模空間である。

$(B,B,B)$ ブレーンの幾何学的性質

Nielsen実現定理と既知の $(B,B,B)$ ブレーン理論を利用する：

定理: 種数 $g \geq 2$ のRiemann面 $\Sigma_g$ と、その上に作用する有限群 $\Gamma$ に対して、$\Gamma$ によるHitchin模空間上の不動点集合は $(B,B,B)$ ブレーンである。

Nielsen実現定理と組み合わせると、写像類群の有限部分群は以下と同値である：

1. Teichmüller空間上に不動点を持つ
2. 曲面上の自己同型として実現可能である

したがって、非可逆ツイスト紧化の目標空間は確かに $(B,B,B)$ ブレーンである。

実験設定

具体的計算：$A_1$ 型種数2の場合

特性多様体の環座標記述

$\text{SL}(2,\mathbb{C})$ 特性多様体に対して、15個の環座標を使用する： $(z_1, z_2, z_3, z_4, z_5, z_6, z_{12}, z_{23}, z_{34}, z_{45}, z_{56}, z_{61}, z_{123}, z_{234}, z_{345})$

これらの座標は基本群生成元のトレースから与えられる：

• $z_1 = \text{tr}(Y_1)$, $z_2 = \text{tr}(X_1)$, など

制約関係

特性多様体は19個の多項式関係で定義される。これには以下が含まれる：

• 循環関係：$z_{i+2}z_{i+4} + z_{i+3}z_{i+2,i+3,i+4} - z_{i+2,i+3}z_{i+3,i+4} - 2z_i = 0$
• 複雑な4次関係など

写像類群の作用

写像類群 $\text{MCG}(\Sigma_2) = \text{Sp}(4,\mathbb{Z})$ の生成元 $I$ と $d_1$ の環座標上の作用：

$I$ の作用（6次元素）： $z_1 \mapsto z_2 \mapsto z_3 \mapsto z_4 \mapsto z_5 \mapsto z_6 \mapsto z_1$

実験結果

不動点の分類

表1によると、種数2の場合の不動点は複素次元で分類される：

1. 複素次元0（孤立点）：
   • 10次群：$\Omega = \begin{pmatrix} \varepsilon & \varepsilon + \varepsilon^{-2} \\ \varepsilon + \varepsilon^{-2} & -\varepsilon^{-1} \end{pmatrix}$
   • 24次、32次、48次、72次群の各種情況
2. 複素次元1（曲線）：
   • 8次、12次群の場合、対角形式と非対角形式を含む
3. 複素次元2（曲面）：
   • 4次群の場合、主に対角情況と置換対称情況

$(B,B,B)$ ブレーンのアフィン多様体記述

$I$ で生成される $\mathbb{Z}_6$ 部分群の例として、不動点集合は以下の条件で決定される：