On Dual Algebras of Hopf Algebroids

A continuación presento un resumen técnico detallado del artículo "On Dual Algebras of Hopf Algebroids" (Sobre las álgebras duales de Hopf algebroides) de Jingbang Guo, estructurado según los puntos solicitados.

1. El Problema

El artículo aborda la necesidad de comprender las módulos sobre un álgebra dual como una herramienta para estudiar los comódulos sobre un Hopf algebroid.

• Contexto: Los Hopf algebroides $(A, \Gamma)$ surgen naturalmente en geometría algebraica (como descripciones de stacks o pilas algebraicas) y en topología algebraica (específicamente en el cálculo de la homología cíclica topológica, $TC$, y teorías de cohomología $p$-ádica).
• La dificultad: Existe una equivalencia de categorías conocida entre los haces cuasi-coherentes en un stack $X$ y los comódulos sobre el Hopf algebroid asociado $(A, \Gamma)$. Sin embargo, trabajar directamente con comódulos puede ser técnicamente complejo.
• La pregunta central: ¿Es posible traducir la teoría de comódulos sobre un Hopf algebroid a la teoría de módulos sobre un álgebra asociada (el álgebra dual $\Gamma^\vee$), preservando la información esencial y permitiendo el uso de herramientas homológicas estándar (como resoluciones proyectivas)?
• Desafío técnico: El álgebra dual $\Gamma^\vee = \text{Hom}_{A, \eta_L}(\Gamma, A)$ no es simplemente un anillo discreto; posee una estructura topológica natural (topología compacto-abierta) que es crucial para recuperar la estructura de comódulo. Además, la functorialidad de esta construcción no es inmediata para morfismos generales de Hopf algebroides.

2. Metodología

El autor emplea un enfoque algebraico riguroso combinado con topología funcional y teoría de categorías.

• Definición del Álgebra Dual: Se define $\Gamma^\vee$ como el grupo de homomorfismos $A$-lineales (respecto a la estructura izquierda $\eta_L$) de $\Gamma$ a $A$, dotado de una estructura de anillo inducida por la coproducto $\Delta$ del Hopf algebroid.
• Topología: Se equipa $\Gamma^\vee$ con la topología compacto-abierta (asumiendo que $A$ y $\Gamma$ son discretos). Esto es fundamental porque $\Gamma^\vee$ actúa de manera continua sobre los módulos.
• Categorías de Módulos: Se introduce la categoría $\text{Mod}^d_{\Gamma^\vee}$ de módulos discretos sobre $\Gamma^\vee$ (módulos donde la acción del anillo es continua y el módulo tiene la topología discreta).
• Construcción de la Equivalencia: Se utiliza la dualidad entre módulos libres y sus duales para establecer un isomorfismo canónico entre la acción de comódulo y la acción de módulo.
  • Se demuestra que un comódulo derecho $M$ sobre $\Gamma$ corresponde naturalmente a un módulo izquierdo discreto sobre $\Gamma^\vee$.
• Análisis de Functorialidad: Se estudia cómo los morfismos de Hopf algebroides inducen funtores entre las categorías de comódulos. Dado que la dualidad no es functorial de manera directa, el autor utiliza descomposiciones de morfismos (factorización a través de un Hopf algebroid "equivalente" obtenido por base cambiada) para inducir morfismos entre las álgebras duales.
• Estructura Monoidal Simétrica: Se analiza cómo la estructura monoidal simétrica de los comódulos (producto tensorial sobre $A$) se refleja en el álgebra dual, sugiriendo la necesidad de un producto tensorial topológico adecuado (mencionando los "módulos sólidos" o solid modules).
• Caso Pro-finito: Se especializa el estudio al caso donde $A$ es un anillo finito, lo que convierte a $\Gamma^\vee$ en un anillo pro-finito, permitiendo el uso de la dualidad de Pontryagin y la teoría de cohomología clásica para anillos pro-finitos.

3. Contribuciones Clave

1. Equivalencia de Categorías (Teorema 2.22):
   El resultado principal establece que, bajo ciertas condiciones (específicamente que $\Gamma$ sea un módulo libre contable sobre $A$ a través de $\eta_L$), existe una equivalencia de categorías:
   $$\text{RCoMod}_\Gamma \simeq \text{Mod}^d_{\Gamma^\vee}$$
   Donde $\text{RCoMod}_\Gamma$ es la categoría de comódulos derechos y $\text{Mod}^d_{\Gamma^\vee}$ es la categoría de módulos discretos sobre el álgebra dual.

