Resumen Técnico: Álgebras Absolutamente Planas en Categorías Tensoriales

1. Planteamiento del Problema y Motivación

El artículo investiga la relación estructural entre tres clases de álgebras dentro de las completaciones ind de categorías tensoriales (categorías monoidales abelianas rígidas): álgebras semisimples, álgebras simples artinianas y álgebras artinianas absolutamente planas (álgebras de regularidad de von Neumann).

En la teoría de anillos clásica sobre un cuerpo $k$, para un álgebra artiniana, estas tres nociones son equivalentes: un álgebra es semisimple si y solo si es un producto de álgebras simples, y si y solo si es absolutamente plana. Los autores se preguntan si estas equivalencias persisten en el contexto más amplio de las categorías tensoriales. Específicamente, abordan:

1. ¿Es toda álgebra semisimple un producto de álgebras simples?
2. ¿Es toda álgebra simple artiniana absolutamente plana?
3. ¿Bajo qué condiciones coinciden estas propiedades?

La motivación surge de varias preguntas abiertas en el campo:

• Si la extensión de escalares de una categoría tensorial sigue siendo una categoría tensorial (lo que equivale a preguntar si las extensiones de cuerpos son absolutamente planas).
• Si los productos tensoriales de Deligne de categorías pretannakianas son siempre pretannakianas.
• La conjetura de Etingof-Ostrik respecto a la "exactitud" de las álgebras simples en categorías tensoriales finitas.

2. Metodología y Marco de Trabajo

Los autores emplean un enfoque sistemático que combina el álgebra categórica, la teoría de la representación y la geometría algebraica dentro del marco de las categorías pretannakianas (categorías tensoriales simétricas artinianas).

• Definiciones: Definen el radical de Jacobson $J(A)$, la semisimplicidad ($J(A)=0$) y la planitud absoluta ($Tor^A_1 \equiv 0$) en el contexto de álgebras ind. Distinguen entre las propiedades artinianas por la izquierda/derecha y las propiedades bi-artinianas.
• Categorías Bien Fibradas (Well-Fibered): Una herramienta metodológica central es el concepto de categorías pretannakianas bien fibradas. Una categoría $\mathcal{C}$ es bien fibrada si admite un funtor tensorial simétrico hacia una categoría pretannakiana "básica" $\mathcal{D}$ que es tanto Geométricamente Reductiva (GR) como Máximamente Nilpotente (MN).
  • GR: Para cada epimorfismo $X \twoheadrightarrow 1$, algún potencia simétrica $S^n X \twoheadrightarrow 1$ se descompone (split).
  • MN: Los objetos simples no triviales tienen álgebras simétricas finitas, y las extensiones no descompuestas de la unidad eventualmente se anulan bajo potencias simétricas.
• Reducción a Esquemas de Grupos: Utilizando el formalismo de Tannaka, los autores reducen los problemas en categorías bien fibradas al estudio de álgebras en $\text{Rep}_f G$ (representaciones de longitud finita de un esquema de grupo afín $G$) sobre un cuerpo base $k$.
• Geometría Algebraica en Categorías Tensoriales: Utilizan la teoría de grupos y esquemas algebraicos desarrollada en trabajos previos (por ejemplo, [C2], [CS]) para analizar álgebras conmutativas como anillos de coordenadas de espacios homogéneos $G/H$.

3. Contribuciones Clave y Resultados

3.1. Relaciones Generales y Contraejemplos

El artículo establece que, en general, las equivalencias clásicas fallan.

• Implicaciones: Los autores demuestran que, para álgebras artinianas, la planitud absoluta implica la anulación de $\text{Ext}^1$, lo que implica que el álgebra es un producto de álgebras simples, lo que a su vez implica semisimplicidad. Sin embargo, las implicaciones inversas no se cumplen universalmente.
• Contraejemplos:
  • Semisimple pero no un producto de simples: En la categoría de Delannoy (crecimiento superexponencial), existe un álgebra conmutativa semisimple que no es un producto de álgebras simples (Lema 4.5).
  • Simple pero no absolutamente plana: En categorías de crecimiento superexponencial (por ejemplo, $(\text{Rep } GL)_t$), existen ind-álgebras conmutativas simples que no son absolutamente planas (Proposición 4.6).
  • Álgebras simples no artinianas: El artículo proporciona el primer ejemplo conocido de una categoría tensorial con espacios de morfismos de dimensión finita que contiene objetos de longitud infinita (Apéndice A), resaltando las sutilezas en la definición de álgebras artinianas.

