The ramifications of the centres: quantised function algebras at roots of unity

DOI10.1112/PLMS/84.1.147MaRDI QIDQ2766443zbMATH OpenOpenAlexFDO

Authors Kenneth A. Brown, Iain Gordon

Publication date 28 January 2002

Published in Proceedings of the London Mathematical Society. Third Series (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/math/9912042

zbMATH Keywords

finite dimensional representationsirreducible modulesPoisson structuresquantized function algebrasrepresentation typeroots of unity

Mathematics Subject Classification ID

Representation type (finite, tame, wild, etc.) of associative algebras (16G60) Quantum groups (quantized enveloping algebras) and related deformations (17B37)

Abstract: Let H be a Hopf algebra which is a finite module over a central sub-Hopf algebra R. We continue the study of such algebras begun in RT/9911234, concentrating in this case on the example of $O_{epsilon}[G]$, a quantised function algebra at root of unity. In particular we determine the representation type and block structure of the family of reduced quantised function algebras, and describe many of them up to isomorphism. A series of parallel results is obtained for the quantised Borel algebras $U_{epsilon}^{geq0}$.

Review text

Let \(G\) be a simply connected complex semisimple group. It is known that the quantized function algebra \({\mathcal O}_\varepsilon[G]\) at the \(l\)-th root of unity \(\varepsilon\) contains \({\mathcal O}[G]\) as a central subalgebra. Every irreducible \({\mathcal O}_\varepsilon[G]\)-module is annihilated by a maximal ideal \(m_g\) of \({\mathcal O}[G]\), where \(g\in G\). Hence, the finite dimensional representation theory of \({\mathcal O}_\varepsilon[G]\) can be reduced to the study of the finite dimensional algebras \({\mathcal O}_\varepsilon[G](g)={\mathcal O}_\varepsilon[G]/m_g{\mathcal O}_\epsilon[G]\). \textit{C. De Concini} and \textit{V. V. Lyubashenko} [Adv. Math. 108, No. 2, 205-262 (1994; Zbl 0846.17008)] have shown that if \(g,g'\in G\) belong to the same double Bruhat cell \(X_{w_1,w_2}\) (\(w_1,w_2\in W\), the Weyl group of \(G\)), then \({\mathcal O}_\varepsilon[G](g)\cong{\mathcal O}_\varepsilon[G](g')\).NEWLINENEWLINENEWLINEThe main results in the paper under review are the following: 1. For \(g\) in the fully Azumaya locus, where the irreducible \({\mathcal O}_\varepsilon[G](g)\) modules have the biggest possible dimension \(l^N\), where \(N=l(w_0)\) (\(w_0\) the longest element in \(W\)), the algebra \({\mathcal O}_\varepsilon[G](g)\) is the direct sum of a number of copies of the algebra of \(l^N\times l^N\) matrices with entries in a certain truncated polynomial ring. 2. The representation type of \({\mathcal O}_\varepsilon[G](g)\) is determined in all cases: if \(g\in X_{w_1,w_2}\), then \({\mathcal O}_\varepsilon[G](g)\) is of finite type when \(l(w_1)+l(w_2)>2N-2\), and wild otherwise. 3. The number of the blocks of \({\mathcal O}_\varepsilon[G](g)\) is calculated and the structure of its quiver is determined.

Recommendations

• scientific article; zbMATH DE number 1014893
• Multiparameter quantum function algebra at roots of 1
• Complexity of representations of quantised function algebras and representation type
• Quantum function algebra at roots of 1
• Degrees of quantum function algebras at roots of 1

Cited in

(13)

• Complexity of representations of quantised function algebras and representation type
• Blocks in flat families of finite-dimensional algebras
• Quantum Weyl algebras and reflection equation algebras at a root of unity
• Cherednik, Hecke and quantum algebras as free Frobenius and Calabi-Yau extensions
• Polyhedral groups, McKay quivers, and the finite algebraic groups with tame principal blocks.
• Regular representations of quantum groups at roots of unity.
• scientific article; zbMATH DE number 1014893 (Why is no real title available?)
• PBW THEOREMS AND FROBENIUS STRUCTURES FOR QUANTUM MATRICES
• Root of unity quantum cluster algebras and Cayley–Hamilton algebras
• Unrestricted quantum moduli algebras. II: Noetherianity and simple fraction rings at roots of 1.
• Poisson geometry and Azumaya loci of cluster algebras
• The lowest discriminant ideal of a Cayley-Hamilton Hopf algebra
• Chevalley property and discriminant ideals of Cayley-Hamilton Hopf algebras

This page was built for publication: The ramifications of the centres: quantised function algebras at roots of unity

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2766443)