Extensiones no abelianas y sucesiones exactas de Wells de álgebras de Bol

Información Básica

• ID del artículo: 2510.23612
• Título: Extensiones no abelianas y sucesiones exactas de Wells de álgebras de Bol
• Autores: Jingzi Zhang y Tao Zhang
• Clasificación: math.RA (Anillos y Álgebra)
• Fecha de publicación: Octubre de 2025 (arXiv v2: 29 de octubre de 2025)
• Institución: Escuela de Matemáticas y Estadística, Universidad Normal de Henan, China
• Enlace del artículo: https://arxiv.org/abs/2510.23612

Resumen

Este artículo tiene como objetivo explorar las extensiones no abelianas de álgebras de Bol e investigar la extensibilidad de pares de automorfismos en estas extensiones no abelianas. El artículo primero estudia las extensiones no abelianas de álgebras de Bol y las clasifica basándose en grupos de cohomología no abelianos. Además, se discuten las condiciones bajo las cuales pares de automorfismos son extensibles en el contexto de extensiones no abelianas de álgebras de Bol, y se derivan las correspondientes sucesiones exactas de Wells.

Antecedentes de investigación y motivación

1. Problemas de investigación

Este artículo aborda la teoría de extensiones no abelianas de álgebras de Bol y problemas de extensibilidad de automorfismos, incluyendo específicamente:

• Cómo definir y clasificar extensiones no abelianas de álgebras de Bol
• Bajo qué condiciones un par de automorfismos (α, β) puede extenderse en una extensión no abeliana
• Cómo construir sucesiones exactas de Wells para álgebras de Bol

2. Importancia del problema

• Significado teórico: Los álgebras de Bol son una categoría importante en el campo de álgebras binarias-ternarias, estrechamente relacionadas con álgebras de Akivis y álgebras de Lie-Yamaguti, siendo la estructura tangente de bucles de Bol suaves
• Teoría de extensiones: Los problemas de extensión son problemas centrales en teoría de grupos y teoría de álgebra, cruciales para comprender la naturaleza jerárquica de estructuras algebraicas
• Teoría de automorfismos: El problema de inducibilidad de automorfismos fue planteado por primera vez por Wells en teoría de grupos, ocupando una posición fundamental en la investigación de extensiones algebraicas

3. Limitaciones de métodos existentes

• Las extensiones abelianas de álgebras de Bol han sido estudiadas en la literatura 11, pero las extensiones no abelianas permanecen relativamente inexploradas
• Se ha investigado la teoría de extensiones no abelianas para otras estructuras algebraicas (álgebras de Lie, álgebras de Lie-Yamaguti, álgebras de Rota-Baxter, etc.), pero existe una brecha en la teoría de extensiones no abelianas de álgebras de Bol
• Falta un estudio sistemático de la extensibilidad de automorfismos de álgebras de Bol y la construcción de sucesiones exactas de Wells

4. Motivación de la investigación

Inspirados por investigaciones sobre extensiones no abelianas de álgebras de Lie 4,10, álgebras de Lie-Yamaguti 23, álgebras de Rota-Baxter Lei 17 y otros, los autores tienen como objetivo llenar el vacío en la teoría de extensiones no abelianas de álgebras de Bol y establecer un marco teórico completo para la teoría de extensibilidad de automorfismos.

Contribuciones principales

1. Definición de cociclos no abelianos (2,3): Se introduce el concepto de cociclos no abelianos (2,3) para álgebras de Bol, que contienen la séptupla (ν, ω, µ, θ, D), satisfaciendo 32 identidades (ecuaciones (19)-(32))
2. Teorema de clasificación de extensiones no abelianas: Se prueba que existe un isomorfismo entre el conjunto de clases de equivalencia de extensiones no abelianas E_(B,V) y el grupo de cohomología no abeliano H^{(2,3)}_(B,V) (Teorema 3.7)
3. Caracterización de extensibilidad de automorfismos: Se proporcionan condiciones necesarias y suficientes para que un par de automorfismos (α, β) sea extensible, es decir, la existencia de un mapeo lineal φ: B → V satisfaciendo cinco ecuaciones clave (Teoremas 4.2 y 4.4)
4. Construcción de la sucesión exacta de Wells: Se establece la sucesión exacta de Wells para extensiones no abelianas de álgebras de Bol (Teorema 5.5): $0 \to Z^1_{nab}(B,V) \xrightarrow{IS^{-1}} \text{Aut}_V(\hat{B}) \xrightarrow{K} \text{Aut}(B) \times \text{Aut}(V) \xrightarrow{W} H^{(2,3)}_{nab}(B,V)$
5. Especialización al caso abeliano: Se especializan los resultados al caso de extensiones abelianas, introduciendo el espacio de pares de automorfismos compatibles C_{(B,V)}, obteniendo la sucesión exacta de Wells para extensiones abelianas (Teorema 6.4)

