[論文レビュー] Cohomology and Hodge Theory on Symplectic Manifolds: III

Li-Sheng Tseng, Shing‐Tung Yau|arXiv (Cornell University)|Feb 3, 2014

Geometric and Algebraic Topology参考文献 26被引用数 6

ひとこと要約

この論文は、微分楕円型複体から生じる有限次元の、以前のコホモロジー構成を一般化するシンプレクティック多様体上のフィルター付きコホモロジーを導入する。これらはLefschetz写像の両側の分解を確立し、微分形式上に非可換なA-infinity代数構造を導入することで、コホモロジーに環構造を賦与し、ファイバー化された3次元多様体上の円周 bundle の文脈においてシンプレクティック4次元多様体を区別する。

ABSTRACT

We introduce filtered cohomologies of differential forms on symplectic manifolds. They generalize and include the cohomologies discussed in Paper I and II as a subset. The filtered cohomologies are finite-dimensional and can be associated with differential elliptic complexes. Algebraically, we show that the filtered cohomologies give a two-sided resolution of Lefschetz maps, and thereby, they are directly related to the kernels and cokernels of the Lefschetz maps. We also introduce a novel, non-associative product operation on differential forms for symplectic manifolds. This product generates an A-infinity algebra structure on forms that underlies the filtered cohomologies and gives them a ring structure. As an application, we demonstrate how the ring structure of the filtered cohomologies can distinguish different symplectic four-manifolds in the context of a circle times a fibered three-manifold.

研究の動機と目的

• 論文IおよびIIのコホモロジー枠組みを、シンプレクティック多様体上でより広範かつ有限次元的なフィルター付きコホモロジー理論に一般化すること。
• フィルター付きコホモロジーとLefschetz写像の核および余核との間の直接的な代数的関係を、両側分解を用いて確立すること。
• フィルター付きコホモロジーに根ざした非可換な積を微分形式上に定義し、A-infinity代数構造を生み出すこと。
• 得られたフィルター付きコホモロジー上の環構造が、シンプレクティック4次元多様体の幾何的差異を検出できるかを示すこと。
• Lefschetz理論とシンプレクティック幾何における高次代数的構造を統合するコホモロジー枠組みを提供すること。

提案手法

• シンプレクティック形式とde Rham複体に整合するフィルターを用いて、以前のコホモロジーの一般化としてフィルター付きコホモロジーを定義する。
• フィルター付きコホモロジーを用いてLefschetz写像の両側分解を構成し、その核および余核を代数的に捉える。
• A-infinity関係を満たす非可換な積演算を微分形式上に導入し、高次ホモトピー整合性を符号化する。
• フィルター付きコホモロジーが微分形式上のA-infinity代数構造から環構造を引き継ぐことを証明する。
• 円周上へのファイブレーションを持つシンプレクティック4次元多様体のケースにおいて、フィルター付き形式のコホモロジー環を、誘導された積構造を用いて分析する。
• フィルター付きコホモロジー上の環構造を、位相的には類似しているが幾何的には異なるシンプレクティック4次元多様体を区別するために応用する。

実験結果

リサーチクエスチョン

• RQ1 フィルター付きコホモロジーは、シンプレクティック多様体上でどのように体系的に定義可能であり、以前のコホモロジー構成を一般化するか？
• RQ2 フィルター付きコホモロジーは、Lefschetz写像の両側からどのように分解され、その核および余核を捉えるか？
• RQ3 フィルター付きコホモロジーの背後にある代数的構造は何か？また、シンプレクティック形式や微分形式とどのように関係するか？
• RQ4 フィルター付きコホモロジーに誘導された環構造は、シンプレクティック4次元多様体間の幾何的差異を検出できるか？
• RQ5 微分形式上のA-infinity代数構造は、シンプレクティック多様体のコホモロジック的不変量にどのように現れるか？

主な発見

• フィルター付きコホモロジーは有限次元であり、論文IおよびIIのコホモロジーの特別な場合として一般化される。
• フィルター付きコホモロジーはLefschetz写像の両側分解を提供し、核および余核と明示的に関係づけられる。
• 微分形式上の非可換な積から、フィルター付きコホモロジーを支配するA-infinity代数構造が生じる。
• フィルター付きコホモロジーはA-infinity積から環構造を引き継ぎ、この演算に関して環をなす。
• フィルター付きコホモロジーの環構造は、微分同相であるがシンプレクティック同型でないシンプレクティック4次元多様体を、ファイバー化された3次元多様体上の円周 bundle の文脈で区別できる。
• この枠組みにより、シンプレクティック位相と高次ホモトピー代数の間の直接的な代数的関係が、Lefschetz写像のコホモロジック的分解を通じて確立される。