2025-11-13T19:04:11.399402

On extended associative semigroups

Foissy
We study extended associative semigroups (briefly, EAS), an algebraic structure used to define generalizations of the operad of associative algebras, and the subclass of commutative extended diassociative semigroups (briefly, CEDS), which are used to define generalizations of the operad of pre-Lie algebras. We give families of examples based on semigroups or on groups, as well as a classification of EAS of cardinality two. We then define linear extended associative semigroups as linear maps satisfying a variation of the braid equation. We explore links between linear EAS and bialgebras and Hopf algebras. We also study the structure of nondegenerate finite CEDS and show that they are obtained by semidirect and direct products involving two groups.
academic

On Extended Associative Semigroups

基本信息

摘要

本文深入研究了扩展结合半群(Extended Associative Semigroups, EAS)这一代数结构，它用于定义结合代数操作子的推广。文章特别关注交换扩展二结合半群(Commutative Extended Diassociative Semigroups, CEDS)这一子类，它用于定义前李代数操作子的推广。主要成果包括：(1)基于半群和群构造了多个EAS族的例子；(2)给出了基数为2的EAS的完整分类；(3)定义了线性扩展结合半群(ℓEAS)作为满足辫子方程变体的线性映射；(4)探索了ℓEAS与双代数、Hopf代数之间的联系；(5)研究了非退化有限CEDS的结构，证明它们可以通过两个群的半直积和直积得到。

研究背景与动机

研究问题

本文研究的核心问题是如何系统地理解和分类参数化代数结构。在量子场论和随机偏微分方程的正则结构理论中，研究者需要用一族由某个集合Ω索引的运算来替代单一运算，并通过Ω上的结构来变形定义这些代数结构的公理。

重要性

  1. 理论统一：不同的参数化方案(family parameterization和matching parameterization)在文献中独立出现，需要统一的框架来理解它们之间的关系
  2. 应用驱动：Bruned, Hairer和Zambotti在求解随机偏微分方程的正则结构工作中引入了matching参数化的前李代数，显示出实际应用需求
  3. 操作子理论：EAS为研究结合代数操作子的推广提供了自然框架

现有方法的局限

  • 缺乏系统分类：已有工作给出了各种参数化代数结构的例子，但缺乏系统的分类和结构定理
  • 线性化不完整：虽然有非线性的EAS理论，但其线性版本及与经典代数结构(如双代数、Hopf代数)的关系尚未充分探索
  • 结构理解不足：对于非退化CEDS的内部结构缺乏深入理解

研究动机

本文旨在建立EAS的系统理论，包括：

  1. 提供丰富的例子和完整的小基数分类
  2. 发展线性版本并建立与双代数理论的桥梁
  3. 给出有限非退化CEDS的结构分解定理

核心贡献

  1. 完整分类：给出了基数为2的EAS的完整分类，共13个非同构的例子，其中11个是CEDS，7个是对偶CEDS，3个是非退化的
  2. 结构定理：证明了任何有限非退化CEDS可以分解为形式(EAS(Ω₁,∗)⋊≻EAS′(Ω₂,⋆))×EAS(Ω₃)，其中(Ω₁,∗)是交换群，(Ω₂,⋆)是群，Ω₃是非空集合(定理3.16)
  3. 线性化理论：引入了线性扩展结合半群(ℓEAS)的概念，作为满足辫子方程变体的线性映射，并给出了18个二维例子
  4. 与双代数的联系：
    • 构造了从双代数范畴到ℓEAS范畴的函子(命题5.1)
    • 构造了从Hopf代数范畴到ℓEAS范畴的函子(命题5.10)
    • 证明了在适当条件下，可以从左单位和左余单位构造双代数结构(定理5.17)
  5. 特殊向量理论：系统研究了ℓEAS的左单位、左余单位和特征向量，特别是对非退化CEDS的线性化给出了完整刻画(命题4.10)

方法详解

任务定义

**扩展结合半群(EAS)**是一个三元组(Ω,→,▷)，其中Ω是非空集合，→,▷: Ω²→Ω是映射，满足：

对任意α,β,γ∈Ω：

  • α→(β→γ) = (α→β)→γ (结合律)
  • (α▷(β→γ))→(β▷γ) = (α→β)▷γ
  • (α▷(β→γ))▷(β▷γ) = α▷β

**交换扩展二结合半群(CEDS)**是满足额外公理的EAS：

  • (α→β)→γ = (β→α)→γ (部分交换性)
  • α▷(β→γ) = α▷γ

