[论文解读] Invariants of relatively generic structures on normal surface singularities

János Nagy|arXiv (Cornell University)|Oct 8, 2019

Algebraic Geometry and Number Theory参考文献 39被引用 9

一句话总结

本文为具有有理同调球面链的正常曲面奇点构建了一个相对通用的解析结构框架，提供了几何亏格和解析Poincaré级数的显式公式，确定了自然线丛的基点结构，并建立了对多重性的严格下界。该方法基于解析类型在固定子图上的假设，利用上同调限制与格理论技术于解析图，推导出在固定子图解析类型下的不变量。

ABSTRACT

In the present article we work out a relative setup of generic structures on surface singularities. We fix an analytic type on a subgraph of a rational homology sphere resolution graph $\mathcal{T}$ and we choose a relatively generic normal surface singularity $ X$ with resolution graph $\mathcal{T}$. We provide formulae for the geometric genus and the analytical Poincaré series of $ X$. We determine the base point structure of natural line bundles on $ X$ and give a lower bound on the multiplicity of $ X$ which is expected to be sharp. We prove similar results about cohomology numbers of relatively generic line bundles on every singularity with rational homology sphere link.

研究动机与目标

• 将正常曲面奇点的通用解析结构理论扩展到相对情形，即在解析图的子图上固定一种解析类型。
• 在相对通用性下计算几何亏格、解析Poincaré级数和线丛上同调数等不变量。
• 确定在相对通用奇点上自然线丛（特别是 $\mathcal{O}_{\widetilde{X}}(-Z_{\text{max}})$）的基点结构。
• 为相对通用奇点的多重性建立一个严格下界，预期为最优。

提出的方法

• 本文采用相对设定：在有理同调球面（QHS）解析图 $\mathcal{T}$ 的子图 $\mathcal{T}_1$ 上固定一种解析类型，并考虑在完整图 $\mathcal{T}$ 上的相对通用奇点。
• 应用上同调限制映射 $r: \mathrm{Pic}^{l'}(\widetilde{X}) \to \mathrm{Pic}^{R_1(l')}(\widetilde{X}_1)$，将完整解析上的线丛与子解析上的线丛联系起来。
• 关键工具是欧拉示性数 $\chi(l) = -(l, l - Z_K)/2$ 和Lipman锥 $\mathcal{S}'$，用于分析上同调与基点。
• 通过在相邻于 $\mathcal{V}_1$ 的顶点 $v_2 \in \mathcal{V}_2$ 上指定切割 $D_{v_2}$，引入了相对通用解析结构的概念，以确保与固定子结构的相容性。
• 利用在循环 $l \in L$ 上的最小化过程推导出公式，例如 $p_g(\widetilde{X}) = 1 - \min_{E \leq l} (\chi(l) - h^1(\mathcal{O}_{\widetilde{X}_1}(-l)))$，以计算几何亏格。
• 证明了在限制映射纤维中的通用线丛，其上同调界可取等号，从而支持不变量的归纳证明。

实验结果

研究问题

• RQ1 如何计算在解析图子图上具有固定解析类型的相对通用正常曲面奇点的几何亏格？
• RQ2 在相对通用奇点上，线丛 $\mathcal{O}_{\widetilde{X}}(-Z_{\text{max}})$ 的基点结构是什么？
• RQ3 此类相对通用奇点的多重性是否存在一个严格下界？
• RQ4 相对通用线丛的上同调数在限制到子解析时如何表现？
• RQ5 能否从子解析上的数据归纳计算完整解析上线丛的上同调？

主要发现

• 相对通用奇点的几何亏格由公式 $p_g(\widetilde{X}) = 1 - \min_{E \leq l} (\chi(l) - h^1(\mathcal{O}_{\widetilde{X}_1}(-l)))$ 给出，其中最小值取遍满足 $\mathrm{supp}(l) \supset \mathcal{V}_1$ 的有效循环 $l$。
• 对于限制映射纤维 $r^{-1}(\mathfrak{L})$ 中的相对通用线丛 $\mathcal{L}$，其上同调数 $h^1(\widetilde{X}, \mathcal{L})$ 在不等式 $h^1(\widetilde{X}, \mathcal{L}) \geq \chi(-l') - \min_{0 \leq l} \{ \chi(-l' + l) - h^1(\widetilde{X}_1, \mathfrak{L}(-l)) \}$ 中达到等号。
• 线丛 $\mathcal{O}_{\widetilde{X}}(-Z_{\text{max}})$ 在例外除子交点处无基点，且若 $\mathcal{O}_{\widetilde{X}_1}(-Z_{\text{max}})$ 在 $\widetilde{X}_1$ 上无基点，则其仅具有简单基点。
• 奇点的多重性存在一个预期为最优的下界，该结论在作者与 A. Némethi 后续工作中得到证实。
• $\mathcal{O}_{\widetilde{X}}(-Z_{\text{max}})$ 在 $E_v$ 上的基点支集非空，当且仅当存在循环 $A \geq E_v$，使得 $\chi(Z_{\text{max}}) - h^1(\mathcal{O}_{\widetilde{X}}(-Z_{\text{max}} - A)) < \chi(-Z_{\text{max}})$。
• 相对通用奇点的解析Poincaré级数通过在循环上的相同最小化过程确定，从而与子解析的上同调相联系。