Resumo Técnico: Álgebras Absolutamente Planas em Categorias Tensoriais

1. Enunciado do Problema e Motivação

O artigo investiga a relação estrutural entre três classes de álgebras dentro das ind-completudes de categorias tensoriais (categorias monoidais abelianas rígidas): álgebras semissimpéis, álgebras simples artinianas e álgebras artinianas absolutamente planas (álgebras de von Neumann regulares).

Na teoria de anéis clássica sobre um corpo $k$, para uma álgebra artiniana, essas três noções são equivalentes: uma álgebra é semissimples se, e somente se, for um produto de álgebras simples, se, e somente se, for absolutamente plana. Os autores questionam se essas equivalências persistem no contexto mais amplo das categorias tensoriais. Especificamente, eles abordam:

1. Toda álgebra semissimples é um produto de álgebras simples?
2. Toda álgebra simples artiniana é absolutamente plana?
3. Sob quais condições essas propriedades coincidem?

A motivação decorre de várias questões abertas na área:

• Se a extensão de escalares de uma categoria tensorial permanece uma categoria tensorial (o que equivale a perguntar se extensões de corpos são absolutamente planas).
• Se os produtos tensoriais de Deligne de categorias pretannakianas são sempre pretannakianas.
• A conjectura de Etingof-Ostrik sobre a "exatidão" de álgebras simples em categorias tensoriais finitas.

2. Metodologia e Estrutura

Os autores empregam uma abordagem sistemática combinando álgebra categórica, teoria de representação e geometria algébrica dentro da estrutura de categorias pretannakianas (categorias tensoriais simétricas artinianas).

• Definições: Eles definem o radical de Jacobson $J(A)$, semissimplicidade ($J(A)=0$) e absolute flatness ($Tor^A_1 \equiv 0$) no contexto de ind-álgebras. Eles distinguem entre propriedades artinianas à esquerda/direita e bi-artinianas.
• Categorias Bem-Fibradas (Well-Fibered): Uma ferramenta metodológica central é o conceito de categorias pretannakianas bem-fibradas. Uma categoria $\mathcal{C}$ é bem-fibrada se admite um funtor tensorial simétrico para uma categoria pretannakiana "básica" $\mathcal{D}$ que é tanto Geometricamente Redutiva (GR) quanto Maximalmente Nilpotente (MN).
  • GR: Para toda epimorfismo $X \twoheadrightarrow 1$, algum potência simétrica $S^n X \twoheadrightarrow 1$ se divide (split).
  • MN: Objetos simples não triviais possuem álgebras simétricas de comprimento finito, e extensões não-divisíveis da unidade eventualmente desaparecem sob potências simétricas.
• Redução a Esquemas de Grupos: Usando o formalismo de Tannaka, os autores reduzem problemas em categorias bem-fibradas ao estudo de álgebras em $\text{Rep}_f G$ (representações de comprimento finito de um esquema de grupo afim $G$) sobre um corpo base $k$.
• Geometria Algébrica em Categorias Tensoriais: Eles utilizam a teoria de grupos e esquemas algébricos desenvolvida em trabalhos anteriores (ex: [C2], [CS]) para analisar álgebras comutativas como anéis de coordenadas de espaços homogêneos $G/H$.

3. Principais Contribuições e Resultados

3.1. Relações Gerais e Contraexemplos

O artigo estabelece que, em generalidade completa, as equivalências clássicas falham.

• Implicações: Os autores provam que, para álgebras artinianas, a absolute flatness implica o desaparecimento de $\text{Ext}^1$, o que implica que a álgebra é um produto de álgebras simples, o que implica semissimplicidade. No entanto, as implicações inversas não se sustentam universalmente.
• Contraexemplos:
  • Semissimples mas não um produto de simples: Na categoria de Delannoy (crescimento superexponencial), existe uma álgebra comutativa semissimples que não é um produto de álgebras simples (Lema 4.5).
  • Simples mas não absolutamente plana: Em categorias de crescimento superexponencial (ex: $(\text{Rep } GL)_t$), existem ind-álgebras comutativas simples que não são absolutamente planas (Proposição 4.6).
  • Álgebras simples não-artinianas: O artigo fornece o primeiro exemplo conhecido de uma categoria tensorial com espaços de morfismos de dimensão finita contendo objetos de comprimento infinito (Apêndice A), destacando as sutilezas na definição de álgebras artinianas.

