Search

Let \pi \colon Y\to X denote the canonical resolution of the two dimensional Kleinian singularity X of type ADE. In the present paper, we establish isomorphisms between the cohomological and K-theoretical Hall algebras of \omega-semistable properly supported sheaves on Y with fixed slope \mu and \zeta-semistable finite-dimensional representations of the preprojective algebra of affine type ADE of slope zero respectively, under some conditions on \zeta depending on the polarization \omega and \mu. These isomorphisms are induced by the derived McKay correspondence. In addition, they are interpreted as decategorified versions of a monoidal equivalence between the corresponding categorified Hall algebras. In the type A case, we provide a finer description of the cohomological, K-theoretical and categorified Hall algebra of \omega-semistable properly supported sheaves on Y with fixed slope \mu: for example, in the cohomological case, the algebra can be given in terms of Yangians of finite type ADE Dynkin diagrams. [ABSTRACT FROM AUTHOR]

Cohomological induction gives an algebraic method for constructing representations of a real reductive Lie group G from irreducible representations of reductive subgroups. Beilinson-Bernstein localization alternatively gives a geometric method for constructing Harish-Chandra modules for G from certain representations of a Cartan subgroup. The duality theorem of Hecht, Mil&icaron;cíc, Schmid and Wolf establishes a relationship between modules cohomologically induced from minimal parabolics and the cohomology of the D-modules on the complex flag variety for G determined by the Beilinson- Bernstein construction. The main results of this paper give a generalization of the duality theorem to partial flag varieties, which recovers cohomologically induced modules arising from nonminimal parabolics. [ABSTRACT FROM AUTHOR]