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.
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.
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.
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.
We give a new factorisable ribbon quasi-Hopf algebra U, whose underlying algebra is that of the restricted quantum group for sl(2) at a 2p'th root of unity. The representation category of U is conjecturally ribbon-equivalent to that of the triplet vertex operator algebra W(p). We obtain U via a simple current extension from the unrolled restricted quantum group at the same root of unity. The representation category of the unrolled quantum group is conjecturally equivalent to that of the singlet vertex operator algebra M(p), and our construction is parallel to extending M(p) to W(p). We illustr…
For a semisimple Lie algebra $\mathfrak{g}$ of rank $n$, let $\overline{U}_ζ(\mathfrak{g})$ be the restricted quantum group of $\mathfrak{g}$ at a primitive fourth root of unity. This quantum group admits a natural Borel-induced representation $V({\boldsymbol{t}})$, with ${\boldsymbol{t}}\in(\mathbb{C}^\times)^n$ determined by a character on the Cartan subalgebra. Ohtsuki showed that for $\mathfrak{g}=\mathfrak{sl}_2$, the braid group representation determined by tensor powers of $V({\boldsymbol{t}})$ is the exterior algebra of the Burau representation. In this paper, we generalize the tensor …
We construct all projective modules of the restricted quantum group $\bar{U}_q s\ell(2|1)$ at an even, $2p$th, root of unity. This $64p^4$-dimensional Hopf algebra is a common double bosonization, $B(X^*)\otimes B(X)\otimes H$, of two rank-2 Nichols algebras $B(X)$ with fermionic generator(s), with $H=Z_{2p}\otimes Z_{2p}$. The category of $\bar{U}_q s\ell(2|1)$-modules is equivalent to the category of Yetter--Drinfeld $B(X)$-modules in $C_ρ={}^H_H\!YD$, where coaction is defined by a universal $R$-matrix $ρ$. As an application of the projective module construction, we find the associative alg…
Let p an integer. We define a family of idempotents (and nilpotents) in the Temperley - Lieb algebras at 4p-th roots of unity which generalize the usual Jones-Wenzl idempotents. These new idempotents correspond to finite dimentional simple and projective indecomposable representations of the restricted quantum group Uqsl(2), where q is a 2p-th root of unity. In the manner of the [BHMV95] topological quantum field theorie (TQFT), they provide a canonical basis in colored skein modules to define mapping class groups representations. In the torus case, this basis allows us to obtain a partial mat…
We construct log-modular quantum groups at even order roots of unity, both as finite-dimensional ribbon quasi-Hopf algebras and as finite ribbon tensor categories, via a de-equivariantization procedure. The existence of such quantum groups had been predicted by certain conformal field theory considerations, but constructions had not appeared until recently. We show that our quantum groups can be identified with those of Creutzig-Gainutdinov-Runkel in type A_1, and Gainutdinov-Lentner-Ohrmann in arbitrary Dynkin type. We discuss conjectural relations with vertex operator algebras at (1,p)-centr…
We study the restricted form of the qaunatized enveloping algebra of an untwisted affine Lie algebra and prove a triangular decomposition for it. In proving the decomposition we prove several new identities in the quantized algebra, one of these show a connection between the quantized algebra and Young diagrams. These identities are all invisible in the non-quantum case of the problem which was considered by Garland in 1978. We then study the finite-dimensional irreducible representations and prove a factorization theorem for such representations.
Let $K$ be a field and $q\in K^{\times}$. Let $e$ be the multiplicative order of $q$; or 0 if $q$ is not a root of unity. Let $\bQ:=(q^{v_1},...,q^{v_r})$. Let ${K}_r(n)$ be the set of Kleshchev $r$-multipartitions with respect to $(e;\bQ)$. In this paper, we consider an extention of Dipper--James--Murphy's Conjecture to the Ariki--Koike algebra $H_{r,n}(q;\bQ)$ with $r>2$. We show that any $(\bQ,e)$-restricted $r$-multipartition of $n$ is a Kleshchev multipartition in ${K}_r(n)$; and if $e>1$, then any multi-core $\ulam=(\lam^{(1)},...,\lam^{(r)})$ in ${K}_r(n)$ is a $(\bQ,e)$-restricted $r$-…
We construct convex PBW-type Lyndon bases for two-parameter quantum groups U_{r,s}({so}_{2n+1}) with detailed commutation relations. It turns out that under a certain condition, the restricted two-parameter quantum group u_{r,s}({so}_{2n+1}) (r, s are roots of unity) is of Drinfeld double. All of Hopf isomorphisms of u_{r,s}({so}_{2n+1}), as well as u_{r,s}({sl}_n) are determined. Finally, necessary and sufficient conditions for u_{r,s}({so}_{2n+1}) to be a ribbon Hopf algebra are singled out by describing the left and right integrals.
We consider integrable vertex models whose Boltzmann weights (R-matrices) are trigonometric solutions to the graded Yang-Baxter equation. As is well known the latter can be generically constructed from quantum affine superalgebras $U_{q}(\hat g)$. These algebras do not form a symmetry algebra of the model for generic values of the deformation parameter $q$ when periodic boundary conditions are imposed. If $q$ is evaluated at a root of unity we demonstrate that in certain commensurate sectors one can construct non-abelian subalgebras which are translation invariant and supercommute with the tra…
The structure of irreducible representations of (restricted) U_q(sl(3)) at roots of unity is understood within the Gelfand--Zetlin basis. The latter needs a weakened definition for non integrable representations, where the quadratic Casimir operator of the quantum subalgebra U_q(sl(2)) of U_q(sl(3)) is not completely diagonalized. This is necessary in order to take in account the indecomposable U_q(sl(2))-modules that appear. The set of redefined (mixed) states has a teepee shape inside the pyramid made with the whole representation.
To study the representation category of the triplet W-algebra W(p) that is the symmetry of the (1,p) logarithmic conformal field theory model, we propose the equivalent category C(p) of finite-dimensional representations of the restricted quantum group $U_q SL2$ at $q=e^{\frac{iπ}{p}}$. We fully describe the category C(p) by classifying all indecomposable representations. These are exhausted by projective modules and three series of representations that are essentially described by indecomposable representations of the Kronecker quiver. The equivalence of the W(p)- and $U_q SL2$-representation…
For a finite dimensional semisimple Lie algebra ${\frak{g}}$ and a root $q$ of unity in a field $k,$ we associate to these data a double quiver $\bar{\cal{Q}}.$ It is shown that a restricted version of the quantized enveloping algebras $U_q(\frak g)$ is a quotient of the double quiver algebra $k\bar{\cal Q}.$
For certain roots of unity, we consider the categories of weight modules over three quantum groups: small, un-restricted and unrolled. The first main theorem of this paper is to show that there is a modified trace on the projective modules of the first two categories. The second main theorem is to show that category over the unrolled quantum group is ribbon. Partial results related to these theorems were known previously.
We define a family of the braid group representations via the action of the $R$-matrix (of the quasitriangular extension) of the restricted quantum $\mathfrak{sl}(2)$ on a tensor power of a simple projective module. This family is an extension of the Lawrence representation specialized at roots of unity. Although the center of the braid group has finite order on the specialized Laurence representations, this action is faithful for our extension.
We construct families of commutative (super) algebra objects in the category of weight modules for the unrolled restricted quantum group $\overline{U}_q^H(\mfg)$ of a simple Lie algebra $\mfg$ at roots of unity, and study their categories of local modules. We determine their simple modules and derive conditions for these categories being finite, non-degenerate, and ribbon. Motivated by numerous examples in the $\mfg=\mathfrak{sl}_2$ case, we expect some of these categories to compare nicely to categories of modules for vertex operator algebras. We focus in particular on examples expected to co…
We have reviewed some results on quantized shuffling, and in particular, the grading and structure of this algebra. In parallel, we have summarized certain details about classical shuffle algebras, including Lyndon words (primes) and the construction of bases of classical shuffle algebras in terms of Lyndon words. We have explained how to adapt this theory to the construction of bases of quantum group algebras in terms of Lyndon words. This method has a limited application to the specific case of the quantum group parameter being a root of unity, with the requirement that specialization to the…
This paper is a self-contained introduction to the theory of renormalized Reshetikhin-Turaev invariants of links defined by Geer, Patureau-Mirand and Turaev. Whereas the standard Reshetikhin-Turaev theory of a $\mathbb{C}$-linear ribbon category assigns the trivial invariant to any link with a component colored by a simple object of vanishing quantum dimension, the renormalized theory does not. We give a streamlined development of the renormalized Reshetikhin-Turaev theory of links for the category of weight modules over the restricted unrolled quantum group of $\mathfrak{sl}_2(\mathbb{C})$ at…
We develop a Poisson geometric framework for studying the representation theory of all contragredient quantum super groups at roots of unity. This is done in a uniform fashion by treating the larger class of quantum doubles of bozonizations of all distinguished pre-Nichols algebras arXiv:1405.6681 belonging to a one-parameter family; we call these algebras \emph{large} quantum groups. We prove that each of these quantum algebras has a central Hopf subalgebra giving rise to a Poisson order in the sense of arXiv:math/0201042.. We describe explicitly the underlying Poisson algebraic groups and Po…
The SL(2,Z) representation $π$ on the center of the restricted quantum group U_{q}sl(2) at the primitive 2p-th root of unity is shown to be equivalent to the SL(2,Z) representation on the extended characters of the logarithmic (1,p) conformal field theory model. The multiplicative Jordan decomposition of the U_{q}sl(2) ribbon element determines the decomposition of $π$ into a ``pointwise'' product of two commuting SL(2,Z) representations, one of which restricts to the Grothendieck ring; this restriction is equivalent to the SL(2,Z) representation on the (1,p)-characters, related to the fusion …
By twisted quantum invariants we mean polynomial invariants of knots in the three-sphere endowed with a representation of the fundamental group into the automorphism group of a Hopf algebra $H$. These are obtained by the Reshetikhin-Turaev construction extended to the $\mathrm{Aut}(H)$-twisted Drinfeld double of $H$, provided $H$ is finite dimensional and $\mathbb{N}^m$-graded. We show that the degree of these polynomials is bounded above by $2g(K)\cdot d(H)$ where $g(K)$ is the Seifert genus of a knot $K$ and $d(H)$ is the top degree of the Hopf algebra. When $H$ is an exterior algebra, our t…
We discuss ways that the ring of coefficients for a TQFT can be reduced if one restricts somewhat the allowed cobordisms. When we apply these methods to a TQFT associated to SO(3) at an odd prime p, we obtain a functor from a somewhat restricted cobordism category to the category of free finitely generated modules over a ring of cyclotomic integers :Z [zeta_{2p}], if p \equiv -1 mod{4}, and Z [zeta_{4p}], if p \equiv 1 \pmod{4}, where zeta_k is a primitive kth root of unity. We study the quantum invariants of prime power order simple cyclic covers of 3-manifolds. We define new invariants arisi…
A general method for constructing logarithmic modules in vertex operator algebra theory is presented. By utilizing this approach, we give explicit vertex operator construction of certain indecomposable and logarithmic modules for the triplet vertex algebra W(p) and for other subalgebras of lattice vertex algebras and their N=1 super extensions. We analyze in detail indecomposable modules obtained in this way, giving further evidence for the conjectural equivalence between the category of W(p)-modules and the category of modules for the restricted quantum group $\bar{\mathcal{U}}_q(sl_2)$ at ro…
We study relationships between the restricted unrolled quantum group $\overline{U}_q^H(\mathfrak{sl}_2)$ at $2r$-th root of unity $q=e^{πi/r}, r \geq 2$, and the singlet vertex operator algebra $\mathcal M(r)$. We use deformable families of modules to efficiently compute $(1, 1)$-tangle invariants colored with projective modules of $\overline{U}_q^H(\mathfrak{sl}_2)$. These relate to the colored Alexander tangle invariants studied in [ADO, M1]. It follows that the regularized asymptotic dimensions of characters of $\mathcal M(r)$ coincide with the corresponding modified traces of open Hopf lin…
We consider a cobordism category whose morphisms are punctured connect sums of $S^1 \times S^2$'s (wormhole spaces) with embedded admissibly colored banded trivalent graphs. We define a TQFT on this cobordism category over the field of rational functions in an indeterminant $A.$ For $r$ large, we recover, by specializing $A$ to a primitive 4rth root of unity, the Witten-Reshetikhin-Turaev TQFT restricted to links in wormhole spaces. Thus, for $r$ large, the $r$th Witten-Reshetikhin-Turaev invariant of a link in some wormhole space, properly normalized, is the value of a certain rational functi…
Let H be a finite-dimensional pivotal and unimodular Hopf algebra over a field k. It was shown in [BBGa] that the projective tensor ideal in H-mod admits a unique non-degenerate modified trace, a natural generalisation of the categorical trace. This paper provides an extension of this result to a much more general setting. We first extend the notion of the modified trace to the so-called module trace for a given k-linear module category M over a pivotal category C equipped with a module endofunctor. We provide a non-trivial class of examples of such module traces. In particular, we show that a…