[論文レビュー] A Note on Self-Dual Yang-Mills Theory

M. V. Movshev|ArXiv.org|Dec 1, 2008

Black Holes and Theoretical Physics参考文献 17被引用数 3

ひとこと要約

本稿は、L∞代数の技法を用いて、4次元自己双対リーマン多様体上の自己双対ヤン・ミルズ理論と、そのツイスター空間上の正則BF理論との間の摂動的同値性を確立する。それぞれの場の理論の間で準同型が成り立つことを証明し、古典的なアティヤ＝ウォード対応をホモトピー代数の言語に翻訳するとともに、BV形式に基づく同値性を提示し、摂動的量子同値性へと拡張する。

ABSTRACT

We translate the classical Atiyah-Ward correspondence into the L-infinity language. We extend the correspondence to a quasi-isomorphism between the algebra of the self-dual four-manifold X and the algebra of the holomorphic BF-theory in the twistor space T(X).

研究の動機と目的

• 自己双対ヤン・ミルズ理論をL∞代数およびホモトピー論の言語で再定式化すること。
• アティヤ＝ウォード対応を、4次元多様体上の自己双対ヤン・ミルズ理論の代数と、そのツイスター空間上の正則BF理論との間の準同型へと拡張すること。
• BV形式に基づいて、自己双対ヤン・ミルズ理論と正則BF理論との間の摂動的同値性を確立すること。
• 完全なヤン・ミルズ理論の再定式化のための幾何学的・代数的枠組みを提供すること。

提案手法

• 本稿は、4次元多様体X上の自己双対ヤン・ミルズ理論のゲージ構造をL∞代数形式で記述する。
• ツイスター空間T(X)上に正則BF理論を構成し、D（1階微分作用素）とH（Ω^{0,n-2}End(E)⊗ωの切断）を場とする。
• ラグランジアンは、Dに付随するニューランドー＝ニレングラのテンソルFに対してtr(FH)として定義される。
• 2つの理論のL∞代数の間のホモトピー準同型を、明示的なグリーン関数と核の計算を用いて確立する。
• 構成は、特に調和形式とドレーブー・コホモロジーの文脈において、SU(2)不変計量とツイスター空間上の正則構造に依存する。
• ステレオグラフィック射影とモビウス不変性を用いて、ホモトピー作用素Hの核の明示的公式を導出し、プロパゲーターの閉形式表現に至る。

実験結果

リサーチクエスチョン

• RQ1 アティヤ＝ウォード対応は、L∞代数とホモトピー論の言語で再定式化可能か？
• RQ2 自己双対ヤン・ミルズ理論は、Xのツイスター空間上の正則BF理論と摂動的に同値か？
• RQ3 自己双対ヤン・ミルズ理論と正則BF理論のL∞代数の間のホモトピー準同型の明示的形は何か？
• RQ4 ツイスター空間のSU(2)対称性は、ホモトピー作用素の核の構造にどのように制約を加えるか？
• RQ5 この枠組みは、完全なヤン・ミルズ理論へと一般化可能か？

主な発見

• 本稿は、4次元多様体X上の自己双対ヤン・ミルズ理論のL∞代数と、ツイスター空間T(X)上の正則BF理論のL∞代数との間で準同型が成り立つことを証明する。
• 主たる結果は、正則座標とSU(2)不変性を含む閉形式表現で与えられるホモトピー作用素Hの核の明示的構成である。
• n ≥ -1に対して、核h_{-n/2}は、( (|z₁|²+1)^{-n-1} (z₂ - z₁)^{-1} )にz₁およびz₂に関する正則因子を乗じた形に比例する。
• n ≤ -1に対して、核h_{-n/2}は第1引数に関して正則であり、|z₂|²+1およびz₁z₂+1を含む双対的形を取る。
• 全核H_Gは、(z̄₁z₂+1)/(|z₁|²+1)の累乗と微分形式√dz₁^k √dz₂^lを含む6項の和として計算され、係数はインデックスnに依存する。
• 最終的な2π√(-1) h_Gの式は、式(53)に明示的に与えられ、BV形式におけるプロパゲーターの構造を確認する。