Searcharxiv⌕ Search

arXiv subjects

T. H. Lenagan

Publications and source records attributed to T. H. Lenagan.

14 recordsLinked to original sources
arXiv2016

Prime factors of quantum Schubert cell algebras and clusters for quantum Richardson varieties

The understanding of the topology of the spectra of quantum Schubert cell algebras hinges on the description of their prime factors by ideals invariant under the maximal torus of the ambient Kac-Moody group. We give an explicit description of these prime quotients by expressing their Cauchon generators in terms of sequences of normal elements in chains of subalgebras. Based on this, we construct large families of quantum clusters for all of these algebras and the quantum Richardson varieties associated to arbitrary symmetrizable Kac-Moody algebras and all pairs of Weyl group elements. Along the way we develop a quantum version of the Fomin-Zelevinsky twist map for all quantum Richardson varieties. Furthermore, we establish an explicit relationship between the Goodearl-Letzter and Cauchon approaches to the descriptions of the spectra of symmetric CGL extensions.

math.QA↗
arXiv2014

Leavitt path algebras satisfying a polynomial identity

Leavitt path algebras L of an arbitrary graph E over a field K satisfying a polynomial identity are completely characterized both in graph-theoretic and algebraic terms. When E is a finite graph, L satisfying a polynomial identity is shown to be equivalent to the Gelfand-Kirillov dimension of L being at most one, though this is no longer true for infinite graphs. It is shown that, for an arbitrary graph E, the Leavitt path algebra L has Gelfand-Kirillov dimension zero if and only if E has no cycles. Likewise, L has Gelfand-Kirillov dimension one if and only if E contains at least one cycle, but no cycle in E has an exit.

math.RA↗
arXiv2013

Automorphisms of quantum matrices

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$.

math.QA↗
arXiv2012

Efficient recognition of totally nonnegative matrix cells

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ña 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ña result to all totally nonnegative cells.

math.RA↗
arXiv2009

Torus-invariant prime ideals in quantum matrices, totally nonnegative cells and symplectic leaves

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}$.

math.QA↗
arXiv2009

Totally nonnegative cells and matrix Poisson varieties

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.

math.AG↗
arXiv2004

Quantized trace rings

The general linear group acts on $m$-tuples of $N\times N$ matrices by simultaneous conjugation. Quantum deformations of the corresponding rings of invariants and the so-called trace rings are investigated.

math.QA↗
arXiv2003

Representation rings of quantum groups

Generators and relations are given for the subalgebra of cocommutative elements in the quantized coordinate rings of the classical groups, where the deformation parameter q is transcendental. This is a ring theoretic formulation of the well known fact that the representation theory of the quantized group is completely analogous to its classical counterpart. The subalgebras of cocommutative elements in the corresponding FRT-bialgebras (defined by Faddeev, Reshetikhin, and Takhtadzhyan) are explicitly determined, using a bialgebra embedding of the FRT-bialgebra into the tensor product of the quantized coordinate ring and the one-variable polynomial ring. A parallel analysis of the subalgebras of adjoint coinvariants is carried out as well, yielding similar results with similar proofs. The basic adjoint coinvariants are interpreted as quantum traces of representations of the corresponding quantized universal enveloping algebra.

math.QA↗
arXiv2003

Orbits for the adjoint coaction on quantum matrices

Conjugation coactions of the quantum general linear group on the algebra of quantum matrices have been introduced in an earlier paper and the coinvariants have been determined. In this paper the notion of orbit is considered via co-orbit maps for these coactions. The co-orbit maps are calculated explicitly for 2 by 2 quantum matrices. In the NxN case we consider the case of a generic diagonal matrix when the deformation parameter is transcendental over the field generated by the diagonal entries.

math.QA↗
arXiv2001

Winding-invariant prime ideals in quantum $3\times3$ matrices

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.

math.QA↗
arXiv2001

Prime ideals invariant under winding automorphisms in quantum matrices

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.

math.QA↗
arXiv1999

The first fundamental theorem of coinvariant theory for the quantum general linear group

We prove First Fundamental Theorems of Coinvariant Theory for the standard coactions of the quantum general and special linear groups on tensor products of quantum matrix algebras. More precisely, let m,n,t be arbitrary positive integers, let A and B be the quantum coordinate rings of the $t \times t$ general and special linear groups over an arbitrary field K, and let $C_{m,t}$ and $C_{t,n}$ denote the quantum coordinate rings of $m \times t$ and $t \times n$ matrices over K. We first prove that the set of coinvariants for the coaction of A on $C_{m,t} \otimes C_{t,n}$ equals the image of the natural K-algebra map from the quantum coordinate ring of $m \times n$ matrices to $C_{m,t} \otimes C_{t,n}$ induced by comultiplication. The set of coinvariants for the coaction of B on $C_{m,t} \otimes C_{t,n}$ is shown to be the subalgebra generated by the above image together with a tensor product of two algebras generated by $t \times t$ quantum minors.

math.QA↗
arXiv1999

Prime ideals in certain quantum determinantal rings

The ideal I generated by the 2x2 quantum minors in the algebra A = O_q(M_{m,n}(k)) (the quantized coordinate algebra of mxn matrices) is investigated. Analogues of the First and Second Fundamental Theorems of Invariant Theory are proved. In particular, it is shown that I is a completely prime ideal, that is, A/I is an integral domain, and that A/I is the ring of coinvariants of a coaction of k[x,x^{-1}] on O_q(k^m) tensor O_q(k^n), a tensor product of two quantum affine spaces. (That the ideal of A generated by the txt quantum minors, for any t, is completely prime is proved in the authors' paper `Quantum determinantal ideals'.) There is a natural torus action on A/I induced by an (m+n)-torus action on A. We identify the invariant prime ideals for this action and deduce consequences for the prime spectrum of A/I.

math.QA↗