Non-abelian extensions and Wells exact sequences of Bol algebras

Basic Information

• Paper ID: 2510.23612
• Title: Non-abelian extensions and Wells exact sequences of Bol algebras
• Authors: Jingzi Zhang and Tao Zhang
• Classification: math.RA (Ring and Algebra)
• Publication Date: October 2025 (arXiv v2: October 29, 2025)
• Institution: School of Mathematics and Statistics, Henan Normal University, China
• Paper Link: https://arxiv.org/abs/2510.23612

Abstract

This paper aims to explore non-abelian extensions of Bol algebras and investigate the extendability of automorphism pairs in these non-abelian extensions. The article first studies non-abelian extensions of Bol algebras and classifies them based on non-abelian cohomology groups. Furthermore, it discusses conditions under which automorphism pairs are extendable in the context of non-abelian extensions of Bol algebras and derives the corresponding Wells exact sequences.

Research Background and Motivation

1. Research Problems

This paper addresses the theory of non-abelian extensions of Bol algebras and the extendability problem of automorphisms, specifically including:

• How to define and classify non-abelian extensions of Bol algebras
• Under what conditions a pair of automorphisms (α, β) can be extended in non-abelian extensions
• How to construct Wells exact sequences for Bol algebras

2. Significance of the Problems

• Theoretical Significance: Bol algebras are an important category in the field of binary-ternary algebras, closely related to Akivis algebras and Lie-Yamaguti algebras, and constitute the tangent structure of smooth Bol loops
• Extension Theory: Extension problems are central issues in group theory and algebra theory, crucial for understanding the hierarchical nature of algebraic structures
• Automorphism Theory: The problem of automorphism inducibility was first raised by Wells in group theory and holds a foundational position in the study of algebraic extensions

3. Limitations of Existing Methods

• Abelian extensions of Bol algebras have been studied in the literature 11, but non-abelian extensions remain relatively unexplored
• Non-abelian extension theories for other algebraic structures (Lie algebras, Lie-Yamaguti algebras, Rota-Baxter algebras, etc.) have been studied, but a gap exists for Bol algebras
• Systematic research on automorphism extendability of Bol algebras and construction of Wells exact sequences are lacking

4. Research Motivation

Inspired by research on non-abelian extensions of Lie algebras 4,10, Lie-Yamaguti algebras 23, Rota-Baxter Lie algebras 17, and others, the authors aim to fill the gap in the theory of non-abelian extensions of Bol algebras and establish a complete theoretical framework for automorphism extendability.

Core Contributions

1. Non-abelian (2,3)-cocycle Definition: Introduces the concept of non-abelian (2,3)-cocycles for Bol algebras, consisting of a septuple (ν, ω, µ, θ, D) satisfying 32 identities (equations (19)-(32))
2. Non-abelian Extension Classification Theorem: Proves that the set of equivalence classes of non-abelian extensions E_(B,V) is isomorphic to the non-abelian cohomology group H^{(2,3)}_(B,V) (Theorem 3.7)
3. Characterization of Automorphism Extendability: Provides necessary and sufficient conditions for an automorphism pair (α, β) to be extendable, namely the existence of a linear map φ: B → V satisfying five key equations (Theorems 4.2 and 4.4)
4. Wells Exact Sequence Construction: Establishes the Wells exact sequence for non-abelian extensions of Bol algebras (Theorem 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. Specialization to the Abelian Case: Specializes results to abelian extensions, introduces the space of compatible automorphism pairs C_{(B,V)}, and obtains the Wells exact sequence for abelian extensions (Theorem 6.4)

Detailed Methodology

Task Definition

Study non-abelian extensions of a Bol algebra B by a Bol algebra V, i.e., short exact sequences: $E: 0 \to V \xrightarrow{i} \hat{B} \xrightarrow{p} B \to 0$ where i is injective, p is surjective, and both are Bol algebra homomorphisms.

Theoretical Framework

1. Foundations of Bol Algebras

A Bol algebra is a vector space equipped with a bilinear map ∗ and a trilinear map ·,·,· satisfying:

• Antisymmetry: x ∗ y = -y ∗ x
• Jacobi-type identities (equation (2))
• Distributivity (equation (3))
• Leibniz rule (equation (4))

2. Construction of Non-abelian (2,3)-cocycles

For a non-abelian extension E and its section s, define:

• ν_s(x,y) = s(x) ∗ s(y) - s(x ∗_B y) (binary part)
• ω_s(x,y,z) = s(x), s(y), s(z) - sx,y,z_B (ternary part)
• µ_s(x)a = s(x) ∗ a (linear action)
• θ_s(x,y)a = a, s(x), s(y) (bilinear action 1)
• D_s(x,y)a = s(x), s(y), a (bilinear action 2)

Key Proposition 3.6: Proves that the septuple (ν_s, ω_s, µ_s, θ_s, D_s) constitutes a non-abelian (2,3)-cocycle and is independent of the choice of section s (modulo equivalence).

3. Semidirect Product Construction

For a non-abelian (2,3)-cocycle (ν, ω, µ, θ, D), define operations on 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, *_ν, ·,·,·_ω) forms a Bol algebra if and only if (ν, ω, µ, θ, D) is a non-abelian (2,3)-cocycle.

