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

This paper investigates non-semisimple near-group categories in the braided setting, proving that non-degenerate instances are braided simple extensions of $\mathrm{sRep}(W\oplus W^*)$ with specific Lagrangian properties, while general cases arise canonically as extensions by the Picard group of a symmetric subcategory.

The Gist

Imagine the world of mathematics as a vast, intricate city built from "blocks." In this city, Tensor Categories are like neighborhoods where these blocks can be combined, split, and rearranged according to strict rules.

Usually, mathematicians study "Fusion Categories," which are like neighborhoods made entirely of pure, solid gold blocks. Every block is perfect, distinct, and if you smash two together, they shatter into a clean pile of other gold blocks. These are easy to study because they are "semisimple" (perfectly separable).

But this paper explores a different, messier neighborhood: Non-Semisimple Categories. Here, the blocks aren't just gold; they are made of clay. When you smash two clay blocks together, they don't just break apart; they stick, merge, and form a single, larger, slightly messy lump that contains the original shapes but isn't quite them. These are "projective covers" — the best possible clay versions of the gold blocks.

The author, Daniel Sebbag, is investigating a specific type of messy neighborhood called a "Near-Group Category."

The "Near-Group" Concept

Imagine a town where almost everyone belongs to a neat, organized club (a "Group"). Everyone in the club has a perfect twin, and if you mix two club members, you just get more club members.

