Quantum matrices by paths.

DOI10.2140/ANT.2014.8.1857MaRDI QIDQ482298zbMATH OpenOpenAlexFDO

Authors Karel Casteels

Publication date 22 December 2014

Published in Algebra \& Number Theory (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1210.6399

zbMATH Keywords

coordinate algebras of quantum matricesGröbner basesprime ideals

Mathematics Subject Classification ID

Ideals in associative algebras (16D25) Rings arising from noncommutative algebraic geometry (16S38) Ring-theoretic aspects of quantum groups (16T20) Connections of Hopf algebras with combinatorics (16T30) Quantum groups (quantized enveloping algebras) and related deformations (17B37)

Abstract: We study, from a combinatorial viewpoint, the quantized coordinate ring of mxn matrices over an infinite field K (also called quantum matrices) and its torus-invariant prime ideals. The first part of this paper shows that this algebra, traditionally defined by generators and relations, can be seen as subalgebra of a quantum torus by using paths in a certain directed graph. Roughly speaking, we view each generator of quantum matrices as a sum over paths in the graph, each path being assigned an element of the quantum torus. The quantum matrices 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 is to apply the paths viewpoint to the theory of torus-invariant prime ideals of quantum matrices. 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 for char(K)=0 and q transcendental over Q. Our strategy is to show that the quantum minors in a given torus-invariant ideal form a Grobner basis.

Review text

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.

Recommendations

• A graph theoretic method for determining generating sets of prime ideals in quantum matrices
• Torus-invariant prime ideals in quantum matrices, totally nonnegative cells and symplectic leaves.
• A proof of the Goodearl-Lenagan polynormality conjecture.
• GENERATORS FOR $\mathcal{H}$-INVARIANT PRIME IDEALS IN $O_{q}(\mathcal{M}_{m,p}(\mathbb{C}))$
• On universal quadratic identities for minors of quantum matrices

Cited in

(22)

• Quantum determinantal ideals
• From Grassmann necklaces to restricted permutations and back again
• On the importance of being primitive
• Every Quantum Minor Generates an Ore Set
• Elementary operations and Laplace's theorem on quantum matrices
• THE MAXIMAL ORDER PROPERTY FOR QUANTUM DETERMINANTAL RINGS
• Dimensions of quantum determinantal rings
• The prime spectrum of quantum SL3 and the Poisson prime spectrum of its semiclassical limit
• FOCK REPRESENTATIONS AND QUANTUM MATRICES
• The Defining Relations of Quantum n × n Matrices
• Combinatorics of the geometry of Wilson loop diagrams II: Grassmann necklaces, dimensions, and denominators
• AN ALGORITHM TO CONSTRUCT THE LE DIAGRAM ASSOCIATED TO A GRASSMANN NECKLACE
• A proof of the Goodearl-Lenagan polynormality conjecture.
• A graph theoretic method for determining generating sets of prime ideals in quantum matrices
• On universal quadratic identities for minors of quantum matrices
• On universal quadratic identities for minors of quantum matrices
• Quantum matrix pairs.
• Total Positivity is a Quantum Phenomenon: The Grassmannian Case
• Scaffoldings of totally positive matrices and line insertion
• Enumeration of \(\mathcal H\)-strata in quantum matrices with respect to dimension
• A deleting derivations algorithm for quantum nilpotent algebras at roots of unity
• On the dimension of \(H\)-strata in quantum algebras.

This page was built for publication: Quantum matrices by paths.

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q482298)