Equivariant sheaves and functors (Q1330279)

Let \(f:X \to Y\) be a continuous map between two locally compact topological spaces. Assume that a topological group \(G\) acts on \(X\) and on \(Y\) in such a way that \(f\) is a \(G\)-map. Then one can define the categories \(Sh_ G (X)\) and \(Sh_ G (Y)\) of \(G\)-equivariant sheaves. In the case when the group \(G\) is trivial one can define the derived categories \(D(X)\) and \(D(Y)\) of the abelian categories \(Sh(X)\) and \(Sh(Y)\) of sheaves on \(X\) and \(Y\) respectively, together with natural functors \(f^*\), \(f_ *\), \(f^ !\), \(f_ !\), \(\Hom\), \(\otimes\), etc. The main aim of the book under review is to define and study the triangulated categories \(D_ G (X)\) and \(D_ G (Y)\) together with similar functors and with a forgetful functor For: \(D_ G \to D\), satisfying certain natural compatibility conditions. Simple examples show that, unless the group \(G\) is discrete, the derived category of \(Sh_ G\) is not the right candidate for the triangulated category \(D_ G\). Therefore the theory developed here is very subtle. After supplying the necessary details for the construction of \(D_ G\), the authors give an algebraic description of the triangulated category \(D_ G(pt)\) when \(G\) is a connected Lie group, in terms of \(DG\)-modules over a natural \(DG\)- algebra \(A_ G\). This description is particularly important for the main applications of the theory. In the last part of the book the authors illustrate their theory with a computation of the equivariant intersection cohomology (with compact supports) of toric varieties.