**线性EAS(ℓEAS)**是一对(A,Φ)，其中A是向量空间，Φ: A⊗A→A⊗A满足： (Id⊗Φ)∘(Φ⊗Id)∘(Id⊗Φ)=(Φ⊗Id)∘(Id⊗τ)∘(Φ⊗Id)(Id⊗Φ)∘(Φ⊗Id)∘(Id⊗Φ) = (Φ⊗Id)∘(Id⊗τ)∘(Φ⊗Id)

核心构造方法

1. 基本例子构造

例子1 - EAS(Ω)：对任意集合Ω，定义

  • α→β = β
  • α▷β = α

这给出matching结合代数。

例子2 - EAS(Ω,⋆)：对半群(Ω,⋆)，定义

  • α→β = α⋆β
  • α▷β = α

这给出(Ω,⋆)-family结合代数。

例子3 - EAS′(Ω,⋆)：对具有右逆条件的半群(Ω,⋆)，定义

  • α→β = β
  • α▷β = α⋆β⋆⁻¹(当Ω是群时)

2. 非退化性与对偶

定义映射ϕ: Ω²→Ω²为ϕ(α,β) = (α→β, α▷β)。EAS称为非退化的如果ϕ是双射。

命题2.11：若(Ω,→,▷)是非退化EAS，定义ϕ⁻¹(α,β) = (α↷β, α▶β)，则：

  • (Ω,→,▷)是EAS ⟺ (Ω,↷,▶)是EAS
  • (Ω,→,▷)是CEDS ⟺ (Ω,↷,▶)是对偶CEDS

3. 结构分解方法

对有限非退化CEDS的结构分析采用以下步骤：

步骤1：定义特殊子集

  • Ω→ = {α∈Ω: ϕα = IdΩ}
  • Ω▷ = {β∈Ω: ψβ = IdΩ}

其中ϕα(β) = α→β，ψα(β) = β▷α。

步骤2：建立等价关系 在Ω上定义：β≡β′ ⟺ ∃α∈Ω, β′=α→β

步骤3：证明Ω→是Ω/≡的截面，且Ω = Ω▷→Ω→

步骤4：应用定理3.9分解Ω→，应用命题3.13分解Ω▷

线性化与双代数

从双代数到ℓEAS

命题5.1：设(A,m,Δ)是双代数，定义 Φ(a⊗b)=(m⊗IdA)∘(IdA⊗τ)∘(Δ⊗IdA)(a⊗b)=∑a(1)b⊗a(2)Φ(a⊗b) = (m⊗Id_A)∘(Id_A⊗τ)∘(Δ⊗Id_A)(a⊗b) = \sum a_{(1)}b⊗a_{(2)}

则(A,Φ)是ℓEAS，记为ℓEAS(A,m,Δ)。

特例：对半群(Ω,⋆)，取A=KΩ及其自然双代数结构，得到的ℓEAS正是EAS(Ω,⋆)的线性化。

从Hopf代数到ℓEAS

命题5.10：设(A,m,Δ)是Hopf代数，反对极为S，定义 Φ(a⊗b)=(IdA⊗m)∘(IdA⊗S⊗IdA)∘(Δ⊗Id)∘τ(a⊗b)=∑b(1)⊗S(b(2))aΦ(a⊗b) = (Id_A⊗m)∘(Id_A⊗S⊗Id_A)∘(Δ⊗Id)∘τ(a⊗b) = \sum b_{(1)}⊗S(b_{(2)})a

则(A,Φ)是非退化ℓEAS，记为ℓEAS′(A,m,Δ)，且(A,Φ−1)=ℓEAS(A,m,Δop)(A,Φ^{-1})=\ell EAS(A,m,\Delta^{op})。

反向构造

定理5.17：设(A,Φ)是ℓEAS，a是特征值为1的特殊向量，ε是左余单位且ε(a)=1，则：

  • 定义Δₐ(b) = Φ(b⊗a)是余结合余积
  • 定义mε = (Id⊗ε)∘Φ是结合乘积
  • (A,mε,Δₐ)是双代数，且(A,Φ) = ℓEAS(A,mε,Δₐ)

实验设置

本文是纯理论数学论文，不涉及数值实验。主要通过以下方式验证理论：

分类验证

  • 对基数为2的所有可能EAS结构(2⁸=256种可能)进行穷举检验
  • 识别出13个非同构的EAS
  • 确定每个的CEDS和对偶CEDS性质

