The Hom-spaces between projective functors
HTML articles powered by AMS MathViewer
- by Erik Backelin
- Represent. Theory 5 (2001), 267-283
- DOI: https://doi.org/10.1090/S1088-4165-01-00099-1
- Published electronically: September 10, 2001
- PDF | Request permission
Abstract:
The category of projective functors on a block of the category $\mathcal O(\mathfrak g)$ of Bernstein, Gelfand and Gelfand, over a complex semisimple Lie algebra $\mathfrak g$, embeds to a corresponding block of the category $\mathcal O(\mathfrak g \times \mathfrak g)$. In this paper we give a nice description of the object $V$ in $\mathcal O(\mathfrak g \times \mathfrak g)$ corresponding to the identity functor; we show that $V$ is isomorphic to the module of invariants, under the diagonal action of the center $\mathcal Z$ of the universal enveloping algebra of $\mathfrak g$, in the so-called anti-dominant projective. As an application we use Soergel’s theory about modules over the coinvariant algebra $C$, of the Weyl group, to describe the space of homomorphisms of two projective functors $T$ and $T’$. We show that there exists a natural $C$-bimodule structure on $\operatorname {Hom}_{\{\operatorname {Functors}\}}(T, T’)$ such that this space becomes free as a left (and right) $C$-module and that evaluation induces a canonical isomorphism $k \otimes _C \operatorname {Hom}_{\{\operatorname {Functors}\}} (T, T’) \cong \operatorname {Hom}_{\mathcal O(\mathfrak g)}(T(M_e), T’(M_e))$, where $M_e$ denotes the dominant Verma module in the block and $k$ is the complex numbers.References
- Erik Backelin, Koszul duality for parabolic and singular category $\scr O$, Represent. Theory 3 (1999), 139–152. MR 1703324, DOI 10.1090/S1088-4165-99-00055-2
- Hyman Bass, Algebraic $K$-theory, W. A. Benjamin, Inc., New York-Amsterdam, 1968. MR 0249491
- Alexandre Beĭlinson and Joseph Bernstein, Localisation de $g$-modules, C. R. Acad. Sci. Paris Sér. I Math. 292 (1981), no. 1, 15–18 (French, with English summary). MR 610137
- Alexander Beilinson and Victor Ginzburg, Wall-crossing functors and $\scr D$-modules, Represent. Theory 3 (1999), 1–31. MR 1659527, DOI 10.1090/S1088-4165-99-00063-1
- Alexander Beilinson, Victor Ginzburg, and Wolfgang Soergel, Koszul duality patterns in representation theory, J. Amer. Math. Soc. 9 (1996), no. 2, 473–527. MR 1322847, DOI 10.1090/S0894-0347-96-00192-0
- Joseph Bernstein, Trace in categories, Operator algebras, unitary representations, enveloping algebras, and invariant theory (Paris, 1989) Progr. Math., vol. 92, Birkhäuser Boston, Boston, MA, 1990, pp. 417–423. MR 1103598
- J. N. Bernstein and S. I. Gel′fand, Tensor products of finite- and infinite-dimensional representations of semisimple Lie algebras, Compositio Math. 41 (1980), no. 2, 245–285. MR 581584 [BGG]BGG J. Bernstein, I.M. Gelfand and S.I. Gelfand, On a category of $\mathfrak {g}$-modules, Functional Anal. Appl. 10 (1976), 87–92.
- P. Deligne, Catégories tannakiennes, The Grothendieck Festschrift, Vol. II, Progr. Math., vol. 87, Birkhäuser Boston, Boston, MA, 1990, pp. 111–195 (French). MR 1106898, DOI 10.1007/978-0-8176-4575-5_{3}
- Jens Carsten Jantzen, Einhüllende Algebren halbeinfacher Lie-Algebren, Ergebnisse der Mathematik und ihrer Grenzgebiete (3) [Results in Mathematics and Related Areas (3)], vol. 3, Springer-Verlag, Berlin, 1983 (German). MR 721170, DOI 10.1007/978-3-642-68955-0
- David Kazhdan and George Lusztig, Representations of Coxeter groups and Hecke algebras, Invent. Math. 53 (1979), no. 2, 165–184. MR 560412, DOI 10.1007/BF01390031 [BM]BM B. Müller, Projective Funktoren auf der parabolischen Kategorie $\mathcal {O}$, Diplomarbeit (1999), Mathematisches Fakultät, Albert-Ludwigs-Universität Freiburg i. Breisgau, unpublished.
- Wolfgang Soergel, Kategorie $\scr O$, perverse Garben und Moduln über den Koinvarianten zur Weylgruppe, J. Amer. Math. Soc. 3 (1990), no. 2, 421–445 (German, with English summary). MR 1029692, DOI 10.1090/S0894-0347-1990-1029692-5
- Wolfgang Soergel, The combinatorics of Harish-Chandra bimodules, J. Reine Angew. Math. 429 (1992), 49–74. MR 1173115, DOI 10.1515/crll.1992.429.49
Bibliographic Information
- Erik Backelin
- Affiliation: Sorselevägen 17, 16267 Vällingby, Stockholm, Sweden
- Email: erikb@matematik.su.se
- Received by editor(s): May 16, 2000
- Received by editor(s) in revised form: May 2, 2001
- Published electronically: September 10, 2001
- © Copyright 2001 American Mathematical Society
- Journal: Represent. Theory 5 (2001), 267-283
- MSC (2000): Primary 17B10, 18G15, 17B20
- DOI: https://doi.org/10.1090/S1088-4165-01-00099-1
- MathSciNet review: 1857082