[論文レビュー] 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$ に対して、特に高ランクの場合に、nilpotent commuting varieties $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$ の区間を狭めること、すなわち、$C_3(\mathcal{N}_n)$ が非可約である最小の $n$ を30未満に抑えること。

提案手法

• 放物部分群 $P$ の $GL_n(k)$ に対して、$\mathfrak{u}_P$ を $P$ のユニポテンツルートのリー代数とするとき、軌道閉包 $G \cdot \mathfrak{u}_P^r$ を用いる。
• ファイバー次元定理を用いて $V_P = G \cdot \mathfrak{u}_P^r$ の次元を計算し、$\dim C_r(\mathcal{N}_n)$ の下界を得る。
• もし $C_r(\mathcal{N}_n)$ が非可約であれば、それらに属する任意の $r$-tuple が生成する部分代数の次元は $n-1$ 以下であるという基準を適用し、$n,r \geq 4$ の場合に矛盾を導く。
• 中心化子 $z(v)$ に次元 $4s^2$ の部分空間 $\Gamma$ を含む $4s \times 4s$ の特定の冪零行列 $v$ を構成し、$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$ のとき矛盾を導く。
• $r=3$ の方法を $r>3$ に一般化し、同様の軌道および次元の議論を用いて、すべての $n,r \geq 4$ に対して $C_r(\mathcal{N}_n)$ が非可約であることを示す。

実験結果

リサーチクエスチョン

• 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)$ は等次元的か、それとも異なる次元の複数の非可約成分が存在するか？

主な発見

• すべての $n, r \geq 4$ に対して、nilpotent commuting variety $C_r(\mathcal{N}_n)$ は非可約であることが示され、可換多様体理論における重要な未解決事項が解決された。
• $r > 3$ の場合、$C_r(\mathfrak{gl}_n)$ の非可約性が適切な条件下で $C_r(\mathcal{N}_n)$ の非可約性を含む。$n'_r = 4$ であり、$r > 3$ のとき $n_r$ と一致する。
• $n'_3$ の上界が $n'_3 \leq 16$ に改善され、$[10,30]$ から著しく範囲が狭められた。
• 新しい下界 $\dim C_r(\mathcal{N}_n) \geq (r+1)\dim \mathfrak{u}_P$ が確立され、$n, r \geq 4$ の大多数のケースで、古典的下界 $n^2 - n + (r-1)(n-1)$ を上回る。
• $n,r \geq 4$ のとき、$V_P = G \cdot \mathfrak{u}_P^r$ が $C_r(\mathcal{N}_n)$ の非可約成分であることが示され、$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$ のとき、古典的下界を上回る。