Homogeneous spaces in tensor categories

Resumen Técnico: Espacios Homogéneos en Categorías Tensoriales

Planteamiento del Problema
El artículo aborda la existencia y las propiedades estructurales de los espacios homogéneos $G/H$ (esquemas cociente) dentro del contexto de categorías tensoriales simétricas $\mathcal{C}$ de crecimiento moderado. Si bien la teoría de la representación de esquemas de grupos afines en característica cero está bien comprendida a través del teorema de Deligne (que identifica tales categorías con las representaciones de supergrupos), la teoría estructural en característica positiva $p > 0$ permanece incompleta. Específicamente, se conjetura que las categorías incompresibles en característica $p$ son subcategorías de $\text{Ver}_{p^\infty}$. Una brecha fundamental en la teoría geométrica de estas categorías es la existencia rigurosa de esquemas cociente $G/H$ para grupos algebraicos $G$ y subgrupos $H \leq G$. Sin la existencia establecida de esquemas cociente, las herramientas de la teoría de la representación, tales como los funtores de inducción y el estudio de haces equivariantes, carecen de un fundamento geomético sólido.

Metodología
Los autores desarrollan una teoría de esquemas para categorías tensoriales que satisfacen dos condiciones técnicas específicas: Reductividad Geométrica (GR) y Nilpotencia Máxima (MN). Se postula que estas condiciones son caracterizaciones intrínsecas de las categorías incompresibles (por ejemplo, $\text{Ver}_{p^\infty}$).

La metodología se apoya fuertemente en la interacción entre el "cuerpo" del grupo (el grupo algebraico clásico subyacente) y las estructuras infinitesimales, utilizando la morfismo de Frobenius disponible únicamente en característica positiva. Los pasos metodológicos clave incluyen:

1. Torcidos de Frobenius y Núcleos: Los autores definen el torcido de Frobenius $A^{[1]}$ para álgebras en $\mathcal{C}$ y los correspondientes núcleos de Frobenius $G_r$ para grupos algebraicos. Un resultado estructural central (Proposición 4.19) establece que, para un $r$ suficientemente grande, el cociente $G/G_r$ es un grupo algebraico "puramente par" (un grupo esquema ordinario sobre $k$), y $G_r$ es un grupo esquema infinitesimal.
2. Reducción a Casos Clásicos e Infinitesimales: La existencia de $G/H$ se reduce a dos casos:
   • El caso clásico: Cocientes de los grupos "cuerpo" $G_0/H_0$ en la categoría de espacios vectoriales ($\text{Vec}$).
   • El caso infinitesimal: Cocientes por subgrupos infinitesimales, los cuales se demuestra que existen y son afines.
3. Construcción Teórica de Haces: Los autores utilizan la teoría de faisceaux (haces en la topología fppf) para construir el cociente. Demuestran que el cociente en la categoría de esquemas existe si puede construirse localmente y pegarse, aprovechando el hecho de que el mapa desde el grupo hacia el cociente es fielmente plano y afín bajo condiciones específicas.
4. Álgebras de Distribución: El artículo emplea álgebras de distribución ($\Gamma_G$) y sus filtraciones para analizar la estructura de los grupos algebraicos, mostrando cómo $\Gamma_G$ está generado por las distribuciones del cuerpo $G_0$ y los núcleos de Frobenius.

Contribuciones Clave y Resultados

• Existencia de Espacios Homogéneos: El resultado principal (Teorema 7.5) demuestra que para un grupo algebraico $G$ y un subgrupo $H$ en una categoría tensorial $\mathcal{C}$ que satisface (GR) y (MN), el espacio homogéneo $G/H$ existe como un esquema de tipo finito. Además, $G/H$ es separado.
• Relación con el "Cuerpo": El artículo establece una relación precisa entre el cociente $G/H$ y el cociente de los grupos clásicos subyacentes $G_0/H_0$.
  • Existe una incrustación cerrada natural $G_0/H_0 \hookrightarrow (G/H)_0$ que es una homeomorfismo universal (Teorema 7.5).
  • Si bien la igualdad $(G/H)_0 = G_0/H_0$ se cumple en el entorno super (donde $\mathcal{C} \subseteq \text{Ver}_p$), esta puede fallar en categorías incompresibles más generales (Ejemplo 6.1). Sin embargo, las propiedades geométricas (afín, cuasi-afín, propio) de $G/H$ son equivalentes a las de $G_0/H_0$ (Teorema 7.5).
• Estructura de Cocientes en $\text{Ver}_p$: Para el caso específico $\mathcal{C} = \text{Ver}_p$, los autores proporcionan una construcción local explícita de $G/H$. Muestran que $(G/H)_0 = G_0/H_0$ exactamente, y el esquema es localmente isomorfo al espectro de un álgebra simétrica sobre un fibrado vectorial específico derivado de la filtración del álgebra de Lie (Teorema 9.9).
• Cocientes Afines e Inyectividad: En la Sección 8, el artículo caracteriza cuándo existen cocientes afines. Si $\mathcal{C}$ es semisimple, $G/H$ es afín si y solo si el álgebra de coordenadas $k[G]$ es un comodulo inyectivo de $k[H]$ (Teorema 8.1). Esto generaliza los resultados clásicos de Schneider al entorno de las categorías tensoriales.
• Haces Equivariantes e Inducción: La existencia de $G/H$ permite la definición del funtor de inducción $\text{Ind}_H^G$. El artículo prueba una equivalencia entre la categoría de haces cuasi-coherentes $H$-equivariantes en $G$ y los haces cuasi-coherentes en $G/H$ (Proposición 7.11). Además, establece un isomorfismo entre los funtores de inducción derivados y la cohomología de haces de $G/H$ (Lema 7.13).

Significación y Reivindicaciones
El artículo afirma resolver la cuestión fundacional de si los espacios homogéneos existen como esquemas en las categorías tensoriales relevantes, permitiendo así la aplicación de técnicas geométricas clásicas a la teoría de la representación de grupos en estas categorías.

• Fundacional: La existencia de $G/H$ se presenta como un prerrequisito para desarrollar una teoría geométrica robusta de los grupos algebraicos en categorías tensoriales, análoga al papel de las variedades de banderas en la teoría de la representación clásica.
• Perspectiva Estructural: La descomposición de los grupos algebraicos en partes "infinitesimales" y "ordinarias" mediante núcleos de Frobenius (Proposición 4.19) se destaca como un resultado estructural fundamental con aplicaciones potenciales más allá del alcance inmediato de los espacios homogéneos.
• Teoría de la Representación: El artículo vincula explícitamente las propiedades geométricas de $G/H$ (específicamente la propiedad de ser propio) con la preservación de objetos compactos bajo el funtor de inducción (Corolario 7.14). Esto es crucial para calcular los caracteres de las representaciones irreducibles, una tarea donde se han utilizado previamente supervariedades homogéneas en la teoría de supergrupos.
• Generalidad: Los resultados se aplican a cualquier categoría tensorial que satisfaga (GR) y (MN), lo que incluye a $\text{Ver}_{p^\infty}$ y sus subcategorías, apoyando la conjetura de que estas condiciones caracterizan a las categorías incompresibles.

Los autores mantienen un tono modesto respecto al alcance, señalando que, aunque la igualdad $(G/H)_0 = G_0/H_0$ falla en general, la propiedad de homeomorfismo universal es suficiente para transferir muchas propiedades geométricas. También observan que el desarrollo de una teoría completa de pares de Harish-Chandra en estas categorías sigue siendo un tema para el trabajo futuro, ya que el marco actual requiere reemplazar el álgebra de Lie con un grupo infinitesimal más grande.