The first fundamental theorem of coinvariant theory for the quantum general linear group (Q1581083)

A classical theorem of invariant theory describes the algebra of invariants \({\mathcal O}(V)^{\text{GL}_t}\) of the standard action of \(\text{GL}_t=\text{GL}_t(K)\) on the variety \(V=M_{m,t}(K)\times M_{t,n}(K)\) of pairs of matrices over a field \(K\). The main theorem of the paper under review gives a quantum analog of this result. Since the quantum group \({\mathcal O}_q(\text{GL}_t)\) is not a group but a Hopf algebra, the authors place the classical situation into a Hopf algebra context. Under a natural quantization the coordinate ring \({\mathcal O}(V)\) becomes the algebra \({\mathcal O}_q(V)={\mathcal O}_q(M_{m,t})\otimes{\mathcal O}_q(M_{t,n})\) with coaction of \({\mathcal O}_q(\text{GL}_t)\). The authors establish the First Fundamental Theorem of Coinvariant Theory for this action and identify the set of coinvariants as the image of the natural comultiplication map \({\mathcal O}_q(M_{m,n})\to{\mathcal O}_q(M_{m,t})\otimes{\mathcal O}_q(M_{t,n})\) which is a quantum analog of matrix multiplication \(M_{m,t}\times M_{t,n}\to M_{m,n}\). In an earlier paper [\textit{K. R. Goodearl, T. H. Lenagan}, Duke Math. J. 103, No. 1, 165-190 (2000; Zbl 0958.16025)] the first two authors have determined the kernel of this map, which is the Second Fundamental Theorem of Coinvariant Theory for this comodule action. In this way, these two papers combined give the complete description of the coinvariants. The authors also investigate the coaction of \({\mathcal O}_q(\text{SL}_t)\) and identify its coinvariants.