Non-invertible Selection Rules from Generalized Discrete Gauging of Finite Non-Abelian Symmetries

技術要約：有限な非可換対称性の一般化された離散ゲージングによる非可逆選択則

問題提起
近年の理論物理学の進展により、逆元を持たない標準的な群対称性を一般化した「非可逆対称性」が注目を集めている。非可逆選択則については、離散自己同型写像によってゲージ化されたアーベル型（具体的には $\mathbb{Z}_N$）のグローバル対称性については既に確立されているが、非可換なグローバル対称性群 $G$ に対する体系的な枠組みは欠けていた。アーベル型の場合、選択則は共役類の $\mathbb{Z}_2$ オービットから導出できる（場は電荷 $q$ と $-q$ の重ね合わせを担う）。しかし、非可換群の場合、既約表現は多次元となる。$G$ の自己同型の群 $H$ が作用する場合、$H$ は異なる表現を置換するだけでなく、単一のマルチプレットの内部成分をも非自明に混合させる。したがって、標準的なテンソル積の分解（$G$ の表現に基づくものや単純な共役類のオービットに基づくもの）だけでは、特定の自由度がゲージングの手続きによって射影除去される可能性があるため、許容される相互作用を決定するには不十分である。

手法
著者らは、基礎となるグローバル対称性 $G$ が、 $G$ の自己同型群の部分群である離散 $H$ によってゲージ化された理論に関する一般的な枠組みを定式化している。全対称性構造は半直積 $G \rtimes H$ として扱われる。

1. 一般化された場の変換: 著者らは、$G$ の作用と整合性を満たす $H$ の下の場変換を定義する。非可換な変換は、アーベル型の単純な位相回転とは異なり、表現空間に作用するユニタリ行列を伴う。著者らは、群の拡大が半直積となることを保証するため、自明な2コサイクルの場合に解析を限定している。
2. 不変部分空間への射影: 物理状態は $H$ 不変部分空間に制限される。著者らは、$G \rtimes H$ の既約表現の表現空間 $V^{(\alpha)}$ に作用する射影演算子 $P_H^{(\alpha)}$ を定義する。この演算子は非不変成分を射影除去し、縮小された物理的な場 $\tilde{\phi}_\alpha$ を残す。
3. 射影された指標: 選択則を導出するために、著者らは「射影された指標」 $\tilde{\chi}^{(\alpha)}(g) = \text{Tr}[\rho^{(\alpha)}(g) P_H^{(\alpha)}]$ を導入する。これらの指標は全群 $G \rtimes H$ 上で定義されるが、$H$ 不変部分空間に制限されている。これらは、不変部分空間の次元によって重み付けされた、標準的な指標の直交関係に類似した直交関係を満たす。
4. 選択則の導出: これらの射影された指標を用いることで、非零の $n$ 点裸結合定数 $\tilde{\phi}_{\alpha_1} \dots \tilde{\phi}_{\alpha_n}$ に関する必要十分条件を導出する。条件は $G \rtimes H$ 上の和として与えられる：
   $$\sum_{g \in G \rtimes H} \tilde{\chi}^{(\alpha_1)}(g) \tilde{\chi}^{(\alpha_2)}(g) \cdots \tilde{\chi}^{(\alpha_n)}(g) \neq 0$$
5. 融合様代数: 著者らは、残存する場の代数的構造を分析する。ベクトル空間としてのマルチプレットは、標準的なテンソル積の下では閉じた代数を形成しないが、個々の $H$ 不変な場の成分は、不変部分空間に特有のクレブシュ・ゴルダン（CG）係数によって支配される、結合的な融合様代数に従うことを示している。

主要な結果と例
この枠組みは、その有用性と必要性を実証するために、いくつかの具体的なモデルに適用されている。

• $\mathbb{Z}_N \rtimes \mathbb{Z}_2$ （二面群）: 著者らは、$\mathbb{Z}_N$ が $\mathbb{Z}_2$ によってゲージ化された既知の非可逆選択則を回収し、射影された指標の手法が条件 $q_1 \pm q_2 \pm \dots \pm q_n = 0 \pmod N$ を再現することを確認した。
• $A_4 \rtimes \mathbb{Z}_2 \cong S_4$: この非可換の例において、著者らは $A_4$ のテンソル積（$3 \otimes 3 \otimes 3 \ni 1$）に基づく選択則が失敗することを示す。$\mathbb{Z}_2$ による射影が三重項の特定の成分を排除するため、射影された三重項の3次の結合は消失する。射影された指標の手法は、標準的な群論が誤って非零の結合を予測する一方で、この消失を正しく特定する。
• $\Delta(54) \cong \Delta(27) \rtimes \mathbb{Z}_2$: 枠組みは $\Delta(54)$ 群へと拡張されている。この解析により、特定の三重項表現を含む特定の3次の結合が、射影によって禁止されていることが明らかになった（これらはゲージ化されていない理論では許容されていたものである）。著者らは、射影された指標を明示的に計算し、結果としての融合則を導出している。

現象論的含意
本論文は、非可換設定におけるこれらの非可逆選択則の主要な現象論的帰結について論じている。

1. 結合の抑制: アーベル型モデルでは選択則が相互作用を禁止または許容するだけであるのに対し、非可換ゲージングは結合定数の間に特定の関係を課す。有効結合定数は、不変部分空間の次元と全表現空間の次元の比、および特定のCG係数によって決定される因子によって抑制される。
2. フレーバー構造: 著者らは、これらの制約がいかにして異なる世代間の結合定数の比を固定できるかを例示している。$\Delta(54)$ ゲージングを持つモデルでは、湯川行列のテクスチャは制約を受け、大きな混合角が自然に現れる一方で、特定の項（例：$\Phi \bar{\nu}_R^2 L_2$）は選択則によって厳密に禁止される。

意義と主張
著者らは、本研究が、非可換なグローバル対称性が離散ゲージング下にある場合の非可逆選択則に関する最初の体系的な定式化であると主張している。主な意義は以下の通りである：

• 完全性: 内部マルチプレット成分の射影を考慮した、必要十分条件（射影された指標を介して）を提供しており、これは標準的なテンソル積の規則では捉えきれないものである。
• 代数的構造: 残存する場が、共役類の単純な融合代数ではなく、CG係数によって支配される、成分レベルでの明確で結合的な融合様代数に従うことを確立した。
• モデル構築: 非可換対称性の離散ゲージングが、単に許容される相互作用を制限するだけでなく、フレーバーの階層性や混合パターンを説明する可能性のある、特定の予測的な結合定数の関係を生成する、新しいフレーバーモデル構築のメカニズムを提供している。

著者らは、これらの規則はツリーレベルで成立するものであるが、量子補正（ループ効果）によって破られる可能性があることを指摘しており、これは今後の調査課題として残されている。また、基礎となる構造は、融合圏（fusion categories）やモノイダル圏（monoidal categories）の言語を用いて形式化できる可能性についても示唆している。