存在带有限阶辛同胚的异种 CP2 吗？

存在性问题化为十二个填充问题

这里的异种 CP2 指一个与 CP2 同胚但不同微分同胚的辛 4-流形。论文提出的是经典问题的一个更严格的版本：如果这样的流形还必须带有一个非平凡有限阶辛同胚，它是否存在？论文既没有给出构造，也没有给出不存在性证明。它证明的是一个等价关系，把问题转化为一份有限的接触几何检验清单。

这一归约是精确的。恰好有 12 个管道流形 Y_Γ，对应论文图 1 中的每一个加权图 Γ，每个都带有称为 Li-Mak 接触结构的典范接触结构 ξ_LM。论文的定理 1.1 指出，存在一个带有非平凡有限阶辛同胚的异种 CP2，当且仅当这 12 个接触管道流形 (Y_Γ, ξ_LM) 中的某一个容许某个特定的强辛填充 W_Γ。这是一个当且仅当的陈述，不是概率性的或部分的结果。

额外的对称性假设如何改变方法

在没有对称性时，一个假想的辛异种 CP2 通过具有正典范类来识别，即 c1(K)·[ω] > 0，论文将这一刻画归于 Taubes。对称性假设提供了另一条路径：论文通过辛商轨形的极小消解来研究存在性，论文把这一想法归于 Keum 在代数情形下构造假射影平面的工作。

辛情形的实现有意不同于代数情形。论文依赖伪全纯曲线，以及来自辛几何、接触几何和规范理论的结果。12 个管道流形是这条路径的技术核心：每个图 Γ 决定一个辛管道 P_Γ 和一个具有正规交叉的辛除子 D_Γ，而 Y_Γ 是有向边界 −∂P_Γ。P_Γ 上的辛结构取决于 D_Γ 中曲面的面积，而这些面积不属于图 Γ 所包含的数据。

决定存在性的填充条件

填充 W_Γ 不是任意的强辛填充。定理 1.1 施加了四个条件。条件 (i) 要求存在一个从 π1(W_Γ) 到 Z_p 的满同态，延拓自然同态 ρ: π1(Y_Γ) → Z_p，并带有 p 重覆盖 W̃_Γ → W_Γ。条件 (ii) 要求 H1(W_Γ, Q) = 0，且 i*: H2(Y_Γ, Q) → H2(W_Γ, Q) 是同构。条件 (iii) 要求 H1(W̃_Γ, Q) = 0。条件 (iv) 是两条满射性陈述，涉及从 π1(Ỹ_Γ) 到 π1(P̃_Γ) 以及到 π1(W̃_Γ) 的映射的核。

这些条件区分了三种不同的结论。如果 W_Γ 满足 (i) 和 (ii)，则粘合流形 M_Γ = W̃_Γ ∪ P̃_Γ 具有伪自由辛 Z_p 作用、正典范类、欧拉示性数 χ(M_Γ) = 3 和符号差 Sign(M_Γ) = 1，从而位于 Bogomolov-Miyaoka-Yau 线上。它是 Q-同调 CP2 当且仅当 (iii) 也成立，它是异种 CP2 当且仅当 (iii) 和 (iv) 都成立。这一区分很重要：Q-同调 CP2 并不自动是异种 CP2，论文把这两个门槛分开处理。

反向方向从辛作用出发

定理 1.1 也可以反向使用。假设存在一个具有正典范类的辛 Q-同调 CP2，记为 M，它容许一个对奇素数 p 的伪自由辛 Z_p 作用。那么图 1 中存在一个加权图 Γ，其中 Γ = Γ_p 或 Γ_{p,i}（对某个 i），使得相应的接触管道流形 (Y_Γ, ξ_LM) 容许一个满足条件 (i) 至 (iii) 的强辛填充 W_Γ，并且 M 可以等同于粘合流形 M_Γ。如果 M 实际上是异种 CP2，那么条件 (iv) 也成立。

正是这个反向陈述使 12 个图的清单成为穷尽的而非示例性的。在具有正典范类的辛 Q-同调 CP2 上，任何奇素数阶的伪自由辛 Z_p 作用都必须落入这 12 种情形之一，而商轨形的极小消解随后包含一个辛除子，其管道图就是 Γ。论文指出，异种 CP2 上素数阶的辛 Z_p 作用必须是伪自由的且 p > 2，因此奇素数的设定并非任意限制。

技术核心确定阶数与局部表示

主要技术结果是完整确定了具有正典范类的有理同调 CP2 上，对奇素数 p 的伪自由辛 Z_p 作用的阶数与局部表示。论文的分类工作遍历可能的素数，并利用关于旋转数、δ-不变量、重数和特征序列的引理逐一排除情形。例如，正文通过对不变曲线 C 的奇点进行情形分析，排除了 p = 41、p = 37、p = 31、p = 29 和 p = 23，剩余的可能性记录在定理 1.3 中。

论文还得出一个关于假射影平面的推论。其结果提示，可能存在不是假射影平面有限自同构的辛 Z_p 作用。这是作为提示陈述的，而不是对所有此类作用的完整分类，应当把它读作阶数与表示结果所开启的一个方向，而不是一个独立的存在性定理。

BMY 线上的逆向工程构造

除了等价关系之外，论文引入了一个构造，它在对 12 个接触管道流形的辛填充作极小假设下成立。该构造通过一个逆向工程过程，产生一个位于 Bogomolov-Miyaoka-Yau 线上的辛 4-流形。在定理 1.1 的正向中，粘合流形 M_Γ 已经具有 χ(M_Γ) = 3 和 Sign(M_Γ) = 1，这正是使它位于该线上的原因。

该构造是有条件的。它本身并不给出 12 个接触管道流形中任何一个的填充，因此本身并不产生异种 CP2。它所做的是说明如果所需的填充存在会得到什么，并为不存在性一侧给出一个具体目标：如果 12 个接触管道流形中没有一个容许满足 (i) 至 (iv) 的强辛填充，那么就不存在带有非平凡有限阶辛同胚的辛异种 CP2。

什么能最终解决这个问题

论文自身的重点在于这 12 个接触管道流形的有限清单。构造一个带有非平凡有限阶辛同胚的异种 CP2，将来自找到图 1 中某个图 Γ，使其 (Y_Γ, ξ_LM) 容许一个满足 (i) 至 (iv) 的强辛填充 W_Γ。不存在性证明将来自证明对这 12 个图中的每一个，都没有强辛填充满足 (i) 至 (iv)。论文明确陈述了这两个方向。

因此，对读者而言最具决策意义的区分不是论文证明了存在还是不存在，而是一个候选填充满足四个填充条件中的哪些。条件 (i) 和 (ii) 已经给出正典范类和一个位于 BMY 线上的流形；加上 (iii) 把它升级为 Q-同调 CP2；加上 (iv) 才把它升级为异种 CP2。推论 4.6 记录了一条更简单的充分路径：如果图 1 中某个 Γ 有一个强辛填充 W_Γ，使得 i*: H2(Y_Γ, Q) → H2(W_Γ, Q) 是同构，且存在满足 ρ̄ ∘ i* = ρ 的同构 ρ̄: π1(W_Γ) → Z_p，那么就存在带有非平凡有限阶辛同胚的辛异种 CP2。对于肯定答案而言，这条推论而非一般等价关系，是论文提供的最锐利的单一门槛。

本文引用的文献