Correspondence between factorability and normalisation in monoids

基本信息

• 论文ID: 2206.01672
• 标题: Correspondence between factorability and normalisation in monoids
• 作者: Alen Đurić
• 分类: math.GR (Group Theory)
• 发表时间: 2024年12月30日 (arXiv v3)
• 论文链接: https://arxiv.org/abs/2206.01672

摘要

本文确定了关于幺半群的两个概念之间的关系：为简化bar复形而引入的可分解性结构(factorability structure)，以及为推广二次重写系统和来自Garside族的正规化而引入的二次正规化(quadratic normalisation)。在二次正规化的公理化设定中刻画了可分解幺半群。此外，还通过可分解性结构和确保相关重写系统终止的条件来刻画(4,3)类的二次正规化。

研究背景与动机

问题背景

本文研究涉及两个看似独立但实际相关的数学概念：

1. 可分解性结构(Factorability structures)：由Wang、Hess等人扩展自Bödigheimer和Visy在群上的定义，最初动机是抽象对称群中发现的结构，该结构确保存在具有显著性质的正规形式，特别是允许将bar复形简化为具有更少胞腔的复形。
2. 二次正规化(Quadratic normalisations)：由Dehornoy和Guiraud引入，受Krammer影响，在相同的公理化设定下推广了两类著名的正规化：来自二次重写系统的正规化和来自Garside族的正规化。

研究动机

1. 统一不同理论框架：两个概念来源不同但都涉及幺半群的正规形式理论
2. 回答明确提出的问题：文献6和7中明确提到需要确定这两种方法之间的关系
3. 建立理论桥梁：为从可分解性结构导出的同调结果导入到二次正规化框架提供途径

现有方法局限性

• 可分解性结构相关的重写系统不一定终止
• 二次正规化理论缺乏与拓扑应用的直接联系
• 两个理论框架缺乏统一的理解

核心贡献

1. 建立双向对应关系：在可分解性结构和二次正规化之间建立了双向映射，这些映射互为逆映射(在技术细节上)
2. 刻画可分解幺半群：在二次正规化的公理化设定中完全刻画了可分解幺半群
3. 类别分析：证明了对应于可分解性结构的二次正规化总是(5,4)类，且一般情况下不能更小
4. 终止性条件：给出了二次正规化对应于可分解性结构的充要条件，并刻画了(4,3)类的二次正规化
5. 等价性结果：证明了(4,3)类等价于可分解性加上终止性

方法详解

任务定义

本文的核心任务是建立两个代数结构之间的精确对应关系：

• 输入：幺半群M及其生成集S
• 目标：在可分解性结构η: M → M²和二次正规化(S,N)之间建立双射
• 约束：保持相关重写系统的兼容性

理论框架

可分解性结构

