[論文レビュー] On the construction of solutions to the Yang-Mills equations in higher dimensions

Simon Brendle|ArXiv.org|Feb 10, 2003

Matrix Theory and Algorithms参考文献 22被引用数 14

ひとこと要約

本稿では、n ≥ 4次元の多様体上に、特異点集合が滑らかで最小的(n−4)次元部分多様体SであるYang-Mills接続を、法 bundle 内のインスタントンに基づく近似解の変形によって構成する。主な結果は、法 bundle に複素構造と体積形式が存在する条件下で、重み付き Hölder 空間を用いたグリューリング構成とパrametrized変形写像 Ξε を通じた収束により、このような解の存在を確立することである。

ABSTRACT

We describe a glueing construction for the Yang-Mills equations in dimension $n > 4$. Our method is based on a construction of approximate solutions, and a detailed analysis of the linearized operator near an approximate solution.

研究の動機と目的

• n ≥ 4次元のリーマン多様体M上に、指定された滑らかで最小的(n−4)次元部分多様体Sが特異点集合となる滑らかなYang-Mills接続の列を構成すること。
• Uhlenbeckの4次元におけるエネルギー集中の結果を高次元に拡張し、特異点集合をH^{n−4}-可縮集合として特徴づけ、エネルギー集中を密度関数で測定すること。
• 法 bundle 内のSU(2)-インスタントンに基づく近似解を用いて、指定された特異集合Sを持つYang-Mills接続を構成するための構成的技法を提供すること。
• 重み付き Hölder 範囲における小さな誤差でYang-Mills方程式を満たすパrametrizedグリューリング写像 Ξε を通じた近似解の変形理論を確立すること。
• Banach空間における Hölder スムーズな断面の空間上で固定点法を用いて摂動方程式を解くことにより、正確なYang-Mills接続の存在を証明すること。

提案手法

• 法 bundle のセクションv、S上の正の関数λ、および法 bundle NS 上のSU(2)-構造(J, ω)からなるグリューリングデータ(v, λ, J, ω)を用いて近似解を構成する。
• M ∩ S 上の近似接続Aを、標準的なR^4上のSU(2)-インスタントンを法成分にモデル化し、クaternionとシフト変数(y − εv)を用いて曲率を表現する。
• S近傍での曲率およびその微分の減衰を制御するため、重み付き Hölder 空間C^γ_ν(M)を導入し、重みは(ε + dist(p, S))^νとする。
• 近似接続Aの周りでYang-Mills作用素を線形化し、L_A = D_A^*F_Aを形成し、楕円型性を回復するためにD_A D_A^*を付加する。
• L_Aを、曲率F_Aに対するL^2-直交性条件を満たす1形式の部分空間E^γ_ν(M)に制限する。
• ヤコビ場および法変形の空間への射影Πを定義し、写像Ξεを用いて、曲率および第二基本形式を用いてYang-Mills方程式を解く際の障害を記述する。

実験結果

リサーチクエスチョン

• RQ1 任意のn ≥ 4次元のリーマン多様体M上に、与えられた滑らかで最小的(n−4)次元部分多様体Sが特異点集合となるような滑らかなYang-Mills接続の列を構成可能か？
• RQ2 法 bundle にどのような幾何的条件（例：SU(2)-構造の存在）が満たされていれば、Yang-Mills方程式の近似解を明示的に構成可能か？
• RQ3 近似解Aを、D_Â^*F_Â = 0を満たす近傍接続Âに変形する方法は何か？
• RQ4 特異化の極限におけるエネルギー集中の漸近的挙動は何か？また、Sの幾何とどのように関係するか？
• RQ5 Yang-Mills方程式を解く障害をS上で有限次元問題に還元可能か？もし可能であれば、固定点法を用いて解をどのように構成できるか？

主な発見

• 任意のn ≥ 4次元のリーマン多様体Mに、次元n−4の滑らかな最小的部分多様体Sが存在し、法 bundle NSにSU(2)-構造(J, ω)が存在する場合、特異点集合が正確にSとなる滑らかなYang-Mills接続の列を構成可能である。
• 特異点集合Sはエネルギー集中によって特徴づけられる：k → ∞のとき、|F_A_k|^2 dvol ⇀ |F_A_∞|^2 dvol + 8π² Θ dH^{n−4}|_S が成り立ち、Θは密度関数である。
• 変形写像Ξεは、各グリューリングデータ(v, λ, J, ω)に対して、NS ⊕ R ⊕ Λ^2_+ NS内の断面を割り当てる。Ξε = 0 ならば、近傍に正確なYang-Mills接続が存在する。
• データがC^{2,γ}(S)で有界でλ ≥ 1である限り、Ξεの誤差はC^γ(S)ノルムでC ε^{1/64}で有界である。
• SU(2)-構造が平行（θ = 0）であり、λが第二基本形式および曲率を含む線形偏微分方程式を満たす特別な場合、固定点法により摂動方程式の解が得られる。
• 線形化作用素Jの核が有限次元であり、ヤコビ作用素の非退化性（可逆性）およびλが核を張るという条件が満たされていれば、摂動写像に対する固定点が存在することが保証され、解が得られる。