[論文レビュー] Symplectic torus bundles and group extensions

Peter J. Kahn|ArXiv.org|May 6, 2004

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

ひとこと要約

本稿は、コンpactで可定向な曲面上へのシンプレクティックトーラス bundle の全空間が、繊維方向のシンプレクティック構造と両立するシンプレクティック形式を持つための必要十分条件を確立する：局所コホロジーにおける特徴的類が torsion 要素であること。証明は群の拡大理論と繊維ごとの局在化を用い、Huebschmann の構成に基づき、障害を半単純的トポロジーにおける一次障害として同定する。

ABSTRACT

Symplectic torus bundles $ξ:T^{2} o E o B$ are classified by the second cohomology group of $B$ with local coefficients $H_{1}(T^{2})$. For $B$ a compact, orientable surface, the main theorem of this paper gives a necessary and sufficient condition on the cohomology class corresponding to $ξ$ for $E$ to admit a symplectic structure compatible with the symplectic bundle structure of $ξ$ : namely, that it be a torsion class. The proof is based on a group-extension-theoretic construction of J. Huebschmann (Sur les premieres differentielles de la suite spectrale cohomologique d'une extension de groupes, C.R. Acad. Sc. Paris, Serie A, tome 285, 28 novembre 1977, 929-931). A key ingredient is the notion of fibrewise-localization.

研究の動機と目的

• 曲面上へのシンプレクティックトーラス bundle の全空間が、繊維方向のシンプレクティック構造と両立するシンプレクティック形式をもつ条件を特定すること。
• 局所係数を用いたコホロロジー不変量を用いて、このような bundle の分類を行うこと。
• 具体的には、局所係数を用いた第二コホロジーにおける torsion という明確なコホロロジー的条件を、そのような形式の存在を特徴づけるものとして確立すること。
• 特に繊維ごとの局在化と半単純的トポロジーのモデルを用いて、群の拡大と障害理論を通じて、幾何的問題を代数的トポロジーに結びつけること。

提案手法

• 本稿は、π₁(B) → SL(2,ℤ) による表現 ρ を用いたシンプレクティックトーラス bundle の分類に依拠し、H₁(T²) ≅ ℤ² を係数とする B 上の局所系統を誘導する。
• この bundle は、H²(B;ℤ²ρ) に値をとる特徴的類 c(ξ) によって、同値関係の下で分類される主要不変量である。
• 主な手法は、各繊維上で σ_b に制限される閉2次形式 β の存在を、普遍的 K(ℤ²,1)-ファイブレーションへの写像の上への持ち上げのための一次障害として解釈することである。
• 半単純的トポロジーにおける障害理論を適用し、障害コサイクルが ℤ² に値をとる群の拡大 G の 2-コサイクル f:π×π→ℤ² に正確に対応することを示す。
• Huebschmann の群の拡大フレームワークと繊維ごとの局在化に依拠した構成により、位相的障害とコホロロジー的条件との関係を確立する。
• 証明は、一次障害が消えることと特徴的類が torsion であることの同値性を示すことに帰着され、c(η) が拡大のコホロジー類に一致することを用いる。

実験結果

リサーチクエスチョン

• RQ1 曲面上へのシンプレクティックトーラス bundle の全空間が、繊維のシンプレクティック形式と両立するシンプレクティック形式をもつのは、どのような条件下か？
• RQ2 このような bundle の分類は、局所係数を用いたコホロジーを用いてどのように表現できるか？
• RQ3 全空間に繊維のシンプレクティック形式に制限される閉2形式が存在するための位相的障害は何か？
• RQ4 この障害はコホロロジー的不変量として特定できるか？ もしそうなら、どのような条件下でその障害が消えるか？
• RQ5 シンプレクティズム群の群の拡大構造は、全空間に両立するシンプレクティック形式の存在とどのように関係するか？

主な発見

• コンパクトで可定向な曲面上へのシンプレクティックトーラス bundle の全空間が、繊維のシンプレクティック構造と両立するシンプレクティック形式をもつことは、H²(B;ℤ²ρ) 内で特徴的類 c(ξ) が torsion 要素であることと同値である。
• 任意の表現 ρ:π₁(B)→SL(2,ℤ) に対して、ρ を誘導する同値類のシンプレクティックトーラス bundle と H²(B;ℤ²ρ) の要素との間には一対一対応が存在する。
• 底空間 B がコンパクトで可向きであり、特徴的類が torsion であるとき、両立するシンプレクティック形式は非退化に選べるため、E はシンプレクティック 4-多様体となる。
• 全空間に両立する閉2形式が存在するような bundle の同値類の数は、Corollary 1.2 が示すように、同値関係の下で有限個である。
• 任意の連結な曲面上への主トーラス bundle は、自然なシンプレクティックトーラス bundle 構造をもつ。このような bundle が両立する閉2形式をもたないのは、底空間が閉で可向きであり、かつ bundle が非自明であるときである。
• 関連する K(ℤ²,1)-ファイブレーションのセクションのための一次障害は、2-コサイクル f:π×π→ℤ² によって表され、この障害が消えるのは c(ξ) が torsion であるときに限る。これにより、コホロジーにおいて c(η)=c(𝕊) が成立する。