例子构造

  • 构造18个二维ℓEAS的矩阵表示
  • 对每个例子计算其特殊向量、左单位和左余单位
  • 验证分类的完整性

理论验证

通过具体例子验证一般定理：

  • 验证群Hopf代数的ℓEAS结构(例5.11, 推论5.21)
  • 检验二维例子与双代数构造的对应(例5.18)

实验结果

主要结果

1. 基数2的EAS分类

论文给出13个非同构的基数为2的EAS(基础集合Ω={X,Y})：

案例→▷描述性质
A1(X X; X X)(X X; X X)EAS(Ω,→,πₓ)CEDS, 对偶CEDS
A2(X X; X X)(X X; Y Y)EAS(Ω,→)CEDS, 对偶CEDS
C3(X X; X Y)(X X; Y Y)EAS(ℤ/2ℤ,×)CEDS, 对偶CEDS
F3(X Y; X Y)(X X; Y Y)EAS(Ω)CEDS, 对偶CEDS, 非退化
F4(X Y; X Y)(X Y; Y X)EAS′(ℤ/2ℤ,+)CEDS, 对偶CEDS, 非退化
H2(X Y; Y X)(X X; Y Y)EAS(ℤ/2ℤ,+)CEDS, 对偶CEDS, 非退化

关键发现：

  • 13个中有11个是CEDS，7个是对偶CEDS
  • 仅3个是非退化的：F3, F4, H2
  • 案例C6不是任何EDS的右部分

2. 有限非退化CEDS的结构定理

