Pivotal Brauer-Picard groupoids and graded extensions

Dit artikel ontwikkelt theorieën voor gepivoteerde en sferische gegradueerde extensies, definieert de overeenkomstige Brauer-Picard 2-categorische groepen, classificeert gegradueerde extensies van tensorcategorieën via monoidale 2-functoren, en ontwikkelt een obstructietheorie voor het uitbreiden van deze structuren.

De kern

Titel: Het Bouwen van Nieuwe Werelden met Wiskundige Legpuzzels

Stel je voor dat wiskundige categorieën (zoals verzamelingen van vormen of regels voor hoe dingen met elkaar kunnen interageren) werelden zijn. In deze paper bouwen de auteurs een brug tussen twee soorten van deze werelden: de "pivotal" en de "sferische" werelden.

Om dit begrijpelijk te maken, gebruiken we een analogie met Lego en spiegels.

1. De Basis: De Pivotal Wereld (De Spiegel)

Stel je een wereld voor (een wiskundig systeem) waarin elk object een spiegelbeeld heeft.

• Pivotal structuur: Dit is als een magische regel die zegt: "Als je een object twee keer spiegelt, krijg je precies het origineel terug." Het zorgt ervoor dat je kunt meten en tellen (zoals in een spiegelbeeld).
• In de "oude" wereld (de fusie-categorieën) werkt dit makkelijk. Maar in de "nieuwe", complexere wereld (niet-semisimpel), kunnen sommige objecten in de spiegel verdwijnen (ze worden nul). Dan werkt de simpele spiegel-regel niet meer. De auteurs gebruiken een nieuwere, slimmere definitie van "spiegelen" die wel werkt in deze complexe werelden.

2. Het Bouwproject: G-gegradieerde Uitbreidingen

Nu willen de auteurs een nieuw, groter universum bouwen op basis van een bestaand universum. Ze doen dit door stukjes van een ander universum toe te voegen, gesorteerd op kleur (de groep $G$).

• De uitdaging: Je hebt een klein, perfect gebouwd huisje (het originele universum $C$) met een perfecte spiegel-regel. Je wilt er een grote villa bijbouwen (het nieuwe universum $D$) met verschillende vleugels (de groep $G$).
• De vraag: Kunnen we de perfecte spiegel-regel van het huisje ook op de hele villa toepassen? Of, nog specifieker: Kunnen we de villa zo bouwen dat hij ook nog sferisch is? (Sferisch betekent dat de spiegelregels aan alle kanten perfect symmetrisch werken, alsof je in een bol kijkt).

3. De Bouwmeesters: De Brauer-Picard Groep

Om te weten of je een nieuwe vleugel kunt bouwen die past bij het oude huis, heb je een bouwplan nodig.

• In de wiskunde noemen ze dit de Brauer-Picard groep. Dit is eigenlijk een catalogus van alle mogelijke "bouwstukken" (bimodule categorieën) die je kunt gebruiken om uit te breiden.
• De auteurs maken twee nieuwe, speciale catalogi:
  1. Pivotal Brauer-Picard: Een catalogus alleen voor bouwstukken die de "spiegel-regel" (pivotal) respecteren.
  2. Sferische Brauer-Picard: Een nog strengere catalogus, alleen voor bouwstukken die de "bol-regel" (sferisch) respecteren.

De grote ontdekking:
De auteurs tonen aan dat deze speciale catalogi eigenlijk vaststaande punten zijn van een dans.

• Stel je voor dat je de hele catalogus laat draaien (een actie van een groep).
• De "pivotal" catalogus bestaat uit de bouwstukken die niet bewegen tijdens deze draai (ze blijven op hun plek staan).
• De "sferische" catalogus bestaat uit de bouwstukken die niet bewegen tijdens een nog strengere draai.
  Dit is een slimme manier om te zeggen: "Als je een bouwstuk wilt dat past bij onze regels, moet het een 'stilstaand' punt zijn in dit systeem."

4. De Obstructies: Waarom het soms mislukt

Soms wil je een nieuwe vleugel bouwen, maar het lukt niet. De auteurs hebben een controlelijst (obstructietheorie) ontwikkeld om te zien waarom. Er zijn twee hoofdreasons waarom het mis kan gaan:

1. De Eerste Obstructie (De Fout in het Materiaal):

   • Analogie: Je probeert een muur te bouwen met bakstenen die te zwaar zijn voor de fundering.
   • Wiskunde: Het bouwstuk dat je wilt gebruiken (een specifiek deel van de uitbreiding) heeft simpelweg geen geldige "spiegel-regel". Het is niet "pivotaliseerbaar". Als dit gebeurt, kun je de hele uitbreiding niet maken.

2. De Tweede Obstructie (De Slechte Passvorm):

   • Analogie: Je hebt wel de juiste bakstenen, maar als je ze naast elkaar legt, passen de hoeken niet perfect. Ze laten een kiertje over.
   • Wiskunde: Je kunt voor elk stukje wel een spiegel-regel vinden, maar als je ze allemaal samenplakt, kloppen de regels niet met elkaar. Ze zijn niet "coherent".
   • Specifiek voor Sferisch: Bij de sferische versie is dit extra lastig. Soms kun je de regels wel aanpassen zodat ze werken als "pivotal" (spiegel), maar niet als "sferisch" (bol). Het is alsof je een muur kunt rechtop zetten, maar niet perfect rond kunt maken.

5. Het Sferisch Maken (Sphericalization)

Als je een universum hebt dat bijna sferisch is, maar net niet, kun je het "sferisch maken".

• Analogie: Het is alsof je een lelijke, onregelmatige steen in een machine stopt die hem perfect rond polijst.
• De auteurs laten zien hoe je dit proces kunt toepassen op je hele bouwproject. Als je je basisuniversum eerst "sferisch maakt", kun je er vaak makkelijker een sferische uitbreiding bijbouwen.

Samenvatting in één zin

De auteurs hebben een nieuwe manier bedacht om te bouwen aan complexe wiskundige werelden: ze hebben een bouwplan (de Brauer-Picard groep) gemaakt dat alleen de stukjes toelaat die perfect passen bij de regels van spiegelen (pivotal) en rondheid (sferisch), en ze hebben een controlelijst ontwikkeld om te voorspellen of een bouwproject zal slagen of zal mislukken door een fout in het materiaal of een slechte pasvorm.

Dit is belangrijk omdat deze wiskundige structuren de basis vormen voor moderne natuurkunde, zoals het begrijpen van deeltjes in 3D-ruimtes en de theorie van quantum-veld.

Technische samenvatting

Hier is een gedetailleerde technische samenvatting van het artikel "Pivotal Brauer-Picard Groupoids and Graded Extensions" in het Nederlands.

Titel: Pivotal Brauer-Picard Groupoïden en Gegradeerde Extensies

Auteurs: Agusta Czenky, David Jaklitsch, Dmitri Nikshych, Julia Plavnik, David Reutter, Sean Sanford, en Harshit Yadav.

---

1. Het Probleem

Tensor categorieën zijn fundamentele structuren in de wiskundige fysica (zoals topologische veldentheorieën) en de theorie van quantum groepen. Een cruciale structuur op een tensor categorie $\mathcal{C}$ is een pivotaal structuur, gedefinieerd als een monoidale natuurlijke isomorfisme $p: \text{Id}_{\mathcal{C}} \Rightarrow (-)^{\ast\ast}$ tussen de identiteitsfunctor en de dubbel-dual functor.

In de semisimpele (fusie) setting leidt dit tot links- en rechts-categorische sporen, waarbij de voorwaarde dat deze sporen samenvallen de sferische structuur definieert. Echter, in de niet-semisimpele setting (finite tensor categories) verdwijnen sporen vaak (bijvoorbeeld op projectieve objecten), waardoor spoor-gebaseerde definities van sfericiteit ontoereikend zijn. Voor deze setting gebruiken de auteurs de definitie van sfericiteit van Douglas–Schommer-Pries–Snyder [DSPS18], die gebaseerd is op de compatibiliteit tussen de pivotale structuur en de Radford-isomorfisme (een trivialisatie van de viervoudige dual).

