2025-11-15T01:34:11.574031

Non-abelian extensions and Wells exact sequences of Bol algebras

Zhang, Zhang

The aim of this paper is to explore non-abelian extensions of Bol algebras and to study the extensibility of a pair of automorphisms within these non-abelian extensions. We begin by researching non-abelian extensions of Bol algebras and categorizing them based on non-abelian cohomology groups. Additionally, we discuss the conditions under which a pair of automorphisms can be extended in the context of non-abelian extensions of Bol algebras and derive the corresponding Wells exact sequences.

academic

Extensions non-abéliennes et suites exactes de Wells des algèbres de Bol

Informations fondamentales

ID de l'article: 2510.23612
Titre: Non-abelian extensions and Wells exact sequences of Bol algebras
Auteurs: Jingzi Zhang et Tao Zhang
Classification: math.RA (Anneaux et Algèbres)
Date de publication: Octobre 2025 (arXiv v2: 29 octobre 2025)
Institution: École de Mathématiques et Statistiques, Université Normale du Henan, Chine
Lien de l'article: https://arxiv.org/abs/2510.23612

Résumé

Cet article vise à explorer les extensions non-abéliennes des algèbres de Bol et à étudier l'extensibilité des paires d'automorphismes dans ces extensions non-abéliennes. L'article examine d'abord les extensions non-abéliennes des algèbres de Bol et les classe en fonction des groupes de cohomologie non-abélienne. De plus, il discute des conditions sous lesquelles les paires d'automorphismes sont extensibles dans le contexte des extensions non-abéliennes des algèbres de Bol, et en déduit les suites exactes de Wells correspondantes.

Contexte et motivation de la recherche

1. Problèmes de recherche

Cet article résout les problèmes de théorie des extensions non-abéliennes des algèbres de Bol et de l'extensibilité des automorphismes, incluant spécifiquement:

Comment définir et classifier les extensions non-abéliennes des algèbres de Bol
Sous quelles conditions une paire d'automorphismes (α, β) peut-elle être étendue dans une extension non-abélienne
Comment construire les suites exactes de Wells pour les algèbres de Bol

2. Importance du problème

Signification théorique: Les algèbres de Bol constituent une catégorie importante dans le domaine des algèbres binaires-ternaires, étroitement liées aux algèbres d'Akivis et aux algèbres de Lie-Yamaguti, et représentent la structure tangente des boucles de Bol lisses
Théorie des extensions: Les problèmes d'extension constituent un problème central en théorie des groupes et en théorie algébrique, essentiels pour comprendre la hiérarchie des structures algébriques
Théorie des automorphismes: Le problème d'inductibilité des automorphismes a été soulevé pour la première fois par Wells en théorie des groupes et occupe une position fondamentale dans l'étude des extensions algébriques

3. Limitations des méthodes existantes

Les extensions commutatives des algèbres de Bol ont été étudiées dans la référence 11, mais les extensions non-abéliennes restent relativement inexplorées
Les théories des extensions non-abéliennes d'autres structures algébriques (algèbres de Lie, algèbres de Lie-Yamaguti, algèbres de Rota-Baxter, etc.) ont été étudiées, mais il existe une lacune dans la théorie des extensions non-abéliennes des algèbres de Bol
Il manque une étude systématique de l'extensibilité des automorphismes des algèbres de Bol et une construction des suites exactes de Wells

4. Motivation de la recherche

Inspirés par les recherches sur les extensions non-abéliennes des algèbres de Lie 4,10, des algèbres de Lie-Yamaguti 23, des algèbres de Rota-Baxter Lei 17, etc., les auteurs visent à combler la lacune dans la théorie des extensions non-abéliennes des algèbres de Bol et à établir un cadre théorique complet pour la théorie de l'extensibilité des automorphismes.

Contributions principales

Définition des (2,3)-cocycles non-abéliens: Introduction du concept de (2,3)-cocycle non-abélien pour les algèbres de Bol, contenant un septuplet (ν, ω, µ, θ, D) satisfaisant 32 identités (équations (19)-(32))
Théorème de classification des extensions non-abéliennes: Preuve de l'isomorphisme entre l'ensemble des classes d'équivalence d'extensions non-abéliennes E_(B,V) et le groupe de cohomologie non-abélienne H^{(2,3)}_(B,V) (Théorème 3.7)
Caractérisation de l'extensibilité des automorphismes: Fourniture des conditions nécessaires et suffisantes pour qu'une paire d'automorphismes (α, β) soit extensible, c'est-à-dire l'existence d'une application linéaire φ: B → V satisfaisant cinq équations clés (Théorèmes 4.2 et 4.4)
Construction de la suite exacte de Wells: Établissement de la suite exacte de Wells pour les extensions non-abéliennes des algèbres de Bol (Théorème 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)$
Spécialisation au cas commutatif: Spécialisation des résultats au cas des extensions commutatives, introduction de l'espace des paires d'automorphismes compatibles C_{(B,V)}, obtention de la suite exacte de Wells pour les extensions commutatives (Théorème 6.4)

