Pivotal Brauer-Picard groupoids and graded extensions

This paper develops pivotal and spherical versions of graded extension theory for tensor categories, defining corresponding Brauer-Picard 2-categorical groups, classifying extensions via monoidal 2-functors, and establishing an obstruction theory for extending these structures.

The Gist

Imagine you are an architect designing a massive, complex city. In the world of mathematics, this "city" is called a Tensor Category. It's a collection of objects (like buildings) and rules for how they interact (like roads and traffic laws).

This paper is about a specific type of renovation project: taking an existing city and expanding it into a larger, organized metropolis by adding new districts. The authors are asking: "Can we add these new districts while keeping the city's special 'magic' intact?"

Here is the breakdown of their work using everyday analogies.

1. The City and the "Magic" (Pivotal and Spherical Structures)

First, let's understand the "magic" the authors are trying to preserve.

• The City (Tensor Category): A place where you can combine things (like multiplying numbers) and flip them inside out (like turning a glove inside out).
• The "Pivotal" Magic: Imagine every building in your city has a mirror image. In a Pivotal city, there is a perfect rulebook that tells you exactly how to turn any building inside out and get back to the original, no matter how many times you do it. It's like a "Double-Check" system. If you turn a glove inside out, then inside out again, it should look exactly like the original glove.
• The "Spherical" Magic: This is a stricter, more perfect version. In a Spherical city, the "inside-out" rule works so perfectly that it doesn't matter which way you look at the city; the view is the same from the front or the back. It's like a sphere: it looks the same from every angle.

The Problem: Sometimes, when you build a new district, the old rulebook for turning things inside out stops working. The new buildings might be "lopsided" or "twisted," breaking the magic.

2. The Expansion Plan (Graded Extensions)

The authors are studying Graded Extensions. Think of this as building a new city where every district is labeled with a letter (A, B, C...) or a number (1, 2, 3...).

• District 0 (The Base): This is your original city, which already has the magic.
• Districts 1, 2, 3... (The New Stuff): These are new districts built by a group of architects (a "finite group").

The goal is to build these new districts so that the entire expanded city still has the "Pivotal" or "Spherical" magic.

3. The Blueprint (Brauer-Picard Groupoids)

How do you know if a new district will fit? You need a blueprint.
The authors invented a new kind of Blueprint System called the Brauer-Picard Groupoid.

• Think of this as a "Compatibility Library." It contains all the possible ways you can build a new district that might work with your original city.
• They created two special versions of this library:
  1. The Pivotal Library: Contains only blueprints that preserve the "Double-Check" magic.
  2. The Spherical Library: Contains only blueprints that preserve the "Perfect Sphere" magic.

The Big Discovery: They found that these libraries aren't just random lists. They are actually the result of a specific "filtering process."

• Imagine you have a giant pile of all possible blueprints.
• You run them through a machine that checks for the "Pivotal" magic. The ones that pass are the Fixed Points.
• The authors proved that their new "Pivotal Library" is exactly the set of blueprints that survive this machine. It's like saying, "The only valid blueprints are the ones that don't change when you apply the magic rule."

4. The Obstacle Course (Obstruction Theory)

Even if you have a blueprint, you might still fail to build the city. The authors developed a way to predict exactly why a project might fail before you even lay a single brick. They call this Obstruction Theory.

They found there are usually two checkpoints (obstacles) you must pass:

• Checkpoint 1 (The Local Check): Can each individual new district be built with the magic?

  • Analogy: Imagine trying to build a new wing on a house. First, you check if the bricks in that specific wing can be turned inside out correctly. If the bricks are broken, the whole wing fails.
  • Math: This is a "1-cocycle." If it's not zero, the district is fundamentally incompatible.

• Checkpoint 2 (The Global Check): Even if every district works alone, do they fit together?

  • Analogy: Imagine you built a perfect kitchen, a perfect bedroom, and a perfect bathroom. But when you try to connect the hallway to the kitchen, the doors don't align. The pieces are good, but the connection is broken.
  • Math: This is a "2-cocycle." It measures the "friction" or "twist" when you combine two districts. If this friction is too high, you can't make the whole city work as a single unit.

The Twist for "Spherical" Cities:
For the stricter "Spherical" magic, there's a catch. Sometimes, you can fix the "Pivotal" problem (Checkpoint 1 and 2) and get a working city, but you still can't get the "Spherical" perfection.

• Analogy: You can build a house that stands up (Pivotal), but the roof is slightly slanted so rain runs off one side only. It's functional, but it's not a perfect sphere. The authors found a specific mathematical "kernel" (a hidden trap) that tells you when you are stuck with a slanted roof even though the house is standing.

5. The "Sphericalization" Machine

Finally, the authors describe a tool called Sphericalization.

