[論文レビュー] Algebraic surfaces and Seiberg-Witten invariants

Robert Friedman, John W. Morgan|ArXiv.org|Feb 27, 1995

Algebraic Geometry and Number Theory参考文献 17被引用数 128

ひとこと要約

本稿では、幾何的 genus が 0 である一般型の最小代数的曲面に対して、方向を保つ微分同相写像が、canonical class のpullback と例外的曲線のホモロジー類（符号を除き）を保存することを、Seiberg-Witten 不変量を用いて確立する。結果は吹き上げや負定値和成分へ拡張され、このような不変量が、特に b₂⁺ = 1 の場合に、複素幾何と整合する滑らかさの位相的制約を示す。

ABSTRACT

In this revised version, we add some expository material and references and make some minor corrections.

研究の動機と目的

• b₂⁺ = 1 である Kähler 曲面、特に pg(X) = 0 である一般型の最小曲面への Seiberg-Witten 不変量の応用を拡張すること。
• 方向を保つ自己微分同相写像が、canonical class のpullback および例外的曲線類を符号を除き保存することを証明すること。
• これらの結果を吹き上げおよび Kähler 曲面における負定値 4-多様体和成分へ一般化すること。
• Seiberg-Witten 理論を用いて、複素曲面の多様体の多様体的不変量としての plurigenera が滑らかさの不変量であることを示すこと。
• Seiberg-Witten 理論が、同相のコホモロジーと基本類をもつ非変形同値な曲面を区別する能力の限界を調査すること。

提案手法

• Kähler 計量における Seiberg-Witten 不変量の使用、特に微分同相写像およびチャネル構造における挙動。
• 吹き上げの公式および Seiberg-Witten モジュライ空間内のチャネルの性質への応用。
• pg=0 および b₂⁺=1 の場合、canonical class および例外的類が不変量によって制約されることの活用。
• Spinc 構造および微分同相写像がチャネルおよび基本類に与える作用の活用。
• 例外的類に関する反射が Seiberg-Witten チャネル S₀ を保存することの証明により、canonical class の不変性を導出。
• 基本的コホモロジーおよび位相的議論による、ルールドおよび楕円的曲面への結果の拡張。

実験結果

リサーチクエスチョン

• RQ1 pg=0 である一般型の最小曲面に対して、方向を保つ微分同相写像が canonical class のpullback を符号を除き保存するか？
• RQ2 Seiberg-Witten 不変量は、このような曲面の吹き上げにおける例外的曲線のホモロジー類を検出できるか？
• RQ3 Seiberg-Witten 不変量は、b₂⁺=1 である Kähler 曲面の滑らかさの構造をどの程度制約するか？
• RQ4 複素曲面の plurigenera は滑らかさの不変量であり、Seiberg-Witten 理論を用いて証明可能か？
• RQ5 同相のコホモロジーを持つ非変形同値な曲面を区別するための、canonical class や例外的曲線を越えた滑らかさの不変量は存在するか？

主な発見

• pg(X) = 0 である一般型の最小曲面 X に対して、任意の方向を保つ自己微分同相写像 f は、f∗K₀ = ±K₀ および f∗[Eᵢ] = ±[Eⱼ] を満たす（Eᵢ は例外的曲線）。
• X を ℓ 個の点で吹き上げた ˜X に対しても、同様の不変性が成り立つ：f は canonical class および例外的曲線類を符号を除き保存する。
• ˜X が N が負定値である M#N に微分同相である場合、N の例外的類は ˜X 内で ±[Eᵢ] に対応する。
• X が有理型でもルールドでもない任意の Kähler 曲面に対して、定理 1.1 および 1.2 の結論が成り立つ。これは pg=0 の楕円的曲面に対しても成立する。
• Plurigenera Pₙ(X) は滑らかさの不変量である：X と X′ が微分同相であるならば、すべての n ≥ 1 に対して Pₙ(X) = Pₙ(X′) が成り立つ。
• 正のスカラー曲率を持つ計量のチャネル C₀ において Seiberg-Witten 不変量は消え、ψ∗C₀ = ±C₀ であるため、微分同相写像による canonical class の不変性が示される。