Homological algebra in the category \(\text{Mod}_{(R\#U(g))}\)
type: Item
instance of: scholarly article
title: Homological algebra in the category \(\text{Mod}_{(R\#U(g))}\)
zbMATH Open document ID: 0912.16011
author: T. Guédénon
published in: Journal of Algebra
publication date: 1998-01-28T00:00:00Z
review text: Let \(L\) be a finite dimensional Lie algebra over the algebraically closed field \(k\) of characteristic zero, and let \(R\) be a Noetherian \(k\)-algebra on which \(L\) acts by derivations. The author studies the category \(\mathcal C\) of \(R\)-modules which are compatible \(L\)-modules, which as \(L\)-modules are directed unions of finite dimensional \(L\)-modules. If \(U(L)\) is the universal enveloping algebra of \(L\) over \(k\), compatible modules are the same as modules over the smash product algebra \(R\#U(L)\). Let \((\cdot)^L\) denote taking \(L\)-invariants and let \(S=R^L\). Assume that \(S\) is also Noetherian. Then \(M\mapsto M^L\) defines a functor from \(R\#U(L)\)-modules to \(S\#U(L)\)-modules. When \(R\) is a directed union of finite dimensional \(L\)-modules, then \(R\otimes_S(\cdot)\) defines a functor from \(S\)-modules to the category \(\mathcal C\), and the author also defines an adjoint functor \({\mathcal F}_S(R,\cdot)\). The author establishes that \({\mathcal F}_S(R,\cdot)\) carries injectives to injectives and essential monomorphisms to essential monomorphisms. He further shows that it carries injective envelopes to injective envelopes. He shows that the functor \((\cdot)^L\) carries the injectives which are images by \({\mathcal F}_S(R,\cdot)\) of their submodules of invariants to injective \(S\)-modules. Then he considers the case that \(R\) is commutative. In this case \((\cdot)^L\) carries (some) projectives to projectives which is used to analyze \(\text{Pic}(S)\). The author further restricts to the case that \(R\) is the continuous dual of \(U(L)\) and obtains descriptions of projectives. Finally, he considers the case where \(L\) is semi-simple and for all finite type \(M\) \(\Hom_R(M,\cdot)\) is exact to \(L\)-modules, and shows that the category \(\mathcal C\) is semi-simple.
reviewed by: Andy R. Magid
Mathematics Subject Classification ID: 16S40
Mathematics Subject Classification ID: 16E30
Mathematics Subject Classification ID: 18G05
Mathematics Subject Classification ID: 17B35
Mathematics Subject Classification ID: 16S30
Mathematics Subject Classification ID: 16D90
Mathematics Subject Classification ID: 16W20
Mathematics Subject Classification ID: 16W25
zbMATH DE Number: 1104117
zbMATH Keywords: Lie algebras
zbMATH Keywords: universal enveloping algebras
zbMATH Keywords: compatible modules
zbMATH Keywords: actions by derivations
zbMATH Keywords: smash products
zbMATH Keywords: rings of invariants
zbMATH Keywords: categories of modules
zbMATH Keywords: adjoint functors
zbMATH Keywords: injective envelopes
MaRDI profile type: MaRDI publication profile
full work available at URL: jabr.1997.7080
OpenAlex ID: W2002568116
cites work: Localization and ideal theory in iterated differential operator rings
cites work: Q3240881
cites work: Q4065692
cites work: Projectivity of modules over rings with suitable group action
cites work: Q3943061
cites work: Sur la cohomologie-fine
cites work: Critères d'induction et de coinduction pour certains anneaux d'opérateurs différentiels. (Induction and coinduction criteria for certain differential operator rings)
cites work: Cohomology of rings with algebraic group action
cites work: Picard groups of rings of invariants
cites work: An algebraic approach to the l i e algebras of cartan type
DOI: 10.1006/JABR.1997.7080
Recommended article: Homological Algebra in the Category of Γ-Modules
Recommended article: Homological algebra in \(n\)-abelian categories
Recommended article: Homotopical algebra in homotopical categories
Recommended article: Category of \(\mathfrak g\) modules
Recommended article: Homological algebra of homotopy algebras
Recommended article: CATEGORY OF M-ALGEBRAS AND INTERNAL HOMOMORPHISMS
Recommended article: Q3736367
Recommended article: Q5749453
Recommended article: Q4288954
Recommended article: Q3240881
description: scientific article; zbMATH DE number 1104117