[论文解读] Cox rings of du Val singularities

Laura Facchini, Víctor González‐Alonso+1 more|arXiv (Cornell University)|Feb 3, 2015

Coding theory and cryptography参考文献 2被引用 3

一句话总结

本文通过表面奇点的最小解析的相对Picard群定义了Cox环，并计算了du Val奇点——具体为$\mathbb{D}_n$、$\mathbb{E}_6$、$\mathbb{E}_7$和$\mathbb{E}_8$——的Cox环。主要贡献在于将这些环明确表示为多项式环的商环，其关系来源于例外除子中$(-2)$-曲线的几何结构。

ABSTRACT

In this note we introduce Cox rings of singularities and explicitly compute them in the case of du Val singularities $\mathbb{D}_n,\mathbb{E}_6,\mathbb{E}_7$ and $\mathbb{E}_8$.

研究动机与目标

• 将Cox环的概念推广至具有自由相对Picard群的正常表面奇点，扩展经典光滑代数簇上的构造方法。
• 显式计算du Val奇点的Cox环，这些奇点是具有清晰解析几何结构的有理表面奇点。
• 为相对Picard群自由且有限生成的情形，提供一种系统化的Cox环计算方法，利用例外除子中$(-2)$-曲线的结构。
• 通过从最简单且对称的类——du Val奇点——出发，为研究更一般表面奇点的Cox环奠定基础。

提出的方法

• 将表面奇点$(X,O)$的Cox环定义为$\operatorname{Cox}(X) = \bigoplus_{L \in \operatorname{Pic}(\widetilde{X}/X)} H^0(\widetilde{X}, L)$，其中$\widetilde{X}$为最小解析，$\operatorname{Pic}(\widetilde{X}/X)$为相对Picard群。
• 利用例外除子$E = \pi^{-1}(O)$中$(-2)$-曲线$E_i$诱导的同构$\operatorname{Pic}(\widetilde{X}/X) \cong \mathbb{Z}^n$，以多度$\delta_i(L) = \deg(L|_{E_i})$为度量。
• 通过$\operatorname{Pic}(\widetilde{X}/X)$的分次结构在$\operatorname{Cox}(X)$上构造一个环面作用，从而可应用几何不变性理论（GIT）将奇点构作商空间。
• 对于$\mathbb{D}_n$，通过利用对应于$E_i$的截面$y_i$对线丛进行递归约化，显式计算Cox环，得到以单项式为生成元的表达式。
• 对于$\mathbb{E}_n$奇点，通过约去冗余变量的约化引理，将Cox环表示为多项式环模一个关系：$y_1x_1^2 + y_2y_3^2x_3^3 + \cdots + y_{n-1}^{n-4}x_{n-1}^{n-3} = 0$。
• 利用解析的对偶图结构指导变量赋值与关系构造，确保与多度分次结构一致。

实验结果

研究问题

• RQ1 如何将Cox环从光滑代数簇推广至具有自由相对Picard群的正常表面奇点？
• RQ2 du Val奇点$\mathbb{D}_n$、$\mathbb{E}_6$、$\mathbb{E}_7$和$\mathbb{E}_8$的Cox环的显式结构是什么？
• RQ3 $\mathbb{E}_n$奇点的Cox环能否表示为单个关系定义的多项式环的商？若能，该关系的形式如何？
• RQ4 在$(-2)$-曲线更复杂的构型中（例如三重节点且无长度为1的分支），约化引理（如引理4.6）在何时会失效？这对Cox环结构有何影响？
• RQ5 本文用于du Val奇点的方法在多大程度上可推广至其他表面奇点，如Hirzebruch-Jung奇点或非Dynkin构型？

主要发现

• 在$\mathbb{D}_n$奇点下，Cox环同构于$\mathbb{C}[x_1, x_2, x_3, y_0, y_1, \dots, y_n] / (y_1x_1^2 + y_2y_3^2x_3^3 + \cdots + y_{n-1}^{n-4}x_{n-1}^{n-3})$，具有显式的单项式生成元与关系。
• 对于$\mathbb{E}_6$，Cox环为$\mathbb{C}[Z_1, Z_2, Z_3, Z_4] / (Z_2^2 - Z_3Z_4)$，其中$Z_i$为$x_i$与$y_i$的单项式表达，奇点为该代数曲面与线性截面的交。
• 在$\mathbb{E}_7$下，Cox环为$\mathbb{C}[Z_1, Z_2, Z_3, Z_4] / (Z_3^2 - Z_2Z_4)$，奇点由该曲面与三次代数曲面$H_7$的交得到。
• 在$\mathbb{E}_8$下，Cox环为$\mathbb{C}[Z_1, Z_2, Z_3] / (Z_2^5 + Z_3^3 + Z_1^2)$，对应于$E_8$构型。
• $\mathbb{E}_n$奇点的定义关系的一般形式为$y_1x_1^2 + y_2y_3^2x_3^3 + \cdots + y_{n-1}^{n-4}x_{n-1}^{n-3} = 0$，与低秩情形的模式一致。
• 在更复杂的构型中（如无长度1分支的三重节点），$\mathbb{D}_n$中使用的约化引理会失效，表明该方法对对偶图结构具有敏感性。