×

zbMATH — the first resource for mathematics

Category of \(\mathfrak g\) modules. (English. Russian original) Zbl 0353.18013
Funct. Anal. Appl. 10, 87-92 (1976); translation from Funkts. Anal. Prilozh. 10, No. 2, 1-8 (1976).
Let \(A\) be a finite-dimensional associative algebra with identity over a field \(K\), and let \(\mathfrak A\) be the category of finite-dimensional \(A\)-modules. Let \(L_1, \ldots, L_k\) be a complete collection of irreducible \(A\)-modules. For each \(L_i\) there exists, up to isomorphism, a unique indecomposable projective \(A\)-module \(P_i\) such that \(\operatorname{Hom}(P_i,L_i)\neq 0\). If \(c_{ij} = (P_i :L_j)\) is the number of occurrences of \(L_j\) in the Jordan-Hölder series of \(P_i\), then the integral matrix \(C =\| c_{ij}\|\), \(i,j=1,\ldots, k\) is an important invariant of \(A\). The matrix \(C\) is called the Cartan matrix of \(A\). In certain cases \(C\) is symmetric, positive-definite and can be represented in the form \(C=D^t\cdot D\), where \(D\) is some other integral matrix. This fact means that there exists a class of \(A\)-modules \(M_1,\ldots, M_k\), such that each \(P_i\) has a composition series with factors isomorphic to \(M_j\), and for any \(i,j\) the number of occurrences of \(M_j\) in the series for \(P_i\) is equal to \((M_j:L_i)\).
The purpose of this article is to construct a category of modules over a semisimple complex Lie algebra \(\mathfrak g\), having the same “intermediate position”-property. Simple and projective objects of this category can be indexed by the elements of the Weyl group \(W\) of \(\mathfrak g\), and to each \(w\in W\) corresponds some \(\mathfrak g\)-module \(M_i\) such that if \(C =\| (P_w :L_{w'})\|\) and \(D =\| (M_w:L_{w'})\|\), then \(C =D^t\cdot D\).

MSC:
17B10 Representations of Lie algebras and Lie superalgebras, algebraic theory (weights)
17B56 Cohomology of Lie (super)algebras
17B55 Homological methods in Lie (super)algebras
18G05 Projectives and injectives (category-theoretic aspects)
PDF BibTeX XML Cite
Full Text: DOI
References:
[1] C. W. Curtis and I. Reiner, Representation Theory of Finite Groups and Associative Algebras, Wiley, New York (1962).
[2] J. E. Humphreys, ”Modular representations of classical Lie algebras and semisimple groups,” J. Algebra,19, 51-79 (1971). · Zbl 0219.17003 · doi:10.1016/0021-8693(71)90115-3
[3] D.-N. Verma, ”Structure of certain induced representations of complex semisimple Lie algebras,” Bull. Amer. Math. Soc.,74, 160-166 (1968). · Zbl 0157.07604 · doi:10.1090/S0002-9904-1968-11921-4
[4] I. N. Bernshtein, I. M. Gel’fand, and S. I. Gel’fand, ”The structure of representations generated by vectors of highest weight,” Funktsional’. Analiz i Ego Prilozhen.,5, No. 1, 1-9 (1971). · Zbl 0246.17008 · doi:10.1007/BF01075841
[5] J. Dixmier, Algebras Enveloppantes, Gauthier-Villars, Paris (1974).
[6] H. Bass, Algebraic K-Theory, W. A. Benjamin, New York (1968).
[7] I. N. Bernshtein (Bernstein), I. M. Gel’fand (Gelfand), and S. I. Gel’fand (Gelfand), ”Differential operators on the base affine space and a study ofg-modules,” Proc. of the Summer School on Group Representations, Bolyai Janos Math. Soc. (Budapest, 1971), Akademiai Kiado, Budapest (1975), pp. 21-64.
[8] I. M. Gel’fand (Gelfand), ”The cohomology of infinite-dimensional Lie algebras; some questions of integral geometry,” Intern. Congress. Math., Reports, Vol. 1, Nice (1970).
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. It attempts to reflect the references listed in the original paper as accurately as possible without claiming the completeness or perfect precision of the matching.