Explicación detallada de métodos

Definición de la tarea

Se estudian extensiones no abelianas de un álgebra de Bol B por un álgebra de Bol V, es decir, sucesiones exactas cortas: $E: 0 \to V \xrightarrow{i} \hat{B} \xrightarrow{p} B \to 0$ donde i es inyectiva, p es sobreyectiva, y ambas son homomorfismos de álgebras de Bol.

Marco teórico

1. Fundamentos de álgebras de Bol

Un álgebra de Bol es un espacio vectorial equipado con un mapeo bilineal ∗ y un mapeo trilineal ·,·,·, satisfaciendo:

• Antisimetría: x ∗ y = -y ∗ x
• Identidades tipo Jacobi (ecuación (2))
• Distributividad (ecuación (3))
• Regla de Leibniz (ecuación (4))

2. Construcción de cociclos no abelianos (2,3)

Para una extensión no abeliana E y su sección s, se definen:

• ν_s(x,y) = s(x) ∗ s(y) - s(x ∗_B y) (parte bidimensional)
• ω_s(x,y,z) = s(x), s(y), s(z) - sx,y,z_B (parte tridimensional)
• µ_s(x)a = s(x) ∗ a (acción lineal)
• θ_s(x,y)a = a, s(x), s(y) (acción bilineal 1)
• D_s(x,y)a = s(x), s(y), a (acción bilineal 2)

Proposición clave 3.6: Se prueba que la séptupla (ν_s, ω_s, µ_s, θ_s, D_s) constituye un cociclo no abeliano (2,3), y no depende de la elección de la sección s (módulo relación de equivalencia).

3. Construcción de producto semidirecto

Para un cociclo no abeliano (2,3) (ν, ω, µ, θ, D), se definen operaciones en B ⊕ V: $(x+a) *_ν (y+b) = x *_B y + ν(x,y) + µ(x)b - µ(y)a + a *_V b$$[x+a, y+b, z+c]_ω = [x,y,z]_B + ω(x,y,z) + D(x,y)c + θ(y,z)a - θ(x,z)b + [a,b,c]_V$

Proposición 3.5: (B ⊕ V, *_ν, ·,·,·_ω) constituye un álgebra de Bol si y solo si (ν, ω, µ, θ, D) es un cociclo no abeliano (2,3).

Puntos de innovación técnica

1. Construcción de biyección para clasificación de extensiones

El Teorema 3.7 establece el mapeo: $\Theta: E_{nab}(B,V) \to H^{(2,3)}_{nab}(B,V), \quad E \mapsto [(ν_s, ω_s)]$

Estrategia de prueba:

• Buena definición: Las extensiones equivalentes inducen cociclos equivalentes
• Inyectividad: Los cociclos equivalentes inducen extensiones equivalentes (mediante construcción de isomorfismo f: B ⊕{(ν_1,ω_1)} V → B ⊕{(ν_2,ω_2)} V)
• Sobreyectividad: Cualquier cociclo corresponde a una extensión E_{(ν,ω)}

2. Caracterización de extensibilidad de automorfismos

La idea central del Teorema 4.2:

• El par de automorfismos (α, β) es extensible ⟺ existe γ ∈ Aut_V(B̂) tal que el diagrama conmuta
• Se define un mapeo lineal φ(x) = sα(x) - γs(x) mediante la sección s
• Se prueba que φ satisface cinco condiciones de compatibilidad (ecuaciones 46-50) es la condición necesaria y suficiente para extensibilidad

