We establish several results concerning tensor products, q-characters, and the block decomposition of the category of finite-dimensional representations of quantum affine algebras in the root of unity setting. In the generic case, a Weyl module is isomorphic to a tensor product of fundamental representations and this isomorphism was essential for establishing the block decomposition theorem. This is no longer true in the root of unity setting. We overcome the lack of such a tool by utilizing results on specialization of modules. Furthermore, we establish a sufficient condition for a Weyl module to be a tensor product of fundamental representations and prove that this condition is also necessary when the underlying simple Lie algebra is sl(2). We also study the braid group invariance of q-characters of fundamental representations.
We will classify finite dimensional irreducible modules for affine quantum Schur algebras at roots of unity and generalize \cite[(6.5f) and (6.5g)]{Gr80} to the affine case in this paper.
We show that the quantized flag manifold at a root of unity has natural affine open covering parametrized by the elements of the Weyl group. In particular, the quantized flag manifold turns out to be a quasi-scheme in the sense of Rosenberg.
The purpose of this paper is to compute the Drinfel'd polynomials for two types of evaluation representations of quantum affine algebras at roots of unity and construct those representations as the submodules of evaluation Schnizer modules. Moreover, we obtain the necessary and sufficient condition for that the two types of evaluation representations are isomorphic to each other.
In this article, the quantum spatial ageing algebra due to V. V. Bavula and T. Lu has been studied and a full classification of simple modules are given at root of unity
We will give an explicit description of the center of the De Concini-Kac type specialization of a quantized enveloping algebra at an even root of unity. The case of an odd root of unity was already dealt with by De Concini-Kac-Procesi. Our description in the even case is similar to but a little more complicated than the odd case.
In this paper, we consider the necessary and sufficient conditions for the tensor product of the fundamental representations for the restricted quantum loop algebras of type A at roots of unity to be irreducible.
The purpose of this paper is to prove that we can construct all finite dimensional irreducible nilpotent modules of type 1 inductively by using Schnizer homomorphisms for quantum algebra at roots of unity of type A, B, C, D or G.
Specializing properly the parameters contained in the maximal cyclic representation of the non-restricted A-type quantum algebra at roots of unity, we find the unique primitive vector in it. We show that the submodule generated by the primitive vector can be identified with an irreducble highest weight module of the finite dimensional A-type quantum algebra which is defined as the subalgebra of the restricted quantum algebra at roots of unity.
Properly specializing the parameters in ``Schnizer modules'', for type A,B,C and D, we get its unique primitive vector. Then we show that the module generated by the primitive vector is an irreducible highest weight module of finite dimensional classical quantum groups at roots of unity.
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.
For a finite dimensional semisimple Lie algebra and a root of unity, Lusztig defined an infinite dimensional quantum group of divided powers. Under certain restrictions on the order of the root of unity, he constructed a Frobenius homomorphism with finite dimensional Hopf kernel and with image the universal enveloping algebra. In this article we define and describe the Frobenius homomorphism for arbitrary roots of unity by systematically using the theory of Nichols algebras. In several new exceptional cases the Frobenius-Lusztig kernel is associated to a different Lie algebra than the initial …
We study the bimodule structure of the quantum function algebra at roots of 1 and prove that it admits an increasing filtration with factors isomorphic to the tensor products of the dual of Weyl modules $V_λ^* \otimes V_{- ω_0 λ}^*$. As an application we compute the 0-th Hochschild cohomology of the function algebra at roots of 1.
We give a representation-theoretic interpretation of the Langlands character duality of Frenkel and Hernandez, and show that the "Langlands branching multiplicities" for symmetrizable Kac-Moody Lie algebras are equal to certain tensor product multiplicities. For finite type quantum groups, the connection with tensor products can be explained in terms of tilting modules.
Using vertex operators, we construct explicitly Lusztig's $\mathbb Z[q, q^{-1}]$-lattice for the level one irreducible representations of quantum affine algebras of ADE type. We then realize the level one irreducible modules at roots of unity and show that the q-dimension is still given by the Weyl-Kac character formula. As a consequence we also answer the corresponding question of realizing the affine Kac-Moody Lie algebras of simply laced type at level one in finite characteristic.
A conjecture of De Concini Kac and Procesi provides a bound on the minimal possible dimension of an irreducible module for quantized enveloping algebras at an odd root of unity. We pose the problem of the existence of modules whose dimension equals this bound. We show that this question cannot have a positive answer in full generality and discuss variants of this question.
We construct a p-DG structure on an algebra Koszul dual to a zigzag algebra used by Khovanov and Seidel to construct a categorical braid group action. We show there is a braid group action in this p-DG setting.
We consider various specializations of the non-twisted quantum affine algebras at roots of unity. We define and study the q-characters of their finite-dimensional representations.
We study the Frobenius-Lusztig kernel for quantum affine algebras at root of unity of small orders that are usually excluded in literature. These cases are somewhat degenerate and we find that the kernel is in fact mostly related to different affine Lie algebras, some even of larger rank, that exceptionally sit inside the quantum affine algebra. This continues the authors study for quantum groups associated to finite-dimensional Lie algebras in [Len14c].
Noncompact forms of the Drinfeld-Jimbo quantum groups U_q(g) with (H_i)* = H_i, (X_i^{+-})* = s_i X_i^{-+} for s_i= +-1 are studied at roots of unity. This covers g = so(n,2p), su(n,p), so*(2l), sp(n,p), sp(l,R), and exceptional cases. Finite-dimensional unitary representations are found for all these forms, for even roots of unity. Their classical symmetry induced by the Frobenius-map is determined, and the meaning of the extra quasi-classical generators appearing at even roots of unity is clarified. The unitary highest weight modules of the classical case are recovered in the limit q -> 1.
In this short note, we show that the Ginzburg-Vasserot map between the quantum affine algebra of type A_(n-1) and the equivariant K-theory group of the Steinberg Variety (of n-step flags in C^d) restricts and remains surjective at the level of the integral forms. In particular, this shows that the parametrization of irreducible, finite-dimensional modules and the Kazhdan-Lusztig multiplicity formulas are valid for the (restricted) specialization at roots of unity.
We prove the abelian category of the modules over triplet VOA W(p) is category equivalent to the abelian category of the modules over quantum algebra of type sl_2 at root of unity.
We discuss different invariants of knots and links that depend on a primitive root of unity. We clarify the definitions of existing invariants with the Reshetikhin-Turaev method, present the generalization of ADO invariants to $\mathcal{U}_q(sl_N)$ and highlight the connections between different invariants.
In a recent article, the coordinate ring of the nodal cubic was given the structure of a quantum homogeneous space. Here the corresponding coalgebra Galois extension is expressed in terms of quantum groups at roots of unity, and is shown to be cleft. Furthermore, the minimal quotient extensions are determined.
Inspired by a profound observation on the Racah--Wigner coefficients of $U_q(\mathfrak{sl}_2)$, the Askey--Wilson algebras were introduced in the early 1990s. A universal analog $\triangle_q$ of the Askey--Wilson algebras was recently studied. For $q$ not a root of unity, it is known that $Z(\triangle_q)$ is isomorphic to the polynomial ring of four variables. A presentation for $Z(\triangle_q)$ at $q$ a root of unity is displayed in this paper. As an application, a presentation for the center of the double affine Hecke algebra of type $(C_1^\vee,C_1)$ at roots of unity is obtained.
There is a $p$-differential on the triply-graded Khovanov--Rozansky homology of knots and links over a field of positive characteristic $p$ that gives rise to an invariant in the homotopy category finite-dimensional $p$-complexes. A differential on triply-graded homology discovered by Cautis is compatible with the $p$-differential structure. As a consequence we get a categorification of the colored Jones polynomial evaluated at a $2p$th root of unity.
We give a diagrammatic presentation of the category of $\textbf{U}_q(\mathfrak{sl}_2)$-tilting modules $\mathfrak{T}$ for $q$ being a root of unity and introduce a grading on $\mathfrak{T}$. This grading is a "root of unity phenomenon" and might lead to new insights about link and $3$-manifold invariants deduced from $\mathfrak{T}$. We also give a diagrammatic category for the (graded) projective endofunctors on $\mathfrak{T}$, indicate how our results could generalize and collect some "well-known" facts to give a reasonably self-contained exposition.
Under the assumption that the quantum parameter $q$ is an $l$-th primitive root of unity with $l$ odd in a field $F$ of characteristic 0 and $m+n\geq r$, we obtained a complete classification of irreducible modules of the $q$-Schur superalgebra introduced H. Rui and the first Author.
In this paper, we study finite dimensional quotients of the Hopf algebra U_{q}(sl_{2}) at fourth root of unity. We give explicitly all the corresponding automorphisms, real forms and idempotents.
The structure of the tensor product representation v_{λ_1}(x)\otimes V_{λ_2}(y) of U_q(\hat sl_2) is investigated at roots of unity. A polynomial identity is derived as an outcome. Also, new bases of v_{λ_1}(x)\otimes V_{λ_2}(y) are established under certain conditions.
Here is a list of chapters: 1 Introduction 2 Notation and preliminaries Part I: Finite quantum groups 3 2x2 Matrix quantum groups and the quantum plane 4 Quantum enveloping algebras at a root of unity Part II: q-Oscillators 5 Representations of q-oscillators at a root of unity 6 qr-Oscillator at a root of unity Part III: Infinite quantum groups 7 Quantum affine algebras 8 Quantum affine algebras at a root of unity
Given a finite set of roots of unity, we show that all power sums are non-negative integers iff the set forms a group under multiplication. The main argument is purely combinatorial and states that for an arbitrary finite set system the non-negativity of certain alternating sums is equivalent to the set system being a filter. As an application we determine all discrete Fourier pairs of $\{0,1\}$-matrices. This technical result is an essential step in the classification of $R$-matrices of quantum groups.
We construct quantizations of multiplicative hypertoric varieties using an algebra of q-difference operators on affine space, where q is a root of unity in C. The quantization defines a matrix bundle (i.e. Azumaya algebra) over the multiplicative hypertoric variety and admits an explicit finite étale splitting. The global sections of this Azumaya algebra is a hypertoric quantum group, and we prove a localization theorem. We introduce a general framework of Frobenius quantum moment maps and their Hamiltonian reductions; our results shed light on an instance of this framework.
Let H be a Hopf algebra which is a finite module over a central sub-Hopf algebra R. We continue the study of such algebras begun in RT/9911234, concentrating in this case on the example of $O_ε[G]$, a quantised function algebra at root of unity. In particular we determine the representation type and block structure of the family of reduced quantised function algebras, and describe many of them up to isomorphism. A series of parallel results is obtained for the quantised Borel algebras $U_ε^{\geq 0}$.
We survey some recent results in hopfological algebra and the program of categorification at prime roots of unity. A categorical Jones-Wenzl projector at prime roots of unity is studied, and it is shown that this projector is hopfologically finite in special characteristics, while generically it is infinite.
Hall-Littlewood functions indexed by rectangular partitions, specialized at primitive roots of unity, can be expressed as plethysms. We propose a combinatorial proof of this formula using A. Schilling's bijection between ribbon tableaux and ribbon rigged configurations.
The quantum group SL_q(2,R) at roots of unity is introduced by means of duality pairings with the quantum algebra U_q(sl(2,R)). Its irreducible representations are constructed through the universal T-matrix. An invariant integral on this quantum group is given. Endowed with that some properties like unitarity and orthogonality of the irreducible representations are discussed.
The general formula for R-matrices of slq(2,C) for the highest weight repre- sentations both for general q and for q being a root of unity by generalizing G.Gomez's and G.Sierra's one for semiperiodic representations of slq(2,C) at roots of unity is presented.
The q-characters were introduced by Frenkel and mReshetikhin to study finite dimensional representations of the untwisted quantum affine algebra for q generic. The $ε$-characters at roots of unity were constructed by Frenkel and Mukhin to study finite dimensional representations of various specializations of the quantum affine algebra at $q^s=1$. In the finite simply laced case Nakajima defined deformations of q-characters called q,t-characters, for q generic and also at roots of unity. The definition is combinatorial but the proof of the existence uses the geometric theory of quiver varieties…
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].
It is shown that when q is a primitive root of unity of order not equal to 2 mod 4, A(SL_q(2)) is a free module of finite rank over the coordinate ring of the classical group SL(2). An explicit set of generators is provided.
A group theoretical understanding of the two dimensional fractional supersymmetry is given in terms of the quantum Poincare group at roots of unity. The fractional supersymmetry algebra and the quantum group dual to it are presented and the pseudo-unitary, irreducible representations of them are obtained. The matrix elements of these representations are explicitly constructed.
We consider fundamental facts from the theory of Hopf superalgebras. We use them to construct the quantum double of the quantum superalgebra $sl(2|1)$ at roots of unity. Thus we obtain a multiplicative formula for universal $R$-matrix. Next we construct an $R$-matrix to investigate parametrized family of centralizer algebras. We give multiplication laws in particular case and describe a structure of such algebras in the general case.
We study the root of unity degeneration of cluster algebras and quantum dilogarithm identities. We prove identities for the cyclic dilogarithm associated with a mutation sequence of a quiver, and as a consequence new identities for the non-compact quantum dilogarithm at $b=1$.
We give a combinatorial algorithm for computing Zelevinsky's involution of the set of isomorphism classes of irreducible representations of the affine Hecke algebra $\H_m(t)$ when $t$ is a primitive $n$th root of 1. We show that the same map can also be interpreted in terms of aperiodic nilpotent orbits of $\Zb/n\Zb$-graded vector spaces.
We describe the structure of the Grothendieck ring of projective modules of basic Hopf algebras using a positive integer determined by the composition series of the principal indecomposable projective module.
Properties of the $q$-ultraspherical polynomials for $q$ being a primitive root of unity are derived using a formalism of the $so_q(3)$ algebra. The orthogonality condition for these polynomials provides a new class of trigonometric identities representing discrete finite-dimensional analogs of $q$-beta integrals of Ramanujan.
Representations of Quantum Groups U_q (g_n), g_n any semi simple Lie algebra of rank n, are constructed from arbitrary representations of rank n-1 quantum groups for q a root of unity. Representations which have the maximal dimension and number of free parameters for irreducible representations arise as special cases.
In this paper some realization of $gl_q(n)$-covariant oscillators is obtained when $q$ is a root of unity. And the $gl_q(n)$-covariant q-Virasoro algebra is presented by using the $gl_q(n)$-covariant oscillators.
It is proved that the centre Z of the simply connected quantised universal enveloping algebra over C, U_{\e,P}(sl_n), \e a primitive l-th root of unity, l an odd integer >1, has a rational field of fractions. Furthermore it is proved that if l is a power of an odd prime, Z is a unique factorisation domain.
In our preceding papers we started considering the categories of tangles with flat G-connections in their complements, where G is a simple complex algebraic group. The braiding (or the commutativity constraint) in such categories satisfies the holonomy Yang-Baxter equation and it is this property which is essential for our construction of invariants of tangles with flat G-connections in their complements. In this paper, to any pair of irreducible modules over the quantized universal enveloping algebra of gl_2 at a root of unity, we associate a solution of the holonomy Yang-Baxter equation.
We show how to define invariants of graphs related to quantum $\mathfrak{sl}(2)$ when the graph has more then one connected component and components are colored by blocks of representations with zero quantum dimensions.
