On the Drinfeld double of a finite group scheme and its representation category

Titolo: Sul Doppio di Drinfeld di uno Schema di Gruppo Finito e la sua Categoria di Rappresentazione

1. Il Problema e il Contesto

Il lavoro si concentra sulla teoria delle categorie tensoriali braided finite (finite braided tensor categories), in particolare sulla categoria di rappresentazione $Z(G) := \text{Rep}(D(G))$ del doppio di Drinfeld $D(G)$ di uno schema di gruppo finito $G$ su un campo algebricamente chiuso $k$ di caratteristica $p \ge 0$.

• Contesto in caratteristica 0: Quando $p=0$, la categoria $Z(G)$ è una categoria di fusione braided non degenere. In questo caso semisemplice, Naidu, Nikshych e Witherspoon ([NNW]) hanno classificato le sottocategorie tensoriali utilizzando dati modulari (matrici $S$) e condizioni di commutatività tra sottogruppi normali.
• La sfida in caratteristica positiva ($p > 0$): In caratteristica positiva, $Z(G)$ è tipicamente non semisemplice. Di conseguenza, non esiste una matrice $S$ calcolabile sugli oggetti semplici che possa fungere da strumento organizzativo come nel caso semisemplice. La strategia basata sui dati modulari di [NNW] non si estende direttamente a questo contesto non semisemplice.

L'obiettivo principale del paper è fornire una classificazione completa delle coppie di quozienti di Hopf di $D(G)$ e, di conseguenza, una descrizione completa delle sottocategorie tensoriali di $Z(G)$, valida sia per $p=0$ che per $p>0$, utilizzando strumenti puramente algebrici (teoria degli schemi di gruppo e algebre di Hopf) invece della teoria delle matrici modulari.

2. Metodologia

Gli autori adottano un approccio teorico-algebrico basato sulla corrispondenza tra sottocategorie tensoriali e quozienti di algebre di Hopf.

