背景に「異常」がある2次元量子場が変形されても異常は変わらない方法を作った研究
この論文は、背景にゲージ場の「異常」を持つ二次元の量子場理論(QFT)に対して、異常を保ったまま行える一つの変形を定義します。異常とは、背後で与えた「背景ゲージ変換」に対して分配関数(物理量をまとめた関数)が単純に不変でなくなる性質です。研究者たちは、元の理論を補助の動的ゲージ場とコンパクトなスチュッケルベルク(Stueckelberg)場で結びつけ、異常を記述する線束(anomaly line bundle)上の平行移動(parallel transport)を挿入することで、変形後も元の異常と同じ変換法則を保つ定義を作りました。要するに「異常データ」を変形の入力として固定しながら、系を安全に変える方法です。
彼らの定義は経路積分(path integral)に基づいています。外部の背景ゲージ場を Aa、補助の動的ゲージ場を Ba、スチュッケルベルク場を h と書くと、平行移動やスチュッケルベルク補正を含む組合せ Θa = Aa − Bah を使って、位相的な二次の核(kernel)exp(−(iλ/4)∫εab Θa∧Θb) を経路積分に加えます。ここで λ は変形の強さです。異常に対応する補正式と平行移動因子 T[A,Bh] の座標則(endpoint law)を適切に決めると、変形された分配関数は元の分配関数と同じ有限な背景異常を持ち続けます。背景ゲージ場が平坦(曲がりや磁束がない)場合、スチュッケルベルク場の非ゼロモードが補助ゲージ場を平坦な接続へ局在化させ、経路積分は有限次元のホロノミー(閉路に沿ったひねり)積分へと簡約します。トーラス上ではその積分核 K が明示的に求められ、より高次の面(高いゲネス)にも一般化できます。
具体例として、コンパクトボゾン(または可換 U(1) WZW モデル)で核を評価しています。背景ゲージ場がゼロのとき、変形は分光(スペクトル)にただちに現れ、元の半径パラメータ k が有効な K_λ に置き換わる形でエネルギー準位が変化します。しかし、背景にホロノミー(トーラスの周回に沿ったひねり)を入れた完全な分配関数は、単に k を K_λ に置換するだけでは得られません。接触項(contact terms)やスペクトルフローに関するデータは元の異常係数により引き続き制御されます。これは、変形データ(λ による変化)と異常の扱い方が論理的に別物であることを明確に示しています。
論文はさらに、可換(アーベル)な場合を越えて非可換(非アーベル)やホモジニアス・ヤン=バクスター(Yang–Baxter)型の一般化も定式化します。非可換の場合は、変形を決めるために代数的な追加データ、具体的にはリー代数の二コサイクル ω(あるいは非退化な像があるときは対応する R 行列)を選ぶ必要があります。パス積分の核はアーベル核の代わりに RΣω(Θ∧Θ) の形になり、同じように異常線束上の平行移動を伴います。これにより、これまでの可解な変形(例:T T̄、J T)との関係やストリング理論的対応も自然に含まれる枠組みが得られます。
重要な注意点もあります。定義は補助ゲージ束のトポロジーを背景ゲージ束と同じクラス(第一チェルク類 c1 が等しい)に固定して行われます。異常を持つ理論では、今回導入した「核が定めるカレント(電流)」は物理的な背景場に対するカレントと一致しない場合があり、その差は異常線束の終端応答(endpoint response)で制御されます。また、平坦背景の局在化議論に大きく依存するため、平坦でない背景や他の状況での挙動はより詳しい解析が必要です。非アーベル一般化では追加の代数的選択が必要であり、それが物理的結果に影響します。以上がこの論文で示された主な構成と、支持される範囲での限界です。