Détails méthodologiques

Définition de la tâche

Étude des extensions non-abéliennes d'une algèbre de Bol B par une algèbre de Bol V, c'est-à-dire la suite exacte courte: $E: 0 \to V \xrightarrow{i} \hat{B} \xrightarrow{p} B \to 0$ où i est injective, p est surjective, et les deux sont des homomorphismes d'algèbres de Bol.

Cadre théorique

1. Fondements des algèbres de Bol

Une algèbre de Bol est un espace vectoriel équipé d'une application bilinéaire ∗ et d'une application trilinéaire ·,·,· satisfaisant:

Antisymétrie: x ∗ y = -y ∗ x
Identités de type Jacobi (équation (2))
Distributivité (équation (3))
Règle de Leibniz (équation (4))

2. Construction des (2,3)-cocycles non-abéliens

Pour une extension non-abélienne E et sa section s, on définit:

ν_s(x,y) = s(x) ∗ s(y) - s(x ∗_B y) (partie bidimensionnelle)
ω_s(x,y,z) = s(x), s(y), s(z) - sx,y,z_B (partie tridimensionnelle)
µ_s(x)a = s(x) ∗ a (action linéaire)
θ_s(x,y)a = a, s(x), s(y) (action bilinéaire 1)
D_s(x,y)a = s(x), s(y), a (action bilinéaire 2)