However, in a Near-Group town, there is one special, weird person (let's call him "The Oddball").

• If you mix the Oddball with a club member, you get a bunch of Oddballs — they don't become club members, the Oddball's strangeness dominates.
• If you mix the Oddball with himself, something strange happens. In the "pure gold" version of this town, mixing the Oddball with himself gives you all the club members plus some extra copies of the Oddball.
• The central question of this paper is: what happens in the "clay" version? A priori, you might expect the same — club members plus some extra Oddballs. But the paper proves something surprising.

The Big Discovery: The "Zero" Rule

The paper asks a crucial question: Can this messy, clay-based town have a "braided" structure?

"Braiding" is like a dance. In a braided town, if Person A walks past Person B, they can swap places in a specific, magical way without bumping into each other. This swap has rules.

The Main Result (Theorem 1):
Sebbag proves that if the town has a braided structure — if people can "dance" past each other in that special, magical way — then the Oddball cannot produce extra copies of himself when he mixes with himself.

• In the pure gold world, the Oddball could produce extra copies (parameter r > 0).
• In the clay world with braiding, he cannot. The braid structure forces the number of extra copies to be exactly zero. Mixing the Oddball with himself produces only club members — no extra Oddballs at all.

Analogy: Imagine trying to braid a rope made of wet clay. If you try to twist the rope in a complex way (braiding) while the clay is still wet and sticky (non-semisimple), the rope just collapses or sticks together. The only way to keep the braid stable is if the clay doesn't try to multiply itself. The "multiplication factor" must be zero.

The Structure of the Messy Town

Since the "multiplication" is zero, the paper goes on to describe exactly what these towns look like. They are built in layers, like a Russian nesting doll or a set of concentric circles.

1. The Core (The Symmetric Heart): At the very center, there is a perfectly symmetrical, boring part of the town where everyone just stands still and swaps places without any magic. This is the "Lagrangian" part.
2. The Shell (The Extension): Around this core, the town expands. The paper shows that every one of these messy, braided towns is essentially a "simple extension" of a very specific, well-understood mathematical object related to super-symmetry (a concept from physics involving particles that are their own opposites, like "super-modules").

The "Uniqueness" Theorem (Theorem 3):
Sebbag proves that there is essentially only one way to build the core of these towns. It's like saying, "If you want to build a house with a specific type of messy foundation, the basement must be built using this specific blueprint involving super-symmetry."

The "De-Equivariantization" (Peeling the Onion)

The paper uses a technique called De-equivariantization.

• Analogy: Imagine a town that has a giant, invisible fence (a symmetry group) running through it. The town looks complicated because of this fence.
• The Trick: If you "cut" the fence (remove the symmetry), the town simplifies.
• The Result: Sebbag shows that if you take any of these messy, braided towns and cut away the "fence" (the symmetric part), you are left with a "perfect" version of the town that is non-degenerate (meaning it has no hidden, boring symmetries left).

This is huge because it means mathematicians don't have to study every messy town. They only need to study the "perfect" versions, and then they can rebuild the messy ones by adding the fence back on.

Why Does This Matter?

1. It Solves a Puzzle: In the "pure gold" world, there are many types of these Near-Group towns. In the "clay" world with braiding, Sebbag proves there are far fewer. The braid structure imposes strict constraints that eliminate possibilities.
2. It Connects Physics and Math: The structures described (super-modules, Lagrangian subcategories) are deeply related to quantum physics and the study of particles. Understanding these "clay" categories helps physicists understand how quantum systems behave when they aren't perfectly stable.
3. It Provides a Map: The paper gives a complete "map" (Theorem 5) of what these towns look like. It tells us exactly how big the town is, how many people live there, and what the "Oddball" looks like, based on a simple pair of numbers.### Summary in One Sentence

Daniel Sebbag discovered that in the messy, "clay-like" world of quantum mathematics, the only way to have a stable, braided structure is if the special "Oddball" character doesn't multiply when he meets himself, and that all such structures are built by wrapping a very specific, symmetrical core in a layer of extra symmetry.

Technical Summary

Here is a detailed technical summary of the paper "On Braided Simple Extensions and Braided Non-Semisimple Near-Group Categories" by Daniel Sebbag.

1. Problem Statement and Context

Context:
The paper operates within the theory of finite tensor categories, specifically focusing on the intersection of braided structures, non-semisimplicity, and near-group categories.

• Near-group categories are traditionally defined in the context of fusion categories (semisimple). They are characterized by having a unique non-invertible simple object $Q$ and a fusion rule $Q \otimes Q \cong \bigoplus_{g \in G} L_g \oplus rQ$, where $G$ is the group of invertible objects and $r \in \mathbb{N}$.
• Generalization: The author seeks to generalize these concepts to non-semisimple finite tensor categories. In this setting, the tensor product of the unique non-invertible simple object $Q$ does not decompose into simple objects but rather into projective covers of simple objects.
• The Gap: While the classification of braided fusion near-group categories is well-established (e.g., by Siehler, Thornton), the non-semisimple case presents significant challenges. The diagrams defining these categories do not translate directly into scalar equations due to the presence of non-trivial extensions and projective covers. Furthermore, it was unclear if the existence of braided structures in the non-semisimple case imposes the same constraints as in the semisimple case (specifically regarding the parameter $r$).

Core Question:
What is the structure of braided non-semisimple near-group categories? Specifically, can they exist with $r > 0$ (as they do in the fusion case), and how are they related to non-degenerate braided categories?

2. Methodology

The paper employs a combination of structural analysis, dimension theory, and categorical exact sequences:

1. Simple Extensions: The author defines a simple extension $(C, D, M)$ where $C \cong D \oplus M$, $D$ is a pointed tensor subcategory, and $M$ contains a unique simple projective object $Q$.
2. Braiding Analysis: The study focuses on the squared braiding $s_{X,Y} = c_{Y,X} \circ c_{X,Y}$. The author analyzes the centralizer of subcategories (Müger centralizers) to determine degeneracy.
3. De-equivariantization: The paper utilizes the technique of de-equivariantization (quotienting by a symmetric subcategory $\text{Rep}(G)$) to reduce complex categories to non-degenerate ones. This involves constructing exact sequences of tensor categories.
4. Frobenius-Perron Dimensions: The author uses $\text{FPdim}$ to derive constraints on the parameters of the categories, particularly relating the dimension of the unique projective object $Q$ to the dimensions of the underlying pointed category $D$.
5. Diagrammatic Constraints: By analyzing the hexagon axioms and naturality of the braiding on specific triplets (e.g., involving the unique projective object and invertible objects), the author derives contradictions for certain parameter values.

3. Key Contributions and Results

The paper establishes a complete structural description of braided non-semisimple near-group categories through a series of theorems.

A. The Vanishing of the Parameter $r$ (Theorem 1)

• Result: In the braided non-semisimple case, the parameter $r$ in the fusion rule $Q \otimes Q \cong \bigoplus L_g \oplus rQ$ must be zero.
• Contrast: This contrasts sharply with the fusion (semisimple) case, where $r > 0$ is possible.
• Implication: Consequently, every braided non-semisimple near-group category is weakly integral. The proof involves showing that if $r > 0$, the category $D$ must be symmetric, leading to a contradiction with the existence of a simple projective object in a non-semisimple symmetric category over characteristic 0.

B. Modularization Exact Sequences (Theorem 2)

• Result: Every braided non-semisimple near-group category $C$ fits into a modularization exact sequence:
  $$\text{Rep}(G) \xrightarrow{i} C \xrightarrow{F} D$$
  where $D$ is a non-degenerate braided non-semisimple near-group category, and $G$ is a finite group (specifically the Picard group of a symmetric subcategory).
• Significance: This reduces the classification problem of the general case to the classification of the non-degenerate case. The category $C$ is essentially an extension of a non-degenerate core by a symmetric fusion category.

C. Structure of Non-Degenerate Cases (Theorem 3)

• Result: Every non-degenerate braided non-semisimple near-group category $C$ is a braided simple extension of a category $D$ that is braided equivalent to $\text{sRep}(W \oplus W^*)$, where $W$ is a purely odd supervector space.
• Lagrangian Subcategory: In this structure, $\text{sRep}(W)$ acts as a Lagrangian subcategory (a maximal symmetric subcategory equal to its own centralizer).
• Uniqueness: This identifies the "building blocks" of these categories as extensions of super-representation categories of exterior algebras.

D. Classification Parameters (Theorem 5)

The paper provides a concrete classification of these categories via a pair $(G, n_p)$:

1. Group Structure: $G$ is a group of order $2n_g$ containing a central element of order 2.
2. Dimension: The dimension of the projective cover of the unit object, $\dim(P_1)$, is $2^{n_p}$.
3. Parity Constraint: The sum $n_p + n_g$ must be an odd number.

• Non-Integrality: As a consequence (Corollary 4), these categories are non-integral (their Frobenius-Perron dimensions are not integers), distinguishing them from many standard examples in fusion category theory.

4. Significance and Impact

1. Resolution of Existence: The paper definitively answers that the "rich" braided near-group categories with $r > 0$ (common in the fusion world) do not exist in the non-semisimple braided setting. This is a strong rigidity result.
2. Structural Reduction: By proving that all such categories arise from non-degenerate ones via de-equivariantization, the author provides a roadmap for future classification efforts. One only needs to classify the non-degenerate "cores."
3. Connection to Supergroups: The results link non-semisimple braided tensor categories deeply to the representation theory of supergroups (specifically $\text{sRep}(W)$), suggesting that super-symmetry is the fundamental obstruction or generator for these structures in the non-semisimple regime.
4. Categorical Proof of Hopf Algebra Constraints: The paper provides a categorical proof for the non-existence of certain braided simple extensions for specific Hopf algebras (e.g., $\text{Rep}(H_4)$), confirming previous algebraic results through pure category theory.

Summary Conclusion

Daniel Sebbag's paper establishes that braided non-semisimple near-group categories are structurally rigid. They are characterized by a vanishing parameter $r=0$, are necessarily non-integral, and are constructed as extensions of non-degenerate categories derived from super-representation categories. This work effectively bridges the gap between the classification of fusion near-group categories and the emerging theory of non-semisimple tensor categories, highlighting the unique constraints imposed by the combination of braiding and non-semisimplicity.

Prior Work: The Classification

It's worth noting that the non-degenerate braided non-semisimple near-group categories were already fully classified in earlier work by Sebbag and Prof. Shlomi Gelaki (arXiv:1703.05787, published 2022). That paper classified finite tensor categories with a Lagrangian subcategory of the form sRep(W), identifying two families of solutions — one family being the non-degenerate non-semisimple braided near-group categories, and the other being the Drinfeld center of sRep(W). The current paper builds on and extends that classification to the general (possibly degenerate) case.