Sobre la homología de representaciones parciales de grupos

Información Básica

• ID del artículo: 2404.14650
• Título: On the homology of partial group representations
• Autor: Emmanuel Jerez (Departamento de Matemática, Universidade de São Paulo, Brasil)
• Clasificación: math.AT (Topología Algebraica), math.GR (Teoría de Grupos), math.KT (Teoría K y Álgebra Homológica)
• Fecha de publicación: Abril de 2024 (preimpreso en arXiv, revisado en octubre de 2025)
• Enlace del artículo: https://arxiv.org/abs/2404.14650

Resumen

Este artículo investiga cómo la (co)homología parcial de grupos de $G$ puede describirse mediante la (co)homología de grupos clásica. El autor introduce el concepto de globalización universal $\Lambda(M)$ de una representación parcial de grupo $M$. El resultado principal demuestra que la homología parcial $H^{\text{par}}_{\bullet}(G, M)$ es naturalmente isomorfa a la homología de grupo clásica $H_{\bullet}(G, \Lambda(M))$. En el marco de la cohomología, el autor obtiene una sucesión espectral que converge a la cohomología parcial de grupos. Cuando $G$ es numerable, la sucesión espectral degenera, obteniéndose un isomorfismo natural $H^{\bullet}_{\text{par}}(G, M) \cong H^{\bullet}(G, \operatorname{Hom}_{K_{\text{par}} G}(\Lambda(K_{\text{par}}G), M))$.

Antecedentes de investigación y motivación

Contexto del problema

1. Importancia de las acciones parciales de grupos: Las acciones parciales de grupos fueron introducidas por Exel en la teoría de C*-álgebras para codificar simetrías definidas únicamente en subconjuntos del espacio. Estas estructuras aparecen naturalmente al estudiar el comportamiento local de familias de simetrías.
2. Ausencia de teoría homológica: Aunque la teoría de acciones parciales de grupos se ha desarrollado considerablemente, carece de una teoría de (co)homología apropiada para estudiar la estructura de las acciones parciales de grupos. Los enfoques preliminares existentes incluyen teorías de cohomología basadas en semigrupos y teorías de cohomología basadas en representaciones parciales.
3. Problemas computacionales: El desarrollo de métodos para calcular la (co)homología parcial de grupos es crucial para comprender la estructura de las acciones parciales de grupos y las representaciones parciales, y también es importante para calcular la (co)homología de Hochschild de álgebras parciales torcidas.

Problema central

Pregunta principal: ¿Puede utilizarse la (co)homología de grupo clásica de $G$ para calcular la (co)homología parcial de grupos de $G$ con coeficientes en representaciones parciales? Si es así, ¿cuál es la relación entre estas dos teorías homológicas?

Significado de la investigación

1. Puente teórico: Establecer un puente entre invariantes homológicos clásicos y parciales, permitiendo utilizar herramientas maduras de cohomología de grupos para analizar estructuras parciales
2. Ventaja computacional: El complejo estándar de la (co)homología parcial de grupos es más pequeño que el del complejo estándar de la (co)homología de grupos clásica, lo que proporciona ventajas computacionales
3. Valor aplicado: Los resultados incluyen álgebras de grupos en la clase de álgebras de Hopf, proporcionando una instancia de aplicación para 3, Proposición 5.2

Contribuciones principales

1. Introducción del concepto de globalización universal: Para cualquier representación parcial de grupo $M$, se construye su globalización universal $\Lambda(M)$, estableciendo un funtor de representaciones parciales a representaciones globales
2. Establecimiento de isomorfismo homológico: Se demuestra que la homología parcial $H^{\text{par}}_{\bullet}(G,M)$ es naturalmente isomorfa a la homología de grupo clásica $H_{\bullet}(G,\Lambda(M))$
3. Construcción de sucesión espectral de cohomología: Se obtiene una sucesión espectral en el marco de la cohomología que converge a la cohomología parcial de grupos, y cuando $G$ es numerable la sucesión espectral degenera
4. Resolución de conjetura abierta: Se proporciona una respuesta afirmativa a 2, Conjetura D para el caso de grupos numerables
5. Desarrollo de teoría de producto tensorial parcial: Se construye el producto tensorial parcial de acciones parciales de grupos, demostrando que satisface propiedades comunes del producto tensorial

Explicación detallada de métodos

Definición de tareas

Investigar las propiedades homológicas de representaciones parciales de grupos, específicamente establecer la relación entre la (co)homología parcial de grupos y la (co)homología de grupos clásica.

Entrada: Un grupo $G$ y una representación parcial de grupo $M$ de $G$ Salida: Grupos de (co)homología parcial de grupos y su relación con la (co)homología de grupos clásica

Construcciones principales

1. Álgebra parcial de grupos y representaciones parciales