El Teorema 4.4 simplifica aún más la condición a: $(α, β) \text{ es extensible} \iff [(ν, ω)] = [(ν, ω)_{(α,β)}]$ donde (ν, ω)_{(α,β)} se define mediante la acción de (α, β) (ecuaciones 51-53).

3. Construcción del mapeo de Wells

Se define el mapeo de Wells: $W: \text{Aut}(B) \times \text{Aut}(V) \to H^{(2,3)}_{nab}(B,V)$$W(α, β) = [(ν, ω)_{(α,β)} - (ν, ω)]$

Proposición 5.1: W no depende de la elección de la sección.

Teorema 5.4: Se establece la sucesión exacta, donde:

• Ker W = Im K (los pares de automorfismos extensibles son precisamente los que se pueden elevar)
• K(γ) = (pγs, γ|_V) es el mapeo de elevación
• Aut_(B̂) = {γ ∈ Aut(B̂) | K(γ) = (id_B, id_V)} es el grupo de elevaciones triviales

4. Isomorfismo de 1-cociclos no abelianos

La Proposición 5.3 establece el isomorfismo: $S: \text{Aut}_{BV}(B̂) \xrightarrow{\cong} Z^1_{nab}(B,V)$$S(γ)(x) = s(x) - γs(x)$

donde Z^1_(B,V) es el espacio de mapeos lineales φ: B → V satisfaciendo condiciones específicas (ecuación 56).

Configuración experimental

Nota: Este artículo es investigación teórica de matemática pura, sin experimentos numéricos o conjuntos de datos. Todos los resultados se obtienen mediante pruebas matemáticas rigurosas.

Resultados experimentales

Los "resultados" de este artículo se materializan como una serie de pruebas matemáticas de teoremas y proposiciones.

Resultados teóricos principales

1. Teorema de clasificación (Teorema 3.7)

Se prueba la clasificación completa de extensiones no abelianas: $E_{nab}(B,V) \cong H^{(2,3)}_{nab}(B,V)$

Esto establece una correspondencia biyectiva entre objetos geométricos (extensiones) y objetos algebraicos (clases de cohomología).

2. Teoremas de extensibilidad (Teoremas 4.2, 4.4)

Se proporcionan dos caracterizaciones equivalentes de extensibilidad de pares de automorfismos:

• Condiciones explícitas: Existencia de φ satisfaciendo 5 ecuaciones (computacional)
• Condiciones de cohomología: Equivalencia de dos cociclos (conceptual)

3. Sucesión exacta de Wells (Teorema 5.5)

$0 \to Z^1_{nab}(B,V) \xrightarrow{IS^{-1}} \text{Aut}_V(\hat{B}) \xrightarrow{K} \text{Aut}(B) \times \text{Aut}(V) \xrightarrow{W} H^{(2,3)}_{nab}(B,V)$

La exactitud de esta sucesión revela:

• Las elevaciones triviales se parametrizan por 1-cociclos no abelianos
• Los pares de automorfismos extensibles se caracterizan por el núcleo Ker W
• Los obstáculos se miden por la imagen Im W

Análisis de casos: Extensiones abelianas (Sección 6)

Cuando V es un álgebra de Bol abeliana:

• (V, µ, θ, D) se convierte en una representación de B
• Los cociclos no abelianos se simplifican a cociclos abelianos (2,3) (ν, ω)
• Se introduce el espacio de pares de automorfismos compatibles: $C_{(B,V)} = \{(α,β) | β(θ(x,y)a) = θ(α(x),α(y))β(a), \text{etc.}\}$

Teorema 6.4: La sucesión de Wells para extensiones abelianas es: $0 \to H^1(B,V) \xrightarrow{IS^{-1}} \text{Aut}_V(\hat{B}) \xrightarrow{K} C_{(B,V)} \xrightarrow{W} H^{(2,3)}(B,V)$

Esto recupera y generaliza la teoría de extensiones abelianas de la literatura 11.

Aspectos destacados de técnicas de prueba

