Algebraic group actions in the cohomology theory of Lie algebras of Cartan type
type: Item
instance of: scholarly article
title: Algebraic group actions in the cohomology theory of Lie algebras of Cartan type
zbMATH Open document ID: 0862.17015
author: Daniel K. Nakano
author: Zongzhu Lin
published in: Journal of Algebra
publication date: 1997-05-25T00:00:00Z
review text: In contrast to classical simple Lie algebras, Lie algebras of Cartan type \({\mathfrak g}\) and their representations cannot be characterized in terms of algebraic groups and their infinitesimal subgroups, which makes the application of cohomological methods developed within the representation theory of modular classical Lie algebras more difficult. Nevertheless, important classes of restricted \({\mathfrak g}\)-modules have the natural structure of \(G\)-modules where \(G\) is a subgroup in \(\Aut {\mathfrak g}\). Of particular interest is the case when \(G=T\) is a maximal torus of \(\Aut {\mathfrak g}\). In order to make use of both structures the authors construct a special infinite-dimensional Hopf algebra \(\text{Dist} (G)u ({\mathfrak g})\) where \(\text{Dist} (G)\) is the distribution algebra of an algebraic group \(G\) and \(u({\mathfrak g})\) is the \(u\)-algebra of \({\mathfrak g}\). In the first part of the paper, for a Hopf algebra \(H\) and an \(H\)-module algebra \(A\) containing a common Hopf subalgebra \(D\), normal in \(H\), the Hopf algebra \(P=A \# H/I\) where \(I\) is an ideal of \(A \# H\), generated by \(d \otimes 1-1 \otimes d\), \(d \in D\) is constructed. Making use of the representation theory of Hopf algebras developed by \textit{Z. Lin} [J. Algebra 154, 152-187 (1993; Zbl 0766.17014) and J. Algebra 166, 100-129 (1994; Zbl 0810.17005)] the connection of homological functors for admissible categories of modules over \(P,H\) and \(A\) is investigated. In the second part of the paper this technique is used for the case \(A= u({\mathfrak g})\), \(H= \text{Dist} (G)\), \(D= u({\mathfrak g}_G)\) where \( {\mathfrak g}\) is a Lie \(p\)-algebra of Cartan type, \(G\subset \Aut {\mathfrak g}\), \({\mathfrak g} = \text{Lie} G\) is a Lie algebra of \(G\). The corresponding Hopf algebra \(P\) is denoted by \(\text{Dist} (G) u ({\mathfrak g})\). The description of projective \(u({\mathfrak g})\)-modules in the category of finite-dimensional \(\text{Dis…
reviewed by: Michael Kuznetsov
Mathematics Subject Classification ID: 17B56
Mathematics Subject Classification ID: 17B50
Mathematics Subject Classification ID: 16W30
Mathematics Subject Classification ID: 17B45
zbMATH DE Number: 868024
zbMATH Keywords: cohomology
zbMATH Keywords: Lie algebras of Cartan type
zbMATH Keywords: representations
zbMATH Keywords: infinite-dimensional Hopf algebra
zbMATH Keywords: support varieties
Wikidata QID: Q115396125
MaRDI profile type: Publication
full work available at URL: jabr.1996.0040
OpenAlex ID: W2085320103
DOI: 10.1006/JABR.1996.0040
description: scientific article; zbMATH DE number 868024