1. Corrispondenza Fondamentale: Si sfrutta il fatto che le sottocategorie tensoriali di $\text{Rep}(H)$ (per un'algebra di Hopf $H$ di dimensione finita) corrispondono biunivocamente alle classi di equivalenza di coppie di quozienti di Hopf $(D, \theta)$, dove $\theta: H \twoheadrightarrow D$ è un omomorfismo suriettivo di algebre di Hopf.
2. Classificazione dei Quozienti: Invece di analizzare gli oggetti della categoria, gli autori classificano direttamente i quozienti dell'algebra $D(G)$.
3. Strumenti di Schemi di Gruppo: Si utilizzano estensioni di gruppi, azioni coniugate, e mappe equivarianti tra schemi di gruppo per descrivere la struttura dei quozienti.
4. Struttura Ribbon e Quasi-Triangolare: Si analizza come la struttura di $D(G)$ (in particolare la sua matrice $R$ universale e l'elemento nastro) si trasmetta ai quozienti, permettendo di determinare proprietà come la simmetria, la non-degenerazione e la fattorizzabilità.

3. Risultati Chiave e Contributi

A. Classificazione dei Quozienti di Hopf (Teoremi 3.5 e 3.9)

Il primo risultato principale è la classificazione di tutte le coppie di quozienti di Hopf $(D, \theta)$ di $D(G)$. Ogni tale quoziente è isomorfo a un'algebra della forma:
$$D(K, H, B) := \mathcal{O}(K)^{\text{cop}} \#_\sigma^\tau k[G/H]$$
dove:

• $K$ e $H$ sono sottogruppi normali di $G$ che centralizzano a vicenda (ovvero, commutano come sottogruppi).
• $B: k[H] \to \mathcal{O}(K)$ è una mappa di algebre di Hopf $G$-equivariante.
• $\sigma$ e $\tau$ sono cocicli e cococicli derivati dalla struttura di estensione di $G$ rispetto a $H$ e $K$, modificati dalla mappa $B$.
• $\theta: D(G) \twoheadrightarrow D(K, H, B)$ è la mappa di quoziente esplicitamente costruita.

Questa classificazione stabilisce una biettizione tra le triple $(K, H, B)$ e le classi di equivalenza delle coppie di quozienti di $D(G)$.

B. Classificazione delle Sottocategorie Tensoriali (Teorema 4.2)

Utilizzando la corrispondenza tra quozienti e sottocategorie, gli autori dimostrano che l'assegnazione:
$$(K, H, B) \mapsto Z(K, H, B) := \text{Rep}(D(K, H, B))$$
definisce una biettizione tra le triple $(K, H, B)$ e le sottocategorie tensoriali di $Z(G)$. Questo generalizza i risultati di [NNW] al caso non semisemplice, sostituendo le condizioni sui dati modulari con condizioni puramente algebriche sui sottogruppi normali e sulle mappe equivarianti.

C. Teoria dei Centralizzatori di Müger (Teorema 4.5)

Un risultato fondamentale riguarda il calcolo dei centralizzatori di Müger all'interno di $Z(G)$.

• Il centralizzatore di Müger di una sottocategoria $Z(K, H, B)$ è esattamente la sottocategoria $Z(H, K, B)$.
• Questo risultato generalizza la struttura simmetrica trovata in caratteristica 0, mostrando che lo scambio dei ruoli di $K$ e $H$ (insieme alla mappa $B$) corrisponde all'operazione di prendere il centralizzatore.

D. Criteri di Proprietà Strutturali (Corollario 4.6)

Gli autori derivano criteri espliciti per determinare quando una sottocategoria possiede proprietà specifiche:

• Simmetrica: $Z(K, H, B)$ è simmetrica se e solo se $K \subseteq H$ e $B$ soddisfa una condizione di auto-dualità specifica.
• Non-degenere (Fattorizzabile): $Z(K, H, B)$ è non-degenere se e solo se $HK = G$ e una certa mappa $\beta_{B,B}$ è un isomorfismo di algebre di Hopf.
• Lagrangiana: $Z(K, H, B)$ è Lagrangiana se e solo se $K = H$ e $B = \bar{B}$ (dualità appropriata).

E. Oggetti Semplici e Proiettivi (Teorema 4.10)

Utilizzando la descrizione geometrica di $Z(G)$ da lavori precedenti ([GS1]), il paper descrive esplicitamente gli oggetti semplici e proiettivi di $Z(K, H, B)$.

• Gli oggetti semplici sono classificati tramite le orbite di coniugazione in $K$ e rappresentazioni di algebre di Hopf twistate su $G_g/H$.
• Vengono calcolate le dimensioni di Frobenius-Perron per questi oggetti, fornendo una comprensione completa della struttura della categoria anche nel caso non semisemplice.

4. Esempi e Casi Speciali (Sezione 5)

Il paper illustra la teoria attraverso diversi casi:

• Gruppi Costanti: Ripristina e generalizza i risultati noti per i gruppi finiti classici.
• Gruppi Connessi: Analizza il caso in cui $G$ è connesso (es. nuclei di Frobenius di gruppi algebrici), dove le sottocategorie sono equivalenti a categorie di rappresentazione di gruppi quoziente twistati.
• Casi Non Banali in Caratteristica Positiva: Vengono costruiti esempi espliciti di categorie braided non degeneri in caratteristica $p > 0$ derivanti da quozienti fattorizzabili di $D(G)$. In particolare, si studiano casi con schemi di gruppo come $G_{a,r}$ (nuclei di Frobenius del gruppo additivo), mostrando l'esistenza di famiglie infinite di sottocategorie non equivalenti parametrize da elementi del campo $k$.

5. Significato e Impatto

Questo lavoro è significativo per diversi motivi:

1. Superamento della Semisemplicità: Fornisce un quadro unificato per lo studio delle categorie braided finite che non dipende dalla semisemplicità, rendendo applicabili i risultati alla caratteristica positiva dove la teoria delle rappresentazioni è molto più complessa.
2. Sostituzione dei Dati Modulari: Dimostra che la classificazione delle sottocategorie può essere ottenuta interamente attraverso la teoria degli schemi di gruppo e delle algebre di Hopf, senza fare affidamento su matrici $S$ che potrebbero non esistere o non essere calcolabili.
3. Nuove Famiglie di Categorie: Costruisce nuove famiglie di categorie braided finite non degeneri in caratteristica positiva, offrendo nuovi esempi per la teoria delle categorie tensoriali e la teoria dei campi quantistici topologici (TQFT) in contesti non semisemplici.
4. Generalizzazione: Estende i risultati fondamentali di [NNW] da un contesto puramente semisemplice a uno generale, confermando che la struttura combinatoria dei sottogruppi normali rimane il principio organizzativo fondamentale anche in presenza di non-semisemplicità.

In sintesi, il paper stabilisce una corrispondenza profonda tra la teoria degli schemi di gruppo (struttura di $G$, sottogruppi normali, mappe equivarianti) e la teoria delle categorie braided (sottocategorie, centralizzatori, proprietà di non-degenerazione), fornendo un potente strumento computazionale e teorico per l'analisi delle rappresentazioni del doppio di Drinfeld in tutte le caratteristiche.