2. Tratamiento Topológico Riguroso:
   El artículo enfatiza que el álgebra dual debe tratarse como un álgebra topológica. La recuperación de la estructura de comódulo desde la estructura de módulo requiere que la acción sea continua y que se utilice la topología compacto-abierta. Sin esto, la equivalencia falla.

3. Análisis de Functorialidad (Sección 3):
   Se resuelve el problema de la falta de functorialidad directa. Se demuestra que un morfismo de Hopf algebroides $f: (A, \Gamma) \to (B, \Sigma)$ induce un functor entre las categorías de comódulos, y que este puede ser modelado en el lado dual mediante la factorización de $f$ y el uso de morfismos inducidos entre las álgebras duales de versiones "equivalentes" de los Hopf algebroides.

4. Conexión con Cohomología y Resoluciones:
   Se ilustra cómo la cohomología de comódulos (Ext) puede calcularse utilizando resoluciones proyectivas en la categoría de módulos sobre el álgebra dual. Se proporciona un ejemplo explícito (relacionado con la geometría prismática) donde una resolución de dos términos en el álgebra dual calcula correctamente la cohomología.

5. Marco para Anillos Pro-finitos (Sección 5):
   Se conecta la teoría con la teoría clásica de anillos pro-finitos. Se muestra que si $A$ es finito, $\Gamma^\vee$ es pro-finito, y la categoría de comódulos corresponde a la categoría de módulos discretos sobre un anillo pro-finito, permitiendo el uso de la dualidad de Pontryagin para relacionar módulos pro-finitos y discretos.

4. Resultados Técnicos

• Estructura del Álgebra Dual: $\Gamma^\vee$ es un anillo (no necesariamente conmutativo) con unidad dada por la counidad $\epsilon$ del Hopf algebroid. Posee dos estructuras de módulo sobre $A$ (izquierda y derecha) que no coinciden en general a menos que $\eta_L = \eta_R$.
• Acción de Módulos: La acción de un elemento $D \in \Gamma^\vee$ sobre un comódulo $M$ se define mediante la composición $M \xrightarrow{\psi_M} M \otimes \Gamma \xrightarrow{\text{id} \otimes D} M$.
• Ejemplo Concreto (Geometría Prismática): Se analiza el Hopf algebroid asociado a $(\mathbb{Z}_p[[q-1]], \mathbb{Z}_p[[q_0-1, q_1-1]]\{ \dots \})$. Se demuestra que su álgebra dual es generada por un operador $\nabla_q$ (un derivado tipo diferencia) que satisface relaciones de conmutación específicas. Esto permite interpretar "fibrados vectoriales prismáticos" como módulos proyectivos finitamente generados sobre $\mathbb{Z}_p[[q-1]]$ equipados con este operador.
• Dualidad de Pontryagin: Para anillos pro-finitos, se establece una equivalencia contravariante entre la categoría de módulos pro-finitos izquierdos y la categoría de módulos discretos derechos.
• Objeto Dualizante: Se discute la existencia y cálculo del objeto dualizante $R\text{Hom}_{\Gamma^\vee}(A, \Gamma^\vee)$, sugiriendo que en ciertos casos (como el ejemplo prismático) este objeto es isomorfo a un desplazamiento de $A$ o a un módulo de formas diferenciales.

5. Significado e Impacto

• Puente entre Geometría y Álgebra: El trabajo proporciona un marco algebraico sistemático para estudiar objetos geométricos (stacks) a través de sus álgebras duales, simplificando problemas de cohomología complejos.
• Aplicaciones en Topología Algebraica: El artículo fue motivado por cálculos en Homología Cíclica Topológica (TC) y teorías de cohomología $p$-ádica. La capacidad de traducir problemas de comódulos a módulos sobre álgebras duales permite utilizar técnicas de resolución proyectiva estándar, lo cual es vital para computaciones explícitas en teoría de homotopía.
• Fundamento para Teoría de Módulos Sólidos: El autor señala que el tratamiento completo de la estructura monoidal y la cohomología requiere la teoría de grupos abelianos sólidos (solid abelian groups). Este artículo sienta las bases algebraicas para desarrollar esa teoría en el contexto de Hopf algebroides.
• Generalización de la Dualidad: Extiende la noción clásica de dualidad (como en álgebras de Hopf o anillos pro-finitos) al contexto más general de Hopf algebroides, manejando las sutilezas topológicas que surgen cuando los anillos base no son finitos.

En resumen, el artículo de Guo establece una correspondencia robusta y técnicamente precisa entre la teoría de comódulos sobre Hopf algebroides y la teoría de módulos sobre álgebras duales topológicas, ofreciendo nuevas herramientas para la investigación en geometría algebraica aritmética y topología algebraica.