Available in electronic format
Available in print format
Transacrions of the American Mathematical Society
Transactions of the American Mathematical Society
ISSN 1088-6850(e) ISSN 0002-9947(p)
     

Enright's completions and injectively copresented modules

Author(s): Steffen König; Volodymyr Mazorchuk
Journal: Trans. Amer. Math. Soc. 354 (2002), 2725-2743.
MSC (2000): Primary 17B10, 16G10
Posted: March 11, 2002
Retrieve article in: PDF DVI PostScript
This article is available free of charge

Abstract | References | Similar articles | Additional information

Abstract: Let $\ensuremath{\mathfrak{A}} $be a finite-dimensional simple Lie algebra over the complex numbers. It is shown that a module is complete (or relatively complete) in the sense of Enright if and only if it is injectively copresented by certain injective modules in the BGG-category ${\mathcal O}$. Let $A$ be the finite-dimensional algebra associated to a block of ${\mathcal O}$. Then the corresponding block of the category of complete modules is equivalent to the category of $eAe$-modules for a suitable choice of the idempotent $e$. Using this equivalence, a very easy proof is given for Deodhar's theorem (also proved by Bouaziz) that completion functors satisfy braid relations. The algebra $eAe$ is left properly and standardly stratified. It satisfies a double centralizer property similar to Soergel's ``combinatorial description'' of ${\mathcal O}$. Its simple objects, their characters and their multiplicities in projective or standard objects are determined.


References:

[ADL]
I.Agoston, V.Dlab and E.Lukacs, Stratified algebras. C. R. Math. Acad. Sci. Soc. R. Can. 20 (1998), no. 1, 22-28. MR 99h:16031
[A]
M.Auslander, Representation theory of Artin algebras I. Commun. in Alg. 1 (1974), 177-268. MR 50:2240
[APT]
M.Auslander, M.I.Platzeck and G.Todorov, Homological theory of idempotent ideals. Trans. Amer. Math. Soc. 332 (1992), 667-692. MR 92i:16008
[AR]
M.Auslander and I.Reiten, Applications of contravariantly finite subcategories. Adv. Math. 86, 111-152 (1991). MR 92e:16009
[BG]
I.N.Bernstein and S.I.Gelfand, Tensor products of finite- and infinite-dimensional representations of semisimple Lie algebras. Compositio Math. 41 (1980), 245-285. MR 82c:17003
[BGG]
I.N.Bernstein, I.M.Gelfand and S.I.Gelfand, A certain category of $\ensuremath{\mathfrak{G}} $-modules. (Russian). Funkcional. Anal. i Prilozen. 10 (1976), no. 2, 1-8. MR 53:10880
[Bo]
A.Bouaziz, Sur les représentations des algèbres de Lie semi-simples construites par T.Enright. In: Non-commutative harmonic analysis and Lie groups, Springer Lecture Notes in Mathematics 880 (1981), 57-68. MR 84j:17004
[BKM]
T.Brüstle, S.König and V.Mazorchuk, The coinvariant algebra and representation types of blocks of category ${\mathcal O}$. Bull. London Math. Soc. 33 (2001), 669-681. CMP 2002:01
[CPS1]
E.Cline, B.Parshall and L.Scott, Finite-dimensional algebras and highest weight categories. J. Reine Angew. Math. 391 (1988), 85-99. MR 90d:18005
[CPS2]
E.Cline, B.Parshall and L.Scott, Stratifying endomorphism algebras. Mem. Amer. Math. Soc. 124 (1996), n. 591. MR 97h:16012
[De]
V.V.Deodhar, On a construction of representations and a problem of Enright. Invent. Math. 57 (1980), 101-118. MR 81f:17004
[D]
J.Dixmier, Enveloping algebras. Revised reprint of the 1977 translation. Graduate Studies in Mathematics, 11. American Mathematical Society, Providence, RI, 1996. MR 97c:17010
[DR]
V.Dlab and C.M.Ringel, Every semiprimary ring is the endomorphism ring of a projective module over a quasihereditary ring. Proc. Amer. Math. Soc. 107 (1989), no. 1, 1-5. MR 89m:16033
[E]
T.J.Enright, On the fundamental series of a real semisimple Lie algebra: their irreducibility, resolutions and multiplicity formulae. Annals Math., 110 (1979), 1-82. MR 81a:17003
[FKM1]
V.Futorny, S.König and V.Mazorchuk, Categories of induced modules and standardly stratified algebras. To appear in Algebras and Representation Theory.
[FKM2]
V.Futorny, S.König and V.Mazorchuk, A combinatorial description of blocks in $\ensuremath{\mathcal{O}} (\ensuremath{\mathcal{P}} ,\ensuremath{\Lambda} )$associated with $sl(2)$ induction. J. Algebra 231 (2000), no. 1, 86-103. MR 2001g:17008
[FKM3]
V.Futorny, S.König and V.Mazorchuk, $\ensuremath{\mathcal{S}} $-subcategories in $\ensuremath{\mathcal{O}} (\ensuremath{\mathcal{P}} ,\ensuremath{\Lambda} )$. Manuscripta Math. 102 (2000), no. 4, 487-503. MR 2001h:17022
[J]
J.C.Jantzen, Einhüllende Algebren halbeinfacher Lie-Algebren. Ergebnisse der Mathematik und ihrer Grenzgebiete (3), 3. Springer, 1983. MR 86c:17011
[Jo]
A.Joseph, The Enright functor on the Bernstein-Gelfand-Gelfand category ${\mathcal O}$. Invent. Math. 67 (1982), 423-445. MR 84j:17005
[KlM]
M.Klucznik and V.Mazorchuk, Parabolic decomposition for properly stratified algebras. Preprint 99-083, Bielefeld University. To appear in J. Pure Appl. Algebra. Available via www at ``http://www.elsevier.nl/locate/jpaa/''
[KM]
S.König and V.Mazorchuk, An equivalence of two categories of $sl(n,\mathbb{C})$-modules. To appear in Algebras and Representation Theory.
[KSX]
S.König, I.H.Slungård and C.C.Xi, Double centralizer properties, dominant dimension and tilting modules. J. Algebra 240 (2001), 393-412.
[M]
O.Mathieu, Classification of irreducible weight modules. Ann. Inst. Fourier (Grenoble) 50 (2000), no. 2, 537-592. MR 2001h:17017
[R]
C.M.Ringel, The category of modules with good filtrations over a quasi-hereditary algebra has almost split sequences. Math. Z. 208 (1991), no. 2, 209-223. MR 93c:16010
[S]
W. Soergel, Kategorie $\ensuremath{\mathcal{O}} $, perverse Garben und Moduln über den Koinvarianten zur Weylgruppe. (in German) [Category $\mathcal{O}$, perverse sheaves and modules over the coinvariants for the Weyl group]. J. Amer. Math. Soc. 3 (1990), no. 2, 421-445. MR 91e:17007

Similar Articles:

Retrieve articles in Transactions of the American Mathematical Society with MSC (2000): 17B10, 16G10

Retrieve articles in all Journals with MSC (2000): 17B10, 16G10


Additional Information:

Steffen König
Affiliation: Department of Mathematics and Computer Science, University of Leicester, University Road, Leicester, LE1 7RH, England
Email: sck5@mcs.le.ac.uk

Volodymyr Mazorchuk
Affiliation: Department of Mathematics, Uppsala University, Box 480, SE-75106, Uppsala, Sweden
Email: mazor@math.uu.se

DOI: 10.1090/S0002-9947-02-02958-6
PII: S 0002-9947(02)02958-6
Received by editor(s): July 11, 2000
Received by editor(s) in revised form: October 3, 2001
Posted: March 11, 2002
Additional Notes: The first author was partially supported by the EC TMR network ``Algebraic Lie Representations'' grant no ERB FMRX-CT97-0100.
The second author was an Alexander von Humboldt fellow at Bielefeld University.
Copyright of article: Copyright 2002, American Mathematical Society


  AMS Website Logo Small Comments: webmaster@ams.org
© Copyright 2008, American Mathematical Society
Privacy Statement
Search the AMSPowered by Google