Searcharxiv⌕ Search

arXiv · 2610.28534

2-representation theory of the Taft algebra

Abstract

We study the $2$-representation theory of the Taft category, the tensor category of finite-dimensional modules over the Taft algebra. This category has two left cells. We first classify suitable transitive modules over its based representation ring. For the upper cell, we recall a construction by Etingof and Ostrik giving an infinite family of pairwise nonequivalent simple $2$-representations. For the bottom cell, we pass to the semisimplification of the Taft category and identify a distinguished fusion subcategory with an adjoint $\mathfrak{sl}_2$ Verlinde category. Using algebra objects associated with $\mathsf{ADET}$-diagrams and categorical Clifford theory, we classify the regular exact indecomposable module categories of this semisimplification. For these regular module categories, the split Grothendieck group is a complete invariant. Finally, we identify the two cell $2$-representations of the Taft category.

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Raphaël Paegelow. 2026-10-20. 2-representation theory of the Taft algebra. https://arxiv.org/abs/2610.28534

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

Representing Vineyard Modules

Time-series of persistence diagrams, more commonly known as vineyards, are a useful way to capture how multi-scale topological features vary over time. However, we do lose significant information in how the persistent homology at different time stamps relate to each other. A natural algebraic version of vineyards is a time series of persistence modules equipped with interleaving maps between the persistence modules at different time stamps. We call this a vineyard module. In this paper we will set up the framework for representing a vineyard module via an indexed set of vines alongside a collection of matrices. We outline an algorithmic way to transform the bases of the persistence modules at each time step within the vineyard module to make the matrices within this representation as simple as possible. With some reasonable assumptions on the vineyard modules, this simplified representation can be completely described (up to isomorphism) by the associated vineyard and a vector of finite length. While this vineyard and vector representation is not necessarily unique we can prove that the vector will always be the zero vector when the vineyard module is isomorphic to the direct sum of vine modules. We also show uniqueness when the vineyard module contains two vines (over field $\mathbb{F}_2$) and can characterise and count which are realisable, giving a complete account of isomorphism classes of vineyard modules with two vines. To define and analyse this approach we first must set up a lot of preliminary results about changes of bases for pairs of persistence modules where we are given $\varepsilon$-interleaving maps for sufficiently close $\varepsilon$. This new perspective on vineyards also provides a new approach to the study of multi-parameter persistence modules.

math.RT↗

Extremal monomials of $q$-characters

In this short paper, we prove a conjecture of Frenkel-Hernandez, which states that $q$-characters of finite-dimensional simple modules of the quantum affine algebra $U_q(\widehat{\mathfrak{g}})$ are bounded by the Weyl group orbit of the leading monomial under Chari's braid group action. This can be regarded as a (partial) quantum affine generalization of the Weyl group invariance of characters of finite-dimensional representations of $\mathfrak{g}$.

math.RT↗

Generic distinction of induced representations: the case of symmetric spaces

Let H be the fixed-point subgroup of an involution of a reductive group G over a local field F of characteristic zero. We give a necessary condition for a parabolically induced representation of G(F) to admit a non-zero family of H(F)-equivariant linear forms depending holomorphically on the induction parameter. By works of Blanc-Delorme and Brylinski-Delorme, this condition is essentially sufficient. As a global consequence, we obtain vanishing results for regularized periods of Eisenstein series. We illustrate this on symplectic periods, where we extend Offen's computation of truncated periods of certain cuspidal Eisenstein series to inner forms of GL(2n).

math.RT↗