[论文解读] On the symmetric subscheme of Hilbert scheme of points

Kyungyong Lee|arXiv (Cornell University)|Aug 26, 2007

Advanced Theoretical and Applied Studies in Material Sciences and Geometry参考文献 6被引用 3

一句话总结

本文为当 $d \geq 3$ 时，提供了希尔伯特概形 $\text{Hilb}^{d+1}(\mathbb{C}^d)$ 中最对称的仿射开子概形 $U$ 的显式代数描述，表明其同构于一个对称代数关于一个舒尔模的商。通过利用舒尔模和利特尔伍德-理查森法则分析 $U$ 的希尔伯特函数与维数，本文构造了一个大维数的非根理想族，证明了当 $n > d \geq 12$ 时，$\text{Hilb}^n(\mathbb{C}^d)$ 是不可约的。其关键贡献在于通过舒尔模与理想投影算子，从几何与表示论角度刻画了 $U$。

ABSTRACT

We consider the Hilbert scheme Hilb^{d+1}(C^d) of (d+1) points in affine d-space C^d (d > 2), which includes the square of any maximal ideal. We describe equations for the most symmetric affine open subscheme of Hilb^{d+1}(C^d), in terms of Schur modules. In addition we prove that Hilb^{d+1}(C^d) is reducible for n>d>11.

研究动机与目标

• 描述当 $d \geq 3$ 时，$\text{Hilb}^{d+1}(\mathbb{C}^d)$ 中最对称的仿射开子概形 $U$ 的方程。
• 通过构造一个大维数的非根理想族，证明当 $n > d \geq 12$ 时，$\text{Hilb}^n(\mathbb{C}^d)$ 是不可约的。
• 利用舒尔模与利特尔伍德-理查森法则，提供一个表示论框架，以分析 $U$ 的希尔伯特函数。
• 推测将 $U$ 的描述推广至 $\mathbb{C}[\mathbf{x}]$ 中更高次单项式基的可能性。

提出的方法

• 对称仿射子概形 $U$ 被定义为 $\text{Hilb}^{d+1}(\mathbb{C}^d)$ 的开子集，其中 $\{1, x_1, \dots, x_d\}$ 构成 $\mathbb{C}[\mathbf{x}]/I$ 的 $\mathbb{C}$-基，从而保证最大对称性。
• 子概形 $U$ 的坐标环被描述为 $\mathbb{C}^d \times \text{Spec}\left(\frac{\text{Sym}^\bullet(\mathbb{S}_{(3,1,1,\dots,1,0)}V)}{\langle \mathbb{S}_{(4,3,2,\dots,2,1)}V \rangle}\right)$，其中 $V$ 是一个 $d$-维 $\mathbb{C}$-向量空间。
• 通过一个单射同态 $j: \mathbb{S}_{(4,3,2,\dots,2,1)}V \hookrightarrow \text{Sym}^2(\mathbb{S}_{(3,1,1,\dots,1,0)}V)$ 定义商环的结构。
• 利用利特尔伍德-理查森法则，对商环的希尔伯特函数 $H(r)$ 给出下界估计，表明 $H(r)$ 的增长速度超过 $\mathcal{O}(r^{k\binom{d-k}{2}})$ 对任意 $k=0,\dots,d-1$，从而暗示其高维性。
• 通过 $d \times (d+1)$ 矩阵与理想投影算子构造理想族，得到当 $d=13$ 时的 $193$-维族，超过根分量的 $182$-维闭包，从而证明当 $d \geq 13$ 时 $U$ 不可约。
• 当 $d=12$ 时，构造出一个 $156$-维理想族，其维数与根分量相同但不包含于其中，从而证明 $d=12$ 时 $U$ 不可约。

实验结果

研究问题

• RQ1 当 $d \geq 3$ 时，$\text{Hilb}^{d+1}(\mathbb{C}^d)$ 中最对称的仿射开子概形 $U$ 的代数结构是什么？
• RQ2 能否通过显式构造非根理想族，证明当 $n > d \geq 12$ 时，希尔伯特概形 $\text{Hilb}^n(\mathbb{C}^d)$ 是不可约的？
• RQ3 子概形 $U$ 的坐标环的希尔伯特函数如何增长？这对其维数有何含义？
• RQ4 定义 $U$ 的方程能否推广至 $\mathbb{C}[\mathbf{x}]$ 中更高次单项式基？
• RQ5 由 $\mathbb{S}_{(4,3,2,\dots,2,1)}V$ 生成的理想与 $U$ 的主（根）分量之间有何关系？

主要发现

• 对称仿射子概形 $U \subset \text{Hilb}^{d+1}(\mathbb{C}^d)$ 同构于 $\mathbb{C}^d \times \text{Spec}\left(\frac{\text{Sym}^\bullet(\mathbb{S}_{(3,1,1,\dots,1,0)}V)}{\langle \mathbb{S}_{(4,3,2,\dots,2,1)}V \rangle}\right)$，通过舒尔模提供了显式的代数描述。
• 当 $d=13$ 时，构造出一个 $193$-维理想族，超过根分量的 $182$-维闭包，从而证明当 $d \geq 13$ 时 $U$ 不可约。
• 当 $d=12$ 时，构造出一个 $156$-维理想族，其维数与根分量相同但不包含于其中，从而证明 $d=12$ 时 $U$ 不可约。
• 商环的希尔伯特函数 $H(r)$ 满足不等式 $H(r) \geq \sum_{\lambda: \lambda_{d-k}+\cdots+\lambda_d \leq rk} m_\lambda \cdot \dim_{\mathbb{C}} \mathbb{S}_\lambda$ 对所有 $r \geq 2$ 及 $k=0,\dots,d-1$ 成立，暗示其增长速度超过多项式。
• 舒尔模 $\mathbb{S}_{(3,1,1,\dots,1,0)}V$ 的维数为 $d\binom{d+1}{2} - d$，而 $\mathbb{S}_{(4,3,2,\dots,2,1)}V$ 的维数为 $\frac{d^2(d^2 - 4)}{3}$，这些值用于显式计算 $H(1)$ 与 $H(2)$。
• 当 $d=3$ 时，验证了希尔伯特多项式 $\tilde{H}(r)$ 对所有 $r \geq 0$ 都等于 $H(r)$；当 $d=4,5$ 时，通过 Macaulay 2 计算也验证了该结论。