[论文解读] The geometric genus and Seiberg-Witten invariant of Newton nondegenerate surface singularities

Baldur Sigurðsson|arXiv (Cornell University)|Jan 11, 2016

Geometric and Algebraic Topology参考文献 3被引用 4

一句话总结

该论文通过构建显式计算序列，从链接的拓扑结构中界定并最终恢复几何亏格，从而证明了牛顿非退化表面奇点的塞伯格-威滕不变量猜想。利用奥卡算法以及牛顿图和解析图的组合性质，作者证明了链接的典范自旋c结构的归一化塞伯格-威滕不变量等于几何亏格，并从拓扑数据中恢复了部分谱和Poincaré级数。

ABSTRACT

Given a normal surface singularity (X,0), its link, M is a closed differentiable three dimensional manifold which carries much analytic information. It is an interesting question to ask whether, under suitable analytic and topological conditions, the geometric genus (or other analytic invariants) can be recovered from the link. The Casson invariant conjecture predicts that p_g can be identified using the Casson invariant in the case when (X,0) is a complete intersection and M has trivial first homology with integral coefficients. The Seiberg-Witten invariant conjecture predicts that the geometric genus of a Gorenstein singularity, whose link has trivial first homology with rational coefficients, can be calculated as a normalized Seiberg-Witten invariant of the link. The first conjecture is still open, but counterexamples have been found for the second one. We prove here the Seiberg-Witten invariant conjecture for hypersurface singularities given by a function with Newton nondegenerate principal part. We provide a theory of computation sequences and of the way they bound the geometric genus. Newton nondegenerate singularities can be resolved explicitly by Oka's algorithm, and we exploit the combinatorial interplay between the resolution graph and the Newton diagram to show that in each step of the computation sequence we construct, the given bound is sharp. Our method recovers the geometric genus of (X,0) explicitly from the link, assuming that (X,0) is indeed Newton nondegenerate with a rational homology sphere link. Assuming some additional information about the Newton diagram, we recover part of the spectrum, as well as the Poincaré series associated with the Newton filtration. Finally, we show that the normalized Seiberg-Witten invariant associated with the canonical spin^c structure on the link coincides with our identification of the geometric genus.

研究动机与目标

• 解决长期存在的猜想：即一个Gorenstein表面奇点的几何亏格可从其链接的塞伯格-威滕不变量中恢复。
• 为从链接的拓扑不变量（特别是牛顿非退化奇点）构造性地计算几何亏格提供方法。
• 证明链接上典范自旋c结构的归一化塞伯格-威滕不变量等于几何亏格。
• 从链接的拓扑结构中恢复牛顿滤子的部分谱和Poincaré级数。

提出的方法

• 基于解析图和牛顿图构建计算序列，以在每一步界定几何亏格。
• 利用奥卡算法，通过牛顿图的显式组合数据解析牛顿非退化奇点。
• 通过缩放多边形和多面体中的格点计数，计算交点数和zeta函数系数。
• 应用路径格上同调与拓扑zeta函数理论，将解析不变量与拓扑数据关联。
• 利用单变量幂级数的多项式部分与周期常数提取谱信息。
• 通过分析臂构型的分情况讨论，证明链接上典范自旋c结构的归一化塞伯格-威滕不变量等于几何亏格。

实验结果

研究问题

• RQ1 牛顿非退化表面奇点的几何亏格能否仅从其链接的拓扑数据中计算得出？
• RQ2 链接上典范自旋c结构的归一化塞伯格-威滕不变量是否与几何亏格一致？
• RQ3 在什么条件下，牛顿滤子的部分谱和Poincaré级数可从链接的拓扑结构中恢复？
• RQ4 牛顿图的何种组合条件使得计算序列在每一步的几何亏格界定为紧致？

主要发现

• 当链接为有理同调球时，牛顿非退化表面奇点的几何亏格可从链接的拓扑结构中显式恢复。
• 链接上典范自旋c结构的归一化塞伯格-威滕不变量等于几何亏格，从而在该情形下证实了塞伯格-威滕不变量猜想。
• 所构建的计算序列在每一步均为紧致，确保通过组合方法精确恢复几何亏格。
• 在牛顿图的附加条件下，可从链接的拓扑结构中恢复至零次的谱及牛顿滤子的Poincaré级数。
• 对于牛顿图中具有中心三角形的奇点，在特定几何约束下，塞伯格-威滕系数为零，从而证实了某些zeta函数项的消失。
• 该方法在解析图、牛顿图与诸如 $p_g$ 和谱等解析不变量之间建立了完整的组合对应关系。