RING THEORETIC PROPERTIES OF QUANTUM GRASSMANNIANS (Q5315536)

Let \({\mathcal O}_q(M_{mn})\) be the coordinate algebra of quantum \(m\times n\) matrices over a field \(k\), where \(q\in k^*\) and \(m\leqslant n\). The Grassmannian \({\mathcal G}_q(m,n)\) is the subalgebra in \({\mathcal O}_q(M_{mn})\) generated by all \(m\times m\) quantum minors. It is shown that the quantum Grassmannian is a Noetherian domain. Quantum analogs of Plücker relations of quantum minors are established. The quantum Grassmannian admits a grading which is inherited from a grading in \({\mathcal O}_q(M_{mn})\) in which the standard generators \(X_{ij}\) have degree 1. Let \(D\) be a minor composed from the last \(m\) columns and \(D\hom({\mathcal G}_q(m,n),D)\) is the set of elements of zero degree in the localization of the Grassmannian by the Ore system of powers of \(D\). It is shown that \(D\hom({\mathcal G}_q(m,n),D)\simeq{\mathcal O}_q(M_{m,n-m})\). Let \(G_1,G_2\) be Grassmannians in \({\mathcal O}_q(M_{nm})\), \({\mathcal O}_q(M_{mn})\) respectively, and \(R\) the image of \({\mathcal O}_q(M_{nn})\) in \({\mathcal O}_q(M_{nm})\otimes{\mathcal O}_q(M_{mn})\) under the map \(X_{ij}\mapsto\sum_kX_{ik}'\otimes X''_{kj}\). It is shown that \[ {\mathcal O}_q(M_{nm})\otimes{\mathcal O}_q(M_{mn})^{co{\mathcal O}_q(\text{SL}_m)}=(G_1\otimes G_2)R \] and \({\mathcal O}_q(M_{nm})^{co{\mathcal O}_q(\text{SL}_m)}={\mathcal G}_q(m,n)\). Moreover \({\mathcal G}_q(m,n)\) is a maximal order.