Technical Innovations

1. Bijection Construction for Extension Classification

Theorem 3.7 establishes the map: $\Theta: E_{nab}(B,V) \to H^{(2,3)}_{nab}(B,V), \quad E \mapsto [(ν_s, ω_s)]$

Proof strategy:

• Well-definedness: Equivalent extensions induce equivalent cocycles
• Injectivity: Equivalent cocycles induce equivalent extensions (via constructing isomorphism f: B ⊕{(ν_1,ω_1)} V → B ⊕{(ν_2,ω_2)} V)
• Surjectivity: Every cocycle corresponds to an extension E_{(ν,ω)}

2. Characterization of Automorphism Extendability

Theorem 4.2 core idea:

• Automorphism pair (α, β) is extendable ⟺ there exists γ ∈ Aut_V(B̂) making the commutative diagram commute
• Define linear map φ(x) = sα(x) - γs(x) via section s
• Prove that φ satisfying five compatibility conditions (equations 46-50) is necessary and sufficient for extendability

Theorem 4.4 further simplifies the condition to: $(α, β) \text{ is extendable} \iff [(ν, ω)] = [(ν, ω)_{(α,β)}]$ where (ν, ω)_{(α,β)} is defined through the action of (α, β) (equations 51-53).

3. Construction of the Wells Map

Define the Wells map: $W: \text{Aut}(B) \times \text{Aut}(V) \to H^{(2,3)}_{nab}(B,V)$$W(α, β) = [(ν, ω)_{(α,β)} - (ν, ω)]$

Proposition 5.1: W is independent of the choice of section.

Theorem 5.4: Establishes the exact sequence, where:

• Ker W = Im K (extendable automorphism pairs are precisely those that lift)
• K(γ) = (pγs, γ|_V) is the lifting map
• Aut_(B̂) = {γ ∈ Aut(B̂) | K(γ) = (id_B, id_V)} is the trivial lifting group

4. Isomorphism of Non-abelian 1-cocycles

Proposition 5.3 establishes the isomorphism: $S: \text{Aut}_{BV}(B̂) \xrightarrow{\cong} Z^1_{nab}(B,V)$$S(γ)(x) = s(x) - γs(x)$

where Z^1_(B,V) is the space of linear maps φ: B → V satisfying specific conditions (equation 56).

Experimental Setup

Note: This paper is pure mathematical theoretical research with no numerical experiments or datasets. All results are obtained through rigorous mathematical proofs.

Experimental Results

The "results" of this paper are embodied in a series of mathematical theorems and propositions.

Main Theoretical Results

1. Classification Theorem (Theorem 3.7)

Proves complete classification of non-abelian extensions: $E_{nab}(B,V) \cong H^{(2,3)}_{nab}(B,V)$

This establishes a bijective correspondence between geometric objects (extensions) and algebraic objects (cohomology classes).

2. Extendability Theorems (Theorems 4.2, 4.4)

Provides two equivalent characterizations of automorphism pair extendability:

• Explicit Conditions: Existence of φ satisfying 5 equations (computational)
• Cohomological Conditions: Equivalence of two cocycles (conceptual)

3. Wells Exact Sequence (Theorem 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)$

The exactness of this sequence reveals:

• Trivial liftings are parametrized by non-abelian 1-cocycles
• Liftable automorphism pairs are characterized by the kernel Ker W
• Obstructions are measured by the image Im W

Case Analysis: Abelian Extensions (Section 6)

When V is an abelian Bol algebra:

• (V, µ, θ, D) becomes a representation of B
• Non-abelian cocycles reduce to abelian (2,3)-cocycles (ν, ω)
• Introduce the space of compatible automorphism pairs: $C_{(B,V)} = \{(α,β) | β(θ(x,y)a) = θ(α(x),α(y))β(a), \text{etc.}\}$

Theorem 6.4: The Wells sequence for abelian extensions is: $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)$

This recovers and generalizes the abelian extension theory from reference 11.

