Riemann-Roch for weakly-equivariant \(D\)-modules. II (Q1323445)

The author generalizes the results proved by him in part I of this paper [cf. Math. Z. 206, No. 1, 131-144 (1991; Zbl 0696.14008)] to the case of arbitrary complex linear algebraic groups acting over smooth quasi- projective algebraic varieties. As a consequence of this and of some results in one of his previous papers [Duke Math. J. 63, No. 3, 791-799 (1991; Zbl 0802.19002)] he is able to get a Riemann-Roch theorem (for diagonalisable group acting linearly) at the level of the higher \(K\)- groups [in the sense of Waldhausen, see \textit{R. W. Thomason} and \textit{T. Trobaugh} in: The Grothendieck Festschrift, Vol. III, Prog. Math. 88, 247-435 (1990; Zbl 0731.14001)]. Combining this Riemann-Roch theorem with the author's results in Math. Z. 206, No. 2, 293-302 (1991; Zbl 0728.14017), he obtains a general character formula for equivariant coherent algebraic \(D\)-modules under the action of a complex diagonalizable group, and a Lefschetz-fixed point formula for equivariant perverse sheaves (by using the Riemann-Hilbert correspondence). This character formula covers, as special cases, the well-known character formulas of Weyl, Demazure, Kazdhan-Lusztig and Atiyah-Bott-Segal. As the author said, ``one may compare this to the fact that most of the common duality theorems (e.g. Poincaré, Serre or Verdier duality) may be derived from a single duality theorem at the level of \(D\)-modules'' [cf. \textit{Z. Mebkhout}, in: Algebr. geometry, Proc. Summer Meet., Copenh. 1978, Lect. Notes Math. 732, 396-416 (1979; Zbl 0413.32005)].