[論文レビュー] A remark on the c--splitting conjecture

Stefan Haller|ArXiv.org|Jan 31, 2003

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

ひとこと要約

この論文は、弱化されたハード・レフシェッツ条件を満たすシンプレクティック被覆を持つハミルトニアンファイブレーションについて、c–スプリッティング予想を証明する。具体的には、すべての $ k \geq 0 $ に対して、レフシェッツ型写像 $[\omega]^k: H^{n+1-k}(M) \to H^{n+1+k}(M)$ が全射であると仮定する。ラロンデとマクダフによる3次元CW複体上でのc–スプリッティングに関する結果と、スペクトル系列の技法を用いて、Leray–Serreスペクトル系列が崩壊することを示し、$ H^*(P;\mathbb{Q}) \cong H^*(M;\mathbb{Q}) \otimes H^*(B;\mathbb{Q}) $ が $ H^*(B) $-加群として成り立つことを示す。これにより、ケーラーまたはハード・レフシェッツの場合を超える広範なシンプレクティック多様体の系列的スプリッティングが確立される。

ABSTRACT

Let $M$ be a closed symplectic manifold and suppose $M o P o B$ is a Hamiltonian fibration. Lalonde and McDuff raised the question whether one always has $H^*(P;\mathbb Q)=H^*(M;\mathbb Q)\otimes H^*(B;\mathbb Q)$ as vector spaces. This is known as the c--splitting conjecture. They showed, that this indeed holds whenever the base is a sphere. Using their theorem we will prove the c--splitting conjecture for arbitrary base $B$ and fibers $M$ which satisfy a weakening of the Hard Lefschetz condition.

研究の動機と目的

• ハミルトニアンファイブレーションのファイバーが弱化されたハード・レフシェッツ条件を満たす場合に、c–スプリッティング予想を解決すること。
• ラロンデとマクダフによる3次元CW複体上でのc–スプリッティング結果を、モジュール論的スペクトル系列解析を用いて、任意の基底にまで拡張すること。
• 特定の状況でのc–スプリッティングを示すために、グロモフ–ウィッテン不変量などの解析的技法とは独立した、概念的かつアクセス可能な代替手法を提供すること。
• 複素射影空間の非ケーラー的シンプレクティック部分多様体（例えばサーフェスの4次元ニルマンフォイド）に沿ったブロー・アップに関して、c–スプリッティング予想が成り立つことを示すこと。

提案手法

• 3次元CW複体上でのすべてのハミルトニアンファイブレーションがc–スプリットすることを示したラロンデとマクダフの定理を、基礎的な前提として用いる。
• ファイブレーションのLeray–Serreスペクトル系列を分析し、弱化されたレフシェッツ条件のもとで、$ k \geq 4 $ に対して微分 $ \partial_k $ が消えることを示す。
• コホモロジー上の $ \mathfrak{b} $-加群構造を用いてフィルトレーションのレベルを分析し、シュールの補題を適用してスペクトル系列の微分を制約する。
• c–スプリットの条件が、制限写像 $ H^*(P) \to H^*(M) $ の全射性、あるいは同値に $ H_*(M) \to H_*(P) $ の単射性であることに帰着できることを応用する。
• 一般の場合を、c–スプリットが $ H^*(BG) $-加群としての等置同型 $ H^*(EG \times_G M) \cong H^*(M) \otimes H^*(BG) $ に同値である、普遍的ハミルトニアンファイブレーション $ M \to EG \times_G M \to BG $ に還元する。
• すべての $ k \geq 0 $ に対して $[\omega]^k: H^{n+1-k}(M) \to H^{n+1+k}(M)$ が全射であるという条件が、$ H^*(M)_{n-2} = 0 $ かつ $ H^*(M)_{n+1} = H^*(M) $ を意味することを用い、スペクトル系列のフィルトレーションを制御し、$ \partial_4 = 0 $ を強制する。

実験結果

リサーチクエスチョン

• RQ1 ハミルトニアンファイブレーションのファイバーが、ハード・レフシェッツ条件の弱化形を満たす場合、c–スプリッティング予想は成り立つか？
• RQ2 例えば、サーフェスの4次元ニルマンフォイドに沿った $ \mathbb{C}P^5 $ のブロー・アップのような、非ケーラー的シンプレクティック多様体に対しても、c–スプリッティング予想は成立するか？
• RQ3 グロモフ–ウィッテン不変量や量子コホモロジーとは独立した、ハミルトニアンファイブレーションにおけるc–スプリットを保証するコホモロジー的基準は存在するか？
• RQ4 弱化されたレフシェッツ条件のもとで、スペクトル系列はどの程度崩壊するのか？ そして、その崩壊が望ましいコホモロジー的積構造をどのように導くのか？

主な発見

• すべてのハミルトニアンファイブレーションが、ファイバー $ M $ に対して、すべての $ k \geq 0 $ に対して $[\omega]^k: H^{n+1-k}(M) \to H^{n+1+k}(M) $ が全射である場合、c–スプリッティング予想が成り立つ。
• このようなファイブレーションのLeray–Serreスペクトル系列は $ E^2 $-項で崩壊し、$ E^2 = E^3 = E^4 = H^*(M) \otimes H^*(B) $ が成り立つ。
• フィルトレーションと加群構造のおかげで微分 $ \partial_4 $ が消え、$ k \geq 4 $ の高次の微分 $ \partial_k $ も消えるため、スペクトル系列の崩壊が保証される。
• $ \mathbb{C}P^5 $ をサーフェスの4次元ニルマンフォイドに沿ってブロー・アップした多様体は、弱化されたレフシェッツ条件を満たし、ケーラー的でないにもかかわらずc–スプリットファイブレーションを許容する。
• パラメータ付きグロモフ–ウィッテン不変量に依存せず、ケーラーの定理を再現する。
• 4次元シンプレクティック多様体では、この条件は自明に満たされるため、4次元多様体をファイバーとするすべてのハミルトニアンファイブレーションはc–スプリットする。