1. Construcción bidireccional: De extensiones a cociclos (Proposición 3.6), de cociclos a extensiones (Proposición 3.5)
2. Independencia de la sección: Eliminación de la dependencia de la elección de sección mediante relaciones de equivalencia
3. Seguimiento de diagramas conmutativos: Uso sistemático de diagramas conmutativos para verificar propiedades de homomorfismos
4. Cálculo explícito: Expansión detallada de operaciones de álgebras de Bol para verificar identidades (como en la prueba de la Proposición 3.6)

Trabajos relacionados

1. Teoría de álgebras de Bol

• Origen: Introducidos por Mikheev y Sabinin 20,15 en investigaciones de geometría diferencial de bucles de Bol suaves
• Teoría de estructuras: Los álgebras de Bol son álgebras de Akivis satisfaciendo condiciones adicionales 15
• Identidades especiales: Estudiadas por Hentzel y Peresi 8
• Solubilidad y semisimplicidad: Kuz'min y Zaidi 13
• Teoría envolvente: Perez-Izquierdo 19
• Extensiones abelianas: Issa 11 estudió representaciones y cohomología (2,3)

2. Teoría de extensiones no abelianas

• Teoría de grupos: Eilenberg y Maclane 3 iniciaron la teoría de extensiones de grupos con núcleo no abeliano
• Álgebras de Lie: Frégier 4, Inassaridze et al. 10
• Álgebras de Lie-Yamaguti: Sun y Li 23 sobre extensiones no abelianas y sucesiones de Wells
• Álgebras de Rota-Baxter: Mishra et al. 17 (álgebras de Lie), Guo y Hou 6 (álgebras de Leibniz)
• Álgebras conformes asociativas compartidas: Hou y Zhao 9
• Superálgebras de Lie: Hazra y Habib 7

Metodológicamente, este artículo se basa en el enfoque de álgebras de Lie-Yamaguti 23, pero debe adaptarse a la estructura binaria-ternaria de álgebras de Bol.

3. Inducibilidad de automorfismos

• Extensiones de grupos: Trabajo original de Wells 24, Jin y Liu 12, Passi et al. 18
• Grupos de Rota-Baxter: Das y Ratheeb 1
• Coálgebras de Lie: Du y Tan 2
• Álgebras de Lie-Yamaguti: Goswamia et al. 5

4. Álgebras de Lie-Yamaguti (estructura similar)

• Cohomología: Yamaguti 26 estudió cohomología de sistemas de Lie ternarios generales
• Deformaciones y extensiones: Zhang y Li 27
• Ecuación de Yang-Baxter: Zhao y Qiao 28
• Operador de Nijnhuis: Sheng et al. 22

Este artículo llena el vacío en la teoría de extensiones no abelianas de álgebras de Bol, colocándolas al mismo nivel de profundidad de investigación que álgebras de Lie-Yamaguti y estructuras algebraicas relacionadas.

Conclusiones y discusión

Conclusiones principales

1. Teoría completa de extensiones no abelianas: Se establece la definición, relaciones de equivalencia y teorema de clasificación para extensiones no abelianas de álgebras de Bol, probando que las extensiones se clasifican por el grupo de cohomología no abeliano H^{(2,3)}_(B,V)
2. Caracterización completa de extensibilidad de automorfismos: Se proporcionan condiciones necesarias y suficientes para que un par de automorfismos (α, β) sea extensible, incluyendo condiciones de mapeo lineal explícitas y condiciones de equivalencia de cohomología
3. Construcción de la sucesión exacta de Wells: Se establece la sucesión exacta de Wells para álgebras de Bol, revelando conexiones profundas entre grupos de automorfismos, extensiones y cohomología
4. Unidad de la teoría: Las extensiones abelianas se incluyen naturalmente como caso especial en el marco no abeliano, recuperando resultados conocidos

Limitaciones

1. Restricciones de característica: La teoría requiere que la característica del campo base no sea igual a 2 o 3, lo que puede constituir una limitación para algunas aplicaciones
2. Complejidad computacional: Los cociclos no abelianos (2,3) contienen 32 identidades, haciendo que el cálculo y verificación práctica sean bastante complejos
3. Falta de ejemplos concretos: El artículo no proporciona ejemplos explícitos de álgebras de Bol concretas y sus extensiones, limitando la visualización de la teoría
4. Cálculo de grupos de cohomología: Aunque se establece un teorema de clasificación, no se proporciona un algoritmo efectivo para calcular H^{(2,3)}_(B,V)
5. Escenarios de aplicación: No se discuten aplicaciones concretas de la teoría en geometría de bucles de Bol suaves u otros campos

