[論文レビュー] Localisation of the Donaldson's invariants along Seiberg-Witten classes

V Ya Pidstrigach, Andrei Tyurin|ArXiv.org|Jul 24, 1995

Geometric and Algebraic Topology参考文献 5被引用数 41

ひとこと要約

本論文は、4次元多様体のトポロジーにおけるドナルドソン不変量とセイバーグ・ワインバーグ不変量の基礎的関係を、抗自己双対接続のモジュライ空間とセイバーグ・ワインバーグ解を用いた局所化によって確立する。ゲージ理論的技法とモジュライ空間のコンパクト化を用いて、ドナルドソン多項式がセイバーグ・ワインバーグ類の和として評価され、局所的寄与が幾何学的に定義された多項式に符号化されることを示し、二つの不変量の完全な同一化への道筋を示した。

ABSTRACT

This article is a first step in establishing a link between the Donaldson polynomials and Seiberg-Witten invariants of a smooth 4-manifold.

研究の動機と目的

• 滑らかで単連結な4次元多様体に対して、ドナルドソン多項式とセイバーグ・ワインバーグ不変量の明確な関係を確立すること。
• ゲージ理論的方程式の解のモジュライ空間を分析することで、ドナルドソン理論の基本的類がセイバーグ・ワインバーグ類と一致することを証明すること。
• セイバーグ・ワインバーグモジュライ空間の局所的寄与を、グローバルなドナルドソン多項式に計算するための幾何的枠組みを構築すること。
• コhomology類 $f$ に依存しない局所多項式寄与を符号化する有限次元幾何的モデル $MH^1(\beta,r)$ を構成すること。
• 最終的な計算においてゲージ理論的道具に依存しないようにし、問題を純粋な幾何的空間上の位相不変量に還元すること。

提案手法

• メトリックと2形式の摂動を含む摂動された抗自己双対性方程式を用いて、マークされた点をもつ抗自己双対接続のコンパクト化されたモジュライ空間 $\overline{{\Cal{M}}_B}$ を構成する。
• 補題1.1の準同型法を適用して、一般パラメータに対して摂動されたセイバーグ・ワインバーグ系が横断的に切断されることを示し、モジュライ空間の滑らかさを保証する。
• ポアンカレ双対性を用いて、$\overline{{\Cal{M}}_B}$ 内の1次元の特異多様体 $\Cal{I}$ を定義し、その境界がドナルドソン多項式の評価に対応することを示す。
• 多様体 $\Cal{I}$ における交差理論を分析し、その境界成分が $(-\beta + f)^2 \geq p_1$ を満たすセイバーグ・ワインバーグモジュライ空間 $\Cal{M}_{SW}(\beta)$ のリンクに関連していることを示す。
• 「局所多項式」$loc\gamma$ を、$\Cal{M}_{SW}(\beta)$ のリンク上で $\prod \mu_\Sigma \cdot t^n$ の積分として定義し、これは $\beta$、$f$、および交差形式 $q_X$ のみに依存する。
• 次式を満たす幾何的モデル $MH^1(\beta,r)$ を提案する：$4r = (-\beta + f)^2 - p_1$。この空間はグルーピングデータをパrametrizeし、トップチャーン類が局所多項式を計算する仮想ベクトル bundle を定義する。

実験結果

リサーチクエスチョン

• RQ1 ドナルドソン多項式は、セイバーグ・ワインバーグ類に局所化された寄与にどのように分解できるか？
• RQ2 コンパクト化された抗自己双対モジュライ空間内におけるセイバーグ・ワインバーグモジュライ空間のリンクの正確な幾何学的・位相的構造は何か？
• RQ3 各セイバーグ・ワインバーグ類がドナルドソン多項式に寄与する局所的寄与は、$\langle\beta, \cdot\rangle$、$\langle f, \cdot\rangle$、および $q_X$ の普遍多項式として表現可能か？
• RQ4 コhomology類 $f$ に依存しない有限次元幾何的空間を構成し、局所多項式データを捕えることは可能か？
• RQ5 抗自己双対モジュライ空間のコンパクト化は、可縮接続とバブル現象の間の相互作用をどのように制御するか？

主な発見

• ドナルドソン多項式 $\gamma^{d}_{p_1,f\text{ mod }2 - w_2(X)}(\Sigma)$ は、$(-\beta + f)^2 \geq p_1$ を満たすセイバーグ・ワインバーグ類 $\beta$ に関する和として表現され、各項は $\Cal{M}_{SW}(\beta)$ のリンク上で $\prod \mu_\Sigma \cdot t^n$ の積分として与えられる。
• 各 $\Cal{M}_{SW}(\beta)$ からの局所的寄与は、ペアリング $\langle\beta, \cdot\rangle$、$\langle f, \cdot\rangle$、および交差形式 $q_X$ にのみ依存する普遍多項式 $loc\gamma$ として与えられ、メトリックや摂動に依存しない。
• $\Cal{M}_B(p_1)$ と $\Cal{M}_B(p_1 + 4)$ の次元の6の低下により、特異多様体 $\Cal{I}$ が低次元のストラタを、高々2つの次数2または1つの次数4のコhomology類が関与する限り、セイバーグ・ワインバーグ可縮点でのみ交差することが保証される。
• 特異多様体 $\Cal{I}$ の境界はドナルドソン多項式の値を計算し、$\sharp \partial \Cal{I} \cap \Cal{MP}$ は、平坦接続のモジュライ空間における多項式評価に等しい。
• $MH^1(\beta,r)$ を $4r = (-\beta + f)^2 - p_1$ を満たすように構成することで、グルーピングパラメータの有限次元幾何的モデルが得られ、局所多項式の純粋な位相的計算が可能になる。
• 最終的な局所多項式の計算は、$MH^1(\beta,r)$ 上の仮想ベクトルバンドルにおける交差理論に還元され、接続やモジュライ空間といったゲージ理論的データへの依存が実質的に排除された。