1
$\begingroup$

What is known about local structure of actions of semi-simple groups? More precisely, suppose I have a semi-simple group $G$ acting on a variety $V$, and $x\in V$. Assume that the stabilizer of $x$ is a parabolic subgroup $P\subset G$. Can I always find a slice $x\in V'\subset V$ such that the natural map $G\times_P V'\to V$ is a local isomorphism near $x$?

$\endgroup$
3
  • $\begingroup$ The Luna slice theorem says something like this, but in the étale topology. A local isomorphism in the Zariski topology is too much to ask for. You can find a good exposition of the Luna slice theorem in Appendix A of Geometric Invariant Theory by Mumford-Fogarty-Kirwan. $\endgroup$ Commented Aug 29, 2011 at 16:32
  • $\begingroup$ Dear Michael, for Luna's slice theorem to hold the variety has to be affine, and the stabilizer must be reductive. Neither hypothesis is satisfied in this case, except when $P = G$. $\endgroup$
    – Angelo
    Commented Aug 29, 2011 at 17:03
  • $\begingroup$ The counterexample I had written below was complete nonsense, I removed it. $\endgroup$
    – Angelo
    Commented Aug 31, 2011 at 7:04

1 Answer 1

2
$\begingroup$

[Edit]: my previous counterexample was irredeemably wrong; hopefully this one works.

Suppose that there exists an étale $G$-equivariant map $V' \times^{P}G \to V$; then there exists an invariant neighborhood $U$ of $x$ in $V$ (the image of this map) such that the connected component of the identity in the stabilizer of any point of $U$ is conjugate to a subgroup of $P$.

Let $G = \mathrm{GL}_3$ acting in the natural way on the space $V$ consisting of pairs $(p, L)$, where $p$ is a point of $\mathbb P^2$ and $L$ is a line in $\mathbb P^2$. There are two orbits, one consisting of pair $(p, L)$ such that $p \in L$, call it $I$, and its complement $V \smallsetminus I$. The stabilizer of a point $x$ of $I$ is a Borel subgroup $P$ of $G$. However, the stabilizer $H$ of any point of $V \smallsetminus I$ is connected, and is not contained in any conjugate of $P$. In fact, it $H$ was conjugate to a subgroup of $P$, it would stabilize a point of $I$; however, it is easy to see that the only fixed point of $V$ under the action of $H$ is $x$ itself, and $x \notin I$. So in this case there cannot be an étale slice.

$\endgroup$
2
  • $\begingroup$ Honestly speaking, I don't understand this example. How does $\mathrm{PGL}_n$ acts on the total space of $\mathcal O(1)$? It seems to me that $\mathrm{SL}_n$ acts but the center acts non-trivially. $\endgroup$ Commented Aug 30, 2011 at 17:01
  • $\begingroup$ Dear Roman, you are absolutely right, what I wrote above is trash. $\endgroup$
    – Angelo
    Commented Aug 31, 2011 at 7:03

You must log in to answer this question.

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