Proof Technique Highlights

1. Bidirectional Construction: From extensions to cocycles (Proposition 3.6), from cocycles to extensions (Proposition 3.5)
2. Section Independence: Eliminate dependence on section choice through equivalence relations
3. Commutative Diagram Chasing: Systematically use commutative diagrams to verify homomorphism properties
4. Explicit Computation: Detailed expansion of Bol algebra operations to verify identities (e.g., proof of Proposition 3.6)

Related Work

1. Bol Algebra Theory

• Origins: Introduced by Mikheev and Sabinin 20,15 in differential geometric studies of smooth Bol loops
• Structure Theory: Bol algebras are Akivis algebras satisfying additional conditions 15
• Special Identities: Studied by Hentzel and Peresi 8
• Solvability and Semisimplicity: Kuz'min and Zaidi 13
• Envelope Theory: Perez-Izquierdo 19
• Abelian Extensions: Issa 11 studied representations and (2,3)-cohomology

2. Non-abelian Extension Theory

• Group Theory: Eilenberg and Maclane 3 pioneered group extension theory with non-abelian kernels
• Lie Algebras: Frégier 4, Inassaridze et al. 10
• Lie-Yamaguti Algebras: Sun and Li 23 on non-abelian extensions and Wells sequences
• Rota-Baxter Algebras: Mishra et al. 17 (Lie algebras), Guo and Hou 6 (Leibniz algebras)
• Associative Conformal Algebras: Hou and Zhao 9
• Lie Superalgebras: Hazra and Habib 7

Methodologically, this paper draws inspiration from the treatment of Lie-Yamaguti algebras 23, but must adapt to the binary-ternary structure of Bol algebras.

3. Automorphism Inducibility

• Group Extensions: Original work by Wells 24, Jin and Liu 12, Passi et al. 18
• Rota-Baxter Groups: Das and Ratheeb 1
• Lie Coalgebras: Du and Tan 2
• Lie-Yamaguti Algebras: Goswamia et al. 5

4. Lie-Yamaguti Algebras (Related Structures)

• Cohomology: Yamaguti 26 studied cohomology of general Lie triple systems
• Deformations and Extensions: Zhang and Li 27
• Yang-Baxter Equations: Zhao and Qiao 28
• Nijenhuis Operators: Sheng et al. 22

This paper fills the gap in Bol algebra non-abelian extension theory, placing it at the same research depth as related algebraic structures like Lie-Yamaguti algebras.

Conclusions and Discussion

Main Conclusions

1. Complete Theory of Non-abelian Extensions: Establishes definitions, equivalence relations, and classification theorems for non-abelian extensions of Bol algebras, proving that extensions are classified by the non-abelian cohomology group H^{(2,3)}_(B,V)
2. Complete Characterization of Automorphism Extendability: Provides necessary and sufficient conditions for automorphism pairs (α, β) to be extendable, including both explicit linear map conditions and cohomological equivalence conditions
3. Construction of Wells Exact Sequence: Establishes the Wells exact sequence for Bol algebras, revealing deep connections between automorphism groups, extensions, and cohomology
4. Theoretical Uniformity: Abelian extensions are naturally included as special cases in the non-abelian framework, recovering known results

Limitations

1. Characteristic Restrictions: The theory requires the base field to have characteristic not equal to 2 or 3, which may limit certain applications
2. Computational Complexity: Non-abelian (2,3)-cocycles involve 32 identities, making practical computation and verification complex
3. Lack of Concrete Examples: The paper provides no explicit examples of Bol algebras and their extensions, limiting visualization of the theory
4. Computation of Cohomology Groups: While classification theorems are established, no effective algorithms for computing H^{(2,3)}_(B,V) are provided
5. Application Scenarios: The paper does not discuss specific applications to smooth Bol loop geometry or other fields

Future Directions

While the paper does not explicitly propose future research directions, natural extensions include:

1. Higher-dimensional Cohomology: Study general theory of H^{(n,m)}_(B,V)
2. Concrete Computations: Develop algorithms and tools for computing non-abelian cohomology groups
3. Geometric Applications: Apply extension theory to geometric studies of smooth Bol loops
4. Classification Problems: Classify extensions for specific types of Bol algebras (solvable, semisimple, etc.)
5. Categorification: Unify extension theories for Bol algebras, Lie-Yamaguti algebras, etc. from a categorical perspective
6. Deformation Theory: Study deformation problems of non-abelian extensions

In-depth Evaluation

Strengths

1. Theoretical Completeness ★★★★★

