[论文解读] On the classification of Smale-Barden manifolds with Sasakian structures

Aleksy Tralle, Vicente Muñoz|arXiv (Cornell University)|Feb 2, 2020

Geometric and Algebraic Topology参考文献 12被引用 4

一句话总结

本文对第二同调群为 $ H_2(M,\mathbb{Z}) = \mathbb{Z}^k \oplus \bigoplus_{i=1}^r \mathbb{Z}_{m_i}^{2g_i} $ 且 Barden 不变量 $ i(M) = 0 $ 或 $ \infty $ 的 Smale-Barden 流形上的半正则 Sasaki 结构进行了完整分类，证明当 $ k \geq 1 $、$ m_i \geq 2 $ 且各 $ m_i $ 两两互素时，此类流形必存在 Sasaki 结构。关键成果是为有理同调球面上的半正则 Sasaki 结构存在性问题提供了完整解法。

ABSTRACT

Smale-Barden manifolds $M$ are classified by their second homology $H_2(M,{\mathbb Z})$ and the Barden invariant $i(M)$. It is an important and dificult question to decide when $M$ admits a Sasakian structure in terms of these data. In this work we show methods of doing this. In particular we realize all $M$ with $H_2(M)={\mathbb Z}^k\oplus(\oplus_{i=1}^r{\mathbb Z}_{m_i}^{2g_i})$ and $i=0,\infty$, provided that $k\geq 1$, $m_i\geq 2$, $g_i\geq 1$, $m_i$ are pairwise coprime. Using our methods we also contribute to the problem of the existence of definite Sasakian structures on rational homology spheres. Also, we give a complete solution to the problem of the existence of Sasakian structures on rational homology spheres in the class of semi-regular Sasakian structures.

研究动机与目标

• 确定 Smale-Barden 流形具备 Sasaki 结构的充分条件，尤其关注有理同调球面的情形。
• 解决关于 G-K 条件是否足以保证 Smale-Barden 流形上 Sasaki 结构存在的开放问题。
• 为有理同调球面上的半正则 Sasaki 结构提供完整分类，这是 Sasaki 几何中长期悬而未决的问题。
• 将通过复流形上的圆丛构造 Sasaki 结构的现有方法扩展至同调中含挠率的流形。
• 厘清有理同调球面上定号（正/负）与不定号 Sasaki 结构之间的区别。

提出的方法

• 通过复流形上的圆丛构造 Sasaki 结构，将丛的第一陈类用作欧拉类。
• 应用 Nakai–Moishezon 准则，确保对 $ \mathbb{C}P^2 $ 的爆破上除子的正则性，从而保证 Kähler 结构的存在。
• 利用圆丛上自旋结构的条件：$ w_2(X) \equiv e \pmod{2} $，对自旋与非自旋的正则 Sasaki 流形进行分类。
• 分析 Barden 不变量 $ i(M) $ 与 $ H_2(M,\mathbb{Z}) $ 的挠结构，以确定 G-K 条件在何时足以保证 Sasaki 结构的存在。
• 借助 Smale-Barden 流形通过标准构造块 $ X_j, M_k, M_\infty $ 的连通和分类方法，分析其同调不变量。
• 证明当 $ \mathbf{t} = 1 $，即仅含一个素幂挠因子，且 $ k \geq 1 $ 时，可通过在 Kähler 基础流形上显式构造出半正则 Sasaki 结构。

实验结果

研究问题

• RQ1 每个满足 G-K 条件的 Smale-Barden 流形是否都存在 Sasaki 结构？
• RQ2 有理同调球面具备半正则 Sasaki 结构的必要与充分条件是什么？
• RQ3 能否对有理同调球面上定号 Sasaki 结构的存在性进行完全分类？
• RQ4 Barden 不变量 $ i(M) $ 与 $ H_2(M,\mathbb{Z}) $ 的挠结构如何限制 Sasaki 结构的存在性？
• RQ5 在具有挠同调的流形上，秩 $ k = b_2(M) $ 在 Sasaki 结构存在性中起什么作用？

主要发现

• 所有满足 $ H_2(M,\mathbb{Z}) = \mathbb{Z}^k \oplus \bigoplus_{i=1}^r \mathbb{Z}_{m_i}^{2g_i} $ 且 $ i(M) = 0 $ 或 $ \infty $ 的 Smale-Barden 流形，当 $ k \geq 1 $、$ m_i \geq 2 $ 且各 $ m_i $ 两两互素时，均存在半正则 Sasaki 结构。
• 本文为有理同调球面上半正则 Sasaki 结构的存在性问题提供了完整解法，表明此类结构存在当且仅当挠结构满足 G-K 条件且 $ i(M) = 0 $ 或 $ \infty $。
• 对于有理同调球面，唯一的可能 Sasaki 结构是定号的（正或负），不存在不定号的 Sasaki 结构。
• 在无挠的 Smale-Barden 流形上，正则 Sasaki 结构的存在性等价于其 Kähler 基础流形上存在一个本原正则类，且此类结构可通过圆丛上的自旋条件进行分类。
• 通过选择满足 $ \gcd(a,b_i)=1 $ 且适当奇偶性的欧拉类 $ e $：$ e \equiv w_2(X) \pmod{2} $，可实现自旋与非自旋正则 Sasaki 流形的构造。
• 本文证实，G-K 条件不仅对 $ \mathbf{t} = 1 $ 的情形是必要的，而且是充分的，从而解决了该领域长期悬而未决的开放问题。