Quantum matrices by paths. (English) Zbl 1311.16031
Let \(k\) be an infinite field with a nonzero element \(q\) and \(\mathcal O_q(\mathrm{Mat}(m\times n,k))\) the coordinate algebra of quantum \(m\times n\)-matrices with entries from \(k\) and with one parameter \(q\). The first section of the paper presents a survey of results on ring-theoretical properties of \(\mathcal O_q(\mathrm{Mat}(m\times n,k))\). These rings are usually defined in terms of generators and defining relations. The author proposes another approach using the deleting derivations algorithm due to G. Cauchon. This approach is applied to the classification of torus-invariant prime ideals in \(\mathcal O_q(\mathrm{Mat}(m\times n,k))\). It is proved that if \(q\) is not a root of 1 any such ideal is generated by quantum minors. Moreover it is shown that quantum minors form a Gröbner basis of a torus-invariant prime ideal.
Reviewer: Vyacheslav A. Artamonov (Moskva)
MSC:
16T20 | Ring-theoretic aspects of quantum groups |
16S38 | Rings arising from noncommutative algebraic geometry |
16D25 | Ideals in associative algebras |
17B37 | Quantum groups (quantized enveloping algebras) and related deformations |
16T30 | Connections of Hopf algebras with combinatorics |