[論文レビュー] Seiberg-Witten Invariants and the Van De Ven Conjecture

Andrei Teleman, Christian Okonek|ArXiv.org|May 8, 1995

Algebraic Geometry and Number Theory参考文献 5被引用数 3

ひとこと要約

この論文は、Seiberg-Witten不変量を用いて、有理的表面と微分同相な複素表面は必ず有理的であることを自己完結的に証明する。この手法により、Van de Ven予想が解決される。著者らは、一般型の極小複素表面が有理的表面と微分同相である場合、そのSeiberg-Witten不変量が消えることを示し、その表面が有理的でなければならないことを示す。これにより、自明な正則線形系を持つ複素表面に対して予想が裏付けられる。

ABSTRACT

The purpose of this note is to give a short, selfcontained proof of the following result: A complex surface which is diffeomeorphic to a rational surface is rational.

研究の動機と目的

• 複素表面の微分同相型による分類に関して、Van de Ven予想を解決すること。
• 有理的表面と微分同相な複素表面が、自身としても有理的でなければならないかを検討すること。
• Seiberg-Witten不変量を、滑らかな4次元多様体上の複素構造を区別するための道具として応用すること。
• 微分位相（微分同相型）と代数幾何（有理的性）の間の関係を、複素表面において確立すること。
• 現代のゲージ理論的手法に依拠した、簡潔で自己完結的な証明を提供すること。

提案手法

• 著者らは、複素表面の滑らかさの型を分析するためにSeiberg-Witten不変量を用いる。
• 一般型の極小複素表面のSeiberg-Witten不変量を計算し、有理的表面と微分同相であるという仮定の下で、それらが消えることを示す。
• 証明は、有理的表面がSeiberg-Witten不変量を自明に持つという事実に依拠している。
• Seiberg-Witten不変量が微分同相不変量であるという事実を用いる。したがって、有理的表面と微分同相な表面は、同じ不変量を持つ必要がある。
• 背理法による議論：もし表面が有理的でなければ、そのSeiberg-Witten不変量は非自明になるはずだが、これは有理的の場合と矛盾する。
• 結論は、Seiberg-Witten理論による複素表面の分類に基づく。

実験結果

リサーチクエスチョン

• RQ1 有理的表面と微分同相な複素表面は、必然的に有理的構造を持つのか？
• RQ2 Seiberg-Witten不変量を用いて、微分同相型の意味で有理的表面と他の複素表面を区別できるか？
• RQ3 有理的表面と微分同相である最小一般型複素表面のSeiberg-Witten不変量の挙動はいかなるものか？
• RQ4 Seiberg-Witten不変量が消えることは、複素表面の有理的性を示すのに十分か？
• RQ5 微分同相型は、複素表面の代数的型をどの程度制約するか？

主な発見

• 有理的表面と微分同相な複素表面は、必ず有理的である。これによりVan de Ven予想が確認された。
• 有理的表面のSeiberg-Witten不変量は恒等的に消える。
• 一般型の極小複素表面が有理的表面と微分同相であるならば、そのSeiberg-Witten不変量は0でなければならないが、これは既知の非自明な結果と矛盾する。
• 証明は、Seiberg-Witten不変量が微分同相不変量であり、複素表面の代数的型を検出できることを示している。
• この結果は、正則線形系が自明である場合、複素表面の微分同相型がその有理的性を決定することを示している。
• 証明は自己完結的であり、Seiberg-Witten不変量の標準的性質と複素表面分類の知識にのみ依拠している。