[论文解读] Rational Homology 5-Spheres with Positive Ricci Curvature

Charles P. Boyer, Krzysztof Galicki|ArXiv.org|Mar 6, 2002

Geometric Analysis and Curvature Flows参考文献 12被引用 5

一句话总结

该论文为每个整数 $k > 1$ 构造了一个无限族的单连通有理同调 5-球面 $M^5_k$，其 $H_2(M^5_k, \mathbb{Z})$ 的阶为 $k^2$，并利用加权齐次多项式和接触黎曼几何，证明了这些流形上存在正 Ricci 曲率的 Sasaki 度量。关键结果是：在 $H_2$ 中具有任意挠率的自旋有理同调 5-球面上存在此类度量，从而解决了 5 维正 Ricci 曲率度量分类中长期存在的空白。

ABSTRACT

We prove that for every integer k>1 there is a simply connected rational homology 5-sphere $\scriptstyle{M^5_k}$ with spin such that $\scriptstyle{H_2(M^5_k,\bbz)}$ has order $\scriptstyle{k^2},$ and $\scriptstyle{M^5_k}$ admits a Riemannian metric of positive Ricci curvature. Moreover, if the prime number decomposition of $\scriptstyle{k}$ has the form $\scriptstyle{k=p_1... p_r}$ for distinct primes $\scriptstyle{p_i}$ then $\scriptstyle{M^5_k}$ is uniquely determined.

研究动机与目标

• 解决目前已知的单连通有理同调 5-球面中，具有非平凡 $H_2$ 耐量且正 Ricci 曲率的实例稀缺的问题。
• 将已知的正 Ricci 曲率度量的存在性从 $S^5$、$S^2 \times S^3$ 和 $SU(3)/SO(3)$ 扩展到具有任意 $H_2$-耐量的无限类流形。
• 证明 Sasaki 几何为在自旋有理同调 5-球面上系统构造此类度量提供了一种有效方法。
• 通过加权齐次多项式的链，实现 $H_2(M^5_k, \mathbb{Z})$ 中所有可能的 $H_2$-耐量阶数。

提出的方法

• 将流形 $M^5_k$ 构造为 $\mathbb{C}^4$ 中加权齐次多项式 $f$ 的链 $L_f$，其权重为 $\mathbf{w} = (1, \frac{p+1}{4}, \frac{p-1}{2})$，次数为 $p$，其中 $p \equiv 3 \pmod{4}$ 为素数。
• 利用该多项式链 $L_f$ 是有理同调 5-球面，且当 $k = p$ 时，其 $H_2(L_f, \mathbb{Z})$ 的阶为 $k^2$ 的事实。
• 应用 Sasaki 几何理论，证明 $L_f$ 上诱导的接触结构具有 Sasaki--爱因斯坦度量，因此具有正 Ricci 曲率。
• 证明 $L_f$ 的 V-丛结构的凯勒轨道 $\mathcal{Z}_f$ 是法诺的，通过证明其法诺指标 $|\mathbf{w}| > 0$，从而推出基本第一陈类的正性。
• 利用加权射影曲线的亏格公式，验证当 $p \equiv 3 \pmod{4}$ 时，由 $f_3$ 定义的曲线 $C_\mathbf{w}$ 的亏格为 1，从而确保 $H_2$-阶数正确。
• 利用 Smale 对单连通 5-流形的分类，证明当 $k = p_1 \cdots p_r$ 为不同素数的乘积时，所得的 $M^5_k$ 同痕于 $M^5_{p_i}$ 的连通和。

实验结果

研究问题

• RQ1 能否在 $H_2$ 中具有非平凡耐量的有理同调 5-球面上构造正 Ricci 曲率度量？
• RQ2 是否存在无限族的单连通有理同调 5-球面，其 $H_2$-耐量为任意值，并且能容纳此类度量？
• RQ3 Sasaki 几何能否系统地实现有理同调 5-球面中所有可能的 $H_2$-耐量阶数？
• RQ4 对于哪些 $k > 1$，所得流形 $M^5_k$ 在微分同胚意义下唯一确定？
• RQ5 加权射影空间中的高亏格曲线能否在此构造中实现更一般的 $H_2$-结构？

主要发现

• 对每个整数 $k > 1$，存在一个单连通有理同调 5-球面 $M^5_k$，其 $H_2(M^5_k, \mathbb{Z})$ 的阶为 $k^2$，且 $i(M^5_k) = 0$，并 admits 一个正 Ricci 曲率的 Sasaki 度量。
• 当 $k = p_1 \cdots p_r$ 为不同素数的乘积时，流形 $M^5_k$ 在微分同胚意义下唯一确定。
• 通过使用次数为素数 $p \equiv 3 \pmod{4}$ 的加权齐次多项式（其曲线为亏格 1）的链，该构造实现了所有可能的 $H_2$-耐量阶数。
• 此类多项式的链 $L_f$ 满足 $H_2(L_f, \mathbb{Z})$ 的阶为 $k^2$，且其诱导的 Sasaki 结构具有正 Ricci 曲率，因为其基轨道 $\mathcal{Z}_f$ 是法诺的。
• 对每个 $k > 1$，在 $M^5_k$ 上存在无限多个变形类的 Sasaki 结构，每一类均 admits 一个正 Ricci 曲率度量。
• 该方法仅适用于自旋有理同调 5-球面（即满足 $i(M) = 0$ 的情形），不适用于非自旋流形，如 $X_j$（$j \neq 0$）。”