[论文解读] Nested Punctual Hilbert Schemes and Commuting Varieties of Parabolic Subalgebras

Michaël Bulois, Laurent Evain|arXiv (Cornell University)|Jun 20, 2013

Advanced Topics in Algebra参考文献 25被引用 10

一句话总结

本文建立了嵌套点态 Hilbert 簇与 $M_n({\boldsymbol{k}})$ 中抛物子代数的交换簇之间的几何联系，证明了通过循环向量构造和轨道分解，可以分析这些模空间的不可约性与维数。结果表明，$S^{[2,n]}_0$、$S^{[n-2,n]}_0$ 与 $S^{[\![n-2,n]\!]}_0$ 均为等维的，维数为 $n-1$，且恰好有 $\left\lfloor\frac{n}{2}\right\rfloor$ 个不可约分支。

ABSTRACT

It is known that the variety parametrizing pairs of commuting nilpotent matrices is irreducible and that this provides a proof of the irreducibility of the punctual Hilbert scheme in the plane. We extend this link to the nilpotent commuting variety of parabolic subalgebras of $M\_n(\K)$ and to the punctual nested Hilbert scheme. By this method, we obtain a lower bound on the dimension of these moduli spaces. We characterize the numerical conditions under which they are irreducible. In some reducible cases, we describe the irreducible components and their dimension.

研究动机与目标

• 将已知的交换矩阵与 Hilbert 簇之间的联系扩展至嵌套与点态情形。
• 分析抛物子代数 $\mathfrak{p}_{k,n} \subset M_n(\boldsymbol{k})$ 的幂零交换簇 $\mathcal{N}(\mathfrak{p}_{k,n})$ 的不可约性与维数。
• 通过轨道分解与循环向量条件，刻画 $\mathcal{N}(\mathfrak{p}_{k,n})$ 与 $\mathcal{N}(\mathfrak{q}_{k,n})$ 的不可约分支。
• 通过循环向量建立几何商构造，将交换簇与嵌套 Hilbert 簇几何联系起来。
• 确定 $S^{[2,n]}_0$、$S^{[n-2,n]}_0$ 与 $S^{[\![n-2,n]\!]}_0$ 中不可约分支的数量与维数。

提出的方法

• 利用循环向量构造几何商 $\widetilde{\mathcal{N}}^{\text{cyc}}(\mathfrak{p}_{k,n})/P_{k,n}$ 与 $\widetilde{\mathcal{N}}^{\text{cyc}}(\mathfrak{q}_{k,n})/Q_{k,n}$，以参数化模共轭的概形。
• 利用 Hilbert 簇的函子定义及其表示性，将零维概形与交换矩阵对联系起来。
• 尽管群作用非重新性，仍应用 Mumford 的几何不变量理论构造商空间。
• 通过组合数据 $\boldsymbol{\mu} \in \mathcal{P}^{\prime\prime}(n)$ 满足 $c_{\boldsymbol{\mu}} = 1$ 对 $\mathcal{N}(\mathfrak{q}_{2,n})$ 中的轨道进行分类，将轨道类型与分支维数联系起来。
• 通过证明 $\mathfrak{p}_{2,n}$ 中每对元素均共轭于 $\mathfrak{q}_{2,n}$ 中的一对，将 $\mathcal{N}(\mathfrak{p}_{2,n})$ 的研究约化为 $\mathcal{N}(\mathfrak{q}_{2,n})$ 的研究。
• 利用满同态 $S^{[\![n-2,n]\!]}_0 \to S^{[n-2,n]}_0$ 控制分支数并确立等维性。

实验结果

研究问题

• RQ1 对于抛物子代数 $\mathfrak{p}_{k,n} \subset M_n(\boldsymbol{k})$，幂零交换簇 $\mathcal{N}(\mathfrak{p}_{k,n})$ 在何种条件下是不可约的？
• RQ2 嵌套点态 Hilbert 簇 $S^{[2,n]}_0$ 的不可约分支的维数是多少？
• RQ3 $S^{[2,n]}_0$ 拥有多少个不可约分支，其几何结构如何？
• RQ4 能否通过轨道分解从 $\mathcal{N}(\mathfrak{q}_{2,n})$ 的结构推导出 $\mathcal{N}(\mathfrak{p}_{2,n})$ 的等维性？
• RQ5 循环向量在构造交换簇与 Hilbert 簇之间的几何商中起什么作用？

主要发现

• 嵌套点态 Hilbert 簇 $S^{[2,n]}_0$、$S^{[n-2,n]}_0$ 与 $S^{[\![n-2,n]\!]}_0$ 均为等维的，维数为 $n-1$。
• 这些概形每个恰好有 $\left\lfloor\frac{n}{2}\right\rfloor$ 个不可约分支，对应于满足 $c_{\boldsymbol{\mu}} = 1$ 的幂零对的组合类型。
• $\mathcal{N}(\mathfrak{p}_{2,n})$ 的不可约分支与满足 $c_{\boldsymbol{\mu}} = 1$ 的 $\boldsymbol{\mu} \in \mathcal{P}^{\prime\prime}(n)$ 一一对应，且所有分支的维数均为 $\dim \mathfrak{p}_{2,n} - 1$。
• $\mathcal{N}(\mathfrak{q}_{2,n})$ 有 $\left\lfloor\frac{n}{2}\right\rfloor$ 个不可约分支，每个分支的维数为 $\dim \mathfrak{q}_{2,n} - 1$，且映射 $\mathcal{N}(\mathfrak{q}_{2,n}) \to \mathcal{N}(\mathfrak{p}_{2,n})$ 诱导了分支集上的满射。
• 通过循环向量的几何商构造确保 $\widetilde{\mathcal{N}}^{\text{cyc}}(\mathfrak{p}_{k,n})/P_{k,n}$ 与 $\widetilde{\mathcal{N}}^{\text{cyc}}(\mathfrak{q}_{k,n})/Q_{k,n}$ 是良定义的，并同构于相应的嵌套 Hilbert 簇。
• 对于 $n \geq 6$，Borel 情形 $\mathfrak{q}_{n,n}$ 允许连续的轨道族，意味着 $\mathcal{N}(\mathfrak{q}_{n,n})$ 不是等维的，但这一现象在 $\mathfrak{p}_{2,n}$ 中不会发生。