Proposition clé 3.6: Preuve que le septuplet (ν_s, ω_s, µ_s, θ_s, D_s) constitue un (2,3)-cocycle non-abélien, indépendant du choix de la section s (modulo relation d'équivalence).

3. Construction du produit semi-direct

Pour un (2,3)-cocycle non-abélien (ν, ω, µ, θ, D), on définit les opérations sur 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$

Proposition 3.5: (B ⊕ V, *_ν, ·,·,·_ω) constitue une algèbre de Bol si et seulement si (ν, ω, µ, θ, D) est un (2,3)-cocycle non-abélien.

Points d'innovation technique

1. Construction de la bijection pour la classification des extensions

Le Théorème 3.7 établit l'application: $\Theta: E_{nab}(B,V) \to H^{(2,3)}_{nab}(B,V), \quad E \mapsto [(ν_s, ω_s)]$

Stratégie de preuve:

Bonne définition: Les extensions équivalentes induisent des cocycles équivalents
Injectivité: Les cocycles équivalents induisent des extensions équivalentes (par construction d'un isomorphisme f: B ⊕{(ν_1,ω_1)} V → B ⊕{(ν_2,ω_2)} V)
Surjectivité: Tout cocycle correspond à une extension E_{(ν,ω)}

2. Caractérisation de l'extensibilité des automorphismes

L'idée centrale du Théorème 4.2:

Une paire d'automorphismes (α, β) est extensible ⟺ il existe γ ∈ Aut_V(B̂) tel que le diagramme commutatif soit satisfait
Définition d'une application linéaire φ(x) = sα(x) - γs(x) via la section s
Preuve que φ satisfait cinq conditions de compatibilité (équations 46-50) est nécessaire et suffisante pour l'extensibilité

Le Théorème 4.4 simplifie davantage la condition à: $(α, β) \text{ est extensible} \iff [(ν, ω)] = [(ν, ω)_{(α,β)}]$ où (ν, ω)_{(α,β)} est défini par l'action de (α, β) (équations 51-53).

3. Construction de l'application de Wells

Définition de l'application de Wells: $W: \text{Aut}(B) \times \text{Aut}(V) \to H^{(2,3)}_{nab}(B,V)$ $W(α, β) = [(ν, ω)_{(α,β)} - (ν, ω)]$

Proposition 5.1: W est indépendant du choix de la section.

Théorème 5.4: Établissement de la suite exacte, où:

Ker W = Im K (les paires d'automorphismes extensibles sont exactement celles qui se relèvent)
K(γ) = (pγs, γ|_V) est l'application de relèvement
Aut_(B̂) = {γ ∈ Aut(B̂) | K(γ) = (id_B, id_V)} est le groupe des relèvements triviaux

4. Isomorphisme des 1-cocycles non-abéliens

La Proposition 5.3 établit l'isomorphisme: $S: \text{Aut}_{BV}(B̂) \xrightarrow{\cong} Z^1_{nab}(B,V)$ $S(γ)(x) = s(x) - γs(x)$

où Z^1_(B,V) est l'espace des applications linéaires φ: B → V satisfaisant des conditions spécifiques (équation 56).

Configuration expérimentale

Remarque: Cet article est une recherche théorique en mathématiques pures, ne comportant pas d'expériences numériques ou d'ensembles de données. Tous les résultats sont obtenus par des preuves mathématiques rigoureuses.

Résultats expérimentaux

Les "résultats" de cet article se manifestent par une série de preuves mathématiques de théorèmes et propositions.

Résultats théoriques principaux

1. Théorème de classification (Théorème 3.7)

Preuve de la classification complète des extensions non-abéliennes: $E_{nab}(B,V) \cong H^{(2,3)}_{nab}(B,V)$

Ceci établit une correspondance bijective entre les objets géométriques (extensions) et les objets algébriques (classes de cohomologie).

2. Théorèmes d'extensibilité (Théorèmes 4.2, 4.4)

Fourniture de deux caractérisations équivalentes pour l'extensibilité des paires d'automorphismes:

Conditions explicites: Existence de φ satisfaisant 5 équations (nature calculatoire)
Conditions cohomologiques: Équivalence de deux cocycles (nature conceptuelle)

3. Suite exacte de Wells (Théorème 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)$

L'exactitude de cette suite révèle:

Les relèvements triviaux sont paramétrés par les 1-cocycles non-abéliens
Les paires d'automorphismes relevables sont caractérisées par le noyau Ker W
L'obstacle est mesuré par l'image Im W

Analyse de cas: Extensions commutatives (Section 6)

Lorsque V est une algèbre de Bol commutative:

(V, µ, θ, D) devient une représentation de B
Les cocycles non-abéliens se simplifient en cocycles (2,3)-commutatives (ν, ω)
Introduction de l'espace des paires d'automorphismes compatibles: $C_{(B,V)} = \{(α,β) | β(θ(x,y)a) = θ(α(x),α(y))β(a), \text{etc.}\}$

Théorème 6.4: Suite exacte de Wells pour les extensions commutatives: $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)$

Ceci récupère et généralise la théorie des extensions commutatives de la référence 11.

Points forts des techniques de preuve

Construction bidirectionnelle: Des extensions aux cocycles (Proposition 3.6), des cocycles aux extensions (Proposition 3.5)
Indépendance de la section: Élimination de la dépendance du choix de section par des relations d'équivalence
Traçage de diagrammes commutatifs: Utilisation systématique de diagrammes commutatifs pour vérifier les propriétés d'homomorphisme
Calculs explicites: Développement détaillé des opérations d'algèbres de Bol pour vérifier les identités (comme dans la preuve de la Proposition 3.6)

Travaux connexes

1. Théorie des algèbres de Bol

Origines: Mikheev et Sabinin 20,15 les ont introduites dans l'étude de la géométrie différentielle des boucles de Bol lisses
Théorie structurelle: Les algèbres de Bol sont des algèbres d'Akivis satisfaisant des conditions supplémentaires 15
Identités spéciales: Hentzel et Peresi 8
Solubilité et semi-simplicité: Kuz'min et Zaidi 13
Théorie enveloppante: Perez-Izquierdo 19
Extensions commutatives: Issa 11 a étudié les représentations et la cohomologie (2,3)

2. Théorie des extensions non-abéliennes

Théorie des groupes: Eilenberg et Maclane 3 ont créé la théorie des extensions de groupes avec noyau non-abélien
Algèbres de Lie: Frégier 4, Inassaridze et al. 10
Algèbres de Lie-Yamaguti: Sun et Li 23 - extensions non-abéliennes et suites de Wells
Algèbres de Rota-Baxter: Mishra et al. 17 (algèbres de Lie), Guo et Hou 6 (algèbres de Leibniz)
Algèbres conformes associatives: Hou et Zhao 9
Superalgèbres de Lie: Hazra et Habib 7

Méthodologiquement, cet article s'inspire du traitement des algèbres de Lie-Yamaguti 23, mais doit s'adapter à la structure binaire-ternaire des algèbres de Bol.

3. Inductibilité des automorphismes

Extensions de groupes: Wells 24 travail original, Jin et Liu 12, Passi et al. 18
Groupes de Rota-Baxter: Das et Ratheeb 1
Coalgèbres de Lie: Du et Tan 2
Algèbres de Lie-Yamaguti: Goswamia et al. 5

4. Algèbres de Lie-Yamaguti (structures analogues)

Cohomologie: Yamaguti 26 a étudié la cohomologie des systèmes de Lie ternaires généraux
Déformations et extensions: Zhang et Li 27
Équation de Yang-Baxter: Zhao et Qiao 28
Opérateurs de Nijenhuis: Sheng et al. 22

Cet article comble la lacune dans la théorie des extensions non-abéliennes des algèbres de Bol, les plaçant au même niveau de profondeur de recherche que les algèbres de Lie-Yamaguti et structures connexes.

Conclusions et discussion

Conclusions principales

Théorie complète des extensions non-abéliennes: Établissement de la définition, des relations d'équivalence et du théorème de classification pour les extensions non-abéliennes des algèbres de Bol, prouvant que les extensions sont classifiées par le groupe de cohomologie non-abélienne H^{(2,3)}_(B,V)
Caractérisation complète de l'extensibilité des automorphismes: Fourniture des conditions nécessaires et suffisantes pour qu'une paire d'automorphismes (α, β) soit extensible, incluant les conditions de cartographie linéaire explicites et les conditions d'équivalence cohomologique
Construction de la suite exacte de Wells: Établissement de la suite exacte de Wells pour les algèbres de Bol, révélant les connexions profondes entre les groupes d'automorphismes, les extensions et la cohomologie
Unité de la théorie: Les extensions commutatives sont naturellement incluses comme cas particulier dans le cadre non-abélien, récupérant les résultats connus

Limitations

Restrictions de caractéristique: La théorie exige que la caractéristique du champ de base ne soit pas égale à 2 ou 3, ce qui peut constituer une limitation pour certaines applications
Complexité computationnelle: Les (2,3)-cocycles non-abéliens contiennent 32 identités, rendant les calculs et vérifications pratiques relativement complexes
Manque d'exemples concrets: L'article ne fournit pas d'exemples explicites d'algèbres de Bol spécifiques et de leurs extensions, limitant la visualisation de la théorie
Calcul des groupes de cohomologie: Bien qu'un théorème de classification soit établi, aucun algorithme efficace pour calculer H^{(2,3)}_(B,V) n'est fourni
Scénarios d'application: Les applications concrètes de la théorie à la géométrie des boucles de Bol lisses ou à d'autres domaines ne sont pas discutées

Directions futures

L'article ne propose pas explicitement de directions futures, mais les extensions naturelles incluent:

Cohomologie de dimension supérieure: Étude de la théorie générale de H^{(n,m)}_(B,V)
Calculs concrets: Développement d'algorithmes et d'outils pour calculer les groupes de cohomologie non-abélienne
Applications géométriques: Application de la théorie des extensions à l'étude géométrique des boucles de Bol lisses
Problèmes de classification: Classification des extensions pour des types spécifiques d'algèbres de Bol (résolubles, semi-simples, etc.)
Catégorification: Unification du point de vue de la théorie des catégories pour les algèbres de Bol, les algèbres de Lie-Yamaguti, etc.
Théorie des déformations: Étude des problèmes de déformation des extensions non-abéliennes

Évaluation approfondie

Points forts

1. Complétude théorique ★★★★★

Établissement systématique d'un cadre complet allant des définitions, classifications à la théorie des automorphismes
Preuves rigoureuses, chaîne logique complète, chaque étape s'enchaînant de manière cohérente
Vérification de la cohérence théorique par spécialisation au cas commutatif

2. Profondeur technique ★★★★☆

Les 32 identités des (2,3)-cocycles non-abéliens reflètent la complexité de la structure
Deux caractérisations équivalentes de l'extensibilité des automorphismes (explicite vs cohomologique) montrent différents niveaux de compréhension
Construction sophistiquée de la suite exacte de Wells, particulièrement l'isomorphisme Aut_(B̂) ≅ Z^1_(B,V)

3. Revue de littérature ★★★★☆

Examen complet des progrès de recherche en théorie des algèbres de Bol, extensions non-abéliennes, suites de Wells, etc.
Positionnement clair de cet article dans le contexte des travaux connexes
Comparaison utile avec des structures analogues comme les algèbres de Lie-Yamaguti

4. Clarté de la rédaction ★★★★☆

Structure rationnelle: progression des connaissances préalables aux résultats principaux
Définitions précises: tous les concepts clés ont des définitions mathématiques exactes
Preuves détaillées: les étapes des preuves des théorèmes clés sont claires (par exemple, Proposition 3.6 et Théorème 4.2)

Insuffisances

1. Manque d'exemples concrets ★★☆☆☆

L'article entier est hautement abstrait, sans fournir d'exemples d'algèbres de Bol spécifiques et de leurs extensions
Absence de démonstration du calcul de H^{(2,3)}_(B,V) dans des cas concrets
Manque d'explications intuitives ou de visualisations pour aider les lecteurs à comprendre les concepts abstraits

2. Méthodes de calcul insuffisantes ★★★☆☆

Bien qu'un théorème de classification soit établi, aucune méthode pratique pour calculer les groupes de cohomologie n'est fournie
Comment simplifier la vérification des 32 identités dans des cas concrets n'est pas discuté
Absence de discussion sur les algorithmes ou outils de calcul

3. Manque d'orientation applicative ★★☆☆☆

Bien que l'on mentionne que les algèbres de Bol proviennent de la géométrie différentielle des boucles de Bol lisses, les applications concrètes de la théorie dans ce contexte ne sont pas discutées
La signification pratique et les scénarios d'application de la théorie des extensions non-abéliennes ne sont pas suffisamment élucidés
Les connexions avec la physique ou d'autres branches des mathématiques ne sont pas explorées

4. Détails techniques ★★★☆☆

Certaines preuves (comme le Théorème 4.2) pourraient être plus détaillées dans leurs calculs
La distinction et le rôle des équations (25) et (26) ne sont pas suffisamment expliqués
La signification géométrique ou algébrique de l'espace des paires d'automorphismes compatibles C_{(B,V)} n'est pas approfondie

Impact

1. Contribution au domaine ★★★★☆

Combler une lacune: Première étude systématique des extensions non-abéliennes des algèbres de Bol, comblant une lacune importante du domaine
Avancement théorique: Généralisation de la théorie des extensions non-abéliennes des algèbres de Lie, algèbres de Lie-Yamaguti, etc. aux algèbres de Bol
Méthodologie: Fournit un paradigme pour la recherche sur les extensions non-abéliennes d'autres algèbres binaires-ternaires

2. Valeur pratique ★★★☆☆

Fondations théoriques: Fournit des outils fondamentaux pour la recherche ultérieure sur la structure et la classification des algèbres de Bol
Applications potentielles: Peut s'appliquer à l'étude géométrique des boucles de Bol lisses, mais nécessite un développement ultérieur
Défi computationnel: L'application pratique nécessite le développement de méthodes de calcul efficaces

3. Reproductibilité ★★★★★

Preuves complètes: Tous les résultats principaux ont des preuves détaillées, vérifiables en principe par les lecteurs
Définitions claires: Tous les concepts ont des définitions mathématiques précises sans ambiguïté
Rigueur logique: Les chaînes de preuve sont complètes sans sauts logiques

4. Potentiel de recherche ultérieure ★★★★☆

Pose les fondations pour la recherche ultérieure sur la cohomologie de dimension supérieure, la théorie des déformations, etc.
Permet la recherche comparative avec la théorie des extensions d'autres structures algébriques (algèbres d'Akivis, etc.)
Peut inspirer le développement de catégorification ou de théories homotopiques

Scénarios d'application

Recherche en théorie structurelle des algèbres de Bol: Pour les chercheurs ayant besoin de comprendre les extensions et classifications des algèbres de Bol
Géométrie différentielle: Pour les mathématiciens étudiant les propriétés géométriques des boucles de Bol lisses
Algèbre non-commutative: Pour les algébristes intéressés par les algèbres binaires-ternaires, les algèbres d'Akivis, etc.
Théorie de la cohomologie: Pour les chercheurs en mathématiques pures travaillant sur la théorie de la cohomologie non-abélienne
Théorie des groupes d'automorphismes: Pour les chercheurs ayant besoin de l'outil de suite exacte de Wells

Score global

Contribution théorique: 9/10
Innovation technique: 8/10
Valeur pratique: 6/10
Qualité de rédaction: 8/10
Évaluation globale: 8/10

Références clés

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

Travail fondateur de la théorie des extensions non-abéliennes

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

Travail fondamental sur les extensions commutatives des algèbres de Bol

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

Origines géométriques des algèbres de Bol

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

Référence méthodologique principale de cet article

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

Travail original sur les suites exactes de Wells

Résumé: Ceci est un article de mathématiques pures de haute qualité qui établit systématiquement une théorie complète des extensions non-abéliennes des algèbres de Bol. Le cadre théorique est rigoureux et complet, les techniques de preuve sont sophistiquées, et l'article comble une lacune importante du domaine. Les principales insuffisances résident dans l'absence d'exemples concrets et d'orientation applicative, mais en tant que recherche théorique fondamentale, sa valeur académique est significative et elle pose les fondations solides pour la recherche ultérieure.