11
$\begingroup$

My question is simple:

Given an algebraic group $G$ acting on a variety $X$ algebraically. If the orbits are of finite number then they form what is called an algebraic stratification of $X$.

Now my question is: Is this (the stratification by $G$-orbits) also a Whitney Stratification?

I think showing this by hand is quite painfull since the definition of a Whitney stratification is very unhandy.

I would appreciate any reference.

$\endgroup$
3
  • 4
    $\begingroup$ I'm pretty sure this is true, but don't know a precise reference. A good person to ask might be Tom Braden. $\endgroup$
    – naf
    Apr 30, 2013 at 14:59
  • $\begingroup$ This is true in the case of partial flag varieties, cf the comments at the beginning of section 3.12 in this paper: arxiv.org/pdf/0809.4785.pdf $\endgroup$ Apr 30, 2013 at 16:54
  • 1
    $\begingroup$ yes, this is true and Braden is the perfect person to ask as ulrich says! If all you want is that the categories are preserved by the six operations then this is not difficult to see using equivariant sheaves (see related comments at the beginning of "tilting exercises" by Beilinson, Bezrukavnikov, Mirkovic). $\endgroup$ Apr 30, 2013 at 18:03

2 Answers 2

4
$\begingroup$

So Ulrich and Geordie were right, Tom Braden was the right person to ask and here is what he told me:

The answer is yes, in the case above $X$ is Whitney stratified.

The argument goes roughly as follows. In the paper [K] the following is shown. Let $X$ be an algebraic stratified variety and $ S$ a stratum. The set $Sing(S )$ of points in $S $ which do not fulfil Whitney's b condition has the structure of a (semi-)variety of dimension strictly lower that $\dim S $.

Now applied to our situation : $Sing(S)$ is necessarly $G$-invariant, hence empty. This answers my question.

[K] ``A Geometric Proof of Existence of Whitney Stratifications’’, Moscow Math. Journ., 5 (2005), no.1, 125—133

$\endgroup$
1
  • $\begingroup$ The author of the cited paper [K] is Vadim Kaloshin. $\endgroup$
    – user44400
    Mar 23, 2018 at 7:44
0
$\begingroup$

See:

MR0342523 (49 #7269) Luna, Domingo Slices étales. (French) Sur les groupes algébriques, pp. 81–105. Bull. Soc. Math. France, Paris, Memoire 33 Soc. Math. France, Paris, 1973.

$\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.