Let be a semisimple algebraic group with Lie algebra . For a nilpotent -orbit , let denote the maximal dimension of a subspace that is contained in the closure of . In this note, we prove that $d_\mathcal O \le \frac{1}{2}\dim\mathcal O\mathcal OVB\dim V= \frac{1}{2}\dim\mathcal OV\mathcal OB$-stable subspace constructed via an -triple, which is called the Dynkin ideal. We then characterise the nilpotent orbits such that the Dynkin ideal (1) has the minimal dimension among all -stable subspaces such that is dense in , or (2) is the only -stable subspace such that $\mathfrak c\cap\mathcal O\mathfrak c$.

生成讲解博客的中文版本

生成AI智能校验的中文版本