[论文解读] Formality of 7-dimensional 3-Sasakian manifolds

Marisa Fernández, Stefan Ivanov+1 more|arXiv (Cornell University)|Nov 28, 2015

Geometry and complex manifolds被引用 2

一句话总结

该论文证明，一个单连通紧致的7维3-Sasakian流形是形式的，当且仅当其第二贝蒂数满足 b₂ ≤ 1。论文构造了第二贝蒂数 b₂ ≥ 2 的7维Sasaki-Einstein流形的显式例子，这些流形是形式的，但不能具有任何3-Sasakian结构。其关键贡献在于，基于形式性和7维中的Massey乘积，提出了一种对3-Sasakian结构的拓扑障碍。

ABSTRACT

We prove that any simply connected compact 3-Sasakian manifold, of dimension seven, is formal if and only if its second Betti number is $b_2<2$. In the opposite, we show an example of a 7-dimensional Sasaki-Einstein manifold, with second Betti number $b_2\geq 2$, which is formal. Therefore, such an example does not admit any 3-Sasakian structure. Examples of 7-dimensional simply connected compact formal Sasakian manifolds, with $b_2\geq 2$, are also given.

研究动机与目标

• 确定单连通紧致7维3-Sasakian流形的形式性条件。
• 构造具有 b₂ ≥ 2 的形式Sasaki-Einstein流形的显式例子，且这些流形不具有3-Sasakian结构。
• 利用形式性和Massey乘积，阐明7维中Sasaki-Einstein与3-Sasakian流形之间的拓扑差异。
• 证明当 b₂ ≥ 2 时，形式性不足以保证3-Sasakian结构的存在，即使高阶Massey乘积为零。

提出的方法

• 使用极小模型和微分分次代数（DGAs）分析7维流形的有理同伦类型。
• 通过极小模型上所有三重Massey乘积在上同调中消失来刻画形式性。
• 构造一个Kähler-Einstein6维流形 M = ℂP³#(k 个副本)ℂP³ 上的圆丛 N 的全空间，其欧拉类为 ℓb − Σai。
• 利用 M 是形式的这一事实（作为单连通6维流形），并计算模型 (A, d) = H*(M) ⊗ V(x) 的上同调，其中 |x|=1，dx = ℓb − Σai。
• 由于关系 ai·aj = 0（当 i≠j 时）以及 d(x·ai) = −a²i，可推出所有三重Massey乘积消失，从而表明形式性。
• 利用3-Sasakian流形必须满足 b₂ ≤ 1 的结论，推断出 b₂ ≥ 2 的形式流形不可能具有3-Sasakian结构。

实验结果

研究问题

• RQ1 单连通紧致7维3-Sasakian流形的形式性条件，其第二贝蒂数 b₂ 的精确条件是什么？
• RQ2 具有 b₂ ≥ 2 的形式Sasaki-Einstein流形是否存在？如果存在，它们是否具有3-Sasakian结构？
• RQ3 在7维中，Massey乘积如何作为拓扑不变量，用于区分Sasaki-Einstein与3-Sasakian结构？
• RQ4 ℂP³ 在 k 个点上的Blow-up 的上同调在构造具有 b₂ ≥ 2 的形式Sasaki-Einstein流形中起什么作用？

主要发现

• 一个单连通紧致的7维3-Sasakian流形是形式的，当且仅当其第二贝蒂数满足 b₂ ≤ 1。
• 构造了一个7维单连通紧致Sasaki-Einstein流形的显式例子，其 b₂ = 4，该流形是 ℂP³ 在四个点上的Blow-up 上的 S¹-丛的全空间。
• 该例子是形式的，因为所有三重Massey乘积消失，这是由于上同调关系 ai·aj = 0（当 i≠j 时）以及 d(x·ai) = −a²i。
• 该流形的形式性意味着它不可能具有任何3-Sasakian结构，因为此类流形必须满足 b₂ ≤ 1。
• 当 k ≥ 2 时，ℂP³ 在 k 个点上的Blow-up 上的 S¹-丛的全空间，其欧拉类为 ℓb − Σai（ℓ 很大），是一个形式的、单连通的、紧致的Sasakian流形，且 b₂ = k。
• 当 k > 4 时，基流形尚不明确是否具有Kähler-Einstein度量，但全空间仍是Sasakian且形式的，因此不可能是3-Sasakian的。