• Systematically establishes a complete framework from definitions, classification, to automorphism theory
• Rigorous proofs with complete logical chains, each step building on previous foundations
• Abelian case as specialization validates theoretical consistency

2. Technical Depth ★★★★☆

• The 32 identities in non-abelian (2,3)-cocycles reflect structural complexity
• Two equivalent characterizations of automorphism extendability (explicit vs. cohomological) demonstrate different levels of understanding
• Wells exact sequence construction is technically sophisticated, particularly the isomorphism Aut_(B̂) ≅ Z^1_(B,V)

3. Literature Review ★★★★☆

• Comprehensive overview of research progress in Bol algebras, non-abelian extensions, and Wells sequences
• Clear positioning of this work within related research
• Comparison with similar structures like Lie-Yamaguti algebras aids understanding

4. Writing Clarity ★★★★☆

• Well-organized structure: progresses from preliminaries to main results systematically
• Precise definitions: all key concepts have exact mathematical definitions
• Detailed proofs: key theorem proofs are clear and step-by-step (e.g., Proposition 3.6 and Theorem 4.2)

Weaknesses

1. Lack of Concrete Examples ★★☆☆☆

• Highly abstract throughout with no concrete examples of Bol algebras and their extensions
• No demonstration of how to compute H^{(2,3)}_(B,V) in specific cases
• Lacks visualization or intuitive explanation to help readers understand abstract concepts

2. Insufficient Computational Methods ★★★☆☆

• While classification theorems are established, no practical methods for computing cohomology groups are provided
• How the 32 identities simplify in concrete cases is not discussed
• Lacks discussion of algorithms or computational tools

3. Lack of Application Orientation ★★☆☆☆

• Although Bol algebras originate from differential geometry of smooth Bol loops, specific applications of this theory are not discussed
• The practical significance and application scenarios of non-abelian extension theory are insufficiently articulated
• Connections with physics or other mathematical branches are unexplored

4. Technical Details ★★★☆☆

• Some proofs (e.g., Theorem 4.2) could be more detailed in computational steps
• The distinction and role of equations (25) and (26) are not sufficiently explained
• Geometric or algebraic significance of the compatible automorphism pair space C_{(B,V)} is not deeply discussed

Impact

1. Contribution to the Field ★★★★☆

• Filling Gaps: First systematic study of non-abelian extensions of Bol algebras, filling an important gap
• Theoretical Advancement: Extends non-abelian extension theory from Lie algebras and Lie-Yamaguti algebras to Bol algebras
• Methodology: Provides a paradigm for studying non-abelian extensions of other binary-ternary algebras

2. Practical Value ★★★☆☆

• Theoretical Foundation: Provides foundational tools for further research on Bol algebra structure and classification
• Potential Applications: May apply to geometric studies of smooth Bol loops, requiring further development
• Computational Challenge: Practical applications require developing effective computational methods

3. Reproducibility ★★★★★

• Complete Proofs: All main results have detailed proofs, verifiable in principle by readers
• Clear Definitions: All concepts have precise mathematical definitions without ambiguity
• Logical Rigor: Proof chains are complete with no logical gaps

4. Potential for Follow-up Research ★★★★☆

• Lays foundation for subsequent research on higher-dimensional cohomology and deformation theory
• Enables comparative study with extension theories of other algebras (Akivis algebras, etc.)
• May inspire development of categorification or homotopy theory

Applicable Scenarios

1. Bol Algebra Structure Theory Research: For researchers needing to understand extensions and classification of Bol algebras
2. Differential Geometry: For mathematicians studying geometric properties of smooth Bol loops
3. Non-abelian Algebra: For algebraists interested in binary-ternary algebras and Akivis algebras
4. Cohomology Theory: For pure mathematicians studying non-abelian cohomology theory
5. Automorphism Group Theory: For researchers needing Wells exact sequence tools

Comprehensive Evaluation

• Theoretical Contribution: 9/10
• Technical Innovation: 8/10
• Practical Value: 6/10
• Writing Quality: 8/10
• Overall Assessment: 8/10

Key References

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

• Foundational work on non-abelian extension theory

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

• Foundational work on abelian extensions of Bol algebras

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

• Geometric origins of Bol algebras

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

• Primary methodological reference for this paper

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

• Original work on Wells exact sequences

Summary: This is a high-quality pure mathematics theoretical paper that systematically establishes a complete theory of non-abelian extensions of Bol algebras. The theoretical framework is rigorous and complete, proof techniques are sophisticated, and it fills an important gap in the field. Main weaknesses include lack of concrete examples and application orientation, but as fundamental theoretical research, its academic value is significant and provides a solid foundation for subsequent research.