#### Vol. 8, No. 8, 2014

 Recent Issues
 The Journal About the Journal Editorial Board Editors’ Interests Subscriptions Submission Guidelines Submission Form Policies for Authors Ethics Statement ISSN: 1944-7833 (e-only) ISSN: 1937-0652 (print) Author Index To Appear Other MSP Journals
Quantum matrices by paths

### Karel Casteels

Vol. 8 (2014), No. 8, 1857–1912
##### Abstract

We study, from a combinatorial viewpoint, the quantized coordinate ring of $m×n$ matrices ${\mathsc{O}}_{q}\left({\mathsc{ℳ}}_{m,n}\left(\mathbb{K}\right)\right)$ over an infinite field $\mathbb{K}$ (often simply called quantum matrices).The first part of this paper shows that ${\mathsc{O}}_{q}\left({\mathsc{ℳ}}_{m,n}\left(\mathbb{K}\right)\right)$, which is traditionally defined by generators and relations, can be seen as a subalgebra of a quantum torus by using paths in a certain directed graph. Roughly speaking, we view each generator of ${\mathsc{O}}_{q}\left({\mathsc{ℳ}}_{m,n}\left(\mathbb{K}\right)\right)$ as a sum over paths in the graph, each path being assigned an element of the quantum torus. The ${\mathsc{O}}_{q}\left({\mathsc{ℳ}}_{m,n}\left(\mathbb{K}\right)\right)$ relations then arise naturally by considering intersecting paths. This viewpoint is closely related to Cauchon’s deleting derivations algorithm.

The second part of this paper applies the above to the theory of torus-invariant prime ideals of ${\mathsc{O}}_{q}\left({\mathsc{ℳ}}_{m,n}\left(\mathbb{K}\right)\right)$. We prove a conjecture of Goodearl and Lenagan that all such prime ideals, when the quantum parameter $q$ is a non-root of unity, have generating sets consisting of quantum minors. Previously, this result was known to hold only when $char\left(\mathbb{K}\right)=0$ and with $q$ transcendental over $ℚ$. Our strategy is to prove the stronger result that the quantum minors in a given torus-invariant ideal form a Gröbner basis.

##### Keywords
quantum algebra, quantum groups, quantum matrices, combinatorial noncommutative algebra, noncommutative Gröbner bases
Primary: 16T20
Secondary: 16T30