[论文解读] Line bundles associated with normal surface singularities

András Némethi|arXiv (Cornell University)|Oct 6, 2003

Algebraic Geometry and Number Theory参考文献 11被引用 13

一句话总结

本文通过解析面上奇点的解析线丛，建立了其几何亏格与链的Seiberg-Witten不变量之间的猜想性联系。它构造了自然的线丛以分裂Picard正合序列，并在使用Ozsváth-Szabó Floer同调不变量时，证明了该猜想对有理奇点成立。

ABSTRACT

Recently L. Nicolaescu and the author formulated a conjecture which relates the geometric genus of a complex analytic normal surface singularity (whose link $M$ is a rational homology sphere) with the Seiberg-Witten invariant of $M$ associated with the ``canonical'' $spin^c$ structure of $M$. Since the Seiberg-Witten theory of the link $M$ provides a rational number for any $spin^c$ structure it was a natural challenge to search for a complete set of conjecturally valid identities, which involve all the Seiberg-Witten invariants (giving an analytic -- i.e. singularity theoretical -- interpretation of them). The formulation of this set of identities is one of the goals of the present article. In fact, we formulate conjecturally valid inequalities which became equalities in special rigid situations. In this way, the Seiberg-Witten invariants determine optimal topological upper bounds for the dimensions of the first sheaf-cohomology of line bundles living on the resolution. Moreover, for $\Q$-Gorenstein singularities and some ``natural'' line bundles equality holds. The first part of the article constructs these ``natural'' holomorphic line bundles. The line-bundle construction is compatible with abelian covers. This allows us to reformulate the conjecture in its second version which relates the echivariant geometric genus (associated with the universal abelian cover of the singular germ) with the Seiberg-Witten invariants of the link $M$. In the last section we verify the conjecture for rational singularities.

研究动机与目标

• 制定一组完整的猜想性恒等式，将正常面奇点链的Seiberg-Witten不变量与其奇点的解析不变量相联系。
• 在正常面奇点的解析上构造自然的全纯线丛，使其诱导Picard正合序列的分裂。
• 通过使用等变几何亏格和链不变量，将该猜想推广至奇点的阿贝尔覆盖。
• 利用Ozsváth-Szabó Floer同调与Seiberg-Witten理论，验证有理奇点情形下的猜想。
• 厘清两类同调类提升方式——$ l'_{e}(h) $ 与 $ \bar{l}'_{ne}(h) $——之间的区别及其对几何亏格计算的影响。

提出的方法

• 在正常面奇点 $ (X,0) $ 的解析 $ \tilde{X} $ 上构造自然的全纯线丛，利用交形式矩阵的逆 $ B^{-1} $ 定义 $ D_j $ 为第 $ j $ 列。
• 通过交形式识别 $ L' \cong \text{Hom}(L, \mathbb{Z}) $，将 $ D_j $ 嵌入 $ L_{\mathbb{Q}} $，确保 $ (D_j, E_i) = \delta_{ji} $。
• 定义两种正则性条件：$ L_{\mathbb{Q},e} $ 中的有效循环，以及 $ -NE_{\mathbb{Q}} $ 中的数值有效循环，其中 $ l'_{e}(h) $ 与 $ \bar{l}'_{ne}(h) $ 分别为 $ l' + L $ 中的最小代表元。
• 应用典范特征元 $ K \in L' $，满足 $ (K, E_j) = -E_j^2 - 2 $，并利用 $ K + 2l' $ 定义 $ k_r $，即 $ \text{spin}^c $ 结构的代表元。
• 依赖于恒等式 $ -\text{sw}^{OSz}_{M,[k]} = \frac{k_r^2 + s}{8} $（来自[13]），将Seiberg-Witten不变量与 $ k_r $ 的平方联系起来。
• 通过证明当 $ l' = l'_{ne}(h) $ 时 $ h^1(\mathcal{O}_{\tilde{X}}(l')) = 0 $，并验证猜想恒等式两边在有理情形下均消失，从而验证了该猜想。

实验结果

研究问题

• RQ1 能否制定一组完整的恒等式，将链 $ M $ 的所有Seiberg-Witten不变量与奇点的解析不变量相联系？
• RQ2 对同调类 $ h $ 的两种不同提升方式 $ l'_{e}(h) $ 与 $ \bar{l}'_{ne}(h) $ 如何影响阿贝尔覆盖的几何亏格？
• RQ3 几何亏格与Seiberg-Witten不变量之间的猜想恒等式是否对有理奇点成立？
• RQ4 在确保猜想公式中等式成立时，$ \mathbb{Q} $-Gorenstein 条件起到什么作用？
• RQ5 通用阿贝尔覆盖的等变几何亏格如何与链的Seiberg-Witten不变量相关？

主要发现

• 当使用 $ \text{sw}^{OSz} $ 时，该猜想在有理奇点情形下成立，如恒等式两边均消失所示。
• 在有理奇点情形下，当 $ l' = l'_{ne}(h) $ 时，有 $ h^1(\mathcal{O}_{\tilde{X}}(l')) = 0 $，意味着该线丛无高阶上同调。
• 恒等式 $ p_g(X_a,0)_{\theta(h)} = \frac{(K + 2\bar{l}'_{ne}(h))^2 - (K + 2l'_{e}(h))^2}{8} $ 成立，其平方差捕捉了每个特征标空间中的几何亏格。
• 一般情况下，两个提升 $ l'_{e}(h) $ 与 $ \bar{l}'_{ne}(h) $ 并不相等，如 $ A_4 $ 奇点例子所示，但它们的欧拉示性数一致。
• 在对偶图 $ -2, -3, -3, -3 $ 的例子中，$ p_g(X_a,0)_{\chi} = 1 $，表明阿贝尔覆盖非有理，且其解析中包含一条亏格为1的曲线。
• 对于共轭特征标 $ \bar{\chi} $，有 $ p_g(X_a,0)_{\bar{\chi}} = 0 $，证实了特征标分解非平凡，且与公式一致。