[论文解读] Positive curvature and torus symmetry in small dimensions, I -- Dimensions 10, 12, 14, and 16

Manuel Amann, Lee Kennard|arXiv (Cornell University)|Dec 4, 2015

Geometric Analysis and Curvature Flows参考文献 55被引用 3

一句话总结

本文计算了在正截面曲率和环状对称性下，10、12、14 和 16 维的偶数维、单连通流形的拓扑不变量——欧拉示性数、示性数、椭圆亏格。在最小对称性假设下，建立了精确的分类结果，证明此类流形的欧拉示性数必须与球面、复或四元数射影空间等已知例子一致，并证实了这些维数或欧拉示性数不超过 16 的情形下，Halperin 猜想成立。

ABSTRACT

This is the first part of a series of papers where we compute Euler characteristics, signatures, elliptic genera, and a number of other invariants of smooth manifolds that admit Riemannian metrics with positive sectional curvature and large torus symmetry. In the first part, the focus is on even-dimensional manifolds in dimensions up to 16. Many of the calculations are sharp and they require less symmetry than previous classifications. When restricted to certain classes of manifolds that admit non-negative curvature, these results imply diffeomorphism classifications. Also studied is a closely related family of manifolds called positively elliptic manifolds, and we prove the Halperin conjecture in this context for dimensions up to 16 or Euler characteristics up to 16.

研究动机与目标

• 计算具有正截面曲率和环状对称性的偶数维流形的拓扑不变量，如欧拉示性数、示性数和椭圆亏格。
• 在对称性假设最小化的前提下，于 10、12、14 和 16 维建立精确分类结果，改进了先前的分类工作。
• 证明在维数不超过 16 或欧拉示性数不超过 16 的情形下，正椭圆流形满足 Halperin 猜想。
• 在对称性约束下，对非负曲率流形（包括双商流形和共轭维数一流形）提供微分同胚分类。
• 将 Dessai 于 2011 年对具有 $T^2$ 对称性的 8 维流形的结果，推广至对称性秩更高的更高偶数维流形。

提出的方法

• 利用等变上同调和特征类，在环作用下计算拓扑不变量。
• 应用紧致、单连通、不可约对称空间的分类，枚举满足正曲率和对称性条件的可能候选者。
• 利用欧拉示性数和示性数在乘积下的乘法性，分析可分解流形。
• 通过自旋与非自旋条件筛选可能的流形，依赖于 Cahen–Gutt 和 Hirzebruch–Slodowy 准则。
• 将 Halperin 猜想框架应用于正椭圆流形，通过自旋情形下椭圆亏格的消失性验证该猜想。
• 利用低维同构关系（例如，$\mathrm{SO}(8)/\mathrm{U}(4) \cong \mathrm{SO}(8)/\mathrm{SO}(2)\times\mathrm{SO}(6)$）排除冗余情形。

实验结果

研究问题

• RQ1 在 10、12、14 和 16 维中，具有环状对称性的正曲率流形的哪些拓扑不变量——欧拉示性数、示性数、椭圆亏格——可以被计算？
• RQ2 在 $T^3$ 或 $T^4$ 对称性下，此类流形的欧拉示性数和上同调结构受到何种精确约束？
• RQ3 是否可以验证在维数不超过 16 或欧拉示性数不超过 16 的情形下，正椭圆流形满足 Halperin 猜想？
• RQ4 哪些已知例子（例如，球面、复或四元数射影空间）是此类流形可能的唯一微分同胚类型？
• RQ5 对称性秩和曲率约束如何限制这些流形的可能上同调环与贝蒂数？

主要发现

• 在 10 维中，具有 $T^3$ 对称性的紧致、单连通、正曲率流形，要么微分同胚于 $\mathbb{S}^{10}$，要么其上同调在度数不超过 3 时与 $\mathbb{C}\mathrm{P}^5$ 同构。
• 在 14 维中，具有 $T^4$ 对称性的此类流形，要么是 3-连通且满足 $\chi(M)=2$，要么其上同调同构于 $\mathbb{C}\mathrm{P}^7$，且满足特定生成元关系。
• 在 16 维中，欧拉示性数必须为 2、3、5 或 9，分别对应已知例子：$\mathbb{S}^{16}$、$\mathbb{C}\mathrm{P}^8$、$\mathbb{H}\mathrm{P}^4$ 或 Cayley 平面。
• 对于 $M^{16}$，当 $\chi(M) \in \{3,5,9\}$ 时，示性数为 $\pm1$，若 $M$ 为自旋流形，则椭圆亏格为零。
• 在 12 维中，若为自旋流形，欧拉示性数被限制在 $\{2,4,6,8\}$；若非自旋，则被限制在 $\{7,9,10,12\}$，所有情形均与对称空间分类一致。
• 12 维对称空间的分类确认，仅 $\mathbb{S}^{12}$、$\mathbb{H}\mathrm{P}^3$、$\mathrm{SO}(7)/\mathrm{SO}(3)\times\mathrm{SO}(4)$、$\mathbb{C}\mathrm{P}^6$ 和 $\mathrm{SO}(8)/\mathrm{U}(4)$ 满足曲率与对称性约束。