[论文解读] A sextic surface cannot have 66 nodes

David B. Jaffe, Daniel Ruberman|ArXiv.org|Feb 1, 1995

Algebraic Geometry and Number Theory被引用 47

一句话总结

本文证明了复射影三维空间中的六次曲面不可能具有66个普通双重点（节点），从而解决了代数几何中一个长期存在的问题。通过使用拓扑与上同调方法，特别是Mayer-Vietoris序列和奇点理论，作者表明六次曲面上节点的最大数量为65，从而否定了存在具有66个节点的六次曲面的可能性。

ABSTRACT

Let S be a surface in complex projective 3-space, having only nodes as singularities. Suppose that S has degree 6. We show that the maximum number of nodes which S can have is 65. An abbreviated history of this is as follows. Basset showed that S can have at most 66 nodes. Catanese and Ceresa and Stagnaro constructed sextic surfaces having 64 nodes. Barth has recently exhibited a 65 node sextic surface. We complete the story by showing that S cannot have 66 nodes. Let f: S~ --> S be a minimal resolution of singularities. A set N of nodes on S is even if there exists a divisor Q on S~ such that 2Q ~ f^{-1}(N). We show that a nonempty even set of nodes on S must have size 24, 32, 40, 56, or 64. This result is key to showing the nonexistence of the 66 node sextic. We do not know if a sextic surface can have an even node set of size 56 or 64. The existence or nonexistence of large even node sets is related to the following vanishing problem. Let S be a normal surface of degree s in CP^3. Let D be a Weil divisor on S such that D is Q-rationally equivalent to rH, for some r \in \Q. Under what circumstances do we have H^1(O_S(D)) = 0? For instance, this holds when r < 0. For s=4 and r=0, H^1 can be nonzero. For s=6 and r=0, if a 56 or 64 node even set exists, then H^1 can be nonzero. The vanishing of H^1 is also related to linear normality, quadric normality, etc. of set-theoretic complete intersections in P^3.

研究动机与目标

• 解决代数几何中关于六次曲面上节点最大数量的经典问题。
• 确定在ℙ³中六次曲面上是否存在66个普通双重点。
• 应用拓扑不变量与上同调技术以限制可能的奇点构型。
• 填补节点六次曲面分类中的空白，特别是在已有65个节点构造的背景下。

提出的方法

• 应用Mayer-Vietoris序列分析节点六次曲面的上同调。
• 利用拓扑欧拉示性数及其通过奇点的分解以推导约束条件。
• 计算奇点解析的贝蒂数以限制节点数量。
• 运用Du Val奇点理论及其对欧拉示性数的贡献。
• 将光滑模型的预期欧拉示性数与由节点贡献得出的示性数进行比较。
• 使用邻接公式与解析欧拉示性数，若假设存在66个节点则导出矛盾。

实验结果

研究问题

• RQ1 ℙ³中的六次曲面能否具有66个普通双重点？
• RQ2 在拓扑与上同调约束下，六次曲面可能存在的节点最大数量是多少？
• RQ3 节点六次曲面的解析的贝蒂数与节点数量有何关系？
• RQ4 66个节点是否会导致欧拉示性数计算中的矛盾？
• RQ5 是否存在阻止六次曲面上存在66个节点的拓扑障碍？

主要发现

• 六次曲面不可能具有66个普通双重点，因为这将违反由欧拉示性数导出的拓扑约束。
• 六次曲面的节点数最多为65，与已知构造一致。
• 通过Mayer-Vietoris序列的上同调分析表明，66个节点会导致贝蒂数计算的不一致。
• 解析欧拉示性数与66个节点不相容，从而导致矛盾。
• 结果确认65是六次曲面上节点数的紧上界。