Publications (28)0 Total impact
-
Article: Efficient recognition of totally nonnegative matrix cells
[show abstract] [hide abstract]
ABSTRACT: The space of mxp totally nonnegative real matrices has a stratification into totally nonnegative cells. The largest such cell is the space of totally positive matrices. There is a well-known criterion due to Gasca and Pe\~na for testing a real matrix for total positivity. This criterion involves testing mp minors. In contrast, there is no known small set of minors for testing for total nonnegativity. In this paper, we show that for each of the totally nonnegative cells there is a test for membership which only involves mp minors, thus extending the Gasca and Pe\~na result to all totally nonnegative cells.07/2012; -
Article: Automorphisms of quantum matrices
[show abstract] [hide abstract]
ABSTRACT: We study the automorphism group of the algebra $\oqmn$ of $n \times n$ generic quantum matrices. We provide evidence for our conjecture that this group is generated by the transposition and the subgroup of those automorphisms acting on the canonical generators of $\oqmn$ by multiplication by scalars. Moreover, we prove this conjecture in the case when $n=3$.12/2011; -
Article: LU decomposition of totally nonnegative matrices
[show abstract] [hide abstract]
ABSTRACT: A uniqueness theorem for an LU decomposition of a totally nonnegative matrix is obtained.06/2011; -
Article: Primitive ideals in quantum SL(3) and GL(3)
[show abstract] [hide abstract]
ABSTRACT: Explicit generating sets are found for all primitive ideals in the generic quantized coordinate rings of the 3x3 special and general linear groups over an arbitrary algebraically closed field. (Previously, generators were only known up to certain localizations.) The generating sets form polynormal regular sequences, from which it follows that all primitive factor algebras of these quantized coordinate rings are Auslander-Gorenstein and Cohen-Macaulay. Comment: 28 pages. There are several figures. If any of the figures do not display properly, you can obtain a stable pdf file from either of our webpages: http://www.math.ucsb.edu/~goodearl or http://www.maths.ed.ac.uk/~tom08/2010; -
Article: From totally nonnegative matrices to quantum matrices and back, via Poisson geometry
[show abstract] [hide abstract]
ABSTRACT: In this survey article, we describe recent work that connects three separate objects of interest: totally nonnegative matrices; quantum matrices; and matrix Poisson varieties. Comment: 23p11/2009; -
Article: Twisting the quantum grassmannian
[show abstract] [hide abstract]
ABSTRACT: In contrast to the classical and semiclassical settings, the Coxeter element (12...n) which cycles the columns of an mxn matrix does not determine an automorphism of the quantum grassmannian. Here, we show that this cycling can be obtained by defining a cocycle twist. A consequence is that the torus invariant prime ideals of the quantum grassmannian are permuted by the action of the Coxeter element (12...n); we view this as a quantum analogue of the recent result of Knutson, Lam and Speyer that the Lusztig strata of the classical grassmannian are permuted by (12...n). Comment: 15 pages10/2009; -
Article: Torus-invariant prime ideals in quantum matrices, totally nonnegative cells and symplectic leaves
[show abstract] [hide abstract]
ABSTRACT: The algebra of quantum matrices of a given size supports a rational torus action by automorphisms. It follows from work of Letzter and the first named author that to understand the prime and primitive spectra of this algebra, the first step is to understand the prime ideals that are invariant under the torus action. In this paper, we prove that a family of quantum minors is the set of all quantum minors that belong to a given torus-invariant prime ideal of a quantum matrix algebra if and only if the corresponding family of minors defines a non-empty totally nonnegative cell in the space of totally nonnegative real matrices of the appropriate size. As a corollary, we obtain explicit generating sets of quantum minors for the torus-invariant prime ideals of quantum matrices in the case where the quantisation parameter $q$ is transcendental over $\mathbb{Q}$. Comment: 16 pages09/2009; -
Article: Totally nonnegative cells and matrix Poisson varieties
[show abstract] [hide abstract]
ABSTRACT: We describe explicitly the admissible families of minors for the totally nonnegative cells of real matrices, that is, the families of minors that produce nonempty cells in the cell decompositions of spaces of totally nonnegative matrices introduced by A. Postnikov. In order to do this, we relate the totally nonnegative cells to torus orbits of symplectic leaves of the Poisson varieties of complex matrices. In particular, we describe the minors that vanish on a torus orbit of symplectic leaves, we prove that such families of minors are exactly the admissible families, and we show that the nonempty totally nonnegative cells are the intersections of the torus orbits of symplectic leaves with the spaces of totally nonnegative matrices. Comment: 46 pages05/2009; -
Article: Prime ideals in the quantum grassmannian
[show abstract] [hide abstract]
ABSTRACT: We consider quantum Schubert cells in the quantum grassmannian and give a cell decomposition of the prime spectrum via the Schubert cells. As a consequence, we show that all primes are completely prime in the generic case where the deformation parameter q is not a root of unity. There is a torus H that acts naturally on the quantum grassmannian and the cell decomposition of the set of H-primes leads to a parameterisation of the H-spectrum via certain diagrams on partitions associated to the Schubert cells. Interestingly, the same parameterisation occurs for the non-negative cells in recent studies concerning the totally non-negative grassmannian. Finally, we use the cell decomposition to establish that the quantum grassmannian satisfies normal separation and catenarity.09/2007; -
Article: Quantum analogues of Schubert varieties in the grassmannian
[show abstract] [hide abstract]
ABSTRACT: We study quantum Schubert varieties from the point of view of regularity conditions. More precisely, we show that these rings are domains which are maximal orders and are AS-Cohen-Macaulay and we determine which of them are AS-Gorenstein. One key fact that enables us to prove these results is that quantum Schubert varieties are quantum graded algebras with a straightening law that have a unique minimal element in the defining poset. We prove a general result showing when such quantum graded algebras are maximal orders. Finally, we exploit these results to show that quantum determinantal rings are maximal orders.11/2006; -
Article: The first Hochschild cohomology group of quantum matrices and the quantum special linear group
[show abstract] [hide abstract]
ABSTRACT: We calculate the first Hochschild cohomology group of quantum matrices, the quantum general linear group and the quantum special linear group in the generic case when the deformation parameter is not a root of unity. As a corollary, we obtain information about twisted Hochschild homology of these algebras.09/2006; -
Article: Quantised coordinate rings of semisimple groups are unique factorisation domains
[show abstract] [hide abstract]
ABSTRACT: We show that the quantum coordinate ring of a semisimple group is a unique factorisation domain in the sense of Chatters and Jordan in the case where the deformation parameter q is a transcendental element.04/2006; -
Article: Primitive ideals and automorphisms of quantum matrices
[show abstract] [hide abstract]
ABSTRACT: Let q be a nonzero complex number that is not a root of unity. We give a criterion for (0) to be a primitive ideal of the algebra O_q(M_{m,n}) of quantum matrices. Next, we describe all height one primes of O_q(M_{m,n}); these two problems are actually interlinked since it turns out that (0) is a primitive ideal of O_q(M_{m,n}) whenever O_q(M_{m,n}) has only finitely many height one primes. Finally, we compute the automorphism group of O_q(M_{m,n}) in the case where m is not equal to n. In order to do this, we first study the action of this group on the prime spectrum of O_q(M_{m,n}). Then, by using the preferred basis of O_q(M_{m,n}) and PBW bases, we prove that the automorphism group of O_q(M_{m,n}) is isomorphic to the torus (C*)^{m+n-1} when m is not equal to n, and (m,n) is not equal to (1,3) and (3,1).12/2005; -
Article: Quantum unique factorisation domains
[show abstract] [hide abstract]
ABSTRACT: We prove a general theorem showing that iterated skew polynomial extensions of the type which fit the conditions needed by Cauchon's deleting derivations theory and by the Goodearl-Letzter stratification theory are unique factorisation rings in the sense of Chatters and Jordan. This general result applies to many quantum algebras; in particular, generic quantum matrices and quantized enveloping algebras of the nilpotent part of a semisimple Lie algebra are unique factorisation domains in the sense of Chatters. By using noncommutative dehomogenisation, the result also extends to generic quantum grassmannians.03/2005; -
Article: Quantum graded algebras with a straightening law and the AS-Cohen-Macaulay property for quantum determinantal rings and quantum grassmannians
[show abstract] [hide abstract]
ABSTRACT: We study quantum analogues of quotient varieties, namely quantum grassmannians and quantum determinantal rings, from the point of view of regularity conditions. More precisely, we show that these rings are AS-Cohen-Macaulay and determine which of them are AS-Gorenstein. Our method is inspired by the one developed by De Concini, Eisenbud and Procesi in the commutative case. Thus, we introduce and study the notion of a quantum graded algebra with a staightening law on a partially ordered set, showing in particular that, among such algebras, those whose underlying poset is wonderful are AS-Cohen-Macaulay. Then, we prove that both quantum grassmannians and quantum determinantal rings are quantum graded algebras with a staightening law on a wonderful poset, hence showing that they are AS-Cohen-Macaulay. In this last step, we are lead to introduce and study (to some extent) natural quantum analogues of Schubert varieties.04/2004; -
Article: Quantized coinvariants at transcendental q
[show abstract] [hide abstract]
ABSTRACT: A general method is developed for deriving Quantum First and Second Fundamental Theorems of Coinvariant Theory from classical analogs in Invariant Theory, in the case that the quantization parameter q is transcendental over a base field. Several examples are given illustrating the utility of the method; these recover earlier results of various researchers including Domokos, Fioresi, Hacon, Rigal, Strickland, and the present authors.03/2003; -
Article: The maximal order property for quantum determinantal rings
[show abstract] [hide abstract]
ABSTRACT: We develop a method of reducing the size of quantum minors in the algebra of n x n quantum matrices. The method is used to show that quantum determinantal factor rings of n x n quantum matrices over the complex numbers are maximal orders, when the parameter q is transcendental over the rational numbers.09/2002; -
Article: Ring theoretic properties of quantum grassmannians
[show abstract] [hide abstract]
ABSTRACT: The m x n quantum grassmannian, G_q(m,n), is the subalgebra of the algebra of m x n quantum matrices that is generated by the maximal m x m quantum minors. Several properties of G_q(m,n) are established. In particular, a basis of G_q(m,n) is obtained, and it is shown that G_q(m,n) is a noetherian domain of Gelfand-Kirillov dimension m(n-m)+1. The algebra G_q(m,n) is identified as the subalgebra of coinvariants of a natural left coaction of the m x m quantum special linear group on the algebra of m x n quantum matrices and it is shown that G_q(m,n) is a maximal order.09/2002; -
Article: Winding-invariant prime ideals in quantum $3\times3$ matrices
[show abstract] [hide abstract]
ABSTRACT: A complete determination of the prime ideals invariant under winding automorphisms in the generic 3 by 3 quantum matrix algebra is obtained. Explicit generating sets consisting of quantum minors are given for all of these primes, thus verifying a general conjecture in the 3 by 3 case. The result relies heavily on certain tensor product decompositions for winding-invariant prime ideals, developed in an accompanying paper. In addition, new methods are developed here, which show that certain sets of quantum minors, not previously manageable, generate prime ideals in the n by n quantum matrix algebra.01/2002; -
Article: Prime ideals invariant under winding automorphisms in quantum matrices
[show abstract] [hide abstract]
ABSTRACT: The main goal of the paper is to establish the existence of tensor product decompositions for those prime ideals P of the generic algebra A of quantum n by n matrices which are invariant under winding automorphisms of A. More specifically, every such P is the kernel of a map from A to (A^+/P^+) tensor (A^-/P^-) obtained by composing comultiplication, localization, and quotient maps, where A^+ and A^- are special localized quotients of A while P^+ and P^- are prime ideals invariant under winding automorphisms. Further, the algebras A^+ and A^-, which vary with P, can be chosen so that the correspondence sending (P^+,P^-) to P is a bijection. The main theorem is applied, in a sequel to this paper, to completely determine the winding-invariant prime ideals in the generic quantum 3 by 3 matrix algebra.11/2001;
Top co-authors
Institutions
-
2001
-
The University of Edinburgh
Edinburgh, SCT, United Kingdom
-
