Generalized forms of types N = 1, 2 and higher gauge theory

技術要約：型 $N=1, 2$ および高次ゲージ理論における一般化された型の形式

問題提起
高次ゲージ理論は、通常のゲージ理論を拡張し、リ・2-群（Lie 2-groups）やリ・3-群（Lie 3-groups）といった構造を利用して、ゲージポテンシャルや曲率を高次の微分形式として記述するものである。これらの理論の運動学的データ（接続、曲率、およびビアンキ恒等式）はマルチフォーム（multi-forms）の観点からは十分に理解されているが、これらのマルチフォームの対象を単一のエンティティとして扱う統一的な形式手法が欠如していることが多い。接続を一般化された形式（例：[42]）へと符号化しようとするこれまでの試みは、接続と曲率の統一には成功したものの、二つの決定的な欠落を残した。それは、高次ゲージ変換の統一的な記述と、高次チャーン・サイモンズ（HCS）および高次ヤン＝ミル（HYM）理論のための作用関数の体系的な導出である。著者らは、高次ゲージ構造が「一般化微分解析（Generalized Differential Calculus: GDC）」を用いて一様に記述できるか、また、この形式化の枠組みの中でHCSおよびHYM理論のための単純な作用原理を構築できるかという点に取り組んでいる。

手法
本論文は、通常の異なる次数の微分形式を単一の「一般化された形式」へと統一する、カルタンの古典的な微積分学の拡張である「一般化微分解析（GDC）」の枠組みを採用している。型 $N$ の一般化 $p$-形式は、次数 $p, p+1, \dots, p+N$ の通常の形式からなる順序付けられた $(N+1)$-タプルとして定義され、$N$ 個の独立な $(-1)$-形式 $\{\xi_i\}$ を含む基底を用いて展開される。

手法は以下の4つの段階で進行する：

1. 一般化形式の微積分学： 著者らは、型 $N=1$ および $N=2$ の一般化形式に関する代数的および微分的規則を確立する。これには、外積、対称内積、および外微分を定義することが含まれる。重要な側面は、$(-1)$-形式の微分が定数（$d\xi_i = k_i$）となる標準基底の選択であり、これにより微分演算子が一意に固定される。
2. 高次代数と群値： 微積分学は、リ・2-代およびリ・3-代の値を持つように適応される。著者らは、一般化された形式に対して勾配括弧、外微分、およびペアリングを定義する。極めて重要な点は、リ・2-群およびリ・3-群に対する「高次群値の一般化された0-形式」（一般化されたゲージパラメータ）を構成することである。これにより、高次のモーテ・カルタン形式を定義し、高次のモーテ・カルタン方程式を確立することが可能となる。
3. ゲージ構造の統一的定式化： 開発された微積分学を用いて、2-ゲージ理論および3-ゲージ理論を再定式化する。著者らは、マルチフォームの接続（例：2-ゲージにおける $(A, B)$、および3-ゲージにおける $(A, B, C)$）を単一の一般化された1-形式へと符号化する。同様に、ゲージ変換は一般化された0-形式として符号化される。これにより、ビアンキ恒等式とゲージ変換則が、通常のゲージ理論におけるものと同じ形式的構造（例：$dF + [A, F] = 0$）をとることが可能となる。
4. 作用関数の構成： 開発された微積分学における一般化された内積とペアリングを用いて、作用関数の構成にこの形式を適用する。著者らは、高次チャーン・サイモンズ形式および高次ヤン＝ミル作用を定義する。

主要な貢献と結果

• 変換の統一的定式化： 本論文は、リ-2-群およびリ-3-群に値を持つ一般化された0-形式を用いた、高次ゲージ変換の完全な記述を提供する。これは、ゲージパラメータをGDCの枠組み内で接続と同等のものとして扱うことで、先行文献における欠落を埋めるものである。
• 一般化されたモーテ・カルタン方程式： 著者らは、リ-2-群およびリ-3-群に関連する2-モーテ・カルタンおよび3-モーテ・カルタン形式を導出し、それらがそれぞれの高次モーテ・カルタン方程式（$dl + \frac{1}{2}[l, l] = 0$）を満たすことを証明する。
• ビアンキ恒等式の再定式化： 接続と曲率を単一の一般化された形式へと符号化することにより、高次ゲージ理論における複雑なビアンキ恒等式の系が、通常のケースと形式的に同一の単一の一般化されたビアンキ恒等式へと収束することを示す。
• 高次チャーン・サイモンズ（HCS）理論：
  • 4D 2-チャーン・サイモンズ： リ-2-代に対する2CS 4-形式を構成する。著者らは、その外微分が2-チャーン5-形式を与えることを証明し、高次チャーン・ヴェイル（Chern–Weil）定理を確立する。ゲージ変分を分析し、それが全微分（ホログラフィック）であり、境界項に還元されることを示す。
  • 5D 3-チャーン・サイモンズ： リ-3-代に対する3CS 5-形式を構成する。同様に、その外微分は3-チャーン6-形式を与える。著者らは、変換特性は複雑であるが、通常のケースとの構造的な類似性が保持されていることを指摘している。
• 高次ヤン＝ミル（HYM）理論： 著者らは、2-ヤン＝ミルおよび3-ヤン＝ミル理論のための統一された作用関数を構成する。一般化された対称内積を一般化された曲率形式に適用することで、成分曲率の内積の標準的な和（例：$\int \langle \Omega_1, *\Omega_1 \rangle + \langle \Omega_2, *\Omega_2 \rangle$）を回収する。
• 構造的対応関係： 本論文は明確な階層関係を確立している：通常のゲージ理論は型 $N=0$、2-ゲージ理論は型 $N=1$、3-ゲージ理論は型 $N=2$ に対応する。この階層において、接続は一般化された1-形式であり、ゲージ変換は一般化された0-形式である。

意義
本論文は、場と対称性の両方を記述する単一の対象が欠けていたという、高次ゲージ理論における問題を解決する「統一的な定式化」を提供すると主張している。高次ゲージ構造が単一の一般化された形式変数によって記述できることを示すことにより、通常のゲージ理論の形式的構造（ビアンキ恒等式、ゲージ変換、および作用原理を含む）が、高次元へと保存され拡張可能であることを示している。これは、場と対称性を定義するためのモジュール的かつ再帰的に拡張可能なスキームを提供し、通常のゲージ理論から高次ゲージ理論への手法の転移を容易にする可能性がある。本研究は、ゲージ変換セクターを組み込み、HCSおよびHYM理論のための体系的な作用関数の導出を提供することで、[42]の結果を拡張している。

限界と範囲
著者らは、詳細な分析を型 $N=1$ および $N=2$（リ-2-およびリ-3-理論）に明示的に限定しており、これらのケースがより高次の型にも一般化可能なパターンを明らかにしていると述べている。3-チャーン・サイモンズ形式の完全なゲージ変分を導出する代数的な複雑さについては言及しているものの、その特定の変換に関する明示的な結果は提供しておらず、今後の研究課題として残している。本論文は数学的な定式化に焦点を当てており、作用関数の理論的構成を超えた新しい実験的応用や具体的な物理モデルを提案するものではない。