[論文レビュー] Symplectic 4--manifolds with K = 0 and the Lubotzky alternative

Stefan Friedl, Stefano Vidussi|arXiv (Cornell University)|Feb 4, 2011

Geometric and Algebraic Topology参考文献 20被引用数 3

ひとこと要約

この論文は、自由な円作用をもつケーラークラスが自明（K=0）であるシンプレクティック4次元多様体を、線形群のLubotzkyの代替定理を用いて分類する。このような多様体は、トーラスのトーラス上へのバンドル、またはその有限被覆であることが示され、このクラスの多様体についての予想を裏付けるとともに、積バンドルやスーゾン・ノルムが消える場合の先行結果を拡張する。

ABSTRACT

In this paper we use the Lubotzky alternative for finitely generated linear groups to determine which 4-manifolds admitting a free circle action can be endowed with a symplectic structure with trivial canonical class. The content of this paper partly overlaps with the content of the unpublished preprint "Symplectic 4-manifolds with a free circle action" (arXiv:0801.1313 [math.GT]).

研究の動機と目的

• 自由な円作用をもつ4次元多様体のうち、ケーラークラスが自明（K=0）であるシンプレクティック構造をもつものについて特定する。
• K=0 かつ積バンドル（S¹×N）の既存の結果を、非自明な円バンドルへと新しい位相的道具を用いて拡張する。
• 有限生成線形群のLubotzkyの代替定理を用いて、商空間Nの位相的構造を制約する。
• このような多様体に対して、商空間NはトーラスのS¹上へのバンドルでなければならないこと、Mはトーラスのトーラス上へのバンドルでなければならないことを証明するが、b₁(N)=1 かつ e が torsion である場合を除く。
• すべてのケーラークラスが自明（K=0）であるシンプレクティック4次元多様体が、トーラスのトーラス上へのバンドルの被覆をもつという予想に対する証拠を提供する。

提案手法

• 非 torsion オイラー類を用いて、M とその商空間 N のベッチ数を関係づけるために Gysin 完全列を適用し、b₂⁺(M) = b₁(N) - 1 を導出する。
• K=0 かつシンプレクティック4次元多様体に対して、Taubes の Seiberg-Witten の制約を用いて、SW_M(0) = 1 かつ K=0 が唯一の基本類であることを導く。
• Lubotzky の代替定理を用いて、e が非 torsion のとき、vb₁(N; ℤ) ≤ 3 を得る。
• e が torsion の場合、H₁(N) の torsion 部分群を用いて正規被覆 N_Γ → N を構成し、M_Γ が S¹ × N_Γ に同型であることを示す。
• FV08a の結果を用いて、S¹ × N_Γ が K=0 かつシンプレクティックであるならば、N_Γ は S¹ 上へのトーラスバンドルであることを示す。
• すべての φ_Γ に対して (N_Γ, φ_Γ) がトーラスバンドルであるならば、任意の非自明な φ ∈ H¹(N; ℤ) に対して (N, φ) もトーラスバンドルであることを示す。

実験結果

リサーチクエスチョン

• RQ1 自由な円作用をもつ4次元多様体のうち、ケーラークラスが自明（K=0）であるシンプレクティック構造をもつものはどれか？
• RQ2 積バンドル（S¹×N）に対して用いられた精密な付随不等式のアプローチを、非自明な円バンドルへと拡張できるか？
• RQ3 Lubotzky の代替定理は、このようなシンプレクティック4次元多様体の商空間としての3次元多様体の仮想ベッチ数にどのように制約を加えるか？
• RQ4 オイラー類 e が torsion または非 torsion の場合、商空間 N の位相的構造はどのようなものか？
• RQ5 自由な円作用をもつクラスのシンプレクティック4次元多様体について、既知のリストは完全か？

主な発見

• ケーラークラスが自明（K=0）で、非 torsion オイラー類 e をもつ自由な円作用をもつシンプレクティック4次元多様体 M に対して、商空間 N は S¹ 上へのトーラスバンドルであり、M はトーラスのトーラス上へのバンドルである。
• オイラー類 e が torsion で、b₁(N) > 1 または e = 0 の場合、多様体 M 再びトーラスのトーラス上へのバンドルである。
• e が非 torsion のとき、仮想第一ベッチ数 vb₁(N; ℤ) は 3 で有界であり、これは Lubotzky の代替定理と Seiberg-Witten 不変量の結果である。
• torsion オイラー類の場合、有限被覆 M_Γ は S¹ × N_Γ に同型であり、N_Γ はトーラスバンドルであるため、N 自身も S¹ 上へのトーラスバンドルである。
• すべてのこのような多様体は、トーラスのトーラス上へのバンドルの有限被覆をもつため、このクラスがすべてのケーラークラスが自明（K=0）であるシンプレクティック4次元多様体を尽くすという予想を支持する。
• 結果として、既知のケーラークラスが自明（K=0）であるシンプレクティック4次元多様体のリスト—K3、トーラスのトーラス上へのバンドル、T²-バンドル上のS¹-バンドル—は、このクラスにおいて完全であることが確認された。