Direcciones futuras

El artículo no propone explícitamente direcciones futuras de investigación, pero las extensiones naturales incluyen:

1. Cohomología de dimensiones superiores: Investigación de la teoría general de H^{(n,m)}_(B,V)
2. Cálculos concretos: Desarrollo de algoritmos y herramientas para calcular grupos de cohomología no abelianos
3. Aplicaciones geométricas: Aplicación de la teoría de extensiones a la investigación geométrica de bucles de Bol suaves
4. Problemas de clasificación: Clasificación de extensiones para tipos específicos de álgebras de Bol (solubles, semisimples, etc.)
5. Categorificación: Unificación desde la perspectiva de teoría de categorías de extensiones de álgebras de Bol, álgebras de Lie-Yamaguti, etc.
6. Teoría de deformaciones: Investigación de problemas de deformación de extensiones no abelianas

Evaluación profunda

Fortalezas

1. Completitud teórica ★★★★★

• Se establece sistemáticamente un marco completo desde definiciones, clasificación hasta teoría de automorfismos
• Las pruebas son rigurosas, la cadena lógica es completa, cada paso se conecta desde definiciones fundamentales hasta teoremas principales
• El caso abeliano como especialización verifica la consistencia de la teoría

2. Profundidad técnica ★★★★☆

• Las 32 identidades de cociclos no abelianos (2,3) reflejan la complejidad de la estructura
• Las dos caracterizaciones equivalentes de extensibilidad de automorfismos (explícita vs. cohomología) demuestran diferentes niveles de comprensión
• La construcción de la sucesión exacta de Wells es técnicamente sofisticada, particularmente la prueba del isomorfismo Aut_(B̂) ≅ Z^1_(B,V)

3. Revisión de literatura ★★★★☆

• Revisión exhaustiva del progreso de investigación en teoría de álgebras de Bol, extensiones no abelianas, sucesiones de Wells y campos relacionados
• Posicionamiento claro del artículo dentro de trabajos relacionados
• La comparación con estructuras similares como álgebras de Lie-Yamaguti ayuda a la comprensión

4. Claridad de escritura ★★★★☆

• Estructura razonable: progresión capa por capa desde conocimientos preliminares hasta resultados principales
• Definiciones precisas: todos los conceptos clave tienen definiciones matemáticas exactas
• Pruebas detalladas: los pasos de prueba de teoremas clave son claros (como Proposición 3.6 y Teorema 4.2)

Deficiencias

1. Falta de ejemplos concretos ★★☆☆☆

• El artículo completo es altamente abstracto, sin proporcionar ningún ejemplo de álgebras de Bol concretas y sus extensiones
• No se muestra cómo calcular H^{(2,3)}_(B,V) en casos concretos
• Falta de visualización o explicaciones intuitivas para ayudar a los lectores a comprender conceptos abstractos

2. Métodos de cálculo insuficientes ★★★☆☆

• Aunque se establece un teorema de clasificación, no se proporcionan métodos para calcular grupos de cohomología en la práctica
• Cómo simplificar la verificación de 32 identidades en casos concretos no se discute
• Falta de discusión sobre algoritmos o herramientas computacionales

3. Orientación hacia aplicaciones deficiente ★★☆☆☆

• Aunque se menciona que los álgebras de Bol provienen de geometría diferencial de bucles de Bol suaves, no se discuten aplicaciones concretas de la teoría en ese contexto
• El significado práctico y escenarios de aplicación de la teoría de extensiones no abelianas no se explican suficientemente
• Las conexiones con física u otras ramas de matemáticas no se exploran

4. Detalles técnicos ★★★☆☆

• El proceso de cálculo de algunas pruebas (como Teorema 4.2) podría ser más detallado
• La distinción y rol de las ecuaciones (25) y (26) no se explican suficientemente
• El significado geométrico o algebraico del espacio de pares de automorfismos compatibles C_{(B,V)} no se discute en profundidad

