[論文レビュー] Generalized fibre sums of 4-manifolds and the canonical class

M. J. D. Hamilton|arXiv (Cornell University)|Jul 15, 2009

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

ひとこと要約

本稿は、4次元多様体の一般化されたファイバー和の積分ホモロジー、コホモロジー、交差形式、および標準クラスについて、 genus g で自己交叉数がゼロのシンプレクティック部分多様体に沿って明示的な公式を導出する。Mayer-Vietorisと双対性の議論を用いて、第二コホモロジーの分解と、シンプレクティックな設定下での標準クラスの明確な公式を確立し、標準クラスが元のクラス、フレーミング、および貼り合わせデータにどのように依存するかを示す。応用例として楕円多様体とK3多様体が挙げられる。

ABSTRACT

In this paper we determine the integral homology and cohomology groups of a closed 4-manifold X obtained as the generalized fibre sum of two closed 4-manifolds M and N along embedded surfaces of genus g and self-intersection zero. If the homologies of the 4-manifolds are torsion free and the surfaces represent indivisible homology classes, we derive a formula for the intersection form of X. If in addition the 4-manifolds M and N are symplectic and the surfaces symplectically embedded we derive a formula for the canonical class of the symplectic fibre sum.

研究の動機と目的

• 埋め込まれた genus g で自己交叉数がゼロの部分多様体に沿った4次元多様体の一般化されたファイバー和の積分ホモロジー群およびコホモロジー群を計算すること。
• トーショントラクチュアがゼロで、和集合の部分多様体が非可除クラスを表す場合の、ファイバー和の交差形式の公式を導出すること。
• カスプ近傍内のシンプレクティックトーラスに沿ったシンプレクティックファイバー和の標準クラスの明確な公式を確立すること。
• 特に楕円多様体とK3多様体に対して既知の標準クラスの結果を、貼り合わせデータとリムトーラスの寄与を組み込むことで一般化すること。

提案手法

• ファイバー和のホモロジーおよびコホモロジーを、和集合の部分多様体のチューブ型近傍の補集合からMayer-Vietoris列を用いて計算する。
• 双対性とフレーミングの選択を用いて境界上の部分多様体のプッシュオフを定義し、それが全体の多様体のコホモロジー類に引き上げられることを示す。
• 第二コホモロジー群を、元の多様体、和集合の部分多様体、およびリムトーラスからの成分に直交分解する。
• コホモロジーにおける直交補空間を用いた「標準クラス射影」の概念を導入し、関連する成分を分離する。
• 接合公式とセイバーグ・ワトソン不変量を用いて、楕円多様体のような特別な場合に標準クラスの公式を検証する。
• 貼り合わせ微分同相写像がコホモロジー類に与える影響を、特にトーラス境界上の作用とそれによって生じるリムトーラスを分析する。

実験結果

リサーチクエスチョン

• RQ1 一般化されたファイバー和の4次元多様体のベッチ数は、和集合のホモロジーと和集合の部分多様体の genus にどのように依存するか？
• RQ2 コホモロジーが torsion-free で、和集合の部分多様体が非可除クラスを表す場合、一般化されたファイバー和の交差形式の明確な公式は何か？
• RQ3 シンプレクティックファイバー和の標準クラスは、元の標準クラス、フレーミング、および貼り合わせ微分同相写像にどのように依存するか？
• RQ4 楕円多様体の一般化されたファイバー和において、リムトーラスの寄与は標準クラスにどのように寄与するか？
• RQ5 一般化されたファイバー和の標準クラスが非可除または非自明である条件は何か？ そして、これにより得られる4次元多様体のスピン構造にどのような影響を与えるか？

主な発見

• 一般化されたファイバー和のベッチ数は次のように与えられる：$b_1(X) = b_1(M) + b_1(N) - 2g + d$, $b_2(X) = b_2(M) + b_2(N) - 2 + 2d$、ここで $d$ は写像 $H_1(\Sigma;\R) \to H_1(M;\R) \times H_1(N;\R)$ の核の次元である。
• ファイバー和の第二コホモロジーには直交分解が存在する：$H^2(X;\Z) = P(M) \times P(N) \times (S'(X) \times R(X)) \times (\Z B_X \times \Z \Sigma_X)$、ここで $P(M)$ および $P(N)$ は和集合の部分多様体および双対部分多様体に対する直交補空間である。
• コホモロジー群 $H^2(X;\Z)$ 上の交差形式は、$P(M)$ および $P(N)$ 上で元の形式に制限され、$S_i$ および $R_i$ の成分では対角形式である。
• カスプ近傍内のトーラスに沿ったシンプレクティックファイバー和では、標準クラスは $K_X = \overline{K_M} + \overline{K_N} + (K_M B_M + 1)T_X + (K_N B_N + 1)T_X'$ と表され、ここで $\overline{K_M} = K_M - (K_M B_M)T_M$ である。
• 楕円多様体 $E(m)$ と $E(n)$ の場合、標準クラスは $K_X = (m-1)T_X + (n-1)T_X'$ となり、$m=n=2$ のとき $K_X = 2T_X - (a_1R_1 + a_2R_2)$ となる。このとき $\gcd(a_1,a_2)$ が奇数であれば、$K_X$ は非可除である。
• もし $m=1$ または $n=1$ であれば、すべての一般化されたファイバー和は $E(m+n)$ に微分同相であり、標準クラスは標準的である：$K_X = (m+n-2)T_X$ であり、貼り合わせ微分同相写像とは無関係である。