[论文解读] Invariant Hilbert schemes

Michel Brion|arXiv (Cornell University)|Feb 1, 2011

Advanced Algebra and Geometry参考文献 55被引用 14

一句话总结

本文引入了不变希尔伯特纲（invariant Hilbert scheme）作为具有指定G-模结构的坐标环中闭G-稳定子概形的模空间，推广了G-希尔伯特纲与多加权希尔伯特纲。它证明了在拟射影基上存在一个普遍族，并将该框架应用于通过权幺半群分类球对称概形，证明了具有给定权幺半群的美妙G-概形的模空间同构于仿射空间。

ABSTRACT

This is a survey article on moduli of affine schemes equipped with an action of a reductive group. The emphasis is on examples and applications to the classification of spherical varieties.

研究动机与目标

• 为G-概形中具有坐标环内指定G-模结构的闭G-稳定子概形构造一个模空间——称为不变希尔伯特纲。
• 将现有构造如G-希尔伯特纲与多加权希尔伯特纲推广至半单群作用的设定。
• 将不变希尔伯特纲应用于通过其权幺半群对球对称概形（特别是美妙概形）进行分类。
• 证明具有固定权幺半群的美妙G-概形的模空间同构于仿射空间，从而为分类提供几何实现。

提出的方法

• 通过最高权理论将一般情形约化为可对角化群的情形，利用Haiman与Sturmfels关于多加权希尔伯特纲的已知结果。
• 不变希尔伯特纲被定义为参数化具有固定希尔伯特函数（编码G-模重数）的G-稳定子概形的拟射影概形上的普遍族。
• 计算了在点Z处的扎里斯基切空间，特别关注轨道闭包，使用等变形理论。
• 引入了一个广义的希尔伯特-肖夫映射，将不变希尔伯特纲映射到范畴商X//G。
• 该方法利用了球对称概形的坐标环是重数自由的性质，从而可通过提升至更大的半单群作用，在仿射空间上构造平坦族。
• 关键技术工具是障碍空间T²(X₀)ᴳ的消失，这蕴含模空间的光滑性，并导致同构MΓ ≅ 𝔸ʳ。

实验结果

研究问题

• RQ1 能否为G-概形中具有坐标环内指定G-模结构的G-稳定子概形构造一个模空间，从而推广现有的希尔伯特纲？
• RQ2 不变希尔伯特纲与球对称概形的分类（特别是其权幺半群）有何关系？
• RQ3 具有固定权幺半群的美妙G-概形的模空间是否光滑且同构于仿射空间？
• RQ4 在球对称情形下，不变希尔伯特纲上普遍族的几何结构如何？
• RQ5 不变希尔伯特纲能否用于实现球对称概形退化为具有分次坐标环的更简单概形？

主要发现

• 不变希尔伯特纲Hilbᴳₕ(X)作为拟射影概形存在，并参数化X中具有坐标环内固定G-模结构的G-稳定子概形。
• 对于半单群G与G-模V，不变希尔伯特纲推广了G-希尔伯特纲与多加权希尔伯特纲。
• 当G为可对角化群时，不变希尔伯特纲退化为多加权希尔伯特纲，从而恢复了Haiman与Sturmfels的构造。
• 具有给定权幺半群Γ的美妙G-概形的模空间MΓ同构于仿射空间𝔸ʳ，其中r为球对称根的个数。
• 在MΓ上的普遍族被实现为表示积中关于G×C-稳定的闭子概形，且具有到𝔸ʳ的平坦、等变态射。
• 在SL₂的情形下，对概形𝔹ℙ(2)的模空间同构于𝔸¹，且普遍族由判别式态射给出。