[论文解读] Gorenstein Threefold Singularities with Small Resolutions via Invariant Theory for Weyl Groups

Sheldon Katz, David R. Morrison|ArXiv.org|Feb 5, 1992

Advanced Algebra and Geometry参考文献 10被引用 47

一句话总结

该论文利用李群的韦尔群不变量理论，将所有具有不可约小解析的Gorenstein三维奇点分类为恰好六类。通过分析Pinkham构造中的同时解析与根系不变量，作者证明了通用超平面截面的奇点类型由单一不变量——'长度'——决定，并显式计算了每种情况下从部分解析空间到形变空间的映射。

ABSTRACT

We classify simple flops on smooth threefolds, or equivalently, Gorenstein threefold singularities with irreducible small resolution. There are only six families of such singularities, distinguished by Koll{á}r's {\em length} invariant. The method is to apply invariant theory to Pinkham's construction of small resolutions. As a by-product, generators of the ring of invariants are given for the standard action of the Weyl group of each of the irreducible root systems.

研究动机与目标

• 对所有具有不可约小解析的Gorenstein三维奇点进行分类。
• 通过识别一个普遍不变量，解决Pinkham构造中关于超平面截面选择的模糊性。
• 证明仅存在六类此类奇点，其特征由Kollár引入的“长度”不变量所刻画。
• 利用韦尔群不变量，显式计算从部分解析空间到形变空间的映射。
• 通过到PRes(S,v)和Def(S)的圆盘映射，建立此类奇点最一般情形的完整且可计算的描述。

提出的方法

• 使用Pinkham的构造，通过从圆盘到部分解析空间PRes(S,v)的映射来建模小解析。
• 将PRes(S,v)识别为商空间V/W₀，其中W₀是与有理双曲点相关的根系子系统的一个韦尔群。
• 应用Brieskorn和Tyurina的同步解析理论，加以扩展，以获得解析的显式可计算形式。
• 利用韦尔群W和W₀的不变量理论，分析映射PRes(S,v) → Def(S) = V/W。
• 显式计算形变空间Def(S)的定义方程，作为韦尔群作用下的不变量。
• 利用“长度”不变量区分六类，并重构已知例子，如x² + y² + z² + t²ᵏ = 0。

实验结果

研究问题

• RQ1 具有不可约小解析的Gorenstein三维奇点共有多少类？
• RQ2 何种不变量可刻画此类奇点的不同类别？
• RQ3 能否利用韦尔群的不变量理论显式计算映射PRes(S,v) → Def(S)？
• RQ4 当不假设超平面截面为一般情形时，Pinkham的构造是否仅产生有限多类？
• RQ5 此类小解析中，通用超平面截面的精确奇点类型为何？

主要发现

• 具有不可约小解析的Gorenstein三维奇点恰好分为六类，由“长度”不变量分类。
• 此类奇点的通用超平面截面具有一个有理双曲点，其类型由长度决定。
• 映射PRes(S,v) → Def(S)可显式计算为韦尔群W₀和W作用下根空间不变量的商。
• 当长度为1时，构造恢复了经典族x² + y² + z² + t²ᵏ = 0。
• 形变空间Def(S)的定义方程由韦尔群的齐次不变量给出，其显式表达式以初等对称多项式s₁至s₇表示。
• 该方法通过到PRes(S,v)的圆盘映射，为最一般此类奇点提供了完整且算法化的描述，最终奇点由与Def(S)的复合唯一确定。