• Analogy: Imagine you have a slightly lopsided, non-spherical city. You put it into a "Sphericalization Machine." This machine takes your city, adds a few extra "symmetry layers" (like adding a second layer of reality), and spits out a new city that is perfectly spherical.
• They proved that if you take your expansion plan, run it through this machine, and then build, you are guaranteed to get a Spherical city. It's a "fail-safe" method to ensure the magic works.

Summary

In plain English, this paper says:

1. We have a way to build new mathematical cities (extensions) from old ones.
2. We created a special "Pivotal" and "Spherical" version of the blueprint library to ensure these new cities keep their special "inside-out" magic.
3. We found that these libraries are just the "survivors" of a specific filtering process (fixed points).
4. We built a test to tell you exactly why a project might fail: either the individual pieces are broken, or they don't fit together.
5. We even found a way to "fix" broken cities by running them through a machine that forces them to become perfectly spherical.

This work helps mathematicians construct new, complex structures (like those used in quantum physics and topological field theory) with confidence that their fundamental symmetries will hold up.

Technical Summary

Here is a detailed technical summary of the paper "Pivotal Brauer-Picard Groupoids and Graded Extensions" by Czenky, Jaklitsch, Nikshych, Plavnik, Reutter, Sanford, and Yadav.

1. Problem Statement

The paper addresses the problem of extending pivotal and spherical structures from a base tensor category $\mathcal{C}$ to its graded extensions.

• Context: Graded extensions (specifically $G$-graded extensions for a finite group $G$) are a fundamental tool for constructing new tensor categories and organizing symmetry phenomena (e.g., gauging in topological phases). The classification of such extensions is well-understood via monoidal 2-functors into the Brauer-Picard 2-group $\text{BrPic}(\mathcal{C})$.
• The Gap: While the classification of the underlying tensor categories exists, the conditions under which these extensions admit compatible pivotal (involving a natural isomorphism $Id \cong (-)^{**}$) or spherical (involving compatibility with the Radford isomorphism in the unimodular case) structures are not fully characterized.
• Specific Challenge: In non-semisimple settings, categorical traces often vanish, rendering trace-based definitions of sphericality insufficient. The authors adopt the Douglas–Schommer-Pries–Snyder (DSPS) definition of sphericality, which relies on the compatibility between the pivotal structure and the Radford isomorphism for unimodular finite tensor categories.

2. Methodology

The authors employ a combination of higher category theory, homotopy theory, and cohomological obstruction theory.

• Fixed-Point Constructions: The core methodological innovation is realizing pivotal and spherical structures as homotopy fixed points of natural group actions on the Brauer-Picard 2-groupoid.
  • They define a $\mathbb{Z}$-action on $\text{BrPic}(\mathcal{C})$ using the relative Serre functors and the pivotal structure of $\mathcal{C}$.
  • They define a $\mathbb{Z}/2\mathbb{Z}$-action using the bimodule Radford isomorphisms (in the unimodular case).
• 2-Categorical Groupoids: They construct new 2-groupoids, $\text{PivBrPic}(\mathcal{C})$ and $\text{SphBrPic}(\mathcal{C})$, which serve as the targets for classifying functors. These are shown to be equivalent to the fixed-point sub-2-groupoids of the actions described above.
• Obstruction Theory: The lifting problem (extending a structure from $\mathcal{C}$ to a $G$-graded extension $\mathcal{D}$) is analyzed algebraically and homotopically. This involves:
  • Identifying cohomological obstructions ($O_1$ and $O_2$) in group cohomology.
  • Interpreting these obstructions via the long exact sequences of homotopy groups associated with mapping spaces of classifying spaces (specifically relating to $\text{Map}_*(BG, B\text{BrPic}(\mathcal{C}))$).
• Sphericalization: They revisit the sphericalization construction (equivariantization by $\mathbb{Z}/2\mathbb{Z}$) and extend it to bimodule categories, proving it induces a monoidal 2-functor between the Brauer-Picard and Spherical Brauer-Picard 2-groupoids.

3. Key Contributions

A. Definition of Pivotal and Spherical Brauer-Picard 2-Groupoids

The authors define:

• $\text{PivBrPic}(\mathcal{C})$: The 2-groupoid of invertible bimodule categories equipped with a trivialization of their relative Serre functor (a pivotal structure).
• $\text{SphBrPic}(\mathcal{C})$: The 2-groupoid of pivotal bimodule categories satisfying an additional sphericality constraint (compatibility with the bimodule Radford isomorphism).

B. Fixed-Point Realization

