On braided simple extensions and braided non-semisimple near-group categories

TL;DR

This paper classifies non-degenerate braided non-semisimple near-group categories as simple extensions of specific representation categories, revealing their structure and how they arise from extensions involving symmetric subcategories.

Contribution

It provides a classification of braided non-semisimple near-group categories as extensions of certain representation categories, expanding understanding of their structure and origins.

Findings

Every non-degenerate braided non-semisimple near-group category is a simple extension of Rep(W W*) with non-trivial braiding.

Such categories can be constructed as extensions of these base categories by Rep(G), where G is the Picard group.

The categories are characterized by a unique simple projective object and a Lagrangian subcategory.

Abstract

We study simple extensions of pointed finite tensor categories, that is, tensor categories $\mathcal{C}$ admitting an abelian decomposition $\mathcal{C} \cong \mathcal{D} \oplus \mathcal{M}$ where $\mathcal{D}$ is a pointed tensor subcategory and $\mathcal{M}$ has a unique simple projective object. Such categories provide a natural generalization of near-group categories. Our results concern the braided case. We prove that every non-degenerate braided non-semisimple near-group category is a braided simple extension of $\mathrm{sRep}(W\oplus W^*)$ with non-trivial braiding for which $\mathrm{sRep}(W)$ is Lagrangian. Moreover, any braided non-semisimple near-group category $\mathcal{C}$ arises canonically as an extension of such a category by $\mathrm{Rep}(G)$, where $G$ is the Picard group of a symmetric subcategory determined by the unique simple projective object of $\mathcal{C}$.