[论文解读] The Hilbert scheme of points and its link with border basis

Mari-Emi Alonso, Jérôme Brachat+1 more|arXiv (Cornell University)|Nov 18, 2009

Polynomial and algebraic computation参考文献 23被引用 7

一句话总结

本文提出了一组新的、简化的二次普吕克型方程，将点状希尔伯特概形 $Τ\text{Hilb}^{\mu}(\mathbb{P}^n)$ 定义为单个格拉斯曼ian中的子概形，相较于以往方法，提供了更高效且显式的表示。这些方程源于边界基的交换关系与生成关系，且证明该概形表示了点状希尔伯特函子，通过相对于边界基的投影给出了新的切空间描述。

ABSTRACT

In this paper, we give new explicit representations of the Hilbert scheme of $μ$ points in $\PP^{r}$ as a projective subvariety of a Grassmanniann variety. This new explicit description of the Hilbert scheme is simpler than the previous ones and global. It involves equations of degree $2$. We show how these equations are deduced from the commutation relations characterizing border bases. Next, we consider infinitesimal perturbations of an input system of equations on this Hilbert scheme and describe its tangent space. We propose an effective criterion to test if it is a flat deformation, that is if the perturbed system remains on the Hilbert scheme of the initial equations. This criterion involves in particular formal reduction with respect to border bases.

研究动机与目标

• 将点状希尔伯特概形 $Τ\text{Hilb}^{\mu}(\mathbb{P}^n)$ 作为单个格拉斯曼ian中的子概形，提供一种有效且显式的表示。
• 通过推导边界基在多项式环中交换关系与生成关系的全新完整二次方程组，简化以往构造中高次的定义方程。
• 证明由这些二次方程与标准普吕克关系所定义的概形确实表示了点状希尔伯特函子 $Τ\mathbf{Hilb}^{\mu}_{\mathbb{P}^n}$。
• 通过相对于底层边界基的投影，提供希尔伯特概形在一点处切空间的全新几何描述。

提出的方法

• 从多项式环中边界基的交换关系与生成关系出发，推导希尔伯特概形的新定义方程。
• 将这些关系表示为单个格拉斯曼ian中普吕克坐标的二次方程，相较于以往构造显著降低了次数。
• 利用持久性定理与对偶性，通过这些新方程将希尔伯特概形嵌入格拉斯曼ian中，作为射影概形。
• 利用边界基的结构，刻画具有固定希尔伯特多项式 $μ$ 的零维概形的平坦族。
• 将希尔伯特概形在一点处的切空间重新表述为相对于边界基的投影空间，提供几何解释。
• 通过证明由新方程所定义的概形满足普遍性质，从而证明点状希尔伯特函子的表示性。

实验结果

研究问题

• RQ1 点状希尔伯特概形 $Τ\text{Hilb}^{\mu}(\mathbb{P}^n)$ 是否能通过比以往构造更低次的完整显式方程组来定义？
• RQ2 边界基的交换关系与生成关系如何系统地转化为格拉斯曼ian中希尔伯特概形的定义方程？
• RQ3 由这些新方程所定义的概形是否足以表示点状希尔伯特函子 $Τ\mathbf{Hilb}^{\mu}_{\mathbb{P}^n}$？
• RQ4 希尔伯特概形在一点处的切空间，相对于底层边界基结构，其几何解释为何？

主要发现

• 本文构建了一组完整的、有效的定义方程，将 $Τ\text{Hilb}^{\mu}(\mathbb{P}^n)$ 表示为单个格拉斯曼ian中的子概形，所有方程在普吕克坐标下均为二次。
• 相较于贝叶与伊阿罗比诺-卡内夫的方程（其次数等于 $n+1$ 个变量中次数为 $μ$ 的单项式个数减去 $μ$），这些新方程更简单且次数更低。
• 由这些二次方程与标准普吕克关系所定义的概形 $Τ\text{Hilb}^{\mu}(\mathbb{P}^n)$ 确实表示了点状希尔伯特函子 $Τ\mathbf{Hilb}^{\mu}_{\mathbb{P}^n}$。
• 希尔伯特概形在一点处的切空间被表征为相对于底层边界基的投影空间，提供了新的几何解释。
• 该构造通过仅使用新二次方程与普吕克关系，给出了点状希尔伯特函子表示性的新证明。
• 该方法在格拉斯曼ian中为 $Τ\text{Hilb}^{\mu}(\mathbb{P}^n)$ 赋予了自然的射影概形结构，具有显式且低次的定义方程。