Transfer and Norm for Finite Group Schemes

1. Il Problema e il Contesto

Il lavoro si inserisce nel campo della teoria delle rappresentazioni e della geometria algebrica, focalizzandosi sui gruppi finiti su un campo $k$ di caratteristica $p > 0$.
Il problema centrale è estendere la teoria classica dei mappe di trasferimento (transfer) e norma (norm), ben consolidate per i gruppi finiti classici, al contesto più generale dei gruppi finiti schemi.

Nella teoria dei gruppi finiti classici, le mappe di trasferimento e norma sono strumenti fondamentali per analizzare la proiettività relativa (criterio di Higman) e le proprietà degli anelli di invarianti. Tuttavia, per i gruppi schemi, sorgono ostacoli significativi:

• Assenza di bi-aggiunzione: A differenza dei gruppi classici, per i gruppi schemi i funtori di restrizione non ammettono necessariamente un'aggiunta sinistra e destra isomorfe. Esiste una differenza tra induzione e co-induzione, legata da un "twist" (torsione) tramite una rappresentazione unidimensionale specifica (il modulo di modularità).
• Definizione orbitale: Le definizioni classiche basate sulla somma o il prodotto sugli elementi di un'orbita non sono direttamente applicabili ai gruppi schemi, che possono avere componenti infinitesimali (non ridotte).

L'obiettivo è costruire una teoria sistematica di queste mappe che tenga conto di queste differenze strutturali, mantenendo proprietà utili come la caratterizzazione della proiettività relativa e le relazioni con le norme di campo.

2. Metodologia

Gli autori adottano un approccio basato sulla teoria delle categorie e sulla struttura degli algebre di Hopf finite:

• Strumenti Categoriali: Utilizzano la tripla di funtori aggiunti: co-induzione ($C^G_H$), restrizione ($R^G_H$) e induzione ($I^G_H$). La chiave è lo studio della relazione tra induzione e co-induzione.
• Isomorfismo di Wirthmüller: Sfruttano l'isomorfismo di Wirthmüller per collegare l'induzione e la co-induzione tramite un oggetto duale specifico, il modulo di modularità relativo $\omega_{H,G}$. Questo oggetto misura la deviazione dalla simmetria tra induzione e co-induzione.
• Costruzione Canonica: Invece di sommare su elementi, definiscono le mappe attraverso morfismi canonici tra spazi di invarianti e funtori di co-induzione, utilizzando l'isomorfismo di Wirthmüller per "correggere" il twist.
• Analisi delle Componenti: Per la norma moltiplicativa, separano il gruppo schema $G$ nella sua componente connessa all'identità $G^0$ (infinitesimale) e nel quoziente étale $G^{ét}$. Utilizzano la chiusura separabile del campo per collegare la teoria dei gruppi schemi alla teoria dei gruppi finiti classici (punti razionali).

3. Contributi Chiave e Risultati

A. Teoria del Trasferimento (Additivo)

• Definizione del Trasferimento: Gli autori definiscono una mappa di trasferimento $\text{Tr}^G_H$ che agisce su moduli e gruppi Ext. A differenza del caso classico, questa mappa non va semplicemente da $M^H$ a $M^G$, ma coinvolge il modulo di modularità relativo:
  $$\text{Tr}^G_H: \text{Hom}_H(\omega_{H,G}^{-1} \otimes M, M) \to \text{Hom}_G(k, M)$$
  (o equivalentemente su spazi di invarianti pesati).
• Generalizzazione del Criterio di Higman: Dimostrano che la suriettività del trasferimento caratterizza la proiettività relativa. Un modulo $M$ è proiettivo rispetto a una collezione di sottogruppi $\mathcal{C}$ se e solo se l'identità su $M$ può essere scritta come una somma finita di trasferimenti di endomorfismi definiti sui sottogruppi di $\mathcal{C}$. Questo generalizza il celebre criterio di Higman ai gruppi schemi.
• Formula di Mackey: Presentano una versione della formula delle doppie classi laterali (double coset formula). Tuttavia, notano che questa è necessariamente più debole rispetto al caso dei gruppi finiti classici a causa della presenza della componente connessa $G^0$. La formula coinvolge sottogruppi della forma $K \cap (H G^0)^x$, dove $x$ appartiene al quoziente étale.
• Proprietà di Proiettività: Analizzano quando la mappa $\text{Tr}^G_H \circ R^G_H$ è un isomorfismo (o non nullo), collegando questo fatto alla divisibilità dell'ordine del gruppo e alla struttura unimodulare.

B. Teoria della Norma (Moltiplicativo)

• Definizione della Norma Relativa: Per un'algebra commutativa $S$ su cui agisce un gruppo schema $G$, definiscono una mappa di norma relativa $\text{Nm}^G_H: S^H \to S^G$.
  La costruzione passa attraverso la chiusura separabile $k^{sep}$, identificando il quoziente étale con un gruppo finito classico $\Gamma_G$. La norma è definita come la norma di Evens classica applicata a una potenza specifica dell'elemento, determinata dalla componente infinitesimale:
  $$\text{Nm}^G_H(s) = \text{norm}_{\Gamma_H, \Gamma_G} \left( (s \otimes 1)^{|G^0 H : H|} \right)$$
• Equivalenza con la Norma di Mumford: Dimostrano che la loro definizione coincide con la norma di Mumford, definita tramite il determinante dell'endomorfismo di moltiplicazione sull'algebra di coordinate. Questo fornisce un ponte tra la definizione algebrica moderna e quella geometrica classica.
• Relazione con la Norma di Campo: Nel caso in cui $S$ sia un campo $L$, dimostrano che la norma definita per i gruppi schemi è una potenza della classica norma di campo $N_{L/L^G}$. Nello specifico:
  $$\text{Nm}^G(s) = N_{L/L^G}(s)^{\frac{|G|}{[L:L^G]}}$$
  Questo risultato chiarisce come la teoria dei gruppi schemi generalizzi e modifichi la teoria classica delle estensioni di campi.

4. Significato e Impatto

Questo lavoro è significativo per diversi motivi:

1. Unificazione Teorica: Colma un divario nella teoria delle rappresentazioni dei gruppi algebrici, fornendo strumenti operativi (trasferimento e norma) che erano stati finora limitati ai gruppi classici o a contesti molto specifici.
2. Gestione dell'Infinitesimale: Offre un metodo rigoroso per gestire le componenti infinitesimali dei gruppi schemi, che sono spesso fonte di complessità tecnica, mostrando come esse influenzino le mappe di trasferimento attraverso il modulo di modularità.
3. Applicabilità: Le generalizzazioni del criterio di Higman e della formula di Mackey sono strumenti essenziali per lo studio della coomologia dei gruppi schemi, della teoria delle rappresentazioni modulari e della struttura degli anelli di invarianti in caratteristica positiva.
4. Connessione Geometrica: La dimostrazione dell'equivalenza con la norma di Mumford e la relazione con la norma di campo consolidano il legame tra la teoria dei gruppi schemi e la geometria algebrica classica, rendendo i risultati accessibili e applicabili in contesti geometrici più ampi.

In sintesi, il paper stabilisce un quadro teorico robusto per l'uso di mappe di trasferimento e norma nella teoria dei gruppi schemi, superando le difficoltà legate alla mancanza di simmetria tra induzione e co-induzione e fornendo generalizzazioni potenti di risultati classici fondamentali.