They prove that these refined 2-groupoids are equivalent to fixed points of natural actions on the standard Brauer-Picard 2-groupoid:
$$\text{PivBrPic}(\mathcal{C}) \simeq \text{BrPic}(\mathcal{C})^{B\mathbb{Z}}$$
$$\text{SphBrPic}(\mathcal{C}) \simeq \text{BrPic}(\mathcal{C})^{B\mathbb{Z}/2\mathbb{Z}}$$
This provides a conceptual framework where "pivotal" and "spherical" are viewed as higher fixed-point data.

C. Classification Theorems

The paper establishes refined classification results for graded extensions:

• Pivotal Extensions: $G$-graded pivotal extensions of $\mathcal{C}$ are classified by monoidal 2-functors $\mathcal{G} \to \text{PivBrPic}(\mathcal{C})$.
• Spherical Extensions: $G$-graded spherical extensions of a spherical (unimodular) $\mathcal{C}$ are classified by monoidal 2-functors $\mathcal{G} \to \text{SphBrPic}(\mathcal{C})$.
• Lifting: A pivotal/spherical structure on an extension corresponds to a monoidal lift of the classifying functor $F: \mathcal{G} \to \text{BrPic}(\mathcal{C})$ to the respective refined 2-groupoid.

D. Obstruction Theory

The authors develop a two-step obstruction theory for extending structures:

1. First Obstruction ($O_1$): A twisted 1-cocycle in $\check{H}^1(G, \text{Inv}(Z(\mathcal{C})))$. It measures whether each homogeneous component $D_g$ can be equipped with a pivotal (or spherical) bimodule structure.
   • For spherical extensions, the image of $O_1$ lies in the 2-torsion subgroup $\text{Inv}(Z(\mathcal{C}))^2$.
2. Second Obstruction ($O_2$): A 2-cocycle in $H^2(G, k^\times)$ (or $H^2(G, (k^\times)^2)$ for spherical). It measures the coherence of the chosen pivotal structures with the tensor product of the extension.
   • Key Insight: In the spherical case, the map $H^2(G, (k^\times)^2) \to H^2(G, k^\times)$ is not necessarily injective. A non-trivial class in the kernel implies the extension admits a pivotal structure but not a spherical one.

E. Sphericalization Functor

They construct a monoidal 2-functor $(-)^{\text{sph}}: \text{BrPic}(\mathcal{C}) \to \text{SphBrPic}(\mathcal{C}^{\text{sph}})$, showing that sphericalizing a graded extension corresponds to post-composing the classifying functor with this map.

4. Key Results

• Theorem 3.22 & 4.17: Establish the equivalences $\text{PivExt}(G, \mathcal{C}) \simeq \text{MonFun}(\mathcal{G}, \text{PivBrPic}(\mathcal{C}))$ and $\text{SphExt}(G, \mathcal{C}) \simeq \text{MonFun}(\mathcal{G}, \text{SphBrPic}(\mathcal{C}))$.
• Corollary 6.12 & 6.15: Explicitly identify the obstruction classes $O_1$ and $O_2$ in terms of group cohomology.
  • For spherical extensions, if $O_1=0$, the obstruction to sphericality lies in $H^2(G, \mathbb{Z}/2\mathbb{Z})$ (for $\text{char}(k) \neq 2$).
• Proposition 5.3: Proves that the sphericalization of a unimodular finite tensor category remains unimodular.
• Examples (Section 6.3):
  • Demonstrates cases where a pivotal extension exists but no spherical extension does (e.g., certain extensions of $\mathbb{Z}/2\mathbb{Z}$).
  • Shows that for pointed fusion categories, the obstructions recover classical character extension problems (Lyndon-Hochschild-Serre sequence).

5. Significance

• Non-Semisimple Applications: By utilizing the DSPS definition of sphericality, the results apply to non-semisimple finite tensor categories, which are crucial for modern constructions of 3-manifold invariants and $(2+1)$-dimensional TQFTs (e.g., the work of Costantino, Geer, Patureau-Mirand, and Virelizier).
• Structural Clarity: The fixed-point perspective unifies the treatment of pivotal and spherical structures, suggesting a general philosophy where "balanced" or "ribbon" structures on extensions can be analyzed via higher fixed points of appropriate Picard groupoids.
• Constructive Criteria: The obstruction theory provides concrete, computable criteria (via group cohomology) to determine if a given graded extension can support a specific structure. This is vital for the search for fusion categories that are pivotal but not spherical, or for constructing specific TQFTs.
• Sphericalization Compatibility: The result that sphericalization commutes with graded extensions provides a uniform procedure to generate spherical categories from unimodular ones, even when the base category is not initially spherical.

In summary, this paper provides a comprehensive homotopical and cohomological framework for understanding how pivotal and spherical structures behave under graded extensions, bridging the gap between abstract 2-categorical group theory and concrete classification problems in tensor category theory.