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 indecomposable direct summands of $\Uz$. We conclude with a description of the lattice of cofinite ideals of $\Uz$ in terms of a unique set of lattice generators.
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.
The quantized universal enveloping algebra U_q(gl(n)) has two integral forms - over Z[q,q^{-1}] - the restricted (by Lusztig) and the unrestricted (by De Concini and Procesi) one. Dually, the quantum function algebra F_q[GL(n)] has two integral forms, namely those of all elements - of F_q[GL(n)] - which take values in Z[q,q^{-1}] when paired respectively with the restricted or the unrestricted form of U_q(gl(n)). The first one is the well-known form generated over Z[q,q^{-1}] by the entries of a q-matrix and the inverse of its quantum determinant. In this paper instead we study the second inte…
Let U_q(sl_2) be the standard Drinfeld-Jimbo quantized universal enveloping algebra over sl_2, let F_q[SL_2] be the corresponding quantum function algebra, and let R be the ring of Laurent polynomials in q with coefficients in the ring of integers. Let \Cal{U}_q(sl_2) be the unrestricted R-integer form of U_q(sl_2) introduced by De Concini, Kac and Procesi. Within the quantum function algebra F_q[SL_2], we study the subset \Cal{F}_q[SL_2] of all elements which give values in the ring R when paired with \Cal{U}_q(sl_2). In this paper we describe \Cal{F}_q[SL_2]. In particular we provide a prese…
A quantized symplectic oscillator algebra of rank 1 is a PBW deformation of the smash product of the quantum plane with U_q(sl_2). We study its representation theory, and in particular, its category O.
Explicit formulas of the universal $R$-matrix are given for all quantized nontwisted rank 3 affine Lie algebras $U_q(A_2^{(1)})\,,~U_q(C_2^{(1)})$ and $U_q(G_2^{(1)})$.
Let $\mathfrak{g}$ be a hyperbolic Kac-Moody algebra of rank $2$. We give a polyhedral realization of the crystal basis for the extremal weight module of extremal weight $λ$, where $λ$ is an integral weight whose Weyl group orbit has neither a dominant integral weight nor an antidominant integral weight.
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…
Nichols algebras are fundamental objects in the construction of quantized enveloping algebras and in the classification of pointed Hopf algebras by lifting method of Andruskiewitsch and Schneider. Arithmetic root systems are invariants of Nichols algebras of diagonal type with a certain finiteness property. In the present paper, all rank 4 Nichols algebras of diagonal type with a finite arithmetic root system over fields of arbitrary characteristic are classified. Our proof uses the classification of the finite arithmetic root systems of rank 4.
A natural family of quantized matrix algebras is introduced. It includes the two best studied such. Located inside ${\s U}_q(A_{2n-1})$, it consists of quadratic algebras with the same Hilbert series as polynomials in $n^2$ variables. We discuss their general properties and investigate some members of the family in great detail with respect to associated varieties, degrees, centers, and symplectic leaves. Finally, the space of rank r matrices becomes a Poisson submanifold, and there is an associated tensor category of $\rank\leq r$ matrices.
Let $\mathfrak{g}$ be a hyperbolic Kac-Moody algebra of rank 2, and set $λ=Λ_{1} - Λ_{2}$, where $Λ_{1}$, $Λ_{2}$ are the fundamental weights. Denote by $V(λ)$ the extremal weight module of extremal weight $λ$ with $v_λ$ the extremal weight vector, and by $\mathcal{B}(λ)$ the crystal basis of $V(λ)$ with $u_λ$ the element corresponding to $v_λ$. We prove that (i) $\mathcal{B}(λ)$ is connected, (ii) the subset $\mathcal{B}(λ)_μ$ of elements of weight $μ$ in $\mathcal{B}(λ)$ is a finite set for every integral weight $μ$, and $\mathcal{B}(λ)_λ = \{u_λ\}$, (iii) every extremal element in $\mathcal…
In this article the quantized matrix algebras as in the title have been studied at a root of unity. A full classification of simple modules over such quantized matrix algebras of rank $2$ along with a class of finite dimensional indecomposable modules are given.
Let B(\infty) be the crystal corresponding to the nilpotent part of a quantized Kac-Moody algebra. We suggest a general way to represent B(\infty) as the set of integer solutions of a system of linear inequalities. As an application, we treat in a unified manner all Kac-Moody algebras of rank 2 (sharpening the result by Kashiwara), as well as the algebras of types A_n and A_{n-1}^{(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,…
Let D be a simply laced Dynkin diagram of rank r whose affinization has the shape of a star (i.e., D4,E6,E7,E8). To such a diagram one can attach a group G whose generators correspond to the legs of the affinization, have orders equal to the leg lengths plus 1, and the product of the generators is 1. The group G is then a 2-dimensional crystallographic group: G=Z_l\ltimes Z^2, where l is 2,3,4, and 6, respectively. In this paper, we define a flat deformation H(t,q) of the group algebra C[G] of this group, by replacing the relations saying that the generators have prescribed orders by their def…
We compute the center and Azumaya locus in the simplest non-abelian examples of quantized multiplicative quiver varieties at a root of unity: quantum Weyl algebras of rank $N$, and quantum differential operators on the quantum group $\mathrm{GL}_2$. These examples illustrate in elementary terms much more general phenomena explored further in [Ganev-Jordan-Safronov 2019].
In the paper, we further realize the higher rank quantized universal enveloping algebra $U_q(sl_{n+1})$ as certain quantum differential operators in $\mathcal W_q(2n)$ defined over the quantum divided power algebra $\mathcal{A}_q(n)$ of rank $n$. We give the quantum differential operators realization for both the simple root vectors and the non-simple root vectors of $U_q(sl_{n+1})$. The nice behavior of the quantum root vectors formulas under the action of the Lusztig symmetries once again indicates that our realization model is naturally matched.
We determine the group of algebra automorphisms for the two-parameter quantized enveloping algebra $\V$. As an application, we prove that the group of Hopf algebra automorphisms for $\V$ is isomorphic to a torus of rank two.
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…
The natural representation of the quantized affine algebra of type A can be defined via the deformed Fock space by Misra and Miwa. This relates the classes of Weyl modules for a type A quantum group at a root of unity to the action of the quantized affine algebra as the rank tends towards infinity. In this paper we investigate the situation outside of type A. In classical types, we construct embeddings of the Grothendieck group of finite dimensional modules for the corresponding quatum group at a root of unity into Fock spaces of different charges and define an action of an affine quantum symm…
In this paper we investigate a multi-parameter deformation $\mathfrak{B}_{r,s}^n(a,λ,δ)$ of the walled Brauer algebra which was previously introduced by Leduc (\cite{leduc}). We construct an integral basis of $\mathfrak{B}_{r,s}^n(a,λ,δ)$ consisting of oriented tangles which is in bijection with walled Brauer diagrams. Moreover, we study a natural action of $\mathfrak{B}_{r,s}^n(q)= \mathfrak{B}_{r,s}^n(q^{-1}-q,q^n,[n]_q)$ on mixed tensor space and prove that the kernel is free over the ground ring $R$ of rank independent of $R$. As an application, we prove one side of Schur--Weyl duality for…
Let U_q be the quantum group associated to a Lie algebra g of rank n. The negative part U^- of U has a canonical basis B with favourable properties, introduced by Kashiwara and Lusztig. The approaches of Kashiwara and Lusztig lead to a set of alternative parametrizations of the canonical basis, one for each reduced expression for the longest word in the Weyl group of g. We show that if g is of type A_4 there are close relationships between the Lusztig cones, canonical basis elements and the regions of linearity of reparametrization functions arising from the above parametrizations. A graph can…
Using Lakshmibai-Seshadri paths, we give a combinatorial realization of the crystal basis of an extremal weight module of integral extremal weight over the quantized universal enveloping algebra associated to the infinite rank affine Lie algebra of type $B_{\infty}$, $C_{\infty}$, or $D_{\infty}$. Moreover, via this realization, we obtain an explicit description (in terms of Littlewood-Richardson coefficients) of how tensor products of these crystal bases decompose into connected components when their extremal weights are of nonnegative levels. These results, in types $B_{\infty}$, $C_{\infty}…
We prove the Andruskiewitsch-Dumas conjecture that the automorphism group of the positive part of the quantized universal enveloping algebra $U_q({\mathfrak{g}})$ of an arbitrary finite dimensional simple Lie algebra g is isomorphic to the semidirect product of the automorphism group of the Dynkin diagram of g and a torus of rank equal to the rank of g. The key step in our proof is a rigidity theorem for quantum tori. It has a broad range of applications. It allows one to control the (full) automorphism groups of large classes of associative algebras, for instance quantum cluster algebras.
