[論文レビュー] On nonformal simply connected symplectic manifolds

Ivan Babenko, I. A. Taĭmanov|ArXiv.org|Nov 28, 1998

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

ひとこと要約

本稿では、任意の次元 $2N$（$N \geq 5$）に対して、非形式的で単連結なシンプレクティック多様体を構成し、LuptonとOpreaが提唱した単連結なシンプレクティック多様体の形式性予想を反証した。この構成は有理ホモトピー論とシンプレクティック手術を用い、有理ホモトピー型が形式的でない例を生み出し、単連結なシンプレクティック多様体が4次元を超えて一般に形式的であるとは限らないことを示した。

ABSTRACT

For any $N \geq 5$ nonformal simply connected symplectic manifolds of dimension $2N$ are constructed. This disproves the formality conjecture for simply connected symplectic manifolds which was introduced by Lupton and Oprea.

研究の動機と目的

• 単連結なシンプレクティック多様体が有理ホモトピー論の意味で形式的であるかどうかを調査すること。
• LuptonとOpreaが提唱した単連結なシンプレクティック多様体の形式性予想に挑戦すること。
• 高次元における非形式的で単連結なシンプレクティック多様体の明示的例を構成すること。
• 4次元を超えて、形式性が単連結なシンプレクティック多様体の必要条件ではないことを示すこと。

提案手法

• 有理ホモトピー論を用いてシンプレクティック多様体の形式性を分析する。
• 既知のシンプレクティック多様体をシンプレクティック手術によって変形し、その有理ホモトピー型を変更する。
• 最小モデルの構成を用いて、形式性を妨げる非自明なマッセイ積を検出する。
• 非自明な高次マッセイ積の存在が非形式性を示す事実を利用する。
• 有理コホモロジーの制御されたコホモロジーを持つシンプレクティックコーブォリズムを繰り返し付加することで、次元 $2N$（$N \geq 5$）の多様体を構成する。
• 非自明な有理コホモロジー類およびそれらの代数的関係の存在に依存し、非形式的構造を生成する。

実験結果

リサーチクエスチョン

• RQ1 すべての単連結なシンプレクティック多様体は、有理ホモトピー論の意味で形式的か？
• RQ2 次元 $2N$（$N \geq 5$）において、非形式的で単連結なシンプレクティック多様体を構成できるか？
• RQ3 有理コホモロジーに非自明なマッセイ積が存在する場合、シンプレクティック多様体の非形式性を示唆するか？
• RQ4 単連結なシンプレクティック多様体の形式性予想は、4次元を超えて成立するか？
• RQ5 単連結なシンプレクティック多様体が形式的であるために必要な十分な位相的およびコホモロジー的条件は何か？

主な発見

• すべての $N \geq 5$ に対して、本稿では次元 $2N$ の非形式的で単連結なシンプレクティック多様体を明示的に構成した。
• 構成された多様体は、その有理コホモロジーに非自明な高次マッセイ積を有し、それらが形式性を妨げる。
• この結果により、LuptonとOpreaが提示した単連結なシンプレクティック多様体の形式性予想が直接反証された。
• この構成により、高次元における単連結なシンプレクティック多様体の形式性は一般に成り立たないことが示された。
• 非形式性はシンプレクティック手術と有理ホモトピー技法を用いて実現され、シンプレクティック構造は保存されたままである。
• このような多様体の存在は、シンプレクティック多様体の有理ホモトピー型が従来の仮定よりも柔軟であることを示唆している。