哪些具有 S2×S5 上同调环的 spin 7-流形允许自由圆作用？

672 种中恰好 462 种允许自由圆作用

论文的第一个主要结果以计数方式回答了存在性问题。在 spin 上同调 S2×S5 流形的 672 种有向微分同胚型中，恰好 462 种允许自由圆作用，其余 210 种不允许。

这一计数在更粗的分类中分布并不均匀。672 种有向微分同胚型归入 24 种有向同胚型，每种同胚型包含 28 种有向微分同胚型；它们又归入 18 种有向同伦型，其中 6 种包含 2 种有向同胚型，12 种只包含一种。允许自由圆作用的 462 种覆盖 24 种有向同胚型中的 18 种，以及 18 种有向同伦型中的 12 种。

论文还记录了无向计数：由于自由圆作用的存在性与定向选择无关，340 种无向微分同胚型中恰好 235 种允许自由圆作用。论文详细分析的是有向范畴，因为在该范畴中 s-不变量更便于处理。

spin 上同调 S2×S5 是上同调条件，而非同胚

spin 上同调 S2×S5 被定义为光滑、闭、单连通的 spin 7-流形，其上同调环与 S2×S5 的上同调环同构。这比同胚于 S2×S5 严格更弱，而这一区别贯穿了整个计数。

论文将自己的设定与一个更早的结果作对比：同胚于 S2×S5 的闭 7-流形的全部 28 种有向微分同胚型都允许自由圆作用。672 种 spin 上同调 S2×S5 型是更大的类，其中只有 462 种允许这样的作用。

672 种型分成两个各含 336 种的子族：π4(M) ≅ Z/2 的，其中包括 M = S2×S5；以及 π4(M) = 0 的。这一划分在后面很重要，因为 π4(M) = 0 的子族表现一致良好。

自由圆作用与主圆丛是同一份数据

论文使用标准等价关系：一个流形允许自由圆作用，当且仅当它是某个低一维流形上主圆丛的全空间。两个自由圆作用等价，当且仅当底空间之间存在一个微分同胚，把其中一个欧拉类拉回到另一个。

这一改写把存在性问题转化为：哪些 6-流形可以作为轨道空间出现，以及它们可以承载哪些欧拉类。论文先确定哪些闭、单连通 6-流形可以作为 spin 上同调 S2×S5 上自由圆作用的轨道空间，再计算这些 6-流形上主圆丛全空间的 s-不变量。

462 种流形的分类以其 Kreck–Stolz s-不变量表述。由于所得公式极为复杂，论文用计算机显式验证分类中声称的每个流形都能以这种方式实现；结果列在附录的表格中。

存在性总是伴随无穷多个不等价作用

主要定理的第二部分是多重性陈述，而非存在性陈述。只要一个 spin 上同调 S2×S5 允许自由圆作用，它就允许无穷多个两两不等价的自由圆作用。

其机制在证明中可见。对于满足相关假设的流形，存在无穷多个主圆丛，其底空间是一族两两不微分同胚的闭、单连通 6-流形。由于底空间两两不微分同胚，全空间上诱导的圆作用也两两不等价。

论文指出，这一多重性陈述即使在 S2×S5 本身这一最简单情形下似乎也是新的。

441 种带有不变正 Ricci 度量

几何结果比拓扑结果更窄。存在 441 种 spin 上同调 S2×S5 流形的有向微分同胚型，它们允许无穷多个两两不等价的自由圆作用，并且对其中每个作用都存在一个正 Ricci 曲率的不变黎曼度量。这些包括同胚于 S2×S5 的全部 28 种有向微分同胚型。

462 与 441 之间的差是 21 种有向微分同胚型。它们由第一个定理允许自由圆作用，但不被度量构造覆盖，因为它们只有轨道空间非 spin 的自由圆作用。它们是否允许正 Ricci 曲率的不变黎曼度量仍悬而未决。

该构造使用 Gilkey–Park–Tuschmann 的一个结果：若闭流形具有有限基本群，且其商空间允许正 Ricci 曲率的黎曼度量，则该流形允许一个在自由圆作用下不变的正 Ricci 曲率黎曼度量。构造中的底空间都允许这样的度量，因此全空间继承它们。

一个重要限定：论文并未声称对这些流形而言任何自由圆作用都允许正 Ricci 曲率的不变黎曼度量。其主张是，对所构造的每个作用都存在这样的度量。

当 π4(M) = 0 时，所有情形都成立

有一个子族毫无例外地表现良好。若 M 是 π4(M) = 0 的 spin 上同调 S2×S5，则 M 允许无穷多个两两不等价的自由圆作用，并且对其中每个作用都存在一个正 Ricci 曲率的不变黎曼度量。

这是分类结果与 672 种型按 π4 分成两个各含 336 种子族的直接推论。π4(M) = 0 的一半被度量构造完全覆盖；困难集中在另一半。

允许轨道空间为 spin 的自由圆作用的 420 种有向微分同胚型全部包含在度量结果中。462 种中剩下的 21 种，正是那些只有轨道空间非 spin 的自由圆作用的型。

S2×S5、S3×S4 与同伦球的连通和

论文把构造推广到连通和。设 Σ 是一个同伦 7-球，令 M = #ℓ(S2×S5) # m(S3×S4) # Σ。若 ℓ ≥ 2，或 ℓ = 1 且 m 为偶数，则 M 允许无穷多个两两不等价的自由圆作用，并且对其中每个作用都存在一个正 Ricci 曲率的不变黎曼度量。

这些流形上自由圆作用的存在性此前已知。这里的新内容是正 Ricci 曲率的不变度量：当 Σ 不是标准球时，这样的度量即使在单个自由圆作用下存在，此前也未见于文献。

论文还说明了为何寻找底空间很微妙。若 M 是 spin 上同调 S2×S5，且其轨道空间 N 非平凡地分解为连通和 N = N1 # N2，则 N1 与 N2 都是同伦 CP3，且 M 同胚于 S2×S5。因此有意义的轨道空间不会分解。

21 种型的缺口是论文最尖锐的开放边缘

这篇论文中最具决策相关性的划分不是标题中的 462 对 672，而是 441 对 462 的缺口。拓扑存在性问题已由基于 Kreck–Stolz s-不变量的分类解决，多重性陈述在作用存在时一致成立。几何问题才是边界所在。

对于比较这一类中流形的读者，起作用的区分是该流形是否允许轨道空间为 spin 的自由圆作用。若允许，它就落在 441 之内，正 Ricci 曲率的不变度量可用。若不允许，它就是那 21 种只有轨道空间非 spin 的自由圆作用的型之一，度量问题仍然开放。

π4(M) = 0 的子族是干净的情形：其全部 336 种有向微分同胚型都被覆盖。包含 S2×S5 本身的 π4(M) ≅ Z/2 子族，正是 21 种缺口所在之处。这就是论文结果停止、下一个问题开始的具体位置。

本文引用的文献