Semisimplicity Criteria for algebras with a Jones Basic Construction
We prove a semisimplicity criterion for a large class of algebras by a new method. This can be applied to Brauer, BMW, and $q$-Brauer algebras.
math.RT↗
arXiv subjects
Hans Wenzl
Publications and source records attributed to Hans Wenzl.
Reconstruction of tensor categories of type $G_2$
We prove that any non-symmetric ribbon tensor category $\mathcal{C}$ with the fusion rules of the compact group of type $G_2$ needs to be equivalent to the representation category of the corresponding Drinfeld-Jimbo quantum group for $q$ not a root of unity. We also prove an analogous result for the corresponding finite fusion tensor categories.
math.QA↗
Simple $B_4$ representations associated to cyclotomic Hecke algebras
We determine the structure of the cyclotomic Hecke algebra corresponding to the complex reflection group $G_{25}$ also when it is not semisimple, as long as the generators are diagonalizable. In particular, we classify all simple representations of the braid group $B_4$ for which the generators are diagonalizable and satisfy a cubic polynomial. This will be used in the classification of braided tensor categories of type $G_2$.
math.RT↗
Hecke-Clifford algebras at roots of unity and conformal embeddings
In this paper we give a combinatorial description of the Cauchy completion of the categories $\mathcal{E}_q$ and $\overline{\mathcal{SE}_N}$ recently introduced by the first author and Snyder. This in turns gives a combinatorial description of the categories $\overline{\operatorname{Rep}(U_q(\mathfrak{sl}_N))}_{A}$ where $A$ is the ètale algebra object corresponding to the conformal embedding $\mathfrak{sl}_N$ level $N$ into $\mathfrak{so}_{N^2-1}$ level 1. In particular we give a classification of the simple objects of these categories, a formula for their quantum dimensions, and fusion rules for tensoring with the defining object. Our method of obtaining these results is the Schur-Weyl approach of studying the representation theory of certain endomorphism algebras in $\mathcal{E}_q$ and $\mathcal{SE}_N$, which are known to be subalgebras of Hecke-Clifford algebras. We build on existing literature to study the representation theory of the Hecke-Clifford algebras at roots of unity.
math.QA↗
On module categories related to Sp(N-1) \subset Sl(N)
Let $V=\C^N$ with $N$ odd. We construct a $q$-deformation of $\End_{Sp(N-1)}(V^{\otimes n})$ which contains $\End_{U_q\sl_N}(V^{\otimes n})$. It is a quotient of an abstract two-variable algebra which is defined by adding one more generator to the generators of the Hecke algebras $H_n$. These results suggest the existence of module categories of $Rep(U_q\sl_N)$ which may not come from already known coideal subalgebras of $U_q\sl_N$. We moreover indicate how this can be used to construct module categories of the associated fusion tensor categories as well as subfactors, along the lines of previous work for inclusions $Sp(N)\subset SL(N)$.
math.QA↗
Generalized negligible morphisms and their tensor ideals
We introduce a generalization of the notion of a negligible morphism and study the associated tensor ideals and thick ideals. These ideals are defined by considering deformations of a given monoidal category $\mathcal{C}$ over a local ring $R$. If the maximal ideal of $R$ is generated by a single element, we show that any thick ideal of $\mathcal{C}$ admits an explicitely given modified trace function. As examples we consider various Deligne categories and the categories of tilting modules for a quantum group at a root of unity and for a semisimple, simply connected algebraic group in prime characteristic. We prove an elementary geometric description of the thick ideals in quantum type A and propose a similar one in the modular case.
math.RT↗
On SO$(N)$ spin vertex models
We describe the Boltzmann weights of the $D_k$ algebra spin vertex models. Thus, we find the $SO(N)$ spin vertex models, for any $N$, completing the $B_k$ case found earlier. We further check that the real (self-dual) SO$(N)$ models obey quantum algebras, which are the Birman-Murakami-Wenzl (BMW) algebra for three blocks, and certain generalizations, which include the BMW algebra as a sub-algebra, for four and five blocks. In the case of five blocks, the $B_4$ model is shown to satisfy additional twenty new relations, which are given. The $D_6$ model is shown to obey two additional relations.
hep-th↗
Dualities for spin representations
Let $S$ be the spinor representation of $U_q\mathfrak{so}_N$, for $N$ odd and $q^2$ not a rooot of unity. We show that the commutant of its action on $S^{\otimes n}$ is given by a representation of the nonstandard quantum group $U'_{-q^2}\mathfrak{so}_n$. For $N$ even, an analogous statement also holds for $S=S_+\oplus S_-$ the direct sum of the irreducible spinor representations of $U'_q\mathfrak{so}_N$, with the commutant given by $U'_{-q}\mathfrak{o}_n$, a $\mathbb{Z}/2$-extension of $U'_{-q}\mathfrak{so}_n$. Similar statements also hold for fusion tensor categories with $q$ a root of unity.
math.QA↗
On braided tensor categories of type BCD
We give a full classification of all braided semisimple tensor categories whose Grothendieck semiring is the one of Rep(O(\infty) (formally), Rep(O(N), Rep(Sp(N) or of one of its associated fusion categories. If the braiding is not symmetric, they are completely determined by the eigenvalues of a certain braiding morphism, and we determine precisely which values can occur in the various cases. If the category allows a symmetric braiding, it is essentially determined by the dimension of the object corresponding to the vector representation. Note that the paper is followed by a brief erratum, which corrects a mistake, which does not affect the main results of the paper.
math.QA↗
Braid Rigidity for Path Algebras
Path algebras are a convenient way of describing decompositions of tensor powers of an object in a tensor category. If the category is braided, one obtains representations of the braid groups $B_n$ for all $n\in \N$. We say that such representations are rigid if they are determined by the path algebra and the representations of $B_2$. We show that besides the known classical cases also the braid representations for the path algebra for the 7-dimensional representation of $G_2$ satisfies the rigidity condition, provided $B_3$ generates $\End(V^{\otimes 3})$. We obtain a complete classification of ribbon tensor categories with the fusion rules of $\g(G_2)$ if this condition is satisfied.
math.QA↗
On representations of $U'_qso_n$
We study representations of the non-standard quantum deformation $U'_qso_n$ of $Uso_n$ via a Verma module approach. This is used to recover the classification of finite-dimensional modules for $q$ not a root of unity, given by classical and non-classical series. We obtain new results at roots of unity, in particular for self-adjoint representations on Hilbert spaces.
math.QA↗
$SO(N)_2$ Braid group representations are Gaussian
We give a description of the centralizer algebras for tensor powers of spin objects in the pre-modular categories $SO(N)_2$ (for $N$ odd) and $O(N)_2$ (for $N$ even) in terms of quantum $(n-1)$-tori, via non-standard deformations of $U\mathfrak{so}_N$. As a consequence we show that the corresponding braid group representations are Gaussian representations, the images of which are finite groups. This verifies special cases of a conjecture that braid group representations coming from weakly integral braided fusion categories have finite image.
math.QA↗
Affine $G_2$ Centralizer Algebras
We show that ${\rm End}_{\bf U}(V_λ\otimes V^{\otimes n})$ is generated by the affine braid group $AB_n$ where ${\bf U}=U_q\mathfrak g(G_2)$, $V$ is its 7-dimensional irreducible representation and $V_λ$ is an arbitrary irreducible representation.
math.RT↗
A q-Brauer algebra
We define a new $q$-deformation of Brauer's centralizer algebra which contains Hecke algebras of type $A$ as unital subalgebras. We determine its generic structure as well as the structure of certain semisimple quotients. This is expected to have applications for constructions of subfactors of type II$_1$ factors and for module categories of fusion categories of type $A$ corresponding to certain symmetric spaces.
math.QA↗
On centralizer algebras for spin representations
We give a presentation of the centralizer algebras for tensor products of spinor representations of quantum groups via generators and relations. In the even-dimensional case, this can be described in terms of non-standard q-deformations of orthogonal Lie algebras; in the odd-dimensional case only a certain subalgebra will appear. In the classical case q = 1 the relations boil down to Lie algebra relations.
math.QA↗
Fusion symmetric spaces and subfactors
We construct analogs of the embedding of orthogonal and symplectic groups into unitary groups in the context of fusion categories. At least some of the resulting module categories also appear in boundary conformal field theory. We determine when these categories are unitarizable, and explicitly calculate the index and principal graph of the resulting subfactors.
math.OA↗
Quotients of Representation Rings
We give a proof, using so-called fusion rings and q-deformations of Brauer algebras that the representation ring of an orthogonal or symplectic group can be obtained as a quotient of a ring Gr(O(\infinity)). This is obtained here as a limiting case for analogous quotient maps for fusion categories, with the level going to \infinity. This in turn allows a detailed description of the quotient map in terms of a reflection group. As an application, one obtains a general description of the branching rules for the restriction of representations of Gl(N) to O(N) and Sp(N) as well as detailed information about the structure of the q-Brauer algebras in the nonsemisimple case for certain specializations.
math.QA↗
Ideals in the Temperley Lieb Category
We prove the following result: For a generic value of the parameter, the Temperley-Lieb category has no non-zero, proper tensor ideal. When the parameter $d$ is equal to $2\cos(π/n)$ for some $n \ge 3$, then the Temperley-Lieb category has exactly one non-zero, proper ideal, namely the ideal of negligible morphisms.
math.QA↗