Prime ideals in the quantum Grassmannian. (Q930384): Difference between revisions

Let \(k\) be a field and \(q\) a nonzero element of \(k\) which is not a root of one. Denote by \(\mathcal O_q(M_{m,n}(k))\) where \(m\leqslant n\) the coordinate algebra of quantum \(n\times m\) matrices with standard set of generators \(x_{ij}\), \(1\leqslant i\leqslant m\), \(1\leqslant j\leqslant n\). Denote by \(H\) the automorphism group consisting of all automorphisms mapping each \(x_{ij}\) to \(\alpha_ix_{ij}\beta_j\) for some collection \((\alpha_1,\dots,\alpha_m,\beta_1,\dots,\beta_n)\) of nonzero elements from \(k\). The quantisation of the coordinate algebra of Grassmannian of \(m\)-dimensional subspaces of \(k^n\), denoted by \(\mathcal O_q(G_{m,n}(k))\), is the subalgebra of \(\mathcal O_q(M_{ m,n}(k))\) generated by all \(m\times m\)-matrices. If \(\lambda=(\lambda_1,\dots,\lambda_m)\) is a partition with \(n\geqslant\lambda_1\geqslant\cdots\geqslant\lambda_m\geqslant 0\), the partition subalgebra \(A_\lambda\) of \(\mathcal O_q(M_{m,n}(k))\) is generated by standard variables \(x_{ij}\) with \(j\leqslant\lambda_i\). It is shown that there exists a bijection between Cauchon diagrams and \(H\)-prime ideals in \(A_\lambda\). Moreover, each algebra \(A_\lambda\) has \(H\)-normal separation. The study of the \(H\)-prime spectrum of \(\mathcal O_q(G_{m,n}(k))\) is reduced to the case of partition algebras. It is shown that each prime ideal of \(\mathcal O_q(G_{m,n}(k))\) is completely prime. The algebra \(\mathcal O_q(G_{m,n}(k))\) is catenary and has normal \(H\)-separation.