Homogeneous spaces in tensor categories

Sintesi Tecnica: Spazi Omogenei in Categorie Tensoriali

Enunciato del Problema
Il saggio affronta l'esistenza e le proprietà strutturali degli spazi omogenei $G/H$ (schemi quoziente) nel contesto di categorie tensoriali simmetriche $\mathcal{C}$ di crescita moderata. Sebbene la teoria delle rappresentazioni di schemi di gruppi affini in caratteristica zero sia ben compresa tramite il teorema di Deligne (che identifica tali categorie con le rappresentazioni di supergruppi), la teoria strutturale in caratteristica positiva $p > 0$ rimane incompleta. Nello specifico, si congettura che le categorie incomprimibili in caratteristica $p$ siano sottocategorie di $\text{Ver}_{p^\infty}$. Una lacuna fondamentale nella teoria geometrica di queste categorie è la rigorosa esistenza di schemi quoziente $G/H$ per gruppi algebrici $G$ e sottogruppi $H \leq G$. Senza l'esistenza stabilita di schemi quoziente, strumenti rappresentazionali chiave, come i funtori di induzione e lo studio dei fasci equivarianti, mancano di una solida base geometrica.

Metodologia
Gli autori sviluppano una teoria degli schemi per categorie tensoriali che soddisfano due specifiche condizioni tecniche: Riducibilità Geometrica (GR) e Nilpotenza Massima (MN). Queste condizioni sono poste come caratterizzazioni intrinseche delle categorie incomprimibili (ad esempio, $\text{Ver}_{p^\infty}$).

La metodologia si basa fortemente sull'interazione tra il "corpo" del gruppo (il sottostante gruppo algebrico classico) e le strutture infinitesimali, utilizzando il morfismo di Frobenius disponibile solo in caratteristica positiva. Le fasi metodologiche chiave includono:

1. Twist di Frobenius e Kernels: Gli autori definiscono il twist di Frobenius $A^{[1]}$ per le algebre in $\mathcal{C}$ e i corrispondenti kernel di Frobenius $G_r$ per i gruppi algebrici. Un risultato strutturale centrale (Proposizione 4.19) stabilisce che, per un $r$ sufficientemente grande, il quoziente $G/G_r$ è un gruppo algebrico "puramente pari" (un ordinario schema di gruppi su $k$) e $G_r$ è uno schema di gruppo infinitesimale.
2. Riduzione ai Casi Classico e Infinitesimale: L'esistenza di $G/H$ viene ridotta a due casi:
   • Il caso classico: quozienti dei gruppi "corpo" $G_0/H_0$ nella categoria dei vettori spaziali ($\text{Vec}$).
   • Il caso infinitesimale: quozienti per sottogruppi infinitesimali, che si dimostrano esistere ed essere affini.
3. Costruzione Teoretica dei Faisceaux: Gli autori utilizzano la teoria dei faisceaux (fiasci nella topologia fppf) per costruire il quoziente. Dimostrano che il quoziente nella categoria degli schemi esiste se può essere costruito localmente e incollato, sfruttando il fatto che la mappa dal gruppo al quoziente è finitamente piatta e affine sotto specifiche condizioni.
4. Algebre di Distribuzione: Il saggio impiega le algebre di distribuzione ($\Gamma_G$) e le loro filtrazioni per analizzare la struttura degli gruppi algebrici, mostrando come $\Gamma_G$ sia generata dalle distribuzioni del corpo $G_0$ e dai kernel di Frobenius.

Contributi Chiave e Risultati

