Sintesi Tecnica: Algebre Assolutamente Piatte in Categorie Tensoriali

1. Enunciato del Problema e Motivazione

Il saggio investiga la relazione strutturale tra tre classi di algebre all'interno delle ind-completazioni di categorie tensoriali (categorie assolute, rigide e abeliani): algebre semisimpli, albre semplici artiniane e algebre artiniane assolutamente piatte (algebre di von Neumann regolari).

Nella teoria classica degli anelli su un campo $k$, per un'algebra artiniana, queste tre nozioni sono equivalenti: un'algebra è semisimple se e solo se è un prodotto di algebre semplici, e se e solo se è assolutamente piatta. Gli autori si chiedono se tali equivalenze persistano nel contesto più ampio delle categorie tensoriali. Nello specifico, affrontano i seguenti punti:

1. Ogni algebra semisimple è un prodotto di algebre semplici?
2. Ogni algebra semplice artiniana è assolutamente piatta?
3. Sotto quali condizioni queste proprietà coincidono?

La motivazione deriva da diverse questioni aperte nel campo:

• Se l'estensione di scala di una categoria tensoriale rimanga una categoria tensoriale (equivalente a chiedere se le estensioni di campo siano assolutamente piatte).
• Se i prodotti tensoriali di Deligne di categorie pretannakiane siano sempre pretannakiane.
• La congettura di Etingof-Ostrik riguardo l' "esattezza" delle algebre semplici in categorie tensoriali finite.

2. Metodologia e Framework

Gli autori impiegano un approccio sistematico che combina l'algebra categoriale, la teoria delle rappresentazioni e la geometria algebrica all'interno del framework delle categorie pretannakiane (categorie tensoriali simmetriche artiniane).

• Definizioni: Definiscono il radicale di Jacobson $J(A)$, la semisimplicità ($J(A)=0$) e la piattezza assoluta ($Tor^A_1 \equiv 0$) nel contesto delle ind-algebre. Distinguono tra proprietà artiniane a sinistra/destra e bi-artiniane.
• Categorie Ben Fibrate (Well-Fibered): Uno strumento metodologico centrale è il concetto di categorie pretannakiane ben fibrate. Una categoria $\mathcal{C}$ è ben fibrata se ammette un funtore tensoriale simmetrico verso una categoria pretannakiana "di base" $\mathcal{D}$ che sia sia Geometricamente Riduttiva (GR) che Massimalmente Nilpotente (MN).
  • GR: Per ogni epimorfismo $X \twoheadrightarrow 1$, un qualche potere simmetrico $S^n X \twoheadrightarrow 1$ si scinde.
  • MN: Gli oggetti semplici non banali hanno algebre simmetriche finite, e le estensioni non scisse dell'unità svaniscono eventualmente sotto poteri simmetrici.
• Riduzione ai Gruppi Schemi: Utilizzando il formalismo di Tannaka, gli autori riducono i problemi nelle categorie ben fibrate allo studio delle algebre in $\text{Rep}_f G$ (rappresentazioni a lunghezza finita di uno schema di gruppo affine $G$) su un campo di base $k$.
• Geometria Algebrica nelle Categorie Tensoriali: Utilizzano la teoria dei gruppi e degli schemi algebrici sviluppata in lavori precedenti (ad es. [C2], [CS]) per analizzare le algebre commutative come anelli di coordinate di spazi omogenei $G/H$.

3. Contributi Chiave e Risultati

3.1. Relazioni Generali e Controesempi

Il saggio stabilisce che, in piena generalità, le equivalenze classiche falliscono.

• Implicazioni: Gli autori dimostrano che per le algebre artiniane, la piattezza assoluta implica la scomparsa di $\text{Ext}^1$, il che implica che l'algebra sia un prodotto di algebre semplici, il che implica la semisimplicità. Tuttavia, le implicazioni inverse non valgono universalmente.
• Controesempi:
  • Semisimple ma non un prodotto di semplici: Nella categoria di Delannoy (crescita superexponenziale), esiste un'algebra commutativa semisimple che non è un prodotto di algebre semplici (Lemma 4.5).
  • Semplice ma non assolutamente piatta: Nelle categorie di crescita superexponenziale (ad es. $(\text{Rep } GL)_t$), esistono ind-algebre commutative semplici che non sono assolutamente piatte (Proposizione 4.6).
  • Algebre semplici non artiniane: Il saggio fornisce il primo esempio noto di una categoria tensoriale con spazi di morfismo a dimensione finita contenente oggetti di lunghezza infinita (Appendice A), evidenziando le sottigliezze nella definizione di algebre artiniane.

