5
$\begingroup$

This may be an elementary question, but I'm having trouble coming up with an answer: Let $\tilde{N} = T^*(G/B)$ be the Springer resolution of the nilpotent cone. Does it have finitely many $G$-orbits? If not, what's the "first" example where it doesn't?

The answer for $SL_2$ is obviously yes (finitely many orbits). The answer for $SL_3$ also seems to be yes. There are three nilpotent orbits. The Springer fiber above the zero nilpotent orbit is $G/B$ and has one orbit associated to it. The fiber above the regular orbit is a point, so it has one orbit associated to it. Above a subregular element, say $x = \left(\begin{matrix} 0&1&0\\0&0&0\\0&0&0\end{matrix}\right)$, the fiber is given by flags (the notation here is: take the span of the first column, then the span of the first two columns etc.) $$\left(\begin{matrix} a&1&0\\0&0&1\\b&0&0\end{matrix}\right), \left(\begin{matrix} 1&0&0\\0&a&1\\0&b&0\end{matrix}\right)$$ i.e. two $\mathbb{P}^1$ intersecting nodally. However, the torus $$\left(\begin{matrix}t&0&0\\0&t&0\\0&0&t^{-2}\end{matrix}\right)$$ stabilizes $x$, and acts on this fiber by five orbits. This seems to indicate to me that there are only finitely many orbits for $SL_3$. Same seems to be true for $SL_4$, though I'm less certain about my calculation there.

On the other hand, I can't think of a reason why this would be the case, and can't seem to find anything about it in the literature (which leads me to believe it's possibly untrue, and I'm missing something obvious).

$\endgroup$

1 Answer 1

7
$\begingroup$

The question is equivalent to studying the $B$-orbits in $\mathfrak u$. Then Kashin proved that for $G$ simple the number of $B$-orbits in $\mathfrak u$ is finite iff $G$ is of type $A_n$, $n\le4$ or $B_2$. See

"Orbits of an adjoint and co-adjoint action of Borel subgroups of a semisimple algebraic group. Problems in group theory and homological algebra (Russian), 141–158, Matematika, Yaroslav. Gos. Univ., Yaroslavlʹ, 1990".

So a counterexample to your question is $SL(6,\mathbb C)$.

The corresponding question for generalizided flag varieties was considered by Gerhard Röhrle and developed to a small industry in the '90s. For the start, see "Röhrle, Gerhard: Parabolic subgroups of positive modality. Geom. Dedicata 60 (1996), no. 2, 163–186".

$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.