On the conjugation action for quantum general linear groups (Q6054772)

The paper under review addresses the study of the quantum general linear group \( G = G (n) \) over a field \(k\) at non-zero parameter \(q\), as defined in [\textit{R. Dipper} and \textit{S. Donkin}, Proc. Lond. Math. Soc. 63, 165--211 (1991; Zbl 0734.20018)]. The author deals with the structure of the coordinate algebra \( k [G] \) as a module for \(G\), via the conjugation action and the algebra of invariants \( C (G)\subset k [G] \). As in the analogous case of \textit{R. Steinberg}'s theory of conjugacy classes in a semisimple, simply connected algebraic group [Conjugacy classes in algebraic groups. Berlin: Springer (1974; Zbl 0281.20037)], the first step is to understand the algebra of invariants (i.e., the algebra of class functions). The author proves that the algebra of polynomial invariants, for arbitrary \(k\) and \( 0\not= q\in k \), is a commutative polynomial algebra. He considers the full algebra of invariants \( C (G) \) of the coordinate algebra of a quantum general linear group \(G\). In Theorem 7.4, a \( (C (G), G) \)-module filtration of the coordinate algebra \( k [G] \) has been described, giving thereby an analogue of the main result of [\textit{S. Donkin}, Invent. Math. 91, 137--145 (1988; Zbl 0639.20021)]. It is known for the version of quantum \(\mathrm{GL}( n ) \) due to Faddeev-Reshetikhin-Takhtajan that the polynomial part of the coordinate algebra is free over the algebra of invariants in case \( k = \mathbb{C} \) and \(q\) not a root of unity or \( q=1 \). Though the author treats in detail only the case in which \(G\) is a quantum general linear group as defined in the paper by Dipper and Donkin [loc. cit.], many of the arguments and results are valid also for the Faddeev-Reshetikhin-Takhtajan version. The author also studies the case in which \(G\) is a product of quantum general linear groups and the problem of describing the conjugation invariants of \( k [G] \) for the action of a quantum subgroup. This is approached via finite dimensional sub-coalgebras of \( k [G] \) and the theory of quasi-hereditary algebras.