[論文レビュー] Diffeomorphism of simply connected algebraic surfaces

Fabrizio Catanese, Bronisław Wajnryb|ArXiv.org|May 14, 2004

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

ひとこと要約

この論文は、微分同相ではあるが変形同値でない、一般型の単連結な最小代数的表面の明示的族を構成し、単連結な場合におけるフレッドマン＝モーガン予想の弱化形（DEF = DIFF）に対する反例を提供する。P¹×P¹ 上の特定の数値的不変量をもつ単純な双二重被覆を用いて、シンプレクティック・レフシェッツ・ファイブレーションと写像類群におけるモノドロミー因子分解を通じて微分同相性を証明し、異なる変形型が同じ滑らかさとシンプレクティック構造を持つことを示している。

ABSTRACT

In this paper we show that even in the case of simply connected minimal algebraic surfaces of general type, deformation and differentiable equivalence do not coincide. Exhibiting several simple families of surfaces which are not deformation equivalent, and proving their diffeomorphism, we give a counterexample to a weaker form of the speculation DEF = DIFF of R. Friedman and J. Morgan, i.e., in the case where (by M. Freedman's theorem) the topological type is completely determined by the numerical invariants of the surface. We hope that the methods of proof may turn out to be quite useful to show diffeomorphism and indeed symplectic equivalence for many important classes of algebraic surfaces and symplectic 4-manifolds.

研究の動機と目的

• 一般型の単連結な最小代数的表面に対して、フレッドマン＝モーガン予想の弱化形（DEF = DIFF）を反証すること。
• 微分同相だが変形同値でないようなそれらの表面の明示的族を構成し、滑らかさの構造が変形型を決定しないことを示すこと。
• 写像類群におけるシンプレクティック・レフシェッツ・ファイブレーションとモノドロミー因子分解を用いて、代数的表面の微分同相性を証明する方法を確立すること。
• これらの表面が標準的シンプレクティック構造の下でシンプレクティック同相である可能性を検討し、問題をブレード群の因子分解に関連付けること。

提案手法

• 指定された分岐型（2a,2b）、（2c,2b）およびその摂動形（2a+2k,2b）、（2c−2k,2b）をもつ P¹×P¹ 上の単純な双二重被覆として表面を構成する。
• P¹ への正則ファイブレーションを用いて、ファイブレーション写像のシンプレクティック摂動により、表面をシンプレクティック・レフシェッツ・ファイブレーションとして実現する。
• 微分同相性の問題を、ファイバー表面の写像類群における恒等写像の2つの因子分解の比較に還元する。
• アウルックス（2002）の補題を適用して、接合微分同相写像 ψ がドーンねじの積であることを示し、微分同相性を証明する。
• 連続する変換を通じて曲線（α₁, β₁, γ₁, δ₁, σ）へのモノドロミー作用を解析し、因子分解条件を検証する。
• モノドロミー論法をブレード群へ拡張し、P¹ 上の対合 ι が ψ に引き上げられるかどうかを検討することで、シンプレクティック同相性が成り立つかどうかを調査する。

実験結果

リサーチクエスチョン

• RQ1 一般型の単連結な最小代数的表面で、微分同相ではあるが変形同値でないものがあるだろうか？
• RQ2 単連結な場合に、微分同相写像のもとで canonical class は保存されるのか？ また、そのような微分同相写像を明示的に構成できるか？
• RQ3 シンプレクティック・レフシェッツ・ファイブレーションと写像類群におけるモノドロミー因子分解を用いて、代数的表面の微分同相性を証明できるか？
• RQ4 一般型表面の単連結な場合に、微分同相型がその変形型を決定するのだろうか？
• RQ5 モノドロミー因子分解の議論をブレード群へ拡張し、P¹ 上の対合を考慮することで、シンプレクティック同相性を証明できるか？

主な発見

• 任意の正の整数 h に対して、この論文は、互いに変形同値でない h 個の単連結な最小代数的表面の族を構成し、それらがすべて互いに微分同相であることを示している。
• 定理 2.5 は、a, b, c, k に対する与えられた数値的制約のもとで、型 ((2a,2b),(2c,2b)) と ((2a+2k,2b),(2c−2k,2b)) の P¹×P¹ の双二重被覆は変形同値でないことを確立している。
• 定理 3.1 は、a, b, c−1 ≥ 2 のとき、型 ((2a,2b),(2c,2b)) と ((2a+2,2b),(2c−2,2b)) の表面が微分同相であることを証明している。
• 微分同相性は、写像類群における接合微分同相写像 ψ がアウルックスの補題によりドーンねじの積であることを示すことで確立されている。
• 表面は P¹ 上のシンプレクティック・レフシェッツ・ファイブレーションとして実現され、その微分同相型は同等のモノドロミー因子分解に符号化されている。
• 著者らは、これらの表面が標準的シンプレクティック構造の下でシンプレクティック同相である可能性を予想しているが、モノドロミー論法をブレード群へ引き上げる技術的困難のため、未解決のままである。