3.2. Teoremas Principais para Crescimento Moderado

Os principais resultados positivos são estabelecidos para categorias pretannakianas de crescimento moderado, especificamente aquelas que são bem-fibradas.

Teorema A (Caso Comutativo): Seja $\mathcal{C}$ uma categoria pretannakiana bem-fibrada sobre um corpo algebricamente fechado $k$.

1. Toda álgebra comutativa simples em $\text{Ind } \mathcal{C}$ é artiniana e absolutamente plana.
2. Toda álgebra comutativa semissimples em $\text{Ind } \mathcal{C}$ é um produto de álgebras simples.
3. Se $\text{char}(k) > 0$, toda álgebra semissimples (não necessariamente comutativa) em $\mathcal{C}$ é um produto de álgebras simples e é absolutamente plana.

Este teorema implica que, para categorias pretannakianas Frobenius exatas de crescimento moderado (em característica positiva) e todas as tais categorias em característica 0, as equivalências clássicas se mantêm.

Teorema B (Caso de Esquema de Grupo/Tannakiano): Seja $G$ um esquema de grupo afim sobre um corpo algebricamente fechado $k$.

1. Para uma álgebra $G$-equivariante comutativa simples $A$, seja $L$ o fechamento algébrico do corpo de invariantes $A^G$. Existe um subgrupo exato $H \subseteq GL$ tal que $A \otimes_{A^G} L \cong L[GL/H]$.
2. Álgebras comutativas semissimpéis $G$-equivariantes são produtos de simples.
3. Álgebras $G$-equivariantes de dimensão finita e semissimpéis são produtos de simples.

3.3. Caracterizações Estruturais

• Caracterização Artiniana: Em categorias bem-fibradas, uma ind-álgebra comutativa é artiniana se, e somente se, satisfizer a condição descendente de cadeia (DCC) em ideais, ou equivalentemente, se for um produto direto finito de álgebras locais artinianas (Teorema 5.2).
• Propriedade de Nakayama: Os autores utilizam a propriedade de Nakayama (válida em categorias bem-fibradas) para provar que o radical de Jacobson coincide com a interseção de ideais maximais e que módulos simples correspondem a ideais maximais.

3.4. Apêndices

• Apêndice A: Constrói uma categoria tensorial simétrica com espaços de morfismos de dimensão finita, mas objetos de comprimento infinito, demonstrando que a ind-completude de uma categoria tensorial nem sempre é uma categoria "bem comportada" no sentido de possuir objetos de comprimento finito.
• Apêndice B: Generaliza o teorema de Deligne sobre a neutralidade de categorias tannakianas, estendendo-o de $\text{Vec}$ para quaisquer categorias pretannakianas GR+MN.
• Apêndice C: Preenche uma lacuna técnica referente à extensão de escalares em categorias tensoriais.

4. Significância e Alegações

O artigo afirma resolver a questão da equivalência entre semissimplicidade, produto de simples e absolute flatness para álgebras comutativas em categorias pretannakianas de crescimento moderado, desde que a categoria seja bem-fibrada.

• Escopo Conjectural: Os autores observam que é uma grande conjectura no campo (apoiada por [BEO, C2]) que toda categoria pretannakiana de crescimento moderado é bem-fibrada. Se esta conjectura se confirmar, seus resultados aplicam-se a todas essas categorias.
• Limitações: O artigo afirma explicitamente que em categorias de crescimento superexponencial (que não são de crescimento moderado), essas equivalências falham.
• Questões Abertas:
  • Se a equivalência se mantém para álgebras não-comutativas em categorias super-tannakianas de característica 0 (Questão 5.16).
  • Se os contraexemplos encontrados em crescimento superexponencial podem ser refinados para distinguir entre álgebras simples não-artinianas e álgebras simples artinianas que não são absolutamente planas (Observação 4.7).

O trabalho fornece uma descrição estrutural rigorosa de álgebras comutativas simples nessas categorias, identificando-as com anéis de coordenadas de espaços homogêneos $G/H$ onde $H$ é um subgrupo exato, ligando assim a teoria abstrata de categorias tensoriais à geometria algébrica concreta.