2025-11-15T02:40:11.811484

A comparison between weakly protomodular and protomodular objects in unital categories

GarcÃa-MartÃnez, Montoli, Rodelo et al.

We compare the concepts of protomodular and weakly protomodular objects within the context of unital categories. Our analysis demonstrates that these two notions are generally distinct. To establish this, we introduce left pseudocancellative unital magmas and characterise weakly protomodular objects within the variety of algebras they constitute. Subsequently, we present an example of a weakly protomodular object that is not protomodular in this category.

academic

単位元範疇における弱原型加群対象と原型加群対象の比較

基本情報

論文ID: 2409.19076
タイトル: A comparison between weakly protomodular and protomodular objects in unital categories
著者: Xabier García-Martínez, Andrea Montoli, Diana Rodelo, Tim Van der Linden
分類: math.CT (圏論)
発表時期: 2024年9月(初稿)、2025年11月10日(改訂版v2)
論文リンク: https://arxiv.org/abs/2409.19076

要約

本論文は、単位元範疇(unital categories)の背景下において、原型加群対象(protomodular objects)と弱原型加群対象(weakly protomodular objects)という2つの概念を比較している。研究により、これら2つの概念は一般に異なることが示されている。これを証明するため、著者らは左疑似消去単位元マグマ(left pseudocancellative unital magmas)という代数構造を導入し、この代数多様体における弱原型加群対象を特徴付け、弱原型加群であるが原型加群ではない具体例を提供している。

研究背景と動機

研究課題

本論文が解決しようとする中心的な問題は：単位元範疇において、原型加群対象と弱原型加群対象は常に一致するのか？

問題の重要性

理論的基礎性：原型加群性(protomodularity)は半アーベル範疇(semi-abelian categories)の定義における基本成分であり、半アーベル範疇は群、環、リー代数などの非アーベル代数構造の本質的性質を圏論言語で成功裏に記述する。
局所化研究：原型加群対象の概念は原型加群範疇の局所化版であり、非原型加群範疇において「群的」性質を持つ対象を特徴付けるために用いられる。例えば：
- 単位元半群範疇(Mon)において、原型加群対象は正確に群である
- 半環範疇において、原型加群対象は正確に環である
概念の統一性：弱原型加群対象は原型加群対象の弱化版であり、既知のすべての単位元範疇の例(単位元半群、半環、余可換双代数など)において、両概念は一致することが証明されている。

既存研究の限界

本論文以前：

研究されたすべての単位元範疇において、原型加群対象と弱原型加群対象は同じであることが証明されていた
これら2つの概念が一般的な単位元範疇における相違を示す反例が欠けていた
この相違を示す代数構造を構成するための体系的方法がなかった

研究動機

過去のすべての例における両概念の一致に基づき、自然に以下の問題が生じる：単位元範疇において、原型加群対象と弱原型加群対象は常に一致するのか？ 本論文は具体的な代数構造と反例を構成することにより、この問いに否定的な答えを与えている。

核心的貢献

新しい代数構造の導入：左疑似消去単位元マグマ(LPM)という新しい代数構造を定義し、それが単位元範疇を構成することを証明した。
弱原型加群対象の特徴付け：LPM範疇における弱原型加群対象の完全な特徴付け(定理2.6)を与えた：対象Xが弱原型加群的であることは、任意のx∈Xに対して、x₁,...,xₙ∈Xが存在して x₁(x₂(...(xₙ\x)...)) = e となることと同値である。
概念の相違の証明：
- 弱原型加群であるが原型加群ではない具体的対象を構成した(例2.12における整数集合Z)
- 原型加群対象の部分代数は必ず弱原型加群的であることを証明した(定理2.9)
- 左ループ ⊊ 原型加群対象 ⊊ 弱原型加群対象の厳密な包含関係を確立した
技術的革新：項書き換えシステム(term rewriting system)を用いて自由LPMにおける元素の一意な正規形式を証明した(命題2.5)。これは主定理の証明における鍵となる技術的道具である。
理論的意義：単位元範疇の枠組みにおいて、原型加群対象と弱原型加群対象の不一致性を初めて証明し、この分野の開放問題に答えた。

方法の詳細説明

核心的概念の定義

左疑似消去単位元マグマ (LPM)

