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

From MaRDI portal
(Redirected from Publication:1581083)



Abstract: We prove First Fundamental Theorems of Coinvariant Theory for the standard coactions of the quantum general and special linear groups on tensor products of quantum matrix algebras. More precisely, let m,n,t be arbitrary positive integers, let A and B be the quantum coordinate rings of the timest general and special linear groups over an arbitrary field K, and let Cm,t and Ct,n denote the quantum coordinate rings of mimest and timesn matrices over K. We first prove that the set of coinvariants for the coaction of A on Cm,totimesCt,n equals the image of the natural K-algebra map from the quantum coordinate ring of mimesn matrices to Cm,totimesCt,n induced by comultiplication. The set of coinvariants for the coaction of B on Cm,totimesCt,n is shown to be the subalgebra generated by the above image together with a tensor product of two algebras generated by timest quantum minors.


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.











This page was built for publication: The first fundamental theorem of coinvariant theory for the quantum general linear group

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