[論文レビュー] Examples of non-formal closed simply connected manifolds of dimensions 7 and more

Alex N. Dranishnikov, Yuli B. Rudyak|arXiv (Cornell University)|Jun 20, 2003

Geometry and complex manifolds参考文献 2被引用数 6

ひとこと要約

この論文は、次元が7以上である閉じた単連結多様体を構成し、非自明な有理マッセイ三重積を示す。これは、すべてのカップ積が次数kで消えるが、コホモロジー群 H^{3k−1}(M;ℚ) がマッセイ積によって生成される多様体の存在を示しており、システィック幾何学および有理ホモトピー論における重要な例である。

ABSTRACT

We construct closed $(k-1)$-connected manifolds of dimensions $\ge 4k-1$ that possess non-trivial rational Massey triple products. We also construct examples of manifolds $M$ such that all the cup-products of elements of $H^k(M)$ vanish, while the group $H^{3k-1}(M;\Q)$ is generated by Massey products: such examples are useful for theory of systols.

研究の動機と目的

• 次元が7以上である閉じた単連結多様体を、(k−1)-連結として構成し、非自明な有理マッセイ三重積を有すること。
• すべてのカップ積が次数kで消えるが、H^{3k−1}(M;ℚ) がマッセイ積によって生成される多様体の例を提供すること。
• システィック幾何学および有理ホモトピー論に有用な明示的な幾何的例を貢献すること。
• 非自明なマッセイ積が、特定のコホモロジー次数において非零のカップ積が存在しない状況でも生じ得ることを示すこと。

提案手法

• サーヴィヴァル理論および有理ホモトピー論の技法を用いて、所望の有理コホモロジーおよびマッセイ積構造を有する多様体を構成する。
• (k−1)-連結な多様体を次元 ≥4k−1 に限定することで、非自明なマッセイ積を確保する十分な連結性を満たす。
• 有理ホモトピー型における細胞の付加を用いた多様体の構成により、カップ積およびマッセイ積構造を制御する。
• 有理コホモロジー計算を通じて、H^k(M) におけるすべてのカップ積が消えるが、H^{3k−1}(M;ℚ) がマッセイ積によって生成されることを検証する。
• 既知の結果（形式的空間における非自明な有理マッセイ積の存在）を応用し、構成をガイドする。
• 高次元における標準的なサーヴィヴァルおよび埋め込み技法を用いて、設計上閉じて単連結な多様体が得られるように保証する。

実験結果

リサーチクエスチョン

• RQ1 次元 ≥7 で (k−1)-連結であり、非自明な有理マッセイ三重積を有する閉じた単連結多様体を構成できるか？
• RQ2 すべてのカップ積が次数kで消えるが、H^{3k−1}(M;ℚ) がマッセイ積によって生成される多様体は存在するか？
• RQ3 このような多様体の明示的な幾何的例は、システィック幾何学においてどのように有用か？
• RQ4 有理コホモロジーにおいて非零のカップ積が存在しない状況で、非自明なマッセイ積をどのように実現できるか？
• RQ5 このような例を構成可能な最小次元および連結性条件は何か？

主な発見

• この論文は、次元 ≥4k−1 で (k−1)-連結であり、非自明な有理マッセイ三重積を有する閉じた単連結多様体を構成している。
• すべてのカップ積が H^k(M) で消えるが、H^{3k−1}(M;ℚ) は非自明で、完全にマッセイ積によって生成される例を提供している。
• 非自明なマッセイ積が存在することから、構成された多様体は有理ホモトピーの意味で非形式的である。
• k≥2 の場合に明示的な構成が可能であり、次元7以上で有効である。
• すべての次元 ≥7 において、このような多様体の存在が確認され、システィック幾何学に関連するコホモロジー条件を満たしている。
• 構成により、低次の積が消えても、マッセイ積が次数 3k−1 でのコホモロジーを生成できることを示している。