3.2. Teoremas Principales para Crecimiento Moderado

Los principales resultados positivos se establecen para categorías pretannakianas de crecimiento moderado, específicamente aquellas que son bien fibradas.

Teorema A (Caso Conmutativo): Sea $\mathcal{C}$ una categoría pretannakiana bien fibrada sobre un cuerpo algebraicamente cerrado $k$.

1. Toda álgebra conmutativa simple en $\text{Ind } \mathcal{C}$ es artiniana y absolutamente plana.
2. Toda álgebra conmutativa semisimple en $\text{Ind } \mathcal{C}$ es un producto de álgebras simples.
3. Si $\text{char}(k) > 0$, toda álgebra semisimple (no necesariamente conmutativa) en $\mathcal{C}$ es un producto de álgebras simples y es absolutamente plana.

Este teorema implica que para las categorías pretannakianas de Frobenius exactas de crecimiento moderado (en característica positiva) y todas las tales en característica 0, las equivalencias clásicas se cumplen.

Teorema B (Caso de Tannaka/Esquema de Grupo): Sea $G$ un esquema de grupo afín sobre un cuerpo algebraicamente cerrado $k$.

1. Para un álgebra conmutativa simple $G$-equivariante $A$, sea $L$ el cierre algebraico del cuerpo de invariantes $A^G$. Existe un subgrupo exacto $H \subseteq GL$ tal que $A \otimes_{A^G} L \cong L[GL/H]$.
2. Las álgebras conmutativas semisimples $G$-equivariantes son productos de las simples.
3. Las álgebras $G$-equivariantes semisimples de dimensión finita son productos de las simples.

3.3. Caracterizaciones Estructurales

• Caracterización Artiniana: En categorías bien fibradas, una ind-álgebra conmutativa es artiniana si y solo si satisface la condición de cadena descendente (DCC) sobre los ideales, o equivalentemente, si es un producto finito de álgebras locales artinianas (Teorema 5.2).
• Propiedad de Nakayama: Los autores utilizan la propiedad de Nakayama (válida en categorías bien fibradas) para demostrar que el radical de Jacobson coincide con la intersección de los ideales máximos y que los módulos simples corresponden a los ideales máximos.

3.4. Apéndices

• Apéndice A: Construye una categoría tensorial simétrica con espacios de morfismos de dimensión finita pero con objetos de longitud infinita, demostrando que la completación ind de una categoría tensorial no es siempre una categoría "buena" en el sentido de tener objetos de longitud finita.
• Apéndice B: Generaliza el teorema de Deligne sobre la neutralidad de las categorías tannakianas, extendiéndolo de $\text{Vec}$ a cualquier categoría pretannakiana GR+MN.
• Apéndice C: Llena un vacío técnico respecto a la extensión de escalares en categorías tensoriales.

4. Significado y Reivindicaciones

El artículo afirma resolver la cuestión de la equivalencia de semisimplicidad, producto de simples y planitud absoluta para álgebras conmutativas en categorías pretannakianas de crecimiento moderado, siempre que la categoría sea bien fibrada.

• Alcance Conjetural: Los autores señalan que es una conjetura importante en el campo (respaldada por [BEO, C2]) que toda categoría pretannakiana de crecimiento moderado es bien fibrada. Si esta conjetura se cumple, sus resultados se aplican a todas estas categorías.
• Limitaciones: El artículo establece explícitamente que en las categorías de crecimiento superexponencial (que no son de crecimiento moderado), estas equivalencias fallan.
• Preguntas Abiertas:
  • Si la equivalencia se cumple para álgebras no conmutativas en categorías super-tannakianas de característica 0 (Pregunta 5.16).
  • Si los contraejemplos encontrados en el crecimiento superexponencial pueden refinarse para distinguir entre álgebras simples no artinianas y álgebras simples artinianas que no son absolutamente planas (Observación 4.7).

El trabajo proporciona una descripción estructural rigurosa de las álgebras conmutativas simples en estas categorías, identificándolas con los anillos de coordenadas de espacios homogéneos $G/H$ donde $H$ es un subgrupo exacto, vinculando así la teoría de categorías tensoriales abstractas con la geometría algebraica concreta.