[論文レビュー] Spin canonical invariants of 4-manifolds and algebraic surfaces

Andrei Tyurin|ArXiv.org|Jun 13, 1994

Geometric and Algebraic Topology参考文献 15被引用数 4

ひとこと要約

本稿では、ジャンピング・ベクターバンドルおよびヤン・ミルズ・インスタントンのモジュライ空間を用いて、4次元多様体および代数的表面のスピン正則不変量を導入する。ドナルドソン多項式に類似したものである。正則次元 $p_g > 0$ の表面に対して、正則類および $H^2(X,\mathbb{Z})$ の特定の部分格子が微分同相型不変量であることを確立し、$p_g > 0$ の場合にヴァン・デ・ヴェン予想を証明するとともに、バロウ・表面のような $p_g = 0$ の場合へと拡張する。

ABSTRACT

The paper is a colloquial-style discussion of invariants of algebraic surfaces analogous to the Donaldson polynomials, arising from moduli spaces of ``jumping'' Yang--Mills instantons, or moduli spaces of jumping vector bundles. The invariants have the following applications: (1) to the Van de Ven conjecture that the Kodaira dimension is a diffeomorphism invariant; (2) to proving that algebraic surfaces with $p_g > 0$ have a proper sublattice of $H^2(X,\Z)$ invariant under diffeomorphism; (3) to proving the same result as (2) for surfaces with $p_g = 0$, in particular the Barlow surface.

研究の動機と目的

• ジャンピング・ベクターバンドルおよびヤン・ミルズ・インスタントンのモジュライ空間に基づき、ドナルドソン多項式に類似した新しい不変量を代数的表面および4次元多様体に対して定義すること。
• 代数的表面のケダラ・次元が4次元多様体の微分同相型不変量かどうかを調査し、ヴァン・デ・ヴェン予想に取り組むこと。
• 正則次元 $p_g > 0$ の表面に対して、$H^2(X,\mathbb{Z})$ の適切な部分格子が微分同相型変換のもとで不変であることを証明すること。
• 正則次元 $p_g = 0$ の表面、たとえばバロウ表面を含む場合にも、微分同相型不変部分格子の存在を拡張すること。
• 正則類が正則次元 $p_g > 0$ の代数的表面に対して微分同相型不変量であることを確立すること。

提案手法

• ジャンピング挙動（変形の下でコホモロジーが変化する）を示す安定ベクターバンドルのモジュライ空間を通じて不変量を構成する。
• 特に反自己双対接続（インスタントン）の研究を含むゲージ理論の技法を応用し、4次元多様体上の不変量を定義する。
• 代数的表面上の正則バンドルのモジュライ空間の幾何を用いて特徴的類および不変量を抽出する。
• 特に正則類およびその直交補空間を含む、第二コホモロジー群 $H^2(X,\mathbb{Z})$ 及びその部分格子の構造に依存する。
• 多様体の正則次元 $p_g$ に依存する代数幾何学的結果、たとえば多様体の正則システム理論やノイターの公式を用いて不変量を分析する。
• スピン構造およびスピン正則不変量の概念を用いて、標準的なドナルドソン型不変量を超える不変量の精緻化を実現する。

実験結果

リサーチクエスチョン

• RQ1 代数的表面の正則類およびケダラ・次元は、微分同相型写像のもとで保存されるか？
• RQ2 正則次元 $p_g > 0$ のすべての代数的表面に対して、$H^2(X,\mathbb{Z})$ の適切な部分格子が微分同相型変換のもとで不変であるか？
• RQ3 同様の不変性結果は、バロウ表面のような $p_g = 0$ の表面に対しても拡張可能か？
• RQ4 ジャンピング・ベクターバンドルのモジュライ空間は、4次元多様体に対する新しい微分同相型不変量をどの程度得られるか？
• RQ5 スピン正則不変量は、ドナルドソン多項式や他のゲージ理論的不変量とどのように関係しているか？

主な発見

• 正則次元 $p_g > 0$ の代数的表面の正則類は微分同相型不変量である。これはヴァン・デ・ヴェン予想を支持する。
• 正則次元 $p_g > 0$ の表面に対して、正則類の直交補空間としての適切な部分格子が、任意の微分同相型写像のもとで不変である。
• 微分同相型不変部分格子に関する結果は、正則次元 $p_g = 0$ の表面、たとえばバロウ表面に対しても拡張され、幾何的正則次元が存在しない状況でもそのような部分格子の存在が確認された。
• ジャンピング・バンドルおよびインスタントンのモジュライ空間を通じて構成された不変量は、適切に定義されており、4次元多様体に対する新しい微分同相型不変量をもたらす。
• スピン正則不変量は、代数的表面の文脈においてドナルドソン不変量を精緻化するものである。
• 不変量はモジュライ空間の幾何を用いて計算され、元の複素構造に敏感であるため、微分同相型だが非同型写像な表面を区別できる。