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

Non-abelian extensions and Wells exact sequences of Bol algebras

基本信息

论文ID: 2510.23612
标题: Non-abelian extensions and Wells exact sequences of Bol algebras
作者: Jingzi Zhang and Tao Zhang
分类: math.RA (Ring and Algebra)
发表时间: 2025年10月 (arXiv v2: 2025年10月29日)
单位: School of Mathematics and Statistics, Henan Normal University, China
论文链接: https://arxiv.org/abs/2510.23612

摘要

本文旨在探索Bol代数的非交换扩张，并研究自同构对在这些非交换扩张中的可扩展性。文章首先研究Bol代数的非交换扩张，并基于非交换上同调群对其进行分类。此外，讨论了在Bol代数非交换扩张背景下自同构对可扩展的条件，并导出相应的Wells正合序列。

研究背景与动机

1. 研究问题

本文要解决Bol代数的非交换扩张理论及其自同构可扩展性问题，具体包括：

如何定义和分类Bol代数的非交换扩张
在非交换扩张中，一对自同构 (α, β) 在什么条件下可以被扩展
如何构造Bol代数的Wells正合序列

2. 问题的重要性

理论意义: Bol代数是二元-三元代数领域中的重要范畴，与Akivis代数、Lie-Yamaguti代数密切相关，是光滑Bol loop的切结构
扩张理论: 扩张问题是群论和代数理论中的核心问题，对理解代数结构的层次性至关重要
自同构理论: 自同构的可诱导性问题由Wells在群论中首次提出，在代数扩张研究中具有基础性地位

3. 现有方法的局限性

Bol代数的交换扩张已在文献11中被研究，但非交换扩张相对未被探索
其他代数结构（Lie代数、Lie-Yamaguti代数、Rota-Baxter代数等）的非交换扩张理论已有研究，但Bol代数的非交换扩张理论存在空白
缺乏Bol代数自同构可扩展性的系统研究和Wells正合序列的构造

4. 研究动机

受到Lie代数4,10、Lie-Yamaguti代数23、Rota-Baxter Lei代数17等非交换扩张研究的启发，作者旨在填补Bol代数非交换扩张理论的空白，并建立完整的自同构可扩展性理论框架。

核心贡献

非交换(2,3)-上循环定义: 引入了Bol代数的非交换(2,3)-上循环概念，包含七元组 (ν, ω, µ, θ, D)，满足32个恒等式（方程(19)-(32)）
非交换扩张分类定理: 证明了非交换扩张的等价类集合 E_(B,V) 与非交换上同调群 H^{(2,3)}_(B,V) 之间存在同构（定理3.7）
自同构可扩展性刻画: 给出了自同构对 (α, β) 可扩展的充要条件，即存在线性映射 φ: B → V 满足五个关键方程（定理4.2和4.4）
Wells正合序列构造: 建立了Bol代数非交换扩张的Wells正合序列（定理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)$
交换情形的特殊化: 将结果特殊化到交换扩张情形，引入相容自同构对空间 C_{(B,V)}，得到交换扩张的Wells正合序列（定理6.4）

方法详解

任务定义

研究Bol代数B被Bol代数V的非交换扩张，即短正合序列： $E: 0 \to V \xrightarrow{i} \hat{B} \xrightarrow{p} B \to 0$ 其中i是单射，p是满射，且都是Bol代数同态。

理论框架

1. Bol代数基础

Bol代数是配备双线性映射 ∗ 和三线性映射 ·,·,· 的向量空间，满足：

反对称性：x ∗ y = -y ∗ x
Jacobi型恒等式（方程(2)）
分配律（方程(3)）
Leibniz规则（方程(4)）

2. 非交换(2,3)-上循环构造

对于非交换扩张E及其截面s，定义：

ν_s(x,y) = s(x) ∗ s(y) - s(x ∗_B y) （二维部分）
ω_s(x,y,z) = s(x), s(y), s(z) - sx,y,z_B （三维部分）
µ_s(x)a = s(x) ∗ a （线性作用）
θ_s(x,y)a = a, s(x), s(y) （双线性作用1）
D_s(x,y)a = s(x), s(y), a （双线性作用2）

关键命题3.6: 证明了七元组 (ν_s, ω_s, µ_s, θ_s, D_s) 构成非交换(2,3)-上循环，且不依赖于截面s的选择（模等价关系）。

3. 半直积构造

对于非交换(2,3)-上循环 (ν, ω, µ, θ, D)，在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$

命题3.5: (B ⊕ V, *_ν, ·,·,·_ω) 构成Bol代数当且仅当 (ν, ω, µ, θ, D) 是非交换(2,3)-上循环。

技术创新点

1. 扩张分类的双射构造

定理3.7建立映射： $\Theta: E_{nab}(B,V) \to H^{(2,3)}_{nab}(B,V), \quad E \mapsto [(ν_s, ω_s)]$

证明策略：

良定义性: 通过等价扩张诱导等价上循环
单射性: 等价上循环诱导等价扩张（通过构造同构f: B ⊕{(ν_1,ω_1)} V → B ⊕{(ν_2,ω_2)} V）
满射性: 任何上循环都对应一个扩张 E_{(ν,ω)}

2. 自同构可扩展性的刻画

定理4.2的核心思想：

自同构对 (α, β) 可扩展 ⟺ 存在γ ∈ Aut_V(B̂) 使得交换图成立
通过截面s定义线性映射 φ(x) = sα(x) - γs(x)
证明φ满足五个相容性条件（方程46-50）是可扩展的充要条件

定理4.4进一步将条件简化为： $(α, β) \text{可扩展} \iff [(ν, ω)] = [(ν, ω)_{(α,β)}]$ 其中 (ν, ω)_{(α,β)} 通过 (α, β) 的作用定义（方程51-53）。

3. Wells映射的构造

定义Wells映射： $W: \text{Aut}(B) \times \text{Aut}(V) \to H^{(2,3)}_{nab}(B,V)$ $W(α, β) = [(ν, ω)_{(α,β)} - (ν, ω)]$

命题5.1: W不依赖于截面的选择。

定理5.4: 建立正合序列，其中：

Ker W = Im K （可扩展的自同构对恰好是能提升的）
K(γ) = (pγs, γ|_V) 是提升映射
Aut_(B̂) = {γ ∈ Aut(B̂) | K(γ) = (id_B, id_V)} 是平凡提升群

4. 非交换1-上循环的同构

命题5.3建立同构： $S: \text{Aut}_{BV}(B̂) \xrightarrow{\cong} Z^1_{nab}(B,V)$ $S(γ)(x) = s(x) - γs(x)$

其中 Z^1_(B,V) 是满足特定条件的线性映射 φ: B → V 的空间（方程56）。

实验设置

注: 本文是纯数学理论研究，不涉及数值实验或数据集。所有结果均通过严格的数学证明获得。

实验结果

本文的"结果"体现为一系列定理和命题的数学证明。

主要理论结果

1. 分类定理（定理3.7）

证明了非交换扩张的完全分类： $E_{nab}(B,V) \cong H^{(2,3)}_{nab}(B,V)$

这将几何对象（扩张）与代数对象（上同调类）建立了双射对应。

2. 可扩展性定理（定理4.2, 4.4）

给出了自同构对可扩展的两个等价刻画：

显式条件: 存在φ满足5个方程（计算性）
上同调条件: 两个上循环等价（概念性）

3. Wells正合序列（定理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)$