Covariant Euler-Poincaré Reduction for Field Theories on Centered Semidirect Products

技術要約：中心化半直積上の場理論のための共変オイラー・ポアンカレ簡約

問題設定
本論文は、有限次元力学におけるオイラー・ポアンカレ簡約理論を、一次共変場理論へと拡張する問題に取り組んでいる。標準的な主束上の半直積構造群（$G \ltimes V$）における簡約（例：[8, 10–12]）は確立されているが、これらは通常、ベクトル空間成分 $V$ を対称性の破れから生じる随伴パラメータとして扱う。著者らは、構成空間が中心化半直積 $G \rtimes\!\!\!\rtimes V$ を含む、より異なる構造的シナリオを調査している。この構造において、リー群 $G$ は二つの可換な線形作用（左および右）を通じてベクトル空間 $V$ に作用する。中心的な問題は、これら二つの作用を単一の有効な表現へと崩壊させるのではなく、二方向の幾何学的データを明示的に保持したまま、共変簡約スキームを定式化し、対応する場の方程式、保存則、および再構成条件を導出することである。

手法
著者らは以下のステップに基づく幾何学的枠組みを開発している：

1. 代数的構造： 著者らは、群の乗法が $(g_1, v_1) \cdot (g_2, v_2) = (g_1g_2, g_1 \cdot v_2 + v_1 \cdot g_2)$ となる中心化半直積 $G \rtimes\!\!\!\rtimes V$ を定義する。これに関連するリー代数 $\mathfrak{g} \rtimes\!\!\!\rtimes V$ は、左および右の無限小作用の両方を含むブラケットを備えている。
2. 演算子： 著者らは、双対空間における $\mathfrak{g}$ 成分と $V$ 成分の結合を符号化するために、ハート（$\heartsuit$）およびダイヤモンド（$\diamond$）演算子を導入する。これらの演算子は、誘導表現 $\rho^*(\xi)v = \xi \cdot v - v \cdot \xi$ の双対を、元の左および右作用からの寄与へと分解する。
3. 共変簡約： 構造群 $G \rtimes\!\!\!\rtimes V$ を持つ主束 $P \to X$ 上において、簡約された構成空間は主接続の累次束 $C(P)$ として特定される。基準となる接続を固定することで、簡約された場は $\text{Ad}(P)$ 値の一形式 $\xi$ として表される。
4. 変分原理： 著者らは、切断 $s$ の垂直変分によって誘起される制約付き変分を適用する。これにより、分割されたオイラー・ポアンカレ場の方程式、簡約されたマルチシンプレクティック形式の公式、および関連するノーターおよびエネルギー・運動量バランス則を導出する。
5. ハミルトニアン定式化： 簡約されたマルチモーメント束上の共変リー・ポアソン方程式を定式化し、超正則なラグランジアンに対する共変ルジェンドル変換を介して、それがオイラー・ポアンカレ方程式と等価であることを確立する。
6. 同型解析： 論文では、$G \rtimes\!\!\!\rtimes V$ が変数の変更を通じて標準的な半直積 $G \ltimes_\rho V$ と同型であることを厳密に証明しているが、中心化された提示形式は、標準的な定式化では隠蔽されてしまう、区別された左および右の運動量転送項を保持している。

主要な貢献と結果

• 分割場の方程式： 著者らは、$\mathfrak{g}$ および $V$ 成分に分解されたオイラー・ポアンカレ場の方程式を導出している。これらの方程式は、以下の明示的な結合項を特徴とする：
  • $\text{div}_{A_g} P_g = \text{ad}^*_{\xi_g} P_g + A_V \diamond P_V - \xi_V \diamond P_V$
  • $\text{div} P_V = A_g \heartsuit P_V - \xi_g \heartsuit P_V$
    これらの項は、制約付き変分の混合部分とハートおよびダイヤモンド演算子から生じる。