• Semigrupo de Exel: $S(G)$ es el semigrupo inverso definido por generadores $[t], t \in G$ y relaciones
• Álgebra parcial de grupos: $K_{\text{par}}G$ es el $K$-álgebra de semigrupo generada por $S(G)$
• Representación parcial: Aplicación $\pi: G \to \text{End}_K(M)$ que satisface condiciones de compatibilidad específicas

2. Construcción del producto tensorial parcial

Para un $G_{\text{par}}$-módulo derecho $X$ y un $G_{\text{par}}$-módulo izquierdo $Y$, se define el producto tensorial parcial como: $X \otimes_{G_{\text{par}}} Y := \frac{X \otimes_K Y}{K_{\beta,\alpha}}$

donde $K_{\beta,\alpha}$ es el submódulo generado por elementos $\{(x)\beta_g \otimes y - x \otimes \alpha_g(y)\}$.

3. Globalización universal

Teorema: Para una acción parcial de grupo $\alpha: G \curvearrowright M$, $(KG \otimes_{G_{\text{par}}} M, \Theta, \iota)$ constituye una acción global universal, donde:

• $\Theta: G \curvearrowright KG \otimes_{G_{\text{par}}} M$ es la acción global asociada
• $\iota: M \to KG \otimes_{G_{\text{par}}} M, m \mapsto 1 \otimes_{G_{\text{par}}} m$

Puntos de innovación técnica

1. Utilización de propiedades universales

Mediante propiedades universales se demuestra la existencia y unicidad del funtor de globalización $\Lambda := KG \otimes_{G_{\text{par}}} -$, evitando la complejidad de la construcción directa.

2. Introducción del producto tensorial parcial

El producto tensorial parcial no solo proporciona herramientas técnicas, sino que también satisface propiedades fundamentales del producto tensorial como asociatividad y universalidad, estableciendo una base sólida para la teoría.

3. Método de discusión por casos

Para diferentes tipos de grupos (finitos, numerables, no numerables), se emplean técnicas diferentes:

• Grupos numerables: Demostración constructiva de proyectividad
• Grupos no numerables: Demostración de no proyectividad
• Grupos finitos: Utilización de propiedades de presentación finita

Resultados principales

Teorema de isomorfismo homológico

Teorema 3.7: Sea $\pi: G \to \text{End}_K(M)$ una representación parcial de grupo, entonces $H^{\text{par}}_{\bullet}(G,M) \cong H_{\bullet}(G,\Lambda(M))$

Esquema de demostración:

1. Utilizar que $KG \otimes_{G_{\text{par}}} K_{\text{par}}G$ como $KG$-módulo izquierdo es libre
2. Construir una resolución plana $P_{\bullet} \otimes_{KG} (KG \otimes_{G_{\text{par}}} K_{\text{par}}G) \to B$
3. Aplicar cálculo homológico para obtener el isomorfismo

Sucesión espectral de cohomología

Teorema 3.22: Para un $K_{\text{par}}G$-módulo derecho $M$, existe una sucesión espectral de cohomología $E_2^{p,q} = H^p(G, \text{Ext}^q_{K_{\text{par}}G}(\Lambda(K_{\text{par}}G), M)) \Rightarrow H^{p+q}_{\text{par}}(G,M)$

Cuando $G$ es finito o numerable, la sucesión espectral degenera obteniéndose: $H^n_{\text{par}}(G,M) \cong H^n(G, \text{Hom}_{K_{\text{par}}G}(\Lambda(K_{\text{par}}G), M))$

Resultados de proyectividad

Proposición 3.17: Si $G$ es infinito no numerable, entonces $KG \otimes_{G_{\text{par}}} K_{\text{par}}G$ como $K_{\text{par}}G$-módulo derecho no es proyectivo.

Proposición 3.19: Si $G$ es infinito numerable, entonces $KG \otimes B$ como $K_{\text{par}}G$-módulo derecho es proyectivo.

Aplicaciones y corolarios

Sucesión espectral de Lyndon-Hochschild-Serre

Corolario 3.8: Sea $N$ un subgrupo normal de $G$, entonces existe una sucesión espectral $H_p(G/N, H_q(N, \Lambda(M))) \Rightarrow H^{\text{par}}_{p+q}(G,M)$

Lema de Shapiro

Corolario 3.9: Sea $S$ un subgrupo de $G$, $\pi: S \to \text{End}_K(M)$ una representación parcial, entonces $H^{\text{par}}_{\bullet}(S,M) \cong H_{\bullet}(G, KG \otimes_{S_{\text{par}}} M)$

Dimensión de cohomología

Corolario 3.25:

