A localization theorem for \(\mathcal D\)-modules (Q1177408): Difference between revisions

Let \(T\) be an algebraic torus acting on an algebraic variety \(X\). Let \(R(T)\) be the representation ring of \(T\) and \(\Lambda\) the multiplicatively closed subset of \(R(T)\) generated by elements of the form \(1-\chi\), \(\chi\) being a nontrivial character of \(T\). A weakly \(T\)- equivariant \({\mathcal D}_ X\)-module is a \({\mathcal D}_ X\)-module \(M\) together with an isomorphism of \({\mathcal O}_ G\otimes{\mathcal O}_{{\mathcal D}_ X}\)-modules \(q^*M\) and \(p^*M\) satisfying a suitable cocycle condition, where \(q\) denotes the group action and \(p\) is the projection to \(X\). Let \(K_ T(X)\) be the quotient of the Grothendieck group of weakly \(T\)-equivariant holonomic \({\mathcal D}_ X\)-modules modulo relations defined by exact sequences (as \({\mathcal O}_ X\)-modules). The author defines a formal character morphism \(ch:K_ T(X)\to R(T)_ \Lambda\) under the assumption that \(X\) is a smooth \(T\)-variety satisfying a certain positivity condition. He proves a localisation theorem for \(K_ T(X)\) and as a corollary gets the Atiyah-Bott type character formula \(Ch(M)=Ch(R\Gamma_{X^ T}(M))\) for weakly \(T\)-equivariant holonomic \({\mathcal D}\)-modules \(M\).