Het centrale probleem dat dit artikel aanpakt is: Hoe kunnen we nieuwe tensor categorieën construeren via $G$-gegradeerde extensies die compatibel zijn met bestaande pivotale of sferische structuren?
Specifiek willen de auteurs:

1. Classificeren wanneer een $G$-gegradeerde extensie $D$ van een pivotale of sferische categorie $\mathcal{C}$ zelf een compatibele pivotale of sferische structuur toelaat.
2. Een theoretisch raamwerk ontwikkelen om deze extensies te classificeren en obstructies te identificeren wanneer zulke structuren niet bestaan.

---

2. Methodologie

De auteurs combineren technieken uit de hogere categorietheorie (2-categorieën en 2-groupoïden), cohomologietheorie en de theorie van module-categorieën. De kern van hun aanpak bestaat uit de volgende stappen:

• Definitie van Verrijkte Brauer-Picard Groupoïden: Ze introduceren de pivotal Brauer-Picard 2-groupoïde ($\text{PivBrPic}(\mathcal{C})$) en de spherical Brauer-Picard 2-groupoïde ($\text{SphBrPic}(\mathcal{C})$). Deze zijn sub-2-groupoïden van de klassieke Brauer-Picard 2-groupoïde ($\text{BrPic}(\mathcal{C})$), die de invertibele bimodule-categorieën over $\mathcal{C}$ classificeert.

  • Objecten in $\text{PivBrPic}(\mathcal{C})$ zijn invertibele bimodule-categorieën uitgerust met een trivialisatie van hun relatieve Serre-functor (de module-analoog van de dubbel-dual).
  • Objecten in $\text{SphBrPic}(\mathcal{C})$ voldoen bovendien aan een extra sferische constraint, geëncodeerd via een bimodule-analoog van de Radford-isomorfisme.

• Fixed-Point Constructies: De auteurs realiseren deze verrijkte groupoïden als homotopische vaste punten van natuurlijke acties op $\text{BrPic}(\mathcal{C})$:

  • $\text{PivBrPic}(\mathcal{C}) \simeq \text{BrPic}(\mathcal{C})^{B\mathbb{Z}}$ (vaste punten onder een $B\mathbb{Z}$-actie gegenereerd door de relatieve Serre-functor).
  • $\text{SphBrPic}(\mathcal{C}) \simeq \text{BrPic}(\mathcal{C})^{B\mathbb{Z}/2\mathbb{Z}}$ (vaste punten onder een $B\mathbb{Z}/2\mathbb{Z}$-actie, waarbij de tweede stap de Radford-isomorfisme gebruikt).

• Classificatie via Monoidale 2-Functoren: Ze gebruiken de bestaande classificatie van $G$-gegradeerde extensies door monoidale 2-functoren $\mathcal{G} \to \text{BrPic}(\mathcal{C})$. Ze tonen aan dat het uitbreiden van de structuur (pivotaal of sferisch) overeenkomt met het lift van deze functoren naar respectievelijk $\text{PivBrPic}(\mathcal{C})$ of $\text{SphBrPic}(\mathcal{C})$.

• Obstructietheorie: Ze ontwikkelen een cohomologische theorie om te bepalen wanneer zo'n lift mogelijk is. Dit gebeurt zowel algebraïsch (via cocycli) als homotopisch (via lange exacte sequenties van homotopiegroepen).

• Sferisatie: Ze bestuderen de constructie van "sferisatie" voor unimodulaire tensor categorieën en tonen aan dat deze constructie compatibel is met gegradueerde extensies.

---

3. Belangrijkste Bijdragen en Resultaten

A. Classificatie van Pivotaal en Sferische Extensies

De auteurs bewijzen de volgende equivalenties van 2-groupoïden (Stellingen 3.22 en 4.17):
$$\text{PivExt}(G, \mathcal{C}) \simeq \text{MonFun}(\mathcal{G}, \text{PivBrPic}(\mathcal{C}))$$
$$\text{SphExt}(G, \mathcal{C}) \simeq \text{MonFun}(\mathcal{G}, \text{SphBrPic}(\mathcal{C}))$$
Dit betekent dat een gegradueerde extensie een compatibele pivotale (resp. sferische) structuur heeft dan en slechts dan als de classificeerende monoidale 2-functor naar $\text{BrPic}(\mathcal{C})$ gelift kan worden naar $\text{PivBrPic}(\mathcal{C})$ (resp. $\text{SphBrPic}(\mathcal{C})$).

