[論文レビュー] Donaldson invariants and wall-crossing formulas. I: Continuity of gluing maps

Paul M. N. Feehan, Thomas G. Leness|ArXiv.org|Dec 9, 1998

Advanced Algebra and Geometry参考文献 27被引用数 16

ひとこと要約

本稿は、$b^+ = 1$ である4次元多様体上の反自己双対接続の接着写像の連続性を確立し、Kotschick-Morganの壁越え予想を証明するための重要な一歩を示している。著者らは、Uhlenbeck位相における接着データバンドルの閉包へ接着写像を拡張し、一様な曲率および曲率測度収束を証明することで、ゲージ理論における主要な解析的障害を克服し、ドナルドソン理論における完全な壁越え公式の実現に道筋を示した。

ABSTRACT

The present article is the first in a series whose ultimate goal is to prove the Kotschick-Morgan conjecture concerning the wall-crossing formula for the Donaldson invariants of a four-manifold with b^+ = 1. The conjecture asserts that the wall-crossing terms due to changes in the metric depend at most on the homotopy type of the four-manifold and the degree of the invariant. Our principal interest in this conjecture is due to the fact that its proof is expected to resemble that of an important intermediate step towards a proof of Witten's conjecture concerning the relation between Donaldson and Seiberg-Witten invariants (hep-th/9411102, hep-th/9709193), using PU(2) monopoles as described in (dg-ga/9709022, dg-ga/9712005). Moreover, it affords us another venue in which to address some of the technical difficulties arising in our work on Witten's conjecture. The additional difficulties in the case of PU(2) monopoles are due to the more complicated gluing theory, the presence of obstructions to deformation and gluing, and the need to consider links of positive-dimensional families of `reducibles' even in the presence of `simple type' assumptions. Witten's conjecture should then follow from a final step analogous to Goettsche's computation of the wall-crossing terms, assuming that the Kotschick-Morgan conjecture holds (alg-geom/9506018).

研究の動機と目的

• 4次元多様体上で $b^+ = 1$ かつ $b_1 = 0$ である反自己双対接続の一般な接着定理を確立し、Kotschick-Morgan予想の証明に不可欠である。
• Taubes や Donaldson や Mrowka らの先行研究では確立されていなかった、Uhlenbeck位相における接着写像の連続性の問題を解決する。
• 壁越え公式の後の証明に不可欠な基礎的な枠組みを提供し、特異な構成における接着写像の振る舞いに依存する。
• ゲージ理論における「バブル現象」が引き起こす解析的課題に対処し、パラメータ空間の閉包への接着写像の拡張を妨げる要因を克服する。

提案手法

• Uhlenbeck位相を用いて、接着データバンドルの内部における滑らかな接着写像を構成し、それを連続的に閉包へ拡張する。
• Coulomb型および径向ゲージにおける曲率および接続の減衰推定を適用し、バブル点付近での振る舞いを制御する。
• 自己双対2形式上のラプラシアンの固有値推定を用いて、曲率寄与の大きさを評価する。
• 反自己双対方程式の解に対する事前 $L^2_1$-ノルム推定を用い、接続の族全体にわたる一様な制御を保証する。
• Chern-Simons恒等式および曲率測度収束を適用し、曲率積分の極限をバブル点におけるデルタ関数に結びつける。
• Lebesgueの有界収束定理およびコンパクト性の議論を用いて、収小する球上で曲率積分の極限を取る。

実験結果

リサーチクエスチョン

• RQ1 反自己双対接続の接着写像は、Uhlenbeck位相における接着データバンドルの閉包へ連続的に拡張可能か？
• RQ2 収小する球上で曲率積分がバブル点におけるディラック質量の和に収束するか？その係数はインスタントン数に一致するか？
• RQ3 曲率の $L^2$-ノルムの極限は、退化の下でも良好に振る舞うか？Chern-Simons恒等式は $\mathbb{Z}$ を法として保存されるか？
• RQ4 メトリクスおよび接続データの微小な摂動に対しても接着構成が安定するか？これにより位相的不変性が保証されるか？

主な発見

• 接着写像は、接着データバンドルの閉包へ連続的に拡張可能であり、文献における主要なギャップが解消された。
• 接着接続の曲率測度は、バブル点における点質量を含む極限に収束し、その係数はインスタントン数 $\kappa_i$ に等しい。
• バブル点 $x_i$ の周囲の球上で曲率の $L^2$-ノルムの極限は、$\lim_{\alpha\to\infty} \int_{B(x_i,r)} |F(A_\alpha + a_\alpha)|^2 \, dV = \int_{B(x_i,r)} |F(A_0 + a_0)|^2 \, dV + 8\pi^2 \kappa_i \delta_{x_i}$ を満たす。
• 曲率積分を $\mathbb{Z}$ を法として極限にとると、期待される値に収束し、Chern-Simons恒等式が極限でも保存される。
• 全曲率と背景曲率の $L^2$-ノルムの差は、十分大きな $\alpha$ に対して一様に $1/4$ 以下に抑えられ、安定性が保証される。