数理物理学とゲージ理論において、ADHM 構築またはモナド構築とは、マイケル・アティヤ、ウラジミール・ドリンフェルド、ナイジェル・ヒッチン、ユーリ・I・マニンが論文「インスタントンの構築」で 線形代数の方法を使用してすべてのインスタントンを構築することです。
ADHMデータ
ADHM 構築では次のデータが使用されます。
そしてADHM構成は、ある規則性条件が与えられた場合、
- B 1、B 2、I、Jが与えられ、SU( N )ゲージ理論においてインスタントン数kの反自己双対インスタントンが構成できる。
- すべての反自己双対インスタントンはこのようにして得られ、U( k )回転までの解と1対1に対応しており、U( k)回転は、副表現の各Bと、基本表現と反基本表現を介してIとJに作用する。
- インスタントンのモジュライ空間上の計量は、 B、 I、J上の平坦計量から継承されたものです。
一般化
非可換インスタントン
非可換ゲージ理論では、ADHM 構成は同一ですが、モーメント マップは時空の非可換行列と単位行列 の積の自己双対射影に等しく設定されます。この場合、ゲージ グループが U(1) の場合でもインスタントンが存在します。非可換インスタントンは、1998 年にNikita NekrasovとAlbert Schwarzによって発見されました 。
渦
B 2とJをゼロに設定すると、渦、インスタントン、ブレーンで実証されたように、色とフレーバーの数が等しい超対称ゲージ理論の非可換渦の古典的なモジュライ空間が得られます。より多くのフレーバーへの一般化は、ヒッグス相のソリトン: モジュライ行列アプローチで示されました。どちらの場合も、スクォーク凝縮を決定するFayet–Iliopoulos 項 は、実モーメントマップの非可換性パラメータの役割を果たします。
建設式
xを四元数表記 で書かれた4次元ユークリッド 時空座標とする。
2 k × ( N + 2 k )行列 を考える
すると、条件は因数分解条件と等しくなります。
- ここでf ( x )はk × kの エルミート行列です。
すると、エルミート射影演算子Pは次のように構築できる。
Δ( x )のヌル空間は、一般的なxに対してN次元です。このヌル空間の基底ベクトルは、正規直交化条件U † U = 1を持つ( N + 2 k )× N行列U ( x )に組み立てることができます 。
Δの階数に関する正則性条件は完全性条件を保証する。
反自己双対接続はUから次の式で 構築される。
参照
参考文献
- アティヤ、マイケル・フランシス(1979)、ヤン・ミルズ・フィールドの幾何学、ピサ高等師範学校、ピサ、MR 0554924
- マイケル・フランシス・アティヤ;ドリンフェルド, バージニア州;ヒッチン, ニュージャージー州; Manin、Yuri Ivanovich (1978)、「インスタントンの構築」、Physics Letters A、65 (3): 185–187、Bibcode :1978PhLA...65..185A、doi :10.1016/0375-9601(78)90141- X、ISSN 0375-9601、MR 0598562
- Hitchin, N. (1983)、「モノポールの構築について」、Commun. Math. Phys. 89、145–190。