B. Obstructietheorie

Voor een gegeven extensie $D$ (geclassificeerd door $F: \mathcal{G} \to \text{BrPic}(\mathcal{C})$) worden twee obstructieklassen geïdentificeerd:

1. Eerste Obstructie ($O_1$):

   • Meet of elke homogene component $D_g$ een pivotale bimodule-structuur kan dragen.
   • $O_1(F) \in \tilde{H}^1(G, \text{Inv}(Z(\mathcal{C})))$.
   • Voor sferische extensies moet deze waarde in de 2-torsie subgroup $\text{Inv}(Z(\mathcal{C}))^2$ liggen.
   • Als $O_1 \neq 0$, is de extensie niet pivotaleerbaar (en dus niet sferiseerbaar).

2. Tweede Obstructie ($O_2$):

   • Meet de coherentie van de gekozen pivotale structuren over de gehele extensie (monoidaliteit).
   • $O_2(F) \in H^2(G, k^\times)$.
   • Voor sferische extensies ligt deze in $H^2(G, (k^\times)^2)$.
   • Belangrijk nuance: Als $O_1 = 0$ maar $O_2 \neq 0$ in de sferische context, kan de extensie een pivotale structuur hebben, maar geen sferische structuur. Dit komt doordat de afbeelding $H^2(G, (k^\times)^2) \to H^2(G, k^\times)$ niet injectief hoeft te zijn.

C. Sferisatie van Unimodulaire Categorieën

De auteurs tonen aan dat de sferisatie-construcite (equivariantisatie onder de Radford-isomorfisme) een monoidale 2-functor induceert:
$$(-)^{\text{sph}}: \text{BrPic}(\mathcal{C}) \to \text{SphBrPic}(\mathcal{C}^{\text{sph}})$$
Dit biedt een uniforme procedure om sferische gegradueerde extensies te construeren door eerst de basis-categorie te sferiseren.

D. Homotopische Interpretatie

De obstructies worden geïnterpreteerd in termen van de homotopie van de ruimte van monoidale functoren. De auteurs leiden lange exacte sequenties af die de obstructieklassen relateren aan de homotopiegroepen van het Brauer-Picard 2-groupoïde, wat een dieper inzicht geeft in de topologische aard van deze problemen.

---

4. Significatie en Toepassingen

• Constructie van Nieuwe Categorieën: De resultaten bieden een systematische methode om nieuwe sferische tensor categorieën te bouwen uit bestaande pivotale of sferische categorieën via gegradueerde extensies.
• Niet-Semisimpele TQFT's: De definitie van sfericiteit die wordt gebruikt is essentieel voor recente constructies van 3-mannigvoud-invarianten en (2+1)-dimensionale topologische veldentheorieën (TQFT's) in niet-semisimpele settings (zoals in [CGPMV23]).
• Zoeken naar Niet-Pivotale Categorieën: De obstructietheorie geeft concrete criteria om te bepalen wanneer een gegradueerde extensie geen compatibele pivotale structuur toelaat. Dit is waardevol bij het zoeken naar fusie-categorieën die inherent niet-pivotaal zijn.
• Verband met Symmetrie: De theorie helpt bij het organiseren van symmetrieverschijnselen, zoals het "gauging" van symmetrieën in topologische fasen en orbifold-construcies voor vertex-operatoralgebra's.
• Verfijning van Bestaande Theorie: Het werk generaliseert de klassieke classificatie van gegradueerde extensies (Etingof-Nikshych-Ostrik) naar de pivotale en sferische context, waarbij het de rol van de Brauer-Picard groupoïde verrijkt met extra structurele data.

Kortom, dit artikel levert een fundamenteel raamwerk voor het begrijpen en construeren van geavanceerde tensor categorieën met extra structuren (pivotaal/sferisch), met directe toepassingen in de wiskundige fysica en de theorie van quantum groepen.