Table of Contents
Fetching ...

Weak Hopf algebra actions as fusion category actions

Alexander Betz

TL;DR

The paper establishes a precise bridge between fusion-category actions on algebras and actions of finite-dimensional semisimple weak Hopf algebras, showing that based actions of $coRep(H)$ on an algebra $A$ over the weak fiber functor $F_H$ correspond to left $H$-actions on $A$ up to $J$-twisted isomorphism. Using Eilenberg–Watts, it recasts fusion-category actions as monoidal functors into bimodule categories and proves an equivalence between based actions and weak Hopf algebra actions, enabling a systematic classification of quantum symmetries of path algebras. The framework is then applied to graded, separable idempotent-split actions, demonstrating that such actions on path algebras arise from weak Hopf algebra actions via the weak fiber functor, and showing that for $PSU(2)_{p-2}$ these are all weak Hopf actions up to conjugacy. The work provides concrete pathways to realize and classify weak Hopf algebra actions on quivers and highlights the role of module-category data, the $J$-twisted isomorphism, and the $6j$-symbol structure in encoding the action.

Abstract

This article develops the theory of fusion categories acting on algebras. We will demonstrate that weak Hopf algebra actions on algebras correspond to specific actions of fusion categories. As an application of this theory, we introduce a family of filtered actions of weak Hopf algebras on the path algebra, and for weak Hopf algebras whose representation categories are equivalent to $\text{PSU(2)}_{p-2}$, we describe all of the separable based fusion category actions in terms of weak Hopf algebra actions.

Weak Hopf algebra actions as fusion category actions

TL;DR

The paper establishes a precise bridge between fusion-category actions on algebras and actions of finite-dimensional semisimple weak Hopf algebras, showing that based actions of on an algebra over the weak fiber functor correspond to left -actions on up to -twisted isomorphism. Using Eilenberg–Watts, it recasts fusion-category actions as monoidal functors into bimodule categories and proves an equivalence between based actions and weak Hopf algebra actions, enabling a systematic classification of quantum symmetries of path algebras. The framework is then applied to graded, separable idempotent-split actions, demonstrating that such actions on path algebras arise from weak Hopf algebra actions via the weak fiber functor, and showing that for these are all weak Hopf actions up to conjugacy. The work provides concrete pathways to realize and classify weak Hopf algebra actions on quivers and highlights the role of module-category data, the -twisted isomorphism, and the -symbol structure in encoding the action.

Abstract

This article develops the theory of fusion categories acting on algebras. We will demonstrate that weak Hopf algebra actions on algebras correspond to specific actions of fusion categories. As an application of this theory, we introduce a family of filtered actions of weak Hopf algebras on the path algebra, and for weak Hopf algebras whose representation categories are equivalent to , we describe all of the separable based fusion category actions in terms of weak Hopf algebra actions.

Paper Structure

This paper contains 6 sections, 17 theorems, 31 equations.

Key Result

Theorem 1.1

Let $H$ be a semisimple weak Hopf algebra. Equivalence classes of based actions of fusion categories of $\operatorname{coRep}(H)$ on $A$ over $F_H$ are in bijection with left $H$ actions on $A$ up to $J$-twisted isomorphism of $H$.

Theorems & Definitions (47)

  • Theorem 1.1
  • Theorem 1.2
  • Theorem 1.3
  • Example 2.1
  • Definition 2.2
  • Example 2.3: Direct sum of Group Algebra
  • Definition 2.4
  • Proposition 2.5
  • proof
  • Definition 3.1
  • ...and 37 more