• Si $G$ es finito o numerable, entonces $\text{cd}^{\text{par}}_K(G) = \text{cd}_K(G)$
• Si $G$ es infinito no numerable, entonces $\text{cd}^{\text{par}}_K(G) \leq \text{cd}_K(G) + \text{pd}_{K_{\text{par}}G}(KG \otimes_{G_{\text{par}}} K_{\text{par}}G)$

Detalles técnicos

Lemas clave

Lema 3.5: $KG \otimes_{G_{\text{par}}} K_{\text{par}}G$ es isomorfo a $KG \otimes B$ como $KG$-módulo izquierdo, en particular el primero es libre.

Lema 3.16: Sea $G$ infinito y $z \in K_{\text{par}}G$. Si existe un conjunto infinito $S \subseteq G$ tal que $ze_g = 0$ para todo $g \in S$, entonces $z = 0$.

Técnicas de construcción

En la demostración de proyectividad para grupos numerables, el autor emplea un método de construcción recursiva, definiendo inductivamente una sucesión $\{x_n\}$ que satisface condiciones de compatibilidad específicas. Este método de construcción posee cierta dificultad técnica e innovación.

Trabajos relacionados

1. Teoría de acciones parciales de Exel: Proporciona el marco fundamental para acciones parciales de grupos
2. Teoría de cohomología de Alvares et al.: Teoría de cohomología construida basada en representaciones parciales
3. Cohomología parcial de Dokuchaev y Khrypchenko: Método de cohomología basado en semigrupos
4. Teoría de inflación de álgebras de Hopf: Los resultados de este artículo están relacionados con el funtor de inflación en 3

Conclusiones y discusión

Conclusiones principales

1. Se establece la relación exacta entre la (co)homología parcial de grupos y la (co)homología de grupos clásica
2. Se demuestra la existencia y functorialidad de la globalización universal
3. Se caracteriza completamente la condición de degeneración de la sucesión espectral

Limitaciones

1. Complejidad de grupos no numerables: Para grupos no numerables, la sucesión espectral puede no degenerar, haciendo la relación más compleja
2. Complejidad computacional: Aunque teóricamente se establece la conexión, el cálculo real aún puede enfrentar dificultades
3. Restricciones del anillo de coeficientes: Los resultados principales se establecen sobre anillos unitarios conmutativos; la generalización a casos no conmutativos requiere investigación adicional

Direcciones futuras

1. Generalización a álgebras de Hopf generales: Extender las técnicas a representaciones parciales de álgebras de Hopf
2. Anillos base no conmutativos: Investigar resultados análogos sobre anillos base no conmutativos
3. Aplicaciones geométricas: Explorar aplicaciones en geometría algebraica y topología

Evaluación profunda

Fortalezas

1. Profundidad teórica: Establece conexiones profundas entre la teoría de grupos parciales y la teoría de grupos clásica
2. Innovación técnica: La construcción del producto tensorial parcial y la globalización universal poseen originalidad
3. Completitud: Trata simultáneamente los casos de homología y cohomología, proporcionando un marco teórico completo
4. Valor aplicado: Resuelve varios problemas abiertos en este campo

Deficiencias

1. Complejidad técnica: Algunas demostraciones (particularmente la proyectividad para grupos numerables) son muy técnicas, con legibilidad mejorable
2. Escasez de ejemplos: Faltan ejemplos concretos de cálculo para ilustrar la aplicación práctica de la teoría
3. Intuición geométrica: Carece de explicaciones geométricas o topológicas intuitivas

Impacto

1. Contribución teórica: Proporciona herramientas homológicas importantes para la teoría de grupos parciales
2. Herramientas computacionales: Proporciona nuevos métodos de cálculo para investigadores en campos relacionados
3. Problemas abiertos: Resuelve conjeturas importantes en el campo, impulsando el desarrollo de la teoría

Escenarios aplicables

1. Teoría de C-álgebras*: Cálculo de la teoría K y cohomología de productos cruzados parciales
2. Geometría no conmutativa: Estudio de simetrías parciales de espacios no conmutativos
3. Teoría de representaciones: Análisis de propiedades homológicas de representaciones parciales de grupos

Referencias bibliográficas

El artículo cita 30 referencias importantes, incluyendo principalmente:

• 10,11 Teoría fundamental de acciones parciales de Exel
• 1,2 Trabajos previos sobre cohomología de grupos parciales
• 13,14,15 Referencias estándar de álgebra homológica
• 3 Teoría de inflación de representaciones parciales de álgebras de Hopf

Evaluación general: Este es un artículo de matemática teórica de alta calidad que establece conexiones importantes entre la teoría de grupos parciales y la teoría de grupos clásica. Aunque es técnicamente denso, sus contribuciones teóricas son significativas, proporcionando herramientas importantes para el desarrollo del campo. El valor principal del artículo radica en su profundidad teórica e integridad, estableciendo una base sólida para investigaciones posteriores.