We show that the 't Hooft anomaly of a quantum field theory with continuous flavor symmetry can be detected from rearrangements of the topological defect webs implementing the global symmetry in general spacetime dimension, which is concretized in 2D by the F-moves of the defect lines. Via dualizing the defects to flat background gauge field configurations, we characterize the 't Hooft anomaly by various cohomological data of the symmetry group, where the cohomology of Lie groups with discrete topology plays the central role. We find that an extra dimension emerges naturally as a consequence of the mathematical description of the 't Hooft anomaly in the case of flat gauging.
論文ID : 2510.14722タイトル : Anomaly of Continuous Symmetries from Topological Defect Network著者 : Qiang Jia, Ran Luo, Jiahua Tian, Yi-Nan Wang, Yi Zhang分類 : hep-th(高エネルギー物理学-理論)発表日 : 2025年10月17日(arXiv プレプリント)論文リンク : https://arxiv.org/abs/2510.14722 本論文は、連続フレーバー対称性を持つ量子場論の't Hooft異常が、大域対称性を実現するトポロジカル欠陥ネットワークの再配置から検出できることを示している。2次元の場合、これは欠陥線のF-移動によって具体化される。欠陥を平坦背景ゲージ場配置に双対化することにより、著者らは対称群の様々なコホモロジーデータを用いて't Hooft異常を特徴付けており、特に離散位相を持つリー群コホモロジーが中心的な役割を果たす。平坦ゲージ化の場合、追加次元が't Hooft異常の数学的記述の自然な結果として現れることが発見された。
't Hooft異常は量子場論における基本的な概念であり、大域対称性をゲージ対称性に昇格させる際に矛盾が生じる。従来、連続群の't Hooft異常は小ゲージ変換の下降方程式を通じて計算され、一般的な場合にはエータ不変量が用いられる。
統一的枠組みの欠如 : 離散群対称性の't Hooft異常は欠陥ネットワーク再配置のF-記号から直接計算できるが、連続群対称性には同様のアルゴリズムが存在しない理論の完全性 : 有限群と連続群対称性の処理を完全に平行な基礎の上に置く必要がある数学的深化 : リー群コホモロジー、特に離散位相を持つリー群コホモロジーが異常理論で果たす役割を探求する離散群の場合は成熟した群コホモロジー記述方法が存在する 連続群の平坦ゲージ化異常計算アルゴリズムが長期間欠落している 両者を統一的に扱う数学的枠組みが不足している 双対関係の確立 : トポロジカル欠陥ネットワークと平坦背景ゲージ場配置の間の双対関係を提案統一的アルゴリズム枠組み : 連続対称性に対して離散の場合と同様のF-移動計算方法を提供数学的特徴付け : リー群のコホモロジーデータ(特に離散位相を持つリー群コホモロジーH³(G_δ,U(1)))を用いて't Hooft異常を特徴付け次元の涌現 : 追加次元が異常理論の数学的記述の自然な結果として現れることを発見具体的計算 : 単純リー群とU(1)の場合の詳細な計算例を提供x=0に沿った欠陥線L(g_α = e^{iα} ∈ Gで標記)に対して、双対背景ゲージ場A_Lを以下のように定義する:
ここでℓはx=0を1回横切る任意の経路である。
具体的な形式は:
A_L = iαδ(x)dx = e^{-iαH(x)}de^{iαH(x)}
任意の欠陥ネットワークの基本的な構成要素は三価頂点であり、群元素e^{iα}, e^{iβ}, e^{if(α,β)}に対応する。π₁(G)が自明な群の場合、涂抹を通じて大域的に定義されたgを得ることができるが、π₁(G)が非自明な場合(U(1)など)には特別な処理が必要である。
著者らは2つの等価な条件を与えている:
平坦ゲージ化は新しい分配関数において、すべての可能なトポロジカル欠陥ネットワークの挿入の和に等価である ゲージ場Aの配置に対する和であり、トポロジー的に自明なループの周りの完全性は単位元である 欠陥ネットワークWとW'に対して、ゲージ変換Λによって結ばれた双対平坦場配置A_WとA_W'の異常は:
A[A_W; Λ] = ∫_{M³} CS_k[A(t)]
ここでA(t)は写像円柱上で2つの配置を補間する。
単純連結リー群Gの場合:異常はH³(g,ℝ)によって特徴付けられる。ここでgはリー代数である U(1)の場合:異常はH³(U(1)_δ, U(1))によって特徴付けられる。ここでδは離散位相を表す 単射写像が存在する:H⁴(BG,ℤ) ↪ H³(G_δ, U(1)) コンパクト単連結単純リー群Gに対して、3次元体異常理論は非可換Chern-Simons不変量である:
CS_k[A] = (k/2)tr(A∧F - (1/3)A∧A∧A)
F=0(平坦ゲージ場)を設定することにより、立方項はGのde Rhamコホモロジー群H³_(G,ℝ)を正確に生成する。
U(1)の場合、場の強さは頂点で非ゼロである:
F = dA = i([α+β] - α - β)δ(x)δ(y)dx∧dy
F-移動の位相因子は:
ω(e^{iα₁}, e^{iα₂}, e^{iα₃}) = e^{iα₁(α₂+α₃-[α₂+α₃])/(2π)}
これはH³(ℤ_N, U(1))のN→∞極限と一致する。
平坦G-束の分類空間:BG_δ ≅ K(G,1) 標準写像:ι: G_δ → G が Bι: BG_δ → BG を誘導する 重要な写像:κ_δ: H^{2n}(BG,ℤ) → H^{2n-1}(BG_δ,ℝ/ℤ) ホモトピー繊維構成を通じて、写像f: M² × 0,1 → BGが自然に現れる。ここで:
M² × {0}:非自明な転移関数を持つ束 M² × {1}:自明な束だが非ゼロの平坦接続を持つ これは't Hooft異常の特徴付けが自然に追加次元を必要とする理由を説明する。
2k次元時空に対して:
F-移動は(2k+1)-単体に双対化される リー代数コホモロジーはH^{2k+1}(g,ℝ)に一般化される U(1)群コホモロジーはH^{2k+1}(U(1)_δ, U(1))に一般化される U(1)₁ × U(1)₂の混合異常に対して、明確な群コホモロジー生成元公式が与えられている。
本論文は以下の研究基礎の上に構築されている:
対称性の現代理論 : Gaiotto等による一般化大域対称性の枠組み離散異常理論 : Kapustin-Thorngren の群コホモロジー方法トポロジカル欠陥理論 : Moore-Seiberg と Dijkgraaf-Witten の研究圏論的方法 : 最近の連続対称性の圏化研究連続対称性の't Hooft異常の欠陥ネットワーク計算方法の確立に成功 離散位相を持つリー群コホモロジーが異常を特徴付ける正しい数学的ツールであることを証明 異常理論における追加次元の自然な涌現機構を解明 有限群と連続群対称性の異常理論を統一 平坦ゲージ化に対する幾何学的直観を提供 群コホモロジーと微分幾何学における二次不変量を結合 主な議論はコンパクト連結リー群に限定されている 特定のリー群(U(1)やSO(3)など)はスピン構造の追加考慮が必要 H³(G_δ,U(1))の完全な数学的構造は依然として複雑 理論的突破 : 連続対称性異常理論の重要な空白を埋める数学的厳密性 : 厳格なコホモロジー理論基礎を提供計算の実用性 : 具体的で操作可能な計算方法を提供統一的枠組み : 離散と連続の場合を統一的理論枠組みに置く双対化技術 : 欠陥ネットワークをゲージ場配置に巧妙に双対化次元提昇 : 異常理論における追加次元の出現を自然に説明コホモロジー応用 : 離散位相リー群コホモロジーの革新的使用量子場論異常理論に新しい数学的ツールを提供 凝聚系物理学のトポロジカル相転移研究に影響を与える可能性 将来の異常マッチング研究に理論的基礎を提供 連続対称性を持つ2次元共形場論 トポロジカル量子場論の異常分析 凝聚系システムにおける対称性保護トポロジカル相 論文は55篇の関連文献を引用しており、't Hooftの原始的研究から最新の一般化対称性理論まで網羅しており、本研究の深厚な理論基礎と広範な学術的つながりを示している。
総合評価 : これは理論物理学と数学物理学の交差領域における重要な研究であり、離散および連続対称性の異常理論を成功裏に統一し、当該分野に新しい数学的ツールと計算方法を提供している。論文の技術的深さと理論的革新性は顕著であり、関連研究に重要な影響を与えることが予想される。