对于幺半群M和生成子集S，可分解性结构是映射η = (η', η̄): M → M²，满足：

• η'(f) ∈ S₊是f的左因子，η̄(f)是右补
• 对(η'(f), η̄(f))是测地的
• 满足复杂的相容性条件

二次正规化

正规化(A,N)是长度保持的映射N: A* → A*，满足：

• 限制到A上是恒等映射
• 局部性质：N(u|v|w) = N(u|N(v)|w)
• 二次性质：由长度2因子的性质完全决定

技术创新点

弱多米诺规则

定义4.1.1：对于具有N-中性元素e的二次正规化(A,N)，当图表(3.3)中的元素r'₁, r'₂, s₂都不等于e时，多米诺规则有效。

主要定理

定理4.1.2：幺半群(M,S)承认可分解性结构当且仅当它承认二次正规化(N,S) mod 1使得弱多米诺规则对N有效。

对应关系构造

1. 从可分解性到正规化：
   • 给定可分解幺半群(M,S,η)
   • 构造N'φ(w) = Nφ(w)|1^m，其中m = |w| - |Nφ(w)|
   • 证明(S,N'φ)是二次正规化mod 1
2. 从正规化到可分解性：
   • 给定满足弱多米诺规则的二次正规化(S,N)
   • 证明N的限制是局部可分解性结构
   • 通过定理2.2.6构造相应的可分解性结构

类别分析

类别定义

二次正规化(A,N)的类(m,n)测量正规化长度3单词的复杂性：

• 左类m：N(w) = N₁₂m对所有长度3单词w成立
• 右类n：N(w) = N₂₁n对所有长度3单词w成立

关键结果

引理4.1.6：可分解幺半群对应的二次正规化是(5,4)类。

命题4.2.3：在加强条件下，可分解性结构诱导(4,3)类的二次正规化。

实验设置

理论验证方法

本文作为纯数学理论研究，采用严格的数学证明方法：

1. 构造性证明：通过显式构造建立对应关系
2. 反例分析：提供具体例子说明边界情况
3. 归纳论证：使用数学归纳法证明一般性结果

关键例子

例子4.1.7 (整数群)

• 设置：monoid (ℤ,+)，生成集{-1,+1}
• 可分解映射：g ↦ (sgn(g), g - sgn(g))
• 结果：对应的二次正规化恰好是(5,4)类，证明边界是紧的

例子4.1.8 (复杂构造)

• 设置：26个生成元的复杂幺半群
• 目的：证明左类至少为5
• 方法：通过具体计算φ₁₂₁₂₁(c₁,b₁,a₁) ≠ φ₁₂₁₂(c₁,b₁,a₁)

例子4.1.9 (反例)

• 设置：重写系统(A,R)，A = {a,b₁,...,b₅}
• 规则：abᵢ → abᵢ₊₁ (i偶数), bᵢa → bᵢ₊₁a (i奇数)
• 结论：虽然是(5,4)类但不对应任何可分解性结构

实验结果

主要理论结果

对应关系的完整性

推论4.1.12：

1. 两个方向的变换互为逆变换
2. 相关的正规形式是相同的
3. 相关的重写系统是等价的（仅在长度保持上有差别）

类别刻画

命题4.2.11：对于可分解幺半群(M,S,η)，以下等价：

1. 对所有s ∈ S₊和f ∈ M：(sf)' = (sf')' 且 sf̄ = sf' · f̄
2. 对所有(f,g,h) ∈ M³：(ημ)₂₁₂₁(f,g,h) = (ημ)₂₁₂(f,g,h)
3. 加强的局部条件
4. 对应的二次正规化是(4,3)类

终止性结果

推论4.2.12：幺半群承认(4,3)类二次正规化当且仅当它承认满足命题4.2.11中任一性质的可分解性结构。

边界分析

• (5,4)是紧的：例子4.1.7和4.1.8证明不能改进到更小的类
• 弱多米诺规则是必要的：例子4.1.9证明仅有类别条件不充分
• (4,3)等价于可分解性+终止性：建立了完整的刻画

相关工作

可分解性结构理论

• Bödigheimer & Visy (2010)：在群上引入可分解性概念
• Wang (2011) & Hess (2012)：扩展到幺半群和范畴
• Ozornova (2013)：离散Morse理论的重新表述

二次正规化理论

• Dehornoy & Guiraud (2016)：建立二次正规化的公理化框架
• Krammer (2013)：Artin幺半群的不对称推广
• Garside理论：贪婪正规形式的系统研究

重写系统理论

• Cohen (1997)：字符串重写与幺半群同调
• Brown (1992)：重写系统的几何学
• Lafont & Prouté (1991)：Church-Rosser性质

结论与讨论

主要结论

1. 完整对应关系：在可分解性结构和满足弱多米诺规则的二次正规化之间建立了完整的双射
2. 类别刻画：可分解幺半群对应(5,4)类正规化，加上终止条件对应(4,3)类
3. 统一框架：为两个原本独立的理论提供了统一的理解

局限性

1. 复杂性：理论构造相当复杂，实际应用可能受限
2. 计算复杂度：未详细分析算法的计算复杂度
3. 推广性：主要针对幺半群，向范畴的推广需要进一步工作

未来方向

1. 同调应用：将可分解性结构的同调结果导入二次正规化框架
2. 高类推广：研究更高类别的二次正规化的性质
3. 算法实现：开发高效的算法实现这些理论结果

深度评价

优点

1. 理论深度：建立了两个重要代数结构之间的深刻联系
2. 技术严谨：证明完整且技术上严格
3. 统一视角：为不同来源的理论提供了统一框架
4. 完整性：不仅建立了对应关系，还刻画了边界情况

不足

1. 可读性：技术细节复杂，对非专家读者较难理解
2. 实用性：理论结果的实际应用价值需要进一步开发
3. 计算方面：缺乏对算法复杂度的详细分析

影响力

1. 理论贡献：为代数组合学提供了重要的理论工具
2. 连接作用：连接了拓扑、代数和计算机科学的不同领域
3. 后续研究：为进一步的理论发展奠定了基础

适用场景

• 代数拓扑中的同调计算
• 重写系统的理论分析
• Garside理论的推广应用
• 组合群论中的正规形式研究

参考文献

本文引用了25篇重要文献，涵盖：

• 可分解性结构的原始论文 1,11,12,15,16,17
• 二次正规化理论 7,13
• 重写系统理论 3,5,14
• Garside理论 6,9,10
• 相关的代数和拓扑背景 2,4,8