Homology of graded Hecke algebras.

DOI10.1016/J.JALGEBRA.2010.01.011MaRDI QIDQ961019zbMATH OpenOpenAlexFDO

Publication date 29 March 2010

Published in Journal of Algebra (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/0812.1661

complex group algebras crossed product algebras graded Hecke algebras Hochschild homology periodic cyclic homology reduced root systems representation rings representation theory symmetric algebras

Mathematics Subject Classification ID

(Co)homology of rings and associative algebras (e.g., Hochschild, cyclic, dihedral, etc.) (16E40) Graded rings and modules (associative rings and algebras) (16W50) Frobenius induction, Burnside and representation rings (19A22) Hecke algebras and their representations (20C08)

Abstract: Let H be a graded Hecke algebra with complex deformation parameters and Weyl group W. We show that the Hochschild, cyclic and periodic cyclic homologies of H are all independent of the parameters, and compute them explicitly. We use this to prove that, if the deformation parameters are real, the collection of irreducible tempered H-modules with real central character forms a Q-basis of the representation ring of W. Our method involves a new interpretation of the periodic cyclic homology of finite type algebras, in terms of the cohomology of a sheaf over the underlying complex affine variety.

Review text

Let \(\mathfrak a\) denote a real inner product space with linear dual \(\mathfrak a^*\) containing a reduced root system \(R\). Further, let \(W\) denote the associated Weyl group with complex group algebra \(\mathbb{C}[W]\), and let \(\Pi\) denote a basis for \(R\). Finally, let \(\mathfrak t^*\) denote the complexification of \(\mathfrak a^*\). The graded Hecke algebras of interest are constructed by first considering \(\mathbb{C}[W]\otimes S(\mathfrak t^*)\otimes\mathbb{C}[k_\alpha:\alpha\in\Pi]\) with certain relations between the first two components. Here \(S(-)\) denotes the symmetric algebra and the \(\{k_\alpha\}\) are formal parameters. Then, each parameter \(k_\alpha\) is specialized to a complex number \(c_\alpha\) such that \(c_\alpha=c_\beta\) if \(\alpha\) and \(\beta\) are conjugate under the action of \(W\). Let \(\mathbb{H}\) denote such an algebra. As a vector space, \(\mathbb{H}\) is isomorphic to \(\mathbb{C}[W]\otimes S(\mathfrak t^*)\). The algebra \(\mathbb{H}\) has a filtration whose associated graded algebra is isomorphic to the crossed product algebra \(W\ltimes S(\mathfrak t^*)\). Using the spectral sequence associated to a filtration on the Hochschild complex, the author obtains the first main result of the paper: that the Hochschild, cyclic, and periodic cyclic homology of \(\mathbb{H}\) is isomorphic to the respective homology of \(W\ltimes S(\mathfrak t^*)\). In particular, the homology is independent of the choice of parameters. Further, it is shown that the inclusion \(\mathbb{C}[W]\to\mathbb{H}\) induces an isomorphism in periodic cyclic homology. The arguments for these isomorphims are actually given in a slightly more general setting of certain extended graded Hecke algebras obtained by considering an automorphism of the associated Dynkin diagram. The author then specializes to the case that the root system \(R\) is crystallographic and the parameters are real. In this case, it is shown that the periodic cyclic homology of \(\mathbb{H}\) can also be determined by using sheaf cohomology (related to the primitive ideal spectrum of \(\mathbb{H}\)). Some of this work is done in the more general setting of an algebra of finite type. Combining this alternative perspective with the original, the author obtains a significant representation-theoretic result: the set of irreducible tempered \(\mathbb{H}\)-modules with real central character forms (upon restriction to \(W\)) a \(\mathbb{Q}\)-basis for the representation ring \(R(W)\otimes_\mathbb{Z}\mathbb{Q}\).

Recommendations

Cites work

Cited in

(20)

This page was built for publication: Homology of graded Hecke algebras.

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q961019)