Impacto

1. Contribución al campo ★★★★☆

• Llenar vacíos: Primer estudio sistemático de extensiones no abelianas de álgebras de Bol, llenando un vacío importante en el campo
• Avance teórico: Generalización de la teoría de extensiones no abelianas desde álgebras de Lie, álgebras de Lie-Yamaguti, etc. a álgebras de Bol
• Metodología: Proporciona un paradigma para investigaciones de extensiones no abelianas de otras álgebras binarias-ternarias

2. Valor práctico ★★★☆☆

• Fundamentos teóricos: Proporciona herramientas fundamentales para investigaciones posteriores sobre estructura y clasificación de álgebras de Bol
• Aplicaciones potenciales: Posible aplicación a investigaciones geométricas de bucles de Bol suaves, pero requiere desarrollo posterior
• Desafíos computacionales: Las aplicaciones prácticas requieren desarrollo de métodos de cálculo efectivos

3. Reproducibilidad ★★★★★

• Pruebas completas: Todos los resultados principales tienen pruebas detalladas, verificables en principio por lectores
• Definiciones precisas: Todos los conceptos tienen definiciones matemáticas exactas sin ambigüedad
• Rigor lógico: La cadena de pruebas es completa sin saltos lógicos

4. Potencial de investigación posterior ★★★★☆

• Proporciona fundamentos para investigaciones posteriores sobre cohomología de dimensiones superiores, teoría de deformaciones, etc.
• Permite investigación comparativa con teoría de extensiones de otras estructuras algebraicas (álgebras de Akivis, etc.)
• Puede inspirar desarrollo de teoría categorificada u homotópica

Escenarios de aplicabilidad

1. Investigación de teoría de estructuras de álgebras de Bol: Para investigadores que necesitan comprender extensiones y clasificación de álgebras de Bol
2. Geometría diferencial: Para matemáticos que estudian propiedades geométricas de bucles de Bol suaves
3. Álgebra no conmutativa: Para algebristas interesados en álgebras binarias-ternarias, álgebras de Akivis, etc.
4. Teoría de cohomología: Para investigadores de matemática pura trabajando en teoría de cohomología no abeliana
5. Teoría de grupos de automorfismos: Para investigadores que necesitan herramientas de sucesiones exactas de Wells

Puntuación integral

• Contribución teórica: 9/10
• Innovación técnica: 8/10
• Valor práctico: 6/10
• Calidad de escritura: 8/10
• Evaluación general: 8/10

Referencias bibliográficas (referencias clave)

3 S. Eilenberg, S. Maclane, Cohomology theory in abstract groups, II. Group extensions with non-abelian kernel, Ann. Math. 48 (1947), 326-341.

• Trabajo fundamental en teoría de extensiones no abelianas

11 A. N. Issa, Representations and (2,3)-cohomology of Bol algebras with applications, J. Lie Theory 34 (2024), 171-192.

• Trabajo fundamental en extensiones abelianas de álgebras de Bol

15 P. O. Mikheev, Geometry of smooth Bol loops, Ph.D. Thesis, Friendship Univ. Moscow, 1986.

• Origen geométrico de álgebras de Bol

23 Q. Sun, Z. Li, Non-abelian extensions and Wells exact sequences of Lie-Yamaguti algebras, arXiv:2401.15333.

• Referencia metodológica principal de este artículo

24 C. Wells, Automorphisms of group extensions, Trans. Amer. Math. Soc. 155 (1971), 189-194.

• Trabajo original sobre sucesiones exactas de Wells

Resumen: Este es un artículo de investigación teórica de matemática pura de alta calidad que establece sistemáticamente una teoría completa de extensiones no abelianas de álgebras de Bol. El marco teórico es riguroso y completo, las técnicas de prueba son sofisticadas, y llena un vacío importante en el campo. Las principales deficiencias radican en la falta de ejemplos concretos y orientación hacia aplicaciones, pero como investigación teórica fundamental, su valor académico es significativo y proporciona una base sólida para investigaciones posteriores.