Skip to main content
3 of 3
added rigid orbits
Victor Protsak
  • 14.5k
  • 4
  • 68
  • 94

The answer is often "yes". Here is the sketch of how to obtain a nilpotent orbit as a degeneration of semisimple orbits in the $GL_n$ case. Let $d$ be a partition of $n$ with $k$ parts and $\overline{\mathcal{O}}_{d'}$ be the closure of the conjugacy class of nilpotent $n\times n$ matrices with Jordan blocks sizes given by the dual partition $d'.$ Denote by $\mathcal{O}_d(t_1,\ldots, t_k)$ the conjugacy class of the block diagonal matrix with scalar diagonal blocks $t_i I_{d_i}.$ Then

$$\lim_{t\to 0}\ \mathcal{O}_d(t_1,\ldots, t_k)=\overline{\mathcal{O}}_{d'}.$$

This is manifested on the level of defining equations using Oshima's approach from

A quantization of conjugacy classes of matrices. Adv. Math. 196 (2005), no. 1, 124–146.

For a general $\mathfrak{g},$ this amounts to the induction of (zero-dimensional) orbits and to the correspondence between semisimple and regular orbits. In particular, every Richardson nilpotent orbit can be obtained as a degeneration in the same way. However, the defining equations are not known to the same degree of explicitness.

On the other hand, if $\mathfrak{g}$ is simple of type other than "A" then the minimal nilpotent orbit is rigid, meaning that it cannot be deformed within the family of adjoint orbits. Existence of rigid orbits makes quantization of orbits a non-trivial task, since a very natural prescription for quantization of semisimple orbits needs to be supplemented by ad hoc quantizations of rigid orbits (several papers of Joseph addressed this question). Rigid orbits have been completely classified: if my memory serves, the answer is in Collingwood-McGovern.

Victor Protsak
  • 14.5k
  • 4
  • 68
  • 94