集合Xに2つの二項演算 ∗ と \ および零項演算 e を備えたもので、以下を満たす：

恒等式(1): y = x ∗ (x\y) (左疑似消去律)
恒等式(3): x = e ∗ x = x ∗ e (単位元律)

この構造は左ループの概念を弱化したものである。左ループは追加で以下を満たす必要がある：

恒等式(2): y = x(x ∗ y)

主要性質

定義から導出可能な性質(命題2.2)：

すべての左乗法写像 Mᵧ: x ↦ y ∗ x は全射である
すべての左除法写像 Dᵧ: x ↦ y\x は単射である
Dₑ = 1ₓ (単位元の左除法は恒等写像)
x\y = e ならば x = y

技術的枠組み

項書き換えシステム

自由LPMの構造を分析するため、著者らは書き換え規則集を構成した：

R = {
  x ∗ (x\y) → y,
  e ∗ x → x,
  x ∗ e → x,
  e\y → y
}

命題2.5の鍵となる証明：

終止性：測度 μ(t) = (#∗(t), #(t)) を定義し、辞書式順序で整列させる。各規則はこの測度を厳密に減少させる。
合流性：Newman補題を使用し、局所合流性のみを確認すればよい。唯一の非自明なオーバーラップは e ∗ (e\y) で発生し、臨界対が接続可能であることを証明できる。

これにより、自由LPMの各元素が一意な正規形式を持つことが保証され、これが後続の証明の基礎となる。

主定理の証明戦略

定理2.6：弱原型加群対象の特徴付け

十分性 (ii)⇒(i)：任意の分裂拡張と元素y∈Yが与えられ、x = f(y)とする。条件(ii)から、x₁,...,xₙが存在して：

x₁\(x₂\(...\(xₙ\x)...)) = e

恒等式(1)を利用することで、yを以下のように書くことができる：

y = s(xₙ) ∗ (... ∗ (s(x₁) ∗ (s(x₁)\(s(x₂)\(...\(s(xₙ)\y)...)))))

ここで s(x₁)(s(x₂)(...(s(xₙ)\y)...)) はfの核Kに属し、これは点(f,s)が強いことを証明する。

必要性 (i)⇒(ii)：これは最も技術的な部分である。任意のx∈Xに対して：

分裂拡張を構成する：0 → K → F(z)⊕X → X → 0、ここでF(z)は単一生成元zの自由LPM
Xが弱原型加群的であるため、生成元zはKとX中の元素の積として書ける
命題2.5の一意な正規形式を使用して、書き換え列を追跡する
鍵となる観察：最後の書き換えステップは u ∗ (u\z) → z の形式である必要がある
部分項uを再帰的に分析し、ネストされた構造を展開する
核Kの元素が x₁(x₂(...(xₙ\z)...)) の形式であることを得る
zをxに置き換えて、所望の恒等式を得る

定理2.9：部分代数性質

証明の考え方：

Yを原型加群対象、Xをその部分代数とする
X中の任意の元素xに対して、適切なプルバック図を構成する
Yが原型加群的であるため、対応する点は安定強い
プルバックにおいて、z∈Pは核と截面像の積として表現できる
定理2.6と類似の技術を使用して、xが条件(ii)を満たすことを証明する

反例の構成

例2.8：非弱原型加群対象(自然数N)

演算を以下のように定義する：

x\y = { y       if x = 0
      { y + 1   if x > 0

x ∗ y = { x       if y = 0
        { y       if x = 0
        { y - 1   if x, y > 0

任意のx > 0に対して、条件(ii)を満たす元素列を見つけることができないため、Nは弱原型加群的ではない。

例2.12：弱原型加群であるが原型加群ではない対象(整数Z)

例2.8の演算を整数に拡張し、負数に対する定義が鍵となる：

x\y = { -2y - 1  if x < 0 ≤ y
      { 2y       if x, y < 0, x ≠ y
      { 0        if x = y < 0
      { (その他の場合はNと同様)

x ∗ y = { -(y+1)/2  if x < 0, y odd
        { y/2       if x < 0, y even ≠ 0
        { (その他の場合はNと同様)

検証：

Zはすべてのマグマ公理を満たす(場合分けにより検証)
Zは条件(ii)を満たす：任意のx∈Zに対して相応の列が見つかる
NはZの部分代数であるが、Nは弱原型加群的ではない
定理2.9により、Zは原型加群対象ではあり得ない

実験設定

本論文は純粋理論数学論文であり、実験設定、データセット、または数値実験を含まない。すべての結果は厳密な数学的証明により得られている。

検証方法

公理検証：構成された各代数構造に対して、すべての定義公理を場合分けにより検証
反例検証：構成的証明により特定の対象が特定の性質を満たさないことを示す
理論的導出：圏論と普遍代数の標準的技術を使用

実験結果

主要な理論的結果

結果1：単位元マグマの自明性

定理2.1：単位元マグマ範疇には非自明な弱原型加群対象は存在しない。

これは、より豊かな構造(LPM)を導入する必要がある理由を説明している。

結果2：弱原型加群対象の完全な特徴付け

定理2.6：LPM範疇において、対象Xが弱原型加群的であることは以下と同値である：

∀x ∈ X, ∃x₁,...,xₙ ∈ X: x₁\(x₂\(...\(xₙ\x)...)) = e

これは検証可能な代数的条件を与える。

結果3：厳密な包含関係

例2.14と例2.12が共に証明する：

{左ループ} ⊊ {原型加群対象} ⊊ {弱原型加群対象}

具体的には：

すべての左ループは原型加群対象である(系2.11)
x\x = eを満たすが左ループではない原型加群対象が存在する(例2.14のN)
弱原型加群であるが原型加群ではない対象が存在する(例2.12のZ)

結果4：部分代数性質

定理2.9：LPMにおいて、原型加群対象の部分代数は必ず弱原型加群的である。

これは反例構成の鍵である：弱原型加群対象Xを見つけ、その部分代数Yが弱原型加群的ではなければ、Xは原型加群的ではあり得ない。

ケース分析

ケース1：自然数N(例2.8)

構造：最も単純な非弱原型加群LPM
主要性質：任意の正整数xは有限回の左除法演算を通じて単位元に戻ることができない
幾何学的直観：左除法演算は常に「上方へ」移動し(1を加える)、閉ループを形成できない

ケース2：整数Z(例2.12)

構造：Nの「完備化」
主要設計：
- 正整数：Nの演算を継承
- 負整数：各元素が単位元に戻れるよう特殊な演算を設計
- x > 0に対して: (-2x-1)(-1\x) = 0
- x ≤ 0に対して: x\x = 0
技巧：負数部分が「ループ」を提供し、Zを弱原型加群的にする

ケース3：一般化構成(注記2.13)

パラメータ化族：

x\y = { y + i      if x > 0, y ≥ 0
      { -ky - j    if x < 0 ≤ y
      { ky         if x, y < 0, x ≠ y
      { (その他の場合)

ここで i ≥ 1, k ≥ 2, j ∈ {1,...,k-1}。

これは構成の堅牢性を示す：反例のパラメータ化族全体が存在する。

結論と議論

主要な結論

核心的結論：単位元範疇において、原型加群対象と弱原型加群対象は常に一致するわけではない。
具体的実現：
- 左疑似消去単位元マグマ(LPM)は単位元範疇を構成する
- LPMにおいて弱原型加群であるが原型加群ではない対象が存在する
- 特定の演算を備えた整数Zがこのような例である
理論的意義：
- この分野の開放問題に答える
- 原型加群性理論における2つの関連概念の微妙な違いを明らかにする
- このような反例を構成するための体系的方法を提供する

限界

代数構造の特殊性：
- LPMは特定の問題を解決するために設計された構造
- 現在のところ、自然な数学的動機または応用背景が不明確
- LPMが他の数学分野で自然に現れるかどうかが不明確
反例の複雑性：
- 例2.12の構成はかなり技巧的
- 演算定義は複数の場合に分ける必要がある
- 十分に「自然」または「優雅」ではない
範囲の制限：
- 結果はLPM範疇でのみ確立されている
- より「自然」な単位元範疇が同じ現象を示すかどうかが不明確
- 他の代数多様体(環、加群など)への推般化が不明確
特徴付けの完全性：
- 定理2.6は弱原型加群対象の特徴付けを与える
- しかし原型加群対象の完全な特徴付けは与えない
- 部分的な十分条件のみ(命題2.10)