[論文レビュー] Homogeneous spaces and Faddeev-Skyrme models

Sergiy Koshkin|ArXiv.org|Aug 17, 2006

Geometric Analysis and Curvature Flows参考文献 92被引用数 4

ひとこと要約

この論文は、コンpakトなリー群の対称同次空間への写像である閉じた3次元多様体上の有限エネルギー Hopfion 解（ Knot-liked なソリトン）の存在を確立する。Novel Sobolev 空間を導入し、同次空間への写像を余接 bundle 上のゲージポテンシャルを用いて再定式化することで、位相的・解析的障害を克服するゲージ計算を構築し、対称的標的空間に対しては各一般化されたホモトピー型、一般の同次空間に対しては各2次ホモトピー型において最小化子が存在することを証明する。

ABSTRACT

We study geometric variational problems for a class of effective models in quantum field theory known as Faddeev-Skyrme models. Mathematically one considers minimizing an energy functional on homotopy classes of maps from closed 3-manifolds into homogeneous spaces of compact Lie groups. The energy minimizers known as Hopfions describe stable configurations of subatomic particles such as protons and their strong interactions. In particular, we introduce novel Sobolev spaces suitable for our variational problem and develop the notion of homotopy type for maps in such spaces that generalizes homotopy for smooth and continuous maps. This notion is based on defining a generalized Hopf invariant for Sobolev maps into homogeneous spaces that was previously known only for maps into $S^2$. Since the spaces in question are neither linear nor even convex we represent maps by gauge potentials that form a linear space and reformulate the problem in terms of these potentials. However, this representation of maps introduces some gauge ambiguity into the picture and we work out 'gauge calculus' for the principal bundles involved to apply the gauge-fixing techniques that eliminate the ambiguity. These bundles arise as pullbacks of the structure bundles $H\hra G o G/H$ of homogeneous spaces and we study their topology and geometry that are of independent interest. Our main results include proving existence of Hopfions as finite energy Sobolev maps in each (generalized) homotopy class when the target space is a symmetric space. For more general spaces we obtain a weaker result on existence of minimizers only in each 2-homotopy class.

研究の動機と目的

• 閉じた3次元多様体から同次空間への写像において、Faddeev-Skyrme エネルギー汎関数を最小化する際の解析的および位相的課題を解決すること。
• 標的空間が対称空間の場合、各一般化されたホモトピー型において有限エネルギー最小化子（Hopfion）の存在を確立すること。
• より一般の同次空間に対しても結果を拡張し、各2次ホモトピー型において最小化子が存在することを証明すること。
• 同次空間への写像に適用するゲージ理論的フレームワークを構築し、配置空間の非線形性および非凸性を克服すること。
• Sobolev 写像に対するホモトピー論を一般化するために、2次ホモトピー型の新概念と補助不変量を導入すること。

提案手法

• Faddeev-Skyrme エネルギー汎関数に特化した新しいSobolev空間のクラスを導入し、滑らかでない可能性のある有限エネルギー写像の解析を可能にする。
• 同次空間 $G/H$ への写像を、引き戻し bundle $P = \tilde{M} \times_G G/H$ 上のゲージポテンシャルによって表現する。これは線形空間を形成するため、変分問題を線形化する。
• 構造 bundle $H \hookrightarrow G \to G/H$ の引き戻しとして得られる主 bundle に適用する 'ゲージ計算' を開発する。これには接続理論とゲージ固定技術が含まれ、冗長性を排除する。
• 共等化形式と bundle 幾何学を用いて写像の位相的構造を特徴付け、2次ホモトピー分類のための補助不変量を定義する。
• 濃縮・コンパクト性および Uhlenbeck 型のコンパクト性の議論を、ゲージ理論的設定に適合させ、最小化列の弱収束極限を抽出する。
• 対称空間の場合、エネルギー汎関数がSobolev位相において逐次的弱下半連続的であることを証明し、直接法により最小化子の存在を保証する。

実験結果

リサーチクエスチョン

• RQ1 閉じた3次元多様体から対称同次空間 $G/H$ への写像において、各一般化されたホモトピー型に有限エネルギー最小化子が存在するか？
• RQ2 非単連結な同次空間への値をとるSobolev写像に対して、ホモトピーの概念をどのように拡張できるか？
• RQ3 写像の同次空間への表現におけるゲージ対称性の役割は何か？ そして、ゲージのあいまいさを体系的に除去する方法は？
• RQ4 非自明な $π_2$ を持つにもかかわらず、対称空間を標的空間とする Faddeev-Skyrme モデルで「バブルリング」が発生しないのはなぜか？
• RQ5 旗多様体 $G/T$ への写像の配置空間の位相は、Yang-Mills 理論の低エネルギー極限とどのように関係するか？

主な発見

• 標的空間が対称空間 $G/H$ である場合、Faddeev-Skyrme エネルギー汎関数は各一般化されたホモトピー型において有限エネルギー最小化子を許容する。
• 一般の同次空間 $G/H$ に対しては、各2次ホモトピー型において最小化子が存在するが、全ホモトピー型における存在性は未解決のままである。
• 補助不変量を用いた新しいSobolev写像のホモトピー型の概念を著者が構築し、古典的ホモトピー論を滑らかでない写像へ一般化する。
• ゲージポテンシャル表現により、エネルギー最小化問題が線形空間に再定式化され、線形解析の道具が使用可能になる。
• 写像 $M \to G/H$ に関連する引き戻し bundle $P \to M$ の位相的および幾何学的性質を詳細に研究し、ゲージ固定および正則性への応用がなされる。
• 結果から、$\pi_2(G/H) \neq 0$ であっても、対称空間を標的とする Faddeev-Skyrme モデルでは「バブルリング」が発生しないことが示唆される。これは調和写像理論とは対照的である。