定理3.16：任何有限非退化CEDS Ω可表示为 (EAS(Ω1,∗)⋊⊳EAS′(Ω2,⋆))×EAS(Ω3)(EAS(\Omega_1,*)\rtimes_{\rhd} EAS'(\Omega_2,\star))\times EAS(\Omega_3)

其中：

  • (Ω₁,∗)是交换群
  • (Ω₂,⋆)是群
  • Ω₃是非空集合
  • ≻: Ω₂×Ω₁→Ω₁是Ω₂在Ω₁上通过群自同构的左作用

乘积公式：

  • (α₁,α₂,α₃)→(β₁,β₂,β₃) = (α₁∗β₁, β₂, β₃)
  • (α₁,α₂,α₃)▷(β₁,β₂,β₃) = (β₂≻α₁, α₂⋆β₂⋆⁻¹, α₃)

应用：此结构定理完全刻画了非退化CEDS，将其归约为群和集合的组合。

3. 二维ℓEAS的分类

论文给出18个二维ℓEAS的矩阵表示M₁,...,M₁₈(基{x⊗x, x⊗y, y⊗x, y⊗y})：

例子：

  • M₁₈ = diag(1,0,0,0; 0,0,1,0; 0,1,0,0; 0,0,0,1)，既是ℓCEDS又是对偶ℓCEDS
  • M₁₇ = (1,0,1,0; 0,0,-1,0; 0,1,-1,0; 0,0,2,1)，既是ℓCEDS又是对偶ℓCEDS

特殊向量统计：

  • M₁₈有左单位空间Span{x,y}和左余单位空间Span{x*,y*}
  • M₁₇有左单位空间Span{x}和左余单位空间Span{x*+y*}

4. ℓEAS与双代数的对应

命题5.19应用于非退化有限CEDS：对任意满足∑g(α₃)h(α₃)=1的映射g,h: Ω₃→K，可构造双代数结构：

(α1,α2,α3)⋅(β1,β2,β3)=δα2,β2g(α3)(α1∗β1,β2,β3)(α_1,α_2,α_3)\cdot(β_1,β_2,β_3) = δ_{α_2,β_2}g(α_3)(α_1*β_1,β_2,β_3)

Δ(α1,α2,α3)=∑(β2,β3)h(β3)(α1,β2,β3)⊗(β2⊳α1,α2⋆β2−1,α3)\Delta(α_1,α_2,α_3) = \sum_{(β_2,β_3)}h(β_3)(α_1,β_2,β_3)\otimes(β_2\rhd α_1,α_2\star β_2^{-1},α_3)

使得原CEDS的线性化恰为ℓEAS(KΩ,·,Δ)。

案例分析

群Hopf代数的ℓEAS

推论5.21：对有限群G：

  • ℓEAS′(KG)同构于ℓEAS(K^G)
  • ℓEAS′(K^G)同构于ℓEAS(KG^op)

命题5.22：ℓEAS(KG)和ℓEAS′(KG)的非零特征值为1的特殊向量恰为λ∑_{α∈H}α，其中H是G的子群，λ≠0。

具体例子验证

对M₁₆(对应C3: EAS(ℤ/2ℤ,×))，取a=x, ε=x*+y*：

  • Δₐ(x) = x⊗x, Δₐ(y) = y⊗y
  • mε(x⊗x) = x, mε(x⊗y) = y, mε(y⊗x) = y, mε(y⊗y) = y

恢复了(ℤ/2ℤ,×)的双代数结构。

对M₁₇(对应H2: EAS(ℤ/2ℤ,+))，类似构造恢复(ℤ/2ℤ,+)的双代数结构。

实验发现

  1. 线性化的非唯一性：相同的EAS可能对应不同的ℓEAS(如A2和F1线性化后同构，但EAS不同构)
  2. 对偶性的对称破缺：虽然EAS与其对偶在非线性层面对称，但线性化后，CEDS和对偶CEDS的行为可能不同
  3. 特殊向量的限制：非零特殊向量的特征值只能是0或1(引理4.8)
  4. 右积分的作用：Hopf代数的右积分自动成为对应ℓEAS′的左余单位(命题5.16)

相关工作

参数化代数结构

  1. Rota-Baxter族代数：Ebrahimi-Fard等(2007)和Guo(2009)在量子场论重整化背景下引入，这是最早的族参数化概念
  2. 族代数的发展：
    • Zhang和Gao(2019)：自由Rota-Baxter族代数和(三)树状族代数
    • Zhang等(2020)：匹配Rota-Baxter代数、匹配树状代数和匹配前李代数
    • Foissy(2021)：类型化二叉树和广义树状代数
  3. 正则结构中的应用：
    • Bruned, Hairer和Zambotti(2019)：代数重整化的正则结构
    • Bruned和Manchon(2023)：(S)PDE的代数变形
    • 这些工作中匹配参数化自然出现

统一框架的尝试

  • Foissy和Manchon(2020)：提出统一族参数化和匹配参数化的框架
  • 本文的EAS概念来自Foissy(2021)的工作，是这一统一努力的延续

与操作子理论的联系

EAS用于定义结合代数操作子的推广，CEDS用于定义前李代数操作子的推广。这与Koszul对偶理论密切相关：

  • Ω-前李代数的Koszul对偶导致对偶CEDS的概念
  • 本文系统研究了CEDS和对偶CEDS的关系

与双代数理论的联系

虽然双代数和Hopf代数是经典理论，但从双代数到ℓEAS的函子构造以及反向构造(定理5.17)是本文的新贡献，建立了新的桥梁。

结论与讨论

主要结论

  1. 分类结果：完成了基数为2的EAS的完整分类，为小规模情况提供了完整图景
  2. 结构定理：证明了有限非退化CEDS可以通过群的半直积和直积完全刻画(定理3.16)，这是本文最重要的结构性结果
  3. 线性化理论：建立了EAS的线性版本(ℓEAS)，并揭示了其与双代数、Hopf代数的深刻联系
  4. 双向构造：既可以从双代数构造ℓEAS(命题5.1, 5.10)，也可以在适当条件下从ℓEAS恢复双代数结构(定理5.17)

局限性

  1. 有限性假设：结构定理(定理3.16)要求CEDS是有限的，无限情况的结构尚不清楚
  2. 非退化性要求：许多结果(特别是结构定理)要求非退化性，退化情况的完整理论仍待发展
  3. 分类的复杂性：基数为3的EAS已有3个非退化例子，更大基数的完整分类在计算上变得不可行
  4. 应用层面：虽然EAS在理论上与正则结构和操作子理论相关，但具体应用的细节未在本文中展开
  5. 线性化的非唯一性：同一个EAS可能对应多个不同的ℓEAS，缺乏canonical的线性化方式

未来方向

虽然论文未明确列出未来方向，但从内容可推断以下研究方向：

  1. 无限CEDS的结构：推广定理3.16到无限情况
  2. 高维分类：尝试分类基数为3或更高的EAS(虽然完全分类可能不可行)
  3. 操作子理论的应用：详细研究EAS如何用于构造新的操作子
  4. 与正则结构的联系：深入探索EAS在Bruned-Hairer-Zambotti正则结构理论中的作用
  5. 范畴论视角：从范畴论角度研究EAS范畴的性质
  6. 退化情况的研究：发展退化EAS和CEDS的系统理论

深度评价

优点

1. 理论深度

  • 系统性：论文建立了EAS的完整理论框架，从基本定义到结构定理，逻辑严密
  • 统一性：成功统一了文献中分散的参数化概念(族参数化和匹配参数化)
  • 创新性：线性化理论和与双代数的联系是全新的视角

2. 技术贡献

  • 结构定理(定理3.16)：这是本文的核心成果，将复杂的CEDS归约为群和集合的组合，具有深刻的理论意义
  • 双向构造：建立了ℓEAS与双代数之间的双向对应，技术上非常精巧
  • 分类结果：基数2的完整分类虽然规模小，但为理解EAS提供了重要的具体例子

3. 写作质量

  • 定义清晰，符号系统一致
  • 大量例子帮助理解抽象概念
  • 证明详细，逻辑清晰

4. 例子的丰富性

  • 18个二维ℓEAS的矩阵表示
  • 13个基数为2的EAS
  • 多个基于群和半群的构造族

不足

1. 应用层面

  • 缺乏具体应用：虽然提到与正则结构和操作子理论的联系，但未给出详细的应用实例
  • 动机不够明确：对于非专家，为什么需要研究EAS这一问题的实际意义可能不够清楚

2. 技术层面

  • 有限性限制：最重要的结构定理只对有限情况成立，无限情况是许多应用中更重要的
  • 非退化性假设：许多结果要求非退化性，但分类显示大多数小基数EAS是退化的
  • 计算复杂性：基数3以上的分类在计算上不可行，限制了分类结果的应用范围

3. 理论完整性

  • 对偶理论不对称：CEDS和对偶CEDS的理论发展不完全对称，对偶CEDS的结构定理未给出
  • 线性化的任意性：从EAS到ℓEAS的线性化不是唯一的，缺乏canonical选择的理论

4. 与现有理论的联系

  • 操作子理论的细节：与操作子理论的联系主要在引言中提及，正文中未详细展开
  • 范畴论视角缺失：虽然提到函子，但未从范畴论角度系统研究EAS范畴的性质

影响力

对领域的贡献

  1. 理论基础：为参数化代数结构提供了坚实的理论基础
  2. 统一框架：统一了文献中不同的参数化方案
  3. 新工具：ℓEAS与双代数的联系为研究参数化代数提供了新工具

实用价值

  1. 间接应用：虽然本文是纯理论工作，但为正则结构理论等应用提供了理论支撑
  2. 构造方法：从群和半群构造EAS的方法可用于构造具体的参数化代数

可复现性

  • 理论结果：所有定理都有完整证明，可复现性强
  • 计算验证：分类结果和矩阵表示可以独立验证
  • 例子丰富：大量例子便于读者理解和验证理论

适用场景

  1. 操作子理论：研究结合代数和前李代数操作子的推广
  2. 正则结构理论：为Bruned-Hairer-Zambotti理论提供代数基础
  3. 参数化代数：任何需要用参数族替代单一运算的代数结构研究
  4. Hopf代数理论：通过ℓEAS提供研究Hopf代数的新视角
  5. 组合代数：结构定理可用于研究有限代数结构的组合性质

总体评价

这是一篇高质量的纯数学论文，在扩展结合半群理论方面做出了实质性贡献。结构定理(定理3.16)是核心亮点，它将复杂的代数结构归约为基本构件的组合，具有深刻的理论意义。线性化理论和与双代数的联系开辟了新的研究方向。

论文的主要价值在于理论深度而非直接应用。对于代数学特别是操作子理论的研究者，这是重要的理论基础工作。然而，对于应用导向的读者，论文可能显得过于抽象。

推荐指数：对于代数学和操作子理论研究者，★★★★☆(4/5)；对于应用数学研究者，★★★☆☆(3/5)。

参考文献

论文引用了18篇参考文献，关键文献包括：

  1. Bruned, Hairer, Zambotti (2019): Algebraic renormalisation of regularity structures - 引入正则结构的代数重整化，是匹配参数化出现的重要应用背景
  2. Ebrahimi-Fard, Gracia-Bondía, Patras (2007): A Lie theoretic approach to renormalization - 引入Rota-Baxter族代数
  3. Guo (2009): Operated semigroups, Motzkin paths and rooted trees - 系统研究operated半群
  4. Zhang, Gao (2019-2020)系列工作: 关于匹配和族参数化的各种代数结构
  5. Foissy (2021): Typed binary trees and generalized dendriform algebras - 本文EAS概念的直接来源

这些文献构成了本文研究的理论背景和动机来源。