This paper is partly a report on current knowledge concerning the structure of (generic) quantized coordinate rings and their prime spectra, and partly propaganda in support of the conjecture that since these algebras share many common properties, there must be a common basis on which to treat them. The first part of the paper is expository. We survey a number of classes of quantized coordinate rings, as well as some related algebras that share common properties, and we record some of the basic properties known to occur for many of these algebras, culminating in stratifications of the prime spectra by the actions of tori of automorphisms. As our main interest is in the generic case, we assume various parameters are not roots of unity whenever convenient. In the second part of the paper, which is based on joint work with E. S. Letzter in [The Dixmier-Moeglin equivalence in quantum coordinate rings and quantized Weyl algebras (to appear in Trans. Amer. Math. Soc.)], we offer some support for the conjecture above, in the form of an axiomatic basis for the observed stratifications and their properties. At present, the existence of a suitable supply of normal elements is taken as one of the axioms; the search for better axioms that yield such normal elements is left as an open problem.
This paper offers an expository account of some ideas, methods, and conjectures concerning quantized coordinate rings and their semiclassical limits, with a particular focus on primitive ideal spaces. The semiclassical limit of a family of quantized coordinate rings of an affine algebraic variety V consists of the classical coordinate ring O(V) equipped with an associated Poisson structure. Conjectured relationships between primitive ideals of a generic quantized coordinate ring A and symplectic leaves in V (relative to a semiclassical limit Poisson structure on O(V)) are discussed, as are bre…
We prove that the generic quantized coordinate ring $\mathcal{O}_q(G)$ is Auslander-regular, Cohen-Macaulay, and catenary for every connected semisimple Lie group $G$. This answers questions raised by Brown, Lenagan, and the first author. We also prove that under certain hypotheses concerning the existence of normal elements, a noetherian Hopf algebra is Auslander-Gorenstein and Cohen-Macaulay. This provides a new set of positive cases for a question of Brown and the first author.
We describe the prime and primitive spectra for quantized enveloping algebras at roots of 1 in characteristic zero in terms of the prime spectrum of the underlying enveloping algebra. For primitive ideals we obtain an analogue of Duflo's Theorem, which says that every primitive ideal is the annihilator of a simple highest weight module. This depends on an extension of Lusztig's tensor product theorem.
This paper contains a survey of some ring-theoretic aspects of quantized coordinate rings, with primary focus on the prime and primitive spectra. For these algebras, the overall structure of the prime spectrum is governed by a partition into strata determined by the action of a suitable group of automorphisms of the algebra. We discuss this stratification in detail, as well as its use in determining the primitive spectrum -- under suitable conditions, the primitive ideals are precisely those prime ideals which are maximal within their strata. The discussion then turns to the global structure o…
We investigate a class of algebras that provides multiparameter versions of both quantum symplectic space and quantum Euclidean $2n$-space. These algebras encompass the graded quantized Weyl algebras, the quantized Heisenberg space, and a class of algebras introduced by Oh. We describe the structure of the prime and primitive ideals of these algebras. Other structural results include normal separation and catenarity.
For an algebraically closed field $K$, we investigate a class of noncommutative $K$-algebras called connected quantized Weyl algebras. Such an algebra has a PBW basis for a set of generators $\{x_1,\dots,x_n\}$ such that each pair satisfies a relation of the form $x_ix_j=q_{ij}x_jx_i+r_{ij}$, where $q_{ij}\in K^*$ and $r_{ij}\in K$, with, in some sense, sufficiently many pairs for which $r_{ij}\neq 0$. We classify connected quantized Weyl algebras, showing that there are two types, linear and cyclic, each depending on a single parameter $q$. When $q$ is not a root of unity we determine the pri…
Let R be a Noetherian domain and let (σ, δ) be a quasi-derivation of R such that σ is an automorphism. There is an induced quasi-derivation on the classical quotient ring Q of R. Suppose F = t^2 - v is normal in the Ore extension R[t; σ, δ] where v ε R. We show F is prime in R[t; σ, δ] if and only if F is irreducible in Q[t; σ, δ] if and only if there does not exist w ε Q such that v = σ (w)w - δ (w). We apply this result to classify prime quadratic forms in quantum planes and quantized Weyl algebras.
Recently, Kuniba, Okado and Yamada proved that the transition matrix of PBW-type bases of the positive-half of a quantized universal enveloping algebra $U_q(\mathfrak{g})$ coincides with a matrix coefficients of the intertwiner between certain irreducible modules over the corresponding quantized coordinate ring $A_q(\mathfrak{g})$, introduced by Soibelman. In the present article, we give a new proof of their result, by using representation theory of the $q$-boson algebra, and the Drinfeld paring of $U_q(\mathfrak{g})$.
We define two subalgebras which can be seen as the quantization of the coordinate rings of the unipotent radical of the standard positive (respectively negative) Borel subgroup of $SL_{n+1}$. We give a presentation for these algebras and show they are isomorphic. Moreover, we show that these algebras are the conivariants of a natural $O_q(T)$-coaction on $O_q(B^\pm)$. Finally, using a dual pairing, we show that these algebras are isomorphic to the quantum nilpotent Lie subalgebra of $U_q(\mathfrak{sl}_{n+1})$.
Around 1990 Soibelman constructed certain irreducible modules over the quantized coordinate algebra. A. Kuniba, M. Okado, Y. Yamada recently found that the relation among natural bases of Soibelman's irreducible module can be described using the relation among the PBW-type bases of the positive part of the quantized enveloping algebra, and proved this fact using case-by-case analysis in rank two cases. In this paper we will give a realization of Soibelman's module as an induced module, and give a unified proof of the above result of Kuniba, Okado, Yamada. We also verify Conjecture 1 of Kuniba,…
We prove an integral version of the Schur--Weyl duality between the specialized Birman--Murakami--Wenzl algebra $B_n(-q^{2m+1},q)$ and the quantum algebra associated to the symplectic Lie algebra sp_{2m}. In particular, we deduce that this Schur--Weyl duality holds over arbitrary (commutative) ground rings, which answers a question of Lehrer and Zhang [Strongly multiplicity free modules for Lie algebras and quantum groups, J. Algebra (1) 306 (2006), 138--174] in the symplectic case. As a byproduct, we show that, as $Z[q,q^{-1}]$-algebra, the quantized coordinate algebra defined by Kashiwara is…
We describe the Poisson ideals and attached symplectic geometry of a cluster algebra with compatible Poisson structure. We apply these results to determine the spectrum of a quantum cluster algebra. As an application, we describe the topology on the spectra of quantized coordinate rings such as quantum matrices and the quantized function algebra of the general linear group.
The notion of locally finite part of the dual coalgebra of certain quantized coordinate rings is introduced. In the case of irreducible flag manifolds this locally finite part is shown to coincide with a natural quotient coalgebra V of U_q(g). On the way the coradical filtration of V is determined. A graded version of the duality between V and the quantized coordinate ring is established. This leads to a natural construction of several examples of quantized vector spaces. As an application covariant first order differential calculi on quantized irreducible flag manifolds are classified. Keywor…
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 qua…
First some old as well as new results about P.I. algebras, Ore extensions, and degrees are presented. Then quantized $n\times r$ matrices as well as quantized factor algebras of $M_q(n)$ are analyzed. The latter are the quantized function algebra of rank $r$ matrices obtained by working modulo the ideal generated by all $(r+1)\times (r+1)$ quantum subdeterminants and a certain localization of this algebra is proved to be isomorphic to a more manageable one. In all cases, the quantum parameter is a primitive $m$th roots of unity. The degrees and centers of the algebras are determined when $m$ i…
It is known that a generalized $q$-Schur algebra may be constructed as a quotient of a quantized enveloping algebra $\UU$ or its modified form $\dot{\UU}$. On the other hand, we show here that both $\UU$ and $\dot{\UU}$ may be constructed within an inverse limit of a certain inverse system of generalized $q$-Schur algebras. Working within the inverse limit $\hat{\UU}$ clarifies the relation between $\dot{\UU}$ and $\UU$. This inverse limit is a $q$-analogue of the linear dual $R[G]^*$ of the coordinate algebra of a corresponding linear algebraic group $G$.
Some filtrations of the tensor product of a highest weight module and a lowest weight module over quantum group $U_q(\mathfrak g)$ are constructed in \cite{LZ:2009} and one can use them to define some ideals of the modified quantized enveloping algebra. It is shown that the quotient algebras inherit canonical bases from the modified quantized enveloping algebra and are dual to the quantum coordinate ring defined by Kashiwara for symmetrizable Kac-Moody algebra $\mathfrak g$.
For the Borel part of a quantized enveloping algebra we classify all right coideal subalgebras for which the intersection with the coradical is a Hopf algebra. The result is expressed in terms of characters of the subalgebras $U^+[w]$ of the quantized enveloping algebra, introduced by de Concini, Kac, and Procesi for any Weyl group element $w$. We explicitly determine all characters of $U^+[w]$ building on recent work by Yakimov on prime ideals of $U^+[w]$ which are invariant under a torus action. Key words: Quantum groups, coideal subalgebras
De Concini, Kac and Procesi defined a family of subalgebras U^w_+ of a quantized universal enveloping algebra U_q(g), associated to the elements of the corresponding Weyl group W. They are deformations of the universal enveloping algebras U(n_+ \cap Ad_w(n_-)) where n_\pm are the nilradicals of a pair of dual Borel subalgebras. Based on results of Gorelik and Joseph and an interpretation of U^w_+ as quantized algebras of functions on Schubert cells, we construct explicitly the H invariant prime ideals of each U^w_+ and show that the corresponding poset is isomorphic to W^{\leq w}, where H is t…
We determine criteria for the prime spectrum of an ambiskew polynomial algebra $R$ over an algebraically closed field $K$ to be akin to those of two of the principal examples of such an algebra, namely the universal enveloping algebra $U(sl_2)$ (in characteristic $0$) and its quantization $U_q(sl_2)$ (when $q$ is not a root of unity). More precisely, we aim to determine when the prime spectrum of $R$ consists of $0$, the ideals $(z-λ)R$ for some central element $z$ of $R$ and all $λ\in K$, and, for some positive integer $d$ and each positive integer $m$, $d$ height two prime ideals with Goldie…
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.
The Poisson centralizer of the trace element is determined in the coordinate ring of SL_n endowed with the Poisson structure obtained as the semiclassical limit of its quantized coordinate ring. It turns out that this maximal Poisson-commutative subalgebra coincides with the subalgebra of invariants with respect to the adjoint action.
Brown and Goodearl stated a conjecture that provides an explicit description of the topology of the spectra of quantum algebras. The conjecture takes on a more explicit form if there exist separating Ore sets for all incident pairs of torus invariant prime ideals of the given algebra. We prove that this is the case for the two largest classes of algebras of finite Gelfand-Kirillov dimension that fit the setting of the conjecture: the quantized coordinate rings of all simple algebraic groups and the quantum Schubert cell algebras for all symmetrizable Kac-Moody algebras.
We propose a quantum analogue of a Tits-Kantor-Koecher algebra with a Jordan torus as an coordinated algebra by looking at the vertex operator construction over a Fock space.
This is a survey of what is known and/or conjectured about the prime and primitive spectra of quantum algebras, of quantized coordinate rings in particular. The topological structure of these spectra, their relations to classical affine algebraic varieties, and their relations to each other are discussed.
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' pa…
A class of Poisson algebras considered as a Poisson version of the multiparameter quantized coordinate rings of symplectic and Euclidean $2n$-spaces is constructed and the prime Poisson ideals and the symplectic ideals of these Poisson algebras are described. As a result, it is shown that the multiparameter quantized symplectic and Euclidean $2n$-spaces are topological quotients of their classical spaces.
In this paper, we study and classify Hilbert space representations of cross product *-algebras of the quantized enveloping algebra $U_q(e_2)$ with the coordinate algebras $O(E_q(2))$ of the quantum motion group and $O(\C_q)$ of the complex plane, and of the quantized enveloping algebra $U_q(su_{1,1})$ with the coordinate algebras $O(SU_q(1,1))$ of the quantum group $SU_q(1,1)$ and $O(U_q)$ of the quantum disc. Invariant positive functionals and the corresponding Heisenberg representations are explicitely described.
We quantize the coordinate ring of the moduli space of B-bundles on the elliptic curve. Here B is a Borel subgroup of some semisimple Lie group. We construct some representations of these algebras and study intertwining operators for these representations. We apply our constructions to produce some objects: the elliptic Belavin R-matrix, the quantization of the algebra of functions on the Grassmannian, some generalized elliptic R-matrix. We consider also the affine case and write down the explicit formula for commuting elements.
We study the algebra $U_ζ$ obtained via Lusztig's `integral' form [Lu 1, 2] of the generic quantum algebra for the Lie algebra $\frak {g=sl}_2$ modulo the two-sided ideal generated by $K^l-1$. We show that $U_ζ$ is a smash product of the quantum deformation of the restricted universal enveloping algebra $\bold u_ζ$ of $\frak g$ and the ordinary universal enveloping algebra $U$ of $\frak g$, and we compute the primitive (= prime) ideals of $\Uz$. Next we describe a decomposition of $\bold u_ζ$ into the simple $U$- submodules, which leads to an explicit formula for the center and the indecomposa…
Let ${\mathfrak g}$ be a finite dimensional complex simple Lie algebra, and let $r,s\in \mathbb{C}^{\ast}$ be transcendental over $\mathbb{Q}$ such that $r^{m}s^{n}=1$ implies $m=n=0$. We will obtain some basic properties of the two-parameter quantized enveloping algebra $U_{r,s}^{+}(\mathfrak g)$. In particular, we will verify that the algebra $U_{r,s}^{+}(\mathfrak g)$ satisfies many nice properties such as having normal separation, catenarity and Dixmier-Moeglin equivalence. We shall study a concrete example, the algebra $U_{r,s}^{+}(B_{2})$ in detail. We will first determine the normal ele…
We give several explicit examples of quantum cluster algebra structures, as introduced by Berenstein and Zelevinsky, on quantized coordinate rings of partial flag varieties and their associated unipotent radicals. These structures are shown to be quantizations of the cluster algebra structures found on the corresponding classical objects by Geiss, Leclerc and Schroer, whose work generalizes that of several other authors. We also exhibit quantum cluster algebra structures on the quantized enveloping algebras of the Lie algebras of the unipotent radicals.
The quadratic Poisson Gel'fand-Kirillov problem asks whether the field of fractions of a Poisson algebra is Poisson birationally equivalent to a Poisson affine space, i.e. to a polynomial algebra $\K[X_1,..., X_n]$ with Poisson bracket defined by $\{X_i,X_j\}=λ_{ij} X_iX_j$ for some skew-symmetric matrix $(λ_{ij}) \in M_n(\K)$. This problem was studied in \cite{GL} over a field of characteristic 0 by using a Poisson version of the deleting-derivations algorithm of Cauchon. In this paper, we study the quadratic Poisson Gel'fand-Kirillov problem over a field of arbitrary characteristic. In parti…
A major direction in the theory of cluster algebras is to construct (quantum) cluster algebra structures on the (quantized) coordinate rings of various families of varieties arising in Lie theory. We prove that all algebras in a very large axiomatically defined class of noncommutative algebras possess canonical quantum cluster algebra structures. Furthermore, they coincide with the corresponding upper quantum cluster algebras. We also establish analogs of these results for a large class of Poisson nilpotent algebras. Many important families of coordinate rings are subsumed in the class we are …
We show that certain homological regularity properties of graded connected algebras, such as being AS-Gorenstein or AS-Cohen-Macaulay, can be tested by passing to associated graded rings. In the spirit of noncommutative algebraic geometry, this can be seen as an analogue of the classical result that, in a flat family of varieties over the affine line, regularity properties of the exceptional fiber extend to all fibers. We then show that quantized coordinate rings of flag varieties and Schubert varieties can be filtered so that the associated graded rings are twisted semigroup rings. This is a …
Partially compactified quantum cluster structures on simple algebraic groups and the full Berenstein--Zelevinsky conjecture
Beijing Normal University（北京师范大学）；Northeastern University（东北大学）；Institute of Mathematics and Informatics Bulgarian Academy of Sciences（保加利亚科学院数学与计算机科学研究所）
To each simple Lie algebra g and an element w of the corresponding Weyl group De Concini, Kac and Procesi associated a subalgebra U^w_- of the quantized universal enveloping algebra U_q(g), which is a deformation of the universal enveloping algebra U(n_- \cap w(n_+)) and a quantization of the coordinate ring of the Schubert cell corresponding to w. The torus invariant prime ideals of these algebras were classified by Mériaux and Cauchon [25], and the author [30]. These ideals were also explicitly described in [30]. They index the the Goodearl-Letzter strata of the stratification of the spectra…
A simplified construction of representations is presented for the quantized enveloping algebra Uq(g), with g being a simple complex Lie algebra belonging to one of the four principal series A, B, C or D. The carrier representation space is the quantized algebra of polynomials in antiholomorphic coordinate functions on the big cell of a coadjoint orbit of K where K is the compact simple Lie group with the Lie algebra g - the compact form of g.
We prove that certain acyclic cluster algebras over the complex numbers are the coordinate rings of holomorphic symplectic manifolds. We also show that the corresponding quantum cluster algebras have no non-trivial prime ideals. This allows us to give evidence for a generalization of the conjectured variant of the orbit method for quantized coordinate rings and their classical limits.
We introduce a rigid analytification of the quantized coordinate algebra of a semisimple algebraic group and a quantized Arens-Michael envelope of the enveloping algebra of the corresponding Lie algebra, working over a non-archimedean field and when $q$ is not a root of unity. We show that these analytic quantum groups are topological Hopf algebras and Fréchet-Stein algebras. We then introduce an analogue of the BGG category $\mathcal{O}$ for the quantum Arens-Michael envelope and show that it is equivalent to the category $\mathcal{O}$ for the corresponding quantized enveloping algebra.
We survey some recent constructions of cluster algebra structures on coordinate rings of unipotent subgroups and unipotent cells of Kac-Moody groups. We also review a quantized version of these results.
Let ${\mathfrak p}\subset {\mathfrak g}$ be a parabolic subalgebra of s simple finite dimensional Lie algebra over ${\mathbb C}$. To each pair $w^{\mathfrak a}\leq w^{\mathfrak c}$ of minimal left coset representatives in the quotient space $W_p\backslash W$ we construct explicitly a quantum seed ${\mathcal Q}_q({\mathfrak a},{\mathfrak c})$. We define Schubert creation and annihilation mutations and show that our seeds are related by such mutations. We also introduce more elaborate seeds to accommodate our mutations. The quantized Schubert Cell decomposition of the quantized generalized flag …
With a nilpotent element in a semisimple Lie algebra g one associates a finitely generated associative algebra W called a W-algebra of finite type. This algebra is obtained from the universal enveloping algebra U(g) by a certain Hamiltonian reduction. We observe that W is the invariant algebra for an action of a reductive group G with Lie algebra g on a quantized symplectic affine variety and use this observation to study W. Our results include an alternative definition of W, a relation between the sets of prime ideals of W and of the corresponding universal enveloping algebra, the existence o…
