2025-11-22T08:58:16.312188

Correspondence between factorability and normalisation in monoids

ÄuriÄ

Abstract. This article determines relations between two notions concerning monoids: factorability structure, introduced to simplify the bar complex; and quadratic normalisation, introduced to generalise quadratic rewriting systems and normalisations arising from Garside families. Factorable monoids are characterised in the axiomatic setting of quadratic normalisations. Additionally, quadratic normalisations of class (4,3) are characterised in terms of factorability structures and a condition ensuring the termination of the associated rewriting system.

academic

モノイドにおける因数分解可能性と正規化の対応

基本情報

論文ID: 2206.01672
タイトル: Correspondence between factorability and normalisation in monoids
著者: Alen Đurić
分類: math.GR (群論)
発表日時: 2024年12月30日 (arXiv v3)
論文リンク: https://arxiv.org/abs/2206.01672

要旨

本論文は、モノイドに関する2つの概念間の関係を明確にしている：bar複体の簡略化のために導入された因数分解可能性構造(factorability structure)、および二次書き換えシステムとGarside族から由来する正規化を一般化するために導入された二次正規化(quadratic normalisation)である。二次正規化の公理化設定において因数分解可能なモノイドを特徴付ける。さらに、因数分解可能性構造および関連する書き換えシステムの終了を保証する条件を通じて、(4,3)クラスの二次正規化を特徴付ける。

研究背景と動機

問題背景

本論文の研究は、一見独立しているが実際には関連している2つの数学的概念に関わっている：

因数分解可能性構造(Factorability structures)：Wang、Hessらによって拡張され、Bödigheimer と Visy による群上の定義に遡る。元々の動機は対称群で発見された構造であり、この構造は顕著な性質を持つ正規形式の存在を保証し、特にbar複体をより少ないセルを持つ複体に簡略化することを可能にする。
二次正規化(Quadratic normalisations)：Dehornoy と Guiraud によって導入され、Krammer の影響を受けており、同じ公理化設定の下で2つの著名な正規化クラスを一般化している：二次書き換えシステムから由来する正規化とGarside族から由来する正規化。

研究動機

異なる理論的枠組みの統一：2つの概念は異なる起源を持つが、どちらもモノイドの正規形式理論に関わっている
明確に提起された問題への回答：文献6と7において、これら2つのアプローチ間の関係を明確にする必要性が明示されている
理論的橋渡しの構築：因数分解可能性構造から導出される同調結果を二次正規化の枠組みに導入するための道筋を提供する

既存方法の限界

因数分解可能性構造に関連する書き換えシステムは必ずしも終了しない
二次正規化理論は位相的応用との直接的な関連性を欠いている
2つの理論的枠組みは統一的な理解を欠いている

核心的貢献

双方向対応関係の確立：因数分解可能性構造と二次正規化の間に双方向写像を確立し、これらの写像は互いに逆写像である（技術的詳細を除いて）
因数分解可能なモノイドの特徴付け：二次正規化の公理化設定において因数分解可能なモノイドを完全に特徴付ける
クラス分析：因数分解可能性構造に対応する二次正規化は常に(5,4)クラスであり、一般的にはより小さくできないことを証明
終了条件：二次正規化が因数分解可能性構造に対応するための必要十分条件を与え、(4,3)クラスの二次正規化を特徴付ける
同値性結果：(4,3)クラスが因数分解可能性と終了性の和と同値であることを証明

方法の詳細

タスク定義

本論文の核心的なタスクは、2つの代数構造間の正確な対応関係を確立することである：

入力：モノイド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因子の性質によって完全に決定される

因数分解可能性から正規化へ：
- 因数分解可能なモノイド(M,S,η)が与えられたとき
- N'φ(w) = Nφ(w)|1^mを構成する。ここでm = |w| - |Nφ(w)|
- (S,N'φ)が二次正規化 mod 1であることを証明
正規化から因数分解可能性へ：
- 弱ドミノ規則を満たす二次正規化(S,N)が与えられたとき
- Nの制限が局所因数分解可能性構造であることを証明
- 定理2.2.6を通じて対応する因数分解可能性構造を構成