5
$\begingroup$

Let $G$ be your favorite simple complex Lie group, and $P\subset G$ your favorite parabolic subgroup. We can identify $T^*G/P$ with the space of pairs $$\{(gP,x)\in G/P\times \mathfrak g | x\perp \operatorname{Ad}_g(\mathfrak p)\}$$ where $\perp$ denotes perpendicularity in the Killing form. Thus, we have the second projection $p_2:T^*G/P\to \mathfrak g$; when $P=B$, this is the famous Springer map.

Now, let $e$ be your favorite nilpotent in $\mathfrak g$, and let $e,h,f$ be a completion of this to a $\mathfrak{sl}_2$ triple (which exists by Jacobson-Morozov). Then $S=e+\ker(\operatorname{ad}_f)\subset \mathfrak g$ is an affine subspace of $\mathfrak g$ transverse to the orbit $G\cdot e$ called the Slodowy slice to $e$.

It's a theorem that $p_2^{-1}(S)$ is a smooth symplectic variety (it's actually a symplectic reduction of $T^*G/P$ by the action of a nilpotent subgroup $M\subset G$ at a regular value of the moment map), and it's one that I like very much.

Does this variety have an agreed-upon name?

$\endgroup$
2
  • $\begingroup$ Does your question make sense with suitable modifications over an algebraically closed field of arbitrary characteristic? Slodowy slices often come up in characteristic $p$ in work by Premet and others. Also, a small nitpick if someone's favorite nilpotent is the zero element; this is the (usually trivial) case where Jacobson-Morosov doesn't apply. $\endgroup$ Commented Jan 10, 2011 at 14:19
  • 2
    $\begingroup$ This should all work over any field where $P$ and $e$ are defined, though maybe I'm missing something silly. As for the case of the 0 nilpotent, if you take f to be 0, then everything works, and e=h=f=0 satisfy the Chevalley relations of $\mathfrak{sl}_2$. $\endgroup$
    – Ben Webster
    Commented Jan 10, 2011 at 17:47

1 Answer 1

2
$\begingroup$

In my paper "Singular blocks of parabolic category O and finite W-algebras", these are called "S3-varieties." S3 is for "Slodowy-Springer-Spaltenstein."

$\endgroup$
4
  • 4
    $\begingroup$ So, I guess you can accept this answer as soon as someone else starts calling them S3-varieties as well. It's amazing you wrote an entire paper just for the possibility of extra MO reputation. $\endgroup$ Commented Jun 15, 2011 at 0:00
  • 2
    $\begingroup$ And since intent can be difficult to judge on the internet, let me say that my comment above should not be taken seriously. $\endgroup$ Commented Jun 15, 2011 at 0:03
  • 3
    $\begingroup$ This could be confused with Serre's S3 condition in commutative algebra. $\endgroup$ Commented Jun 15, 2011 at 1:42
  • 4
    $\begingroup$ That's true. Serre, Springer, Spaltenstein and Steinberg really should have thought of that. $\endgroup$
    – Ben Webster
    Commented Jun 16, 2011 at 7:14

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .