MathOverflow will be down for maintenance for approximately 3 hours, starting Monday evening (06/24/2013) at approximately 9:00 PM Eastern time (UTC-4).
19

2

The K-group $K^T(X)$ of $T$(torus)-equivariant coherent sheaves on a variety $X$ is isomorphic to $K^T(X^T)$, that of the fixed point locus via the inclusion homomorphism, when we tensor the quotient field of the representation ring $R(T)$ of $T$.

Is there a similar result for $D_T(Coh X)$ and $D_T(Coh X^T)$, derived categories of $T$-equivariant coherent sheaves ? I do not know even how to formulate `the quotient field of $R(T)$' in the derived category case.

flag
1 
 This seems like exactly the sort of thing that ought to be one of the main results in the paper of Goresky-Kottwitz-MacPherson. Unfortunately, I haven't been able to extract the kind of statement you're asking for; it would be very interesting if someone can give a precise answer. They do give a localization-type theorem for an element of the equivariant derived category in (7.8), but only after taking cohomology. – Dave Anderson Dec 6 2010 at 0:59
1 
 It doesn't seem like that to me at all. Is there anything about coherent sheaves in GKM? – Ben Webster♦ Dec 6 2010 at 7:53
@Ben, you're absolutely right, somehow I missed the salient word "coherent" in the question. But even for constructible sheaves, is there a localization statement at the level of derived categories? – Dave Anderson Dec 6 2010 at 16:02

Your Answer

Get an OpenID
or

Browse other questions tagged or ask your own question.