[論文レビュー] On the formality and the hard Lefschetz property for Donaldson symplectic manifolds

Marisa Fernández, Vicente Muñoz|arXiv (Cornell University)|Nov 1, 2002

Geometry and complex manifolds参考文献 22被引用数 3

ひとこと要約

この論文は、シンプレクティック位相幾何学における形式性を拡張するためにs–形式的最小モデルの概念を導入し、多様体が形式的であるための必要十分条件として(n−1)–形式的であることの証明を行う。この枠組みをドナルドソンのシンプレクティック多様体に適用し、ハード・リーマン型性を満たさない8次元、単連結、形式的シンプレクティック多様体の初の具体例を構成する。

ABSTRACT

We introduce the concept of s–formal minimal model as an extension of formality. We prove that any orientable compact manifold M, of dimension 2n or (2n − 1), is formal if and only if M is (n − 1)–formal. The formality and the hard Lefschetz property are studied for the Donaldson symplectic manifolds constructed in [13]. This study permits us to show an example of a Donaldson symplectic manifold of dimension eight which is formal simply connected and does not satisfy the hard Lefschetz theorem.

研究の動機と目的

• s–形式的最小モデルを用いて、シンプレクティック位相幾何学における形式性の概念を拡張すること。
• 次元2nまたは(2n−1)の向き付け可能でコンパクトな多様体について、形式性を(n−1)–形式性の観点から特徴づけること。
• ドナルドソンのシンプレクティック多様体における形式性とハード・リーマン型性の相関関係を調査すること。
• ハード・リーマン型性定理を満たさないが、形式的であるシンプレクティック多様体の具体的な例を構成すること。

提案手法

• 有理ホモトピー論における形式性の一般化として、s–形式的最小モデルの概念を導入すること。
• 特徴づけの確立：次元2nまたは(2n−1)の多様体が形式的であることと、(n−1)–形式的であることとは同値であることを示すこと。
• ドナルドソンのシンプレクティック・リーマン・パルスを用いた方法で構成されたシンプレクティック多様体に理論を適用すること。
• これらの多様体の最小モデルを解析するため、有理ホモトピー論の技法を用いること。
• コhomology環の構造とリーマン写像の性質を検討することで、ハード・リーマン型性を検証すること。
• 最小モデルの位相的制約を分析することにより、8次元の明示的例を構成すること。

実験結果

リサーチクエスチョン

• RQ1 シンプレクティック多様体における形式性は、一般化されたs–形式的条件によって特徴づけられるか？
• RQ2 次元2nまたは(2n−1)の多様体において、(n−1)–形式的条件と標準的形式性の間に何らかの関係があるか？
• RQ3 形式的であるドナルドソンのシンプレクティック多様体は、ハード・リーマン型性を満たすか？
• RQ4 単連結で形式的、8次元のシンプレクティック多様体がハード・リーマン型性定理を満たさないことは可能か？
• RQ5 形式的シンプレクティック多様体において、ハード・リーマン型性が成立しない主な位相的障害は何か？

主な発見

• 任意の向き付け可能でコンパクトな次元2nまたは(2n−1)の多様体は、形式的であることと(n−1)–形式的であることとは同値である。
• ドナルドソンのシンプレクティック多様体の構成法により、形式性とハード・リーマン型性の明示的解析が可能である。
• ハード・リーマン型性定理を満たさない8次元、単連結、形式的ドナルドソンのシンプレクティック多様体が構成された。
• この例は、シンプレクティック幾何学において、形式性がハード・リーマン型性を意味しないことを示しており、高次元でも同様に成り立つ。
• 構成された例におけるハード・リーマン型性の不成立は、コhomology環の構造と、次数nにおけるリーマン写像の非可逆性に起因する。
• この結果により、シンプレクティック位相幾何学において、形式性とハード・リーマン型性の間に明確な分離が存在することが示された。