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

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.