3.2. Teoremi Principali per Crescita Moderata

I principali risultati positivi sono stabiliti per le categorie pretannakiane a crescita moderata, specificamente quelle che sono ben fibrate.

Teorema A (Caso Commutativo): Sia $\mathcal{C}$ una categoria pretannakiana ben fibrata su un campo algebricamente chiuso $k$.

1. Ogni algebra commutativa semplice in $\text{Ind } \mathcal{C}$ è artiniana e assolutamente piatta.
2. Ogni algebra commutativa semisimple in $\text{Ind } \mathcal{C}$ è un prodotto di algebre semplici.
3. Se $\text{char}(k) > 0$, ogni algebra semisimple (non necessariamente commutativa) in $\mathcal{C}$ è un prodotto di algebre semplici ed è assolutamente piatta.

Questo teorema implica che per le categorie pretannakiane Frobenius esatte di crescita moderata (in caratteristica positiva) e per tutte tali categorie in caratteristica 0, le equivalenze classiche valgono.

Teorema B (Caso Tannakiano/Schema di Gruppo): Sia $G$ uno schema di gruppo affine su un campo algebricamente chiuso $k$.

1. Per un'algebra $G$-equivariante commutativa semplice $A$, sia $L$ la chiusura algebrica del campo degli invarianti $A^G$. Esiste un sottogruppo esatto $H \subseteq GL$ tale che $A \otimes_{A^G} L \cong L[GL/H]$.
2. Le algebre commutative $G$-equivarianti semisimpli sono prodotti di algebre semplici.
3. Le algebre $G$-equivarianti semisimpli a dimensione finita sono prodotti di algebre semplici.

3.3. Caratterizzazioni Strutturali

• Caratterizzazione Artiniana: Nelle categorie ben fibrate, un'ind-algebra commutativa è artiniana se e solo se soddisfa la condizione decrescente su (DCC) sugli ideali, o equivalentemente, se è un prodotto diretto finito di algebre locali artiniane (Teorema 5.2).
• Proprietà di Nakayama: Gli autori utilizzano la proprietà di Nakayama (valida nelle categorie ben fibrate) per dimostrare che il radicale di Jacobson coincide con l'intersezione degli ideali massimali e che i moduli semplici corrispondono agli ideali massimali.

3.4. Appendici

• Appendice A: Costruisce una categoria tensoriale simmetrica con spazi di morfismo a dimensione finita ma oggetti di lunghezza infinita, dimostrando che l'ind-completamento di una categoria tensoriale non è sempre una "buona" categoria tensoriale nel senso di avere oggetti di lunghezza finita.
• Appendice B: Generalizza il teorema di Deligne sulla neutralità delle categorie tannakiane, estendendolo da $\text{Vec}$ a arbitrarie categorie pretannakiane GR+MN.
• Appendice C: Colma una lacuna tecnica riguardante l'estensione di scala nelle categorie tensoriali.

4. Significato e Rivendicazioni

Il saggio sostiene di risolvere la questione dell'equivalenza tra semisimplicità, prodotto di semplici e piattezza assoluta per le algebre commutative in categorie pretannakiane a crescita moderata, a condizione che la categoria sia ben fibrata.

• Ambito Congetturale: Gli autori osservano che è una grande congettura nel campo (supportata da [BEO, C2]) che ogni categoria pretannakiana a crescita moderata sia ben fibrata. Se questa congettura fosse vera, i loro risultati si applicherebbero a tutte tali categorie.
• Limitazioni: Il saggio dichiara esplicitamente che nelle categorie a crescita superexponenziale (che non sono a crescita moderata), queste equivalenze falliscono.
• Questioni Aperte:
  • Se l'equivalenza valga per le algebre non commutative in categorie super-tannakiane di caratteristica 0 (Domanda 5.16).
  • Se i controesempi trovati nella crescita superexponenziale possano essere raffinati per distinguere tra algebre semplici non artiniane e algebre semplici artiniane che non sono assolutamente piatte (Osservazione 4.7).

Il lavoro fornisce una descrizione strutturale rigorosa delle algebre commutative semplici in queste categorie, identificandole con gli anelli di coordinate di spazi omogenei $G/H$ dove $H$ è un sottogruppo esatto, collegando così la teoria astratta delle categorie tensoriali alla concreta geometria algebrica.