[论文解读] Reducibility of nilpotent commuting varieties

Robert M. Guralnick, Nham V. Ngo|arXiv (Cornell University)|Aug 11, 2013

Algebraic Geometry and Number Theory参考文献 10被引用 3

一句话总结

本文利用涉及抛物子群和轨道闭包的表示论与几何技术，证明了对所有 $n, r \geq 4$，幂零交换簇 $C_r(\mathcal{N}_n)$ 是可约的。它证明了在某些条件下，$C_r(\mathfrak{gl}_n)$ 的可约性蕴含 $C_r(\mathcal{N}_n)$ 的可约性，并为 $C_r(\mathcal{N}_n)$ 和 $C_r(\mathfrak{gl}_n)$ 的维数建立了新的下界，显著改进了先前的估计。

ABSTRACT

Let $\N_n$ be the set of nilpotent $n$ by $n$ matrices over an algebraically closed field $k$. For each $r\ge 2$, let $C_r(\N_n)$ be the variety consisting of all pairwise commuting $r$-tuples of nilpotent matrices. It is well-kown that $C_2(\N_n)$ is irreducible for every $n$. We study in this note the reducibility of $C_r(\N_n)$ for various values of $n$ and $r$. In particular it will be shown that the reducibility of $C_r(\mathfrak{gl}_n)$, the variety of commuting $r$-tuples of $n$ by $n$ matrices, implies that of $C_r(\N_n)$ under certain condition. Then we prove that $C_r(\N_n)$ is reducible for all $n, r\ge 4$. The ingredients of this result are also useful for getting a new lower bound of the dimensions of $C_r(\N_n)$ and $C_r(\mathfrak{gl}_n)$. Finally, we investigate values of $n$ for which the variety $C_3(\N_n)$ of nilpotent commuting triples is reducible.

研究动机与目标

• 确定 $r \geq 3$ 时幂零交换簇 $C_r(\mathcal{N}_n)$ 的可约性状态，特别是高秩情形。
• 研究 $C_r(\mathfrak{gl}_n)$ 与 $C_r(\mathcal{N}_n)$ 可约性之间的关系，检验二者可约性行为相似的猜想。
• 利用抛物子群的轨道闭包，为 $C_r(\mathcal{N}_n)$ 和 $C_r(\mathfrak{gl}_n)$ 的维数建立新的下界。
• 缩小 $n'_3$ 的区间，即最小的 $n$ 使得 $C_3(\mathcal{N}_n)$ 可约，改进先前的估计。

提出的方法

• 利用 $GL_n(k)$ 的抛物子群 $P$ 的轨道闭包 $G \cdot \mathfrak{u}_P^r$，其中 $\mathfrak{u}_P$ 是 $P$ 的未齐次根的李代数。
• 通过纤维维数定理计算 $V_P = G \cdot \mathfrak{u}_P^r$ 的维数，从而得到 $\dim C_r(\mathcal{N}_n)$ 的下界。
• 应用一个判别准则：若 $C_r(\mathcal{N}_n)$ 是不可约的，则其中任意 $r$-元组生成的子代数维数至多为 $n-1$，从而在 $n,r \geq 4$ 时导出矛盾。
• 构造一个 $4s \times 4s$ 大小的特定幂零矩阵 $v$，其中心化子 $z(v)$ 包含一个维数为 $4s^2$ 的子空间 $\Gamma$，并通过分析 $C_2(\Gamma)$ 来界定 $\dim C_3(\mathcal{N}_n)$。
• 利用不等式 $\dim C_3(\mathcal{N}_n) \geq n^2 + s^2$，并与不可约 $C_3(\mathcal{N}_n)$ 的已知上界 $n^2 + n - 2$ 比较，当 $s \geq 4$ 时导出矛盾。
• 通过证明 $C_r(\mathcal{N}_n)$ 在 $r>3$ 时对所有 $n,r \geq 4$ 均可约，将 $r=3$ 的方法推广至 $r>3$，使用类似的轨道与维数论证。

实验结果

研究问题

• RQ1 对所有 $n, r \geq 4$，$C_r(\mathcal{N}_n)$ 是否可约？
• RQ2 在某些条件下，$C_r(\mathfrak{gl}_n)$ 的可约性是否蕴含 $C_r(\mathcal{N}_n)$ 的可约性？
• RQ3 使得 $C_3(\mathcal{N}_n)$ 可约的最小 $n$ 是多少？该值能否被限制在 30 以下？
• RQ4 能否利用抛物子群的轨道闭包为 $C_r(\mathcal{N}_n)$ 和 $C_r(\mathfrak{gl}_n)$ 的维数建立新的下界？
• RQ5 $C_r(\mathcal{N}_n)$ 是否是等维的？抑或存在多个不同维数的不可约分支？

主要发现

• 幂零交换簇 $C_r(\mathcal{N}_n)$ 对所有 $n, r \geq 4$ 均为可约，解决了交换簇理论中一个关键的开放问题。
• 对 $r > 3$，在适当条件下，$C_r(\mathfrak{gl}_n)$ 的可约性蕴含 $C_r(\mathcal{N}_n)$ 的可约性，且 $n'_r = 4$ 对 $r > 3$ 成立，与 $n_r$ 一致。
• $n'_3$（即最小的 $n$ 使得 $C_3(\mathcal{N}_n)$ 可约）的上界被改进为 $n'_3 \leq 16$，显著缩小了其区间范围，从 $[10,30]$ 缩小至更小的范围。
• 为 $\dim C_r(\mathcal{N}_n)$ 建立了一个新的下界 $(r+1)\dim \mathfrak{u}_P$，该下界在大多数 $n, r \geq 4$ 的情况下超过经典下界 $n^2 - n + (r-1)(n-1)$。
• 证明了 $V_P = G \cdot \mathfrak{u}_P^r$ 是 $C_r(\mathcal{N}_n)$ 在 $n,r \geq 4$ 时的一个不可约分支，支持了 $V_P$ 是极大不可约分支的猜想。
• 对 $C_r(\mathfrak{gl}_n)$，推导出一个新的下界 $(r+1)\dim \mathfrak{u}_P + r$，当 $n \geq 4, r \geq 9$ 或 $n \geq 12, r \geq 4$ 时，该下界超过经典下界。