[論文レビュー] A Smooth Compactification of the Moduli Space of Instantons and Its Application

Bohui Chen|ArXiv.org|Apr 23, 2002

Homotopy and Cohomology in Algebraic Topology参考文献 16被引用数 3

ひとこと要約

本稿では、Uhlenbeck型のコンパクト化における特異点、特に「ゴースト層」における特異点を解消するための、新規の吹き上げ・吹き下げ手順を用いて、インスタントンのモジュライ空間の滑らかなコンパクト化を導入する。ゴースト層をFulton-MacPherson型の点配置空間のコンパクト化と関連付けることで、仮想サイクル技術や局所化法の適用が可能な滑らかなオーロイドモジュライ空間を構成する。主な結果は、$b^+ = 1$ である4次元多様体に対してKotschick-Morganの壁越え予想を証明し、交差形式と特性類を用いてドナルドソン多項式の壁越えの明確な公式を確立することである。

ABSTRACT

A smooth compactification of Donaldson moduli spaces is given. As an application, we use this new space to study the wall-crossing formula and prove the Kotschick-Morgan conjecture.

研究の動機と目的

• Uhlenbeckコンパクト化における特異点、特に安定性が失敗する「ゴースト層」における特異点を解消すること。
• 代数幾何学的技法、特に吹き上げ・吹き下げを用いて、インスタントンモジュライ空間の滑らかなオーロイドコンパクト化を構成すること。
• ゲージ理論における仮想サイクルおよび局所化法の適用を可能にする幾何的枠組みを提供すること。
• 4次元多様体 $b^+ = 1$ におけるドナルドソン不変量の壁越え公式に関するKotschick-Morgan予想を証明すること。
• 本手法を $U(2)$-モノポールモジュライ空間へ拡張し、特定の条件下でWitten予想の別証明を提供すること。

提案手法

• 2段階のプロセスにより新しいコンパクト化を導入：まずゴースト層における特異点を解消するための吹き上げを行い、次に閉じた滑らかなオーロイド構造を回復するための吹き下げを行う。
• ゴースト層と点配置空間のFulton-MacPhersonコンパクト化との間の重要な位相的同値性を確立する。
• $Spin(4) = SU(2)_L \times SU(2)_R$ の作用を用いた等変コホモロジーを用いて、モジュライ空間の特性類、特に第一パンツリャーギン類 $p_1(r)$ を記述する。
• 新コンパクト化の滑らかさを活かして、仮想局所化法を適用し、モジュライ空間内の固定点集合上の積分を計算する。
• バンドル $\pi: \underline{\mathcal{M}}_r(S^4,X) \to X$ のファイバーに沿った積分を用い、$\delta_{\alpha,\mathfrak{t}}$ の計算を $BSpin(4)$ 上の特性類の計算に還元する。
• 壁越え寄与項 $\delta_P(\alpha)$ を $r$ の分割 $\mathfrak{t}$ に関する和として表現し、各項 $\delta_{\alpha,\mathfrak{t}}$ を $u$-級数と特性類を含む類似留数積分として計算する。

実験結果

リサーチクエスチョン

• RQ1 Uhlenbeckコンパクト化における特異点、特にゴースト層における特異点を解消するインスタントンモジュライ空間の滑らかなコンパクト化を構成可能か？
• RQ2 4次元多様体 $b^+ = 1$ におけるドナルドソン不変量の壁越え公式は、交差形式と特性類を用いて普遍的な形に表現可能か？
• RQ3 新コンパクト化に対して仮想局所化法を効果的に適用し、壁越え寄与項を計算可能か？
• RQ4 提案されたコンパクト化により、壁越え公式の構造に関するKotschick-Morgan予想の証明が可能か？
• RQ5 本手法は、$U(2)$-モノポールなど他のゲージ理論的モジュライ空間へ一般化可能か？ これにより、Witten予想のような深い予想の別証明が得られるか？

主な発見

• Kotschick-Morgan予想が証明された：$b^+ = 1$ である4次元多様体におけるドナルドソン不変量の壁越え公式は、$\Psi^{X}_{P,c}(C_1) - \Psi^{X}_{P,c}(C_{-1}) = \sum_{\alpha \in \Lambda} \epsilon(c,\alpha) \delta_P(\alpha)$ の形を取り、ここで $\epsilon(c,\alpha) = (c - \alpha)^2 / 2$ である。
• $\delta_P(\alpha)$ が $\alpha$ についての $d - 2r - 2i$ 次多項式であることが示され、係数 $a_i(r,d,X)$ は $r$, $d$, $X$ のホモトピー型にのみ依存する。
• 各 $r$ の分割 $\mathfrak{t}$ に対する寄与項 $\delta_{\alpha,\mathfrak{t}}$ は、固定点集合の境界上の積分として計算され、$q^{r-i} \alpha^{d-2r-2i}$ に比例する項が得られる。
• モジュライ空間における $Spin(4)$-等変コホモロジーにおける特性類 $\tilde{p}_1(r)$ は、$\tilde{p}_1(r) = \omega_0 + \omega_L c_L + \omega_R c_R$ と表現され、ここで $c_L, c_R$ は $BSpin(4)$ 上の $SU(2)$-バンドルの第二チェーン類である。
• バンドル $\pi: \underline{\mathcal{M}}_r(S^4,X) \to X$ のファイバーに沿った積分により、計算が $H^4(BSpin(4), \mathbb{Q})$ に還元され、$\pi_*(\tilde{p}_1(r))^{2r-1}$ が $c_L$ と $c_R$ の線形結合であることが示された。
• 本手法により、特定の条件下で、$U(2)$-モノポールにおけるドナルドソン不変量とセイバーグ＝ワイテン不変量の関係を示すWitten予想の新たな別証明が得られた。