| 原文と比べた結果、この記事には多数の(または内容の大部分に影響ある)誤訳があることが判明しています。情報の利用には注意してください。 正確な表現に改訳できる方を求めています。 |
理論物理学では、p-形式電磁気学(p-form electrodynamics)は、電磁気学のマックスウェルの理論の一般化である。
通常の(1-形式の)可換な電磁気学
1-形式 A はゲージ対称性

を持っている。ここに α は任意の固定された 0-形式で、d は外微分、密度(英語版)(density) 1 を持ち、連続の方程式

を満たすゲージ不変であるベクトルカレント(英語版)(vector current)を J とする。ここの * はホッジ双対である。
代わりに、J を (d − 1)-閉形式とする。
F は外微分
として定義されるゲージ不変2-形式である。
A は運動方程式

を満たす(この方程式は明らかに連続の方程式を意味している)。
これは下記の作用から導くことができる。
![{\displaystyle S=\int _{M}\left[{\frac {1}{2}}\mathbf {F} \wedge *\mathbf {F} -\mathbf {A} \wedge *\mathbf {J} \right]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/bb16a5832c3b876ad3090b8089925b6b4bf34349)
ここに M は時空多様体である。
可換な p-形式電磁気学
p-形式 B がありゲージ対称性

を持っている。ここに α は任意の固定された (p-1)-形式であり、d は外微分であり、ゲージ不変なp-ベクトル(英語版)(p-vector) J は密度(英語版)(density) 1 を持ち、連続の方程式

を満たす。ここに * はホッジ双対である。
代わりに、J を (d-p)-閉形式とする。
C は外微分
として定義されたゲージ不変な (p+1)-形式である。
B は運動方程式

を満たす(この方程式は明らかに連続の方程式を意味する)。
これは作用
![{\displaystyle S=\int _{M}\left[{\frac {1}{2}}\mathbf {C} \wedge *\mathbf {C} +(-1)^{p}\mathbf {B} \wedge *\mathbf {J} \right]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f72bb82af8ed13209049830c1217a5a0e461edc9)
から従う。ここに M は時空多様体である。
他の符号の規約もある。
カルブ・ラモン場(Kalb-Ramond field)は、p = 2 の弦理論での例である。電荷のソースがD-ブレーンであるラモン・ラモン場(英語版)(Ramond-Ramond field)は、すべての p の値に対する例であり、11次元の超重力理論やM-理論の中では、3-形式の電磁気学である。
非可換の一般化
まさに、電磁気学の非可換一般化としてヤン・ミルズ理論を導いたように、p-形式電磁気学の非可換一般化も得られる。典型的にはジャーブ(英語版)(gerbe)を使うことが求められる。
参考文献