• マルチシンプレクティック電流： 簡約されたマルチシンプレクティック形式の公式が導出され、シンプレクティック電流がハートおよびダイヤモンド演算子を含む非分離項を含むことが示されている。これは、$\mathfrak{g}$ セクターと $V$ セクターがシンプレクティック構造のレベルにおいても結合していることを示唆している。
• バランス則： 論文は共変ノーター電流およびエネルギー・運動量バランス則を確立している。全電流は保存される一方で、セクター電流（$\mathfrak{g}$ および $V$）は個別に保存されないことを示しており、これらは結合項を介して運動量とエネルギーを交換する。
• 行列微細構造への適用： 理論は $SO(3) \rtimes\!\!\!\rtimes \text{Mat}(3)$ に適用される。著者らは、標準的なディレクター表現は $\mathbb{R}^3$ 上の要求される中心化構造をサポートしないことを示す。しかし、$\text{Mat}(3)$ 上の共役作用を用いることで、系はスカラー、ベクトル、および対称・無跡（配向テンソル）のセクターへと分解される。これにより、マイクロポーラー理論や液晶理論との関係が明確になり、標準的なディレクターモデルは、中心化積自体に固有のものではない、追加の対称性の破れまたは随伴パラメータとしての制約を必要とすることが特定される。
• 二次のジェット群の適用： フレームワークは二次のジェット群 $G^2_r \simeq GL(r) \rtimes\!\!\!\rtimes (S^2(\mathbb{R}^r)^* \otimes \mathbb{R}^r)$ に適用される。二方向の作用は、二階微分に関する連鎖律に対応する。
  • 1+1次元の場合（$G^2_1$）において、著者らは正確な進行変換フロント解を見出した。この解は、エネルギーと運動量が線形ジェットセクターと二次ジェットセクターの間で点ごとに交換されるヘテロクリニック・パルスを記述するが、全応力・エネルギーは保存される。
  • このフロントの線形摂動は、波方程式（接線方向）と正の質量を持つクライン・ゴルドン方程式（法線方向）に分離し、保存された正のエネルギーを与える。
  • 非線形数値実験により、簡約・再構成手順の妥当性が検証され、独立したウェーブマップ計算との一致および4次の収束性が示された。

意義と主張
本論文は、中心化半直積のフレームワークが、同時かつ可換な左および右の作用を持つ場理論を扱うための幾何学的に精密な手法を提供すると主張している。その主な意義は以下の通りである：

1. 二方向データの保持： 単一の表現へと作用を統合する標準的な簡約とは異なり、中心化された定式化は、ハートおよびダイヤモンド演算子を通じて、元の左および右の作用を明示的に分離し、それぞれの運動量転送への寄与を保持する。
2. 微細構造モデルの明確化： 行列値の微細構造モデルに対する厳密な幾何学的分解を提供し、中心化積の固有の対称性と、ネマチックのような特定の物理モデルに必要とされる追加の制約（単位ディレクターやバルクポテンシャルなど）を区別する。
3. ジェット群の力学： 内部対称群が高次のジェット群である、一次共変場理論の例を提供し、「二次の」性質が、高次の変分理論とは異なる、特定の結合項として一次簡約方程式の中に現れることを示している。
4. 厳密解： $G^2_1$ モデルにおける正確な進行変換フロントの発見は、中心化された結合の非自明な力学的帰結を示しており、そこではエネルギーが線形ジェットセクターと二次ジェットセクターの間を可逆的に流転する。

著者らは、自身が新しいクラスのリー群や不等価な力学を発見したと主張しているのではなく、むしろ中心化された提示形式は、標準的な半直積定式化において代数的には存在するが幾何学的には隠蔽されている構造的詳細（左／右の寄与の分離）を明らかにするための、特定の組織化ツールであると明言している。本研究は固定された構造群を対象としており、$x$ に依存するファイバー方向の対称性を持つゲージ理論（リー群束）には拡張されない。