• Esistenza di Spazi Omogenei: Il risultato primario (Teorema 7.5) dimostra che per un gruppo algebrico $G$ e un sottogruppo $H$ in una categoria tensoriale $\mathcal{C}$ soddisfacente (GR) e (MN), lo spazio omogeneo $G/H$ esiste come schema di tipo finito. Inoltre, $G/H$ è separato.
• Relazione con il "Corpo": Il saggio stabilisce una precisa relazione tra il quoziente $G/H$ e il quoziente dei gruppi classici sottostanti $G_0/H_0$.
  • Esiste un'immersione chiusa naturale $G_0/H_0 \hookrightarrow (G/H)_0$ che è un omeomorfismo universale (Teorema 7.5).
  • Mentre l'uguaglianza $(G/H)_0 = G_0/H_0$ ricorre nel setting super (dove $\mathcal{C} \subseteq \text{Ver}_p$), essa può fallire in categorie incomprimibili più generali (Esempio 6.1). Tuttavia, le proprietà geometriche (affine, quasi-affine, propria) di $G/H$ sono equivalenti a quelle di $G_0/H_0$ (Teorema 7.5).
• Struttura dei Quozienti in $\text{Ver}_p$: Per il caso specifico $\mathcal{C} = \text{Ver}_p$, gli autori forniscono una costruzione locale esplicita di $G/H$. Mostrano che $(G/H)_0 = G_0/H_0$ esattamente, e lo schema è localmente isomorfo allo spettro di un'algebra simmetrica su un particolare bundle vettoriale derivato dalla filtrazione dell'algebra di Lie (Teorema 9.9).
• Quozienti Affini e Iniettività: Nella Sezione 8, il saggio caratterizza quando esistono quozienti affini. Se $\mathcal{C}$ è semisimplicata, $G/H$ è affine se e solo se l'anello delle coordinate $k[G]$ è un $k[H]$-comodulo iniettivo (Teorema 8.1). Ciò generalizza i risultati classici di Schneider al contesto delle categorie tensoriali.
• Fasci Equivarianti e Induzione: L'esistenza di $G/H$ permette la definizione del funtore di induzione $\text{Ind}_H^G$. Il saggio dimostra un'equivalenza tra la categoria dei fasci quasi-coerenti di $H$-equivarianti su $G$ e i fasci quasi-coerenti su $G/H$ (Proposizione 7.11). Inoltre, stabilisce un isomorfismo tra i funtori di induzione derivati e la coomologia di fiasci di $G/H$ (Lemma 7.13).

Significatività e Rivendicazioni
Il saggio sostiene di risolvere la questione fondamentale se gli spazi omogenei esistano come schemi nelle categorie tensoriali rilevanti, consentendo così l'applicazione delle tecniche geometriche classiche alla teoria delle rappresentazioni dei gruppi in queste categorie.

• Fondativa: L'esistenza di $G/H$ è presentata come un prerequisito per sviluppare una robusta teoria geometrica dei gruppi algebrici nelle categorie tensoriali, analogamente al ruolo delle varietà di flag nella teoria classica delle rappresentazioni.
• Intuizione Strutturale: La decomposizione dei gruppi algebrici in parti "infinitesimali" e "ordinarie" tramite i kernel di Frobenius (Proposizione 4.19) è evidenziata come un risultato strutturale fondamentale con potenziali applicazioni oltre l'ambito immediato degli spazi omogenei.
• Teoria delle Rappresentazioni: Il saggio collega esplicitamente le proprietà geometriche di $G/H$ (specificamente la proprietà di essere propria) alla preservazione degli oggetti compatti sotto il funtore di induzione (Corollario 7.14). Ciò è cruciale per calcolare i caratteri delle rappresentazioni irriducibili, un compito in cui le supervarietà omogenee sono state precedentemente utilizzate nella teoria dei supergruppi.
• Generalità: I risultati si applicano a qualsiasi categoria tensoriale soddisfacente (GR) e (MN), il che include $\text{Ver}_{p^\infty}$ e le sue sottocategorie, supportando la congettura che tali condizioni caratterizzino le categorie incomprimibili.

Gli autori mantengono un tono modesto riguardo all'estensione del lavoro, notando che, sebbene l'uguaglianza $(G/H)_0 = G_0/H_0$ fallisca in generale, la proprietà di omeomorfismo universale è sufficiente per trasferire molte proprietà geometriche. Notano inoltre che lo sviluppo di una teoria completa delle coppie di Harish-Chandra in queste categorie rimane un soggetto per lavori futuri, poiché l'attuale framework richiede la sostituzione dell'algebra di Lie con un gruppo infinitesimale più ampio.