Quantum determinantal ideals
The quantized coordinate ring \({\mathcal O}_q(M_n(k))\) of \(n\times n\) matrices over the field \(k\) is an affine \(k\)-algebra whose relations reduce, when the parameter \(q\) is \(1\), to ones which define the commutative polynomial \(k\)-algebra in \(n^2\) indeterminates -- that is, the classical coordinate ring of \(n\times n\) matrices over \(k\). \({\mathcal O}_q(M_n(k))\) is a bialgebra with the same coproduct as in the classical case, and contains a non-zero central element \(D\), the quantum determinant, such that \({\mathcal O}_q(M_n(k))/\langle D-1\rangle={\mathcal O}_q(\text{SL}_n(k))\) and \({\mathcal O}_q(M_n(k))[D^{-1}]={\mathcal O}_q(\text{GL}_n(k))\) are Hopf algebras, respectively quantum \(\text{SL}_n(k)\) and quantum \(\text{GL}_n(k)\). The prime and primitive spectra of these latter two Hopf algebras have been intensively studied -- see [\textit{A. Joseph}, Quantum groups and their primitive ideals, Ergeb. Math. Grenzgeb. (3) 29, Berlin, Springer (1995; Zbl 0808.17004)] and the references there. The purpose of this paper is to begin the study of that part of the prime spectrum of \({\mathcal O}_q(M_n(k))\) consisting of ideals containing \(D\), about which the earlier work can give no information. The main result of this paper is a quantum analogue of the first fundamental theorem of invariant theory. It states that, for \(t\) an integer between \(0\) and \(n-1\), the ideal of \({\mathcal O}_q(M_n(k))\) generated by the \((t+1)\times(t+1)\) quantum minors of \({\mathcal O}_q(M_n(k))\) is completely prime. The ideas developed for its proof are likely to find further application in the analysis of \({\mathcal O}_q(M_n(k))\), the main technical tool being the construction of a suitable vector space basis of \({\mathcal O}_q(M_n(k))\), an analogue of the standard basis in the commutative case, such that \({\mathcal O}_q(M_n(k))\) can be viewed as a ``noncommutative algebra with straightening law with respect to this basis.
- Determinantal rings
- scientific article; zbMATH DE number 49378 (Why is no real title available?)
- scientific article; zbMATH DE number 510253 (Why is no real title available?)
- scientific article; zbMATH DE number 705154 (Why is no real title available?)
- Normalité de certains anneaux déterminantiels quantiques
- Prime spectra of quantum semisimple groups
- Primitive ideals of \(\mathbb{C}_ q[SL(n)]\)
- Quantum deformations of GLn
- Quantum linear groups
- Standard basis theorem for quantum linear groups
- The first fundamental theorem of coinvariant theory for the quantum general linear group
- The quantum coordinate ring of the special linear group
- Young diagrams and determinantal varieties
- Row reducing quantum matrices, the quantum determinant, and the Dieudonné determinant
- Weakly multiplicative coactions of quantized function algebras.
- The invariant prime ideals of \(O_q({\mathcal M}_{m,p}(\mathbb{C}))\).
- Rank ideals and Capelli identities.
- The first fundamental theorem of coinvariant theory for the quantum general linear group
- Realizations of quantum hom-spaces, invariant theory, and quantum determinantal ideals
- Commutation relations among quantum minors in \({\mathcal O}_q(M_n(k))\).
- Winding-invariant prime ideals in quantum \(3\times 3\) matrices.
- The first and second fundamental theorems of invariant theory for the quantum general linear supergroup
- Double-partition quantum cluster algebras
- Rigidity of quantum tori and the Andruskiewitsch-Dumas conjecture
- Quantum- and quasi-Plücker coordinates.
- A quantum homogeneous space of nilpotent matrices.
- Primitive ideals and automorphisms of quantum matrices.
- Determinantal ideals and the canonical commutation relations: classically or quantized
- A quadratic Poisson Gel'fand-Kirillov problem in prime characteristic
- Primitive ideals in quantum \(\text{SL}_3\) and \(\text{GL}_3\).
- Twisting the quantum Grassmannian.
- scientific article; zbMATH DE number 987888 (Why is no real title available?)
- Every Quantum Minor Generates an Ore Set
- Quantum Pfaffians and hyper-Pfaffians
- Prime Factor Algebras of the Coordinate Ring of Quantum Matrices
- scientific article; zbMATH DE number 1759234 (Why is no real title available?)
- Cocommutative elements form a maximal commutative subalgebra in quantum matrices
- RANKtℋ-PRIMES IN QUANTUM MATRICES
- scientific article; zbMATH DE number 1569153 (Why is no real title available?)
- PRIME IDEALS INVARIANT UNDER WINDING AUTOMORPHISMS IN QUANTUM MATRICES
- scientific article; zbMATH DE number 6129723 (Why is no real title available?)
- Quasi-determinants and \(q\)-commuting minors
- Generalised quantum determinantal rings are maximal orders
- Spectra and catenarity of multi-parameter quantum Schubert cells.
- A graph theoretic method for determining generating sets of prime ideals in quantum matrices
- Quantum coinvariant theory for the quantum special linear group and quantum Schubert varieties
- Quantized rank \(R\) matrices.
- Centers and automorphisms of PI quantum matrix algebras
- A quantum analogue of Kostant's theorem for the general linear group.
- On the cones of classical groups
- Quantum graded algebras with a straightening law and the AS-Cohen-Macaulay property for quantum determinantal rings and quantum Grassmannians.
- Commutation relations for arbitrary quantum minors.
This page was built for publication: Quantum determinantal ideals
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1568664)