No Arabic abstract
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 $nin 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.
We develop a theory of localization for braid group representations associated with objects in braided fusion categories and, more generally, to Yang-Baxter operators in monoidal categories. The essential problem is to determine when a family of braid representations can be uniformly modelled upon a tensor power of a fixed vector space in such a way that the braid group generators act locally. Although related to the notion of (quasi-)fiber functors for fusion categories, remarkably, such localizations can exist for representations associated with objects of non-integral dimension. We conjecture that such localizations exist precisely when the object in question has dimension the square-root of an integer and prove several key special cases of the conjecture.
A Hopf algebra is co-Frobenius when it has a nonzero integral. It is proved that the composition length of the indecomposable injective comodules over a co-Frobenius Hopf algebra is bounded. As a consequence, the coradical filtration of a co-Frobenius Hopf algebra is finite; this confirms a conjecture by Sorin Du{a}scu{a}lescu and the first author. The proof is of categorical nature and the same result is obtained for Frobenius tensor categories of subexponential growth. A family of co-Frobenius Hopf algebras that are not of finite type over their Hopf socles is constructed, answering so in the negative another question by the same authors.
We study Artin-Tits braid groups $mathbb{B}_W$ of type ADE via the action of $mathbb{B}_W$ on the homotopy category $mathcal{K}$ of graded projective zigzag modules (which categorifies the action of the Weyl group $W$ on the root lattice). Following Brav-Thomas, we define a metric on $mathbb{B}_W$ induced by the canonical $t$-structure on $mathcal{K}$, and prove that this metric on $mathbb{B}_W$ agrees with the word-length metric in the canonical generators of the standard positive monoid $mathbb{B}_W^+$ of the braid group. We also define, for each choice of a Coxeter element $c$ in $W$, a baric structure on $mathcal{K}$. We use these baric structures to define metrics on the braid group, and we identify these metrics with the word-length metrics in the Birman-Ko-Lee/Bessis dual generators of the associated dual positive monoid $mathbb{B}_{W.c}^vee$. As consequences, we give new proofs that the standard and dual positive monoids inject into the group, give linear-algebraic solutions to the membership problem in the standard and dual positive monoids, and provide new proofs of the faithfulness of the action of $mathbb{B}_W$ on $mathcal{K}$. Finally, we use the compatibility of the baric and $t$-structures on $mathcal{K}$ to prove a conjecture of Digne and Gobet regarding the canonical word-length of the dual simple generators of ADE braid groups.
This is an expository introduction to fusion rules for affine Kac-Moody algebras, with major focus on the algorithmic aspects of their computation and the relationship with tensor product decompositions. Many explicit examples are included with figures illustrating the rank 2 cases. New results relating fusion coefficients to tensor product coefficients are proved, and a conjecture is given which shows that the Frenkel-Zhu affine fusion rule theorem can be seen as a beautiful generalization of the Parasarathy-Ranga Rao-Varadarajan tensor product theorem. Previous work of the author and collaborators on a different approach to fusion rules from elementary group theory is also explained.
Let $W$ be a Coxeter group. The goal of the paper is to construct new Hopf algebras that contain Hecke algebras $H_{bf q}(W)$ as (left) coideal subalgebras. Our Hecke-Hopf algebras ${bf H}(W)$ have a number of applications. In particular they provide new solutions of quantum Yang-Baxter equation and lead to a construction of a new family of endo-functors of the category of $H_{bf q}(W)$-modules. Hecke-Hopf algebras for the symmetric group are related to Fomin-Kirillov algebras, for an arbitrary Coxeter group $W$ the Demazure part of ${bf H}(W)$ is being acted upon by generalized braided derivatives which generate the corresponding (generalized) Nichols algebra.