[论文解读] The geometric genus of hypersurface singularities

András Némethi, Baldur Sigurðsson|arXiv (Cornell University)|Oct 4, 2013

Geometric and Algebraic Topology被引用 1

一句话总结

本文引入路径格上同调作为拓扑不变量，以统一表征具有有理同调球面链接的复正规曲面奇点的几何亏格 $p_g$。通过在解析图中从平凡循环到反canonical循环的路径上优化零阶上同调模的秩，作者证明了在超曲面奇点（如超孤立、牛顿非退化及某些其他情形）中，$p_g = \min_\gamma \mathrm{eu}(H^0_{\mathrm{red}}(\gamma))$，提供了一个概念性的拓扑公式，解决了这些情形下Seiberg–Witten不变量猜想的失效问题。

ABSTRACT

Using the path lattice cohomology we provide a conceptual topological characterization of the geometric genus for certain complex normal surface singularities with rational homology sphere links, which is uniformly valid for all superisolated and Newton non--degenerate hypersurface singularities.

研究动机与目标

• 为具有有理同调球面链接的复正规曲面奇点的几何亏格 $p_g$ 提供统一的拓扑表征。
• 解决在某些反例（如特定超孤立和牛顿非退化奇点）中Seiberg–Witten不变量猜想（SWIC）失效的问题。
• 引入一种新的拓扑不变量——路径格上同调，通过解析图中路径的优化来捕捉 $p_g$。
• 在关键奇点族中建立零阶路径格上同调模的最小归一化秩等于 $p_g$ 的结论。
• 将几何亏格公式的有效性扩展至SWIC先前失效的解析族之外。

提出的方法

• 为解析图中从平凡循环到反canonical循环的每条路径 $\gamma$ 定义路径格上同调 $H^0(\gamma)$。
• 对每条路径计算归一化欧拉示性数 $\mathrm{eu}(H^0(\gamma))$，并在所有此类路径中取最小值。
• 使用格上同调技术，并通过 $\{H^q_{\mathrm{red}}(M)\}_{q \geq 0}$ 对Seiberg–Witten不变量进行范畴化。
• 在超孤立奇点情形下，应用Heegaard–Floer同调的结果，特别是L-空间手术的 $d$-不变量消失。
• 利用 торic 解析中的组合学与牛顿非退化情形下的格点计数。
• 通过比较除子滤子与牛顿滤子，对上同调群的维数进行界定，并验证关键不等式 $|P_i| \leq \dim H^0(\widetilde{X}, \mathcal{O}(-\bar{z}_i))/H^0(\widetilde{X}, \mathcal{O}(-\bar{z}_i - E_{v(i)}))$。

实验结果

研究问题

• RQ1 能否为具有有理同调球面链接的复正规曲面奇点构造一个统一的几何亏格 $p_g$ 拓扑公式，即使在Seiberg–Witten不变量猜想失效的情况下？
• RQ2 路径格上同调构造是否为计算 $p_g$ 提供了一种概念性且拓扑性的替代分析不变量？
• RQ3 在超孤立和牛顿非退化超曲面奇点中，零阶路径格上同调模的最小归一化秩是否等于 $p_g$？
• RQ4 在某些超曲面中SWIC的失效是否可由格上同调中高阶上同调项的非消失性来解释？
• RQ5 该新不变量在超曲面的同型形变下是否保持稳定？

主要发现

• 在超孤立奇点中，即使Seiberg–Witten不变量猜想失效，仍有 $p_g = \min_\gamma \mathrm{eu}(H^0_{\mathrm{red}}(\gamma))$ 成立。
• 在主部非退化的牛顿非退化奇点中，该公式同样成立，确立了 $p_g$ 的拓扑表征。
• 该公式对加权齐次及极小椭圆奇点也成立，其中SWIC已被证明有效。
• 路径格上同调构造为 $p_g$ 提供了拓扑上界，且在所述情形下达到等式。
• 超孤立奇点的证明依赖于Heegaard–Floer理论，特别是L-空间手术的 $d$-不变量消失。
• 在牛顿非退化情形下，结果通过在toric解析框架中对格点进行详细计数得出，利用牛顿多面体的几何性质。