Homological aspects of Noetherian PI Hopf algebras and irreducible modules of maximal dimension (Q1375981)

From MaRDI portal
Revision as of 09:15, 28 May 2024 by ReferenceBot (talk | contribs) (‎Changed an Item)
scientific article
Language Label Description Also known as
English
Homological aspects of Noetherian PI Hopf algebras and irreducible modules of maximal dimension
scientific article

    Statements

    Homological aspects of Noetherian PI Hopf algebras and irreducible modules of maximal dimension (English)
    0 references
    22 July 1998
    0 references
    This substantial paper shows that a Noetherian Hopf algebra of finite global dimension and satisfying a polynomial identity possesses attractive homological properties. Let \(H\) be an FBN Hopf algebra over a field \(k\) such that all irreducible \(H\)-modules are finite dimensional over \(k\). If \(H\) has finite global dimension \(n\) then \(H\) is an Auslander-regular Macaulay ring of Krull dimension \(n\). Moreover, \(H\) is a semiprime ring and, in case \(H\) is PI, a finite direct sum of prime rings. In particular, if \(\mathfrak g\) is a Lie algebra of finite dimension \(n\) over a field of positive characteristic then the enveloping algebra \(U({\mathfrak g})\) is Auslander regular and Macaulay of Krull and global dimension \(n\). On the other hand, if \(H\) has finite injective dimension \(n\) then \(H\) is Artin-Schelter Gorenstein and, in case \(H\) is PI, an Auslander-Gorenstein Macaulay ring of Krull dimension \(n\). These results are applied to quantized enveloping algebras \(U_q({\mathfrak g})\) and to quantized function algebras \({\mathcal O}_q[G]\), both in the case of a generic parameter \(q\) and in the case where \(q\) specializes to a primitive \(l\)th root of unity \(\varepsilon\). Here \(\mathfrak g\) is a finite dimensional complex semisimple Lie algebra and \(G\) is the connected simply connected semisimple Lie group with Lie algebra \(\mathfrak g\). As usual, \(l\) is odd and prime to 3 if \(\mathfrak g\) involves a factor of type \(G_2\). The second major theme in the paper is motivated by the following question: let \(\Lambda\) be a prime Noetherian ring finitely generated as a module over its centre \(Z\) where \(Z\) is an affine algebra over an algebraically closed field \(k\); for which \(m\in\max Z\) is \(\Lambda_m\) an Azumaya algebra over \(Z_m\)? The set of such \(m\) in \(Z\) is denoted by \({\mathcal A}_\Lambda\) (the Azumaya locus) and the singular locus is given by \({\mathcal S}_\Lambda=\{m\in Z:Z_m\) is not regular\}. The authors prove that \({\mathcal A}_\Lambda=\max Z\setminus{\mathcal S}_\Lambda\), in case \(\Lambda\) is Auslander-regular and Macaulay and \(\Lambda_p\) is Azumaya over \(Z_p\) for all height 1 primes \(p\) of \(Z\). This generalizes the corresponding graded result of \textit{L. Le Bruyn} [J. Algebra 177, No. 1, 142-153 (1995; Zbl 0844.17005)]. In particular, the locus of non-Azumaya points of the centre coincides with the singular locus of the centre for the algebras \(U_\varepsilon({\mathfrak g})\), \({\mathcal O}_\varepsilon[G]\) and certain enveloping algebras.
    0 references
    FBN rings
    0 references
    PI rings
    0 references
    global dimension
    0 references
    polynomial identities
    0 references
    FBN Hopf algebras
    0 references
    irreducible modules
    0 references
    Auslander-regular Macaulay rings
    0 references
    Krull dimension
    0 references
    semiprime rings
    0 references
    finite direct sums of prime rings
    0 references
    injective dimension
    0 references
    Auslander-Gorenstein Macaulay rings
    0 references
    quantized enveloping algebras
    0 references
    quantized function algebras
    0 references
    finite dimensional complex semisimple Lie algebras
    0 references
    prime Noetherian rings
    0 references
    affine algebras
    0 references
    Azumaya algebras
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references