[論文レビュー] Monopoles on 3 dimensional AC manifolds

Gonçalo Oliveira|arXiv (Cornell University)|Dec 6, 2014

Geometry and complex manifolds参考文献 10被引用数 6

ひとこと要約

この論文は、2番目のベッチ数が0である3次元の漸近的に錐状（AC）な多様体 $X$ に対して、$k$ 個の互いに十分に離れたディラックモノポールを、陰関数定理に基づく摂動的技法を用いて貼り合わせることで、モノポールを構成する。主な結果は、位置、平坦接続、位相のパラメータ空間からモノポールのモジュライ空間への局所微分同相写像が得られることであり、質量 $m$ が十分に大きい場合には、モジュライ空間の開集合がこの構成によって被覆されることを示している。

ABSTRACT

We construct monopoles in any asymptotically conical (AC) $3$-manifold $X$ with $b^2(X)=0$. For sufficiently large mass, our construction covers an open set in the moduli space of monopoles. We also give a more general construction of Dirac monopoles in any AC manifold, which may be useful for generalizing our result to the case when $b^2(X) eq 0$.

研究の動機と目的

• 3次元の漸近的に錐状（AC）な多様体 $X$ に対して、第二ベッチ数が0である場合のモノポールの構成。
• AC 3次元多様体上のモノポールのモジュライ空間の仮想次元公式の幾何的実現。
• ディラックモノポールの特異点を解消することで、非コンパクトなAC多様体へのモノポールの貼り合わせ構成の拡張。
• 固定された全電荷 $k$ と質量 $m$ を持つモノポールのモジュライ空間が、位置、平坦接続、相対位相のパラメータによってパラメータ化された開集合を含むことの確立。

提案手法

• 質量 $m$ と $4m^{-1/2}$ の間隔を保つように指定された点 $(p_1, ..., p_k)$ を用いて、$X$ 上に $k$ 個の特異点を持つディラックモノポールを構成。
• 局所的な $\mathbb{S}^1$-値パラメータを用いてディラックモノポールの特異点を滑らかにし、ボゴモルニ方程式の近似解 $(A_0, \Phi_0)$ を得る。
• 重み付きソボレフノルム $H_{1,-1/2}$ における誤差項 $e_0 = \ast F_{A_0} - \nabla_{A_0}\Phi_0$ の推定を行い、$\|e_0\|_{H_{1,-1/2}} \leq C m^{-7/4}$ を示す。
• 重み付きソボレフ空間において、陰関数定理を用いて近似解 $(A_0, \Phi_0)$ を変形し、正確なモノポール方程式の解を得る。
• 重み $\beta = -1/2$ における線形化作用素 $d_1^* \oplus d_2$ のフレドホルム性を用いて、配置空間内のスライスを特定し、モジュライ空間の局所的モデルを構成する。
• 大質量 $m$ に対して、パラメータ空間から線形化作用素の核への射影 $\pi_h \circ \tilde{h}$ の微分が局所微分同相写像であることを証明し、モジュライ空間 $\mathcal{M}_{k,m}$ への局所微分同相写像を確立する。

実験結果

リサーチクエスチョン

• RQ1 2番目のベッチ数が0である3次元AC多様体上に、十分に離れた特異点に基づく貼り合わせ技法を用いてモノポールを構成できるか？
• RQ2 AC 3次元多様体上のモノポールのモジュライ空間は、位置、平坦接続、相対位相といった幾何的パラメータとどのように関係するか？
• RQ3 孤立点でのディラックモノポールの滑らか化処理における近似解の誤差の漸近的挙動はいかなるものか？
• RQ4 $b^2(X) \neq 0$ であるAC多様体に対しても、貼り合わせ構成をどの程度まで拡張できるか？
• RQ5 重み付きソボレフ空間において、陰関数定理が近似解を正確なモノポール解に変形するために適用可能か？

主な発見

• 十分に大きな質量 $m$ に対して、全電荷 $k$ と質量 $m$ を持つモノポールのモジュライ空間 $\mathcal{M}_{k,m}$ の開集合がこの構成によって被覆される。
• 写像 $h: X^k(m) \times H^1(X, \mathbb{S}^1) \times \check{\mathbb{T}}^{k-1} \to \mathcal{M}_{k,m}$ は局所微分同相写像であり、モジュライ空間の幾何的パラメータ化を提供する。
• 滑らか化後の近似解の誤差は $\|e_0\|_{H_{1,-1/2}} \leq C m^{-7/4}$ で有界であり、$m$ が大きくなるに従い減少する。
• 大質量において、射影写像 $\pi_h \circ dH_x$ の微分が一様に下から有界であるため、写像は局所微分同相写像であることが保証される。
• この構成により、仮想次元公式 $\dim \mathcal{M}_{k,m} = 4k + b^1(X) - b^2(X) - 1$ が位置、平坦接続、位相の観点から幾何的解釈が可能になる。
• パラメータ空間 $X^k(m) \times H^1(X, \mathbb{S}^1) \times \check{\mathbb{T}}^{k-1}$ は、モジュライ空間内の自由度を捉えており、$H^1(X, \mathbb{S}^1)$ が平坦接続を、$\check{\mathbb{T}}^{k-1}$ がモノポールの相対位相を表す。