Left Ehresmann monoids with a proper basis

Gracinda M.S. Gomes、Victoria Gould、Yanhui Wang による論文「Left Ehresmann Monoids with a Proper Basis（適切な基底を持つ左エールシュタインモノイド）」の詳細な技術的概要を以下に示す。

1. 問題提起と動機

背景:
本論文は、左エールシュタインモノイドの構造理論に取り組んでいる。これらは、逆半群や左制限半群を一般化する特定の恒等式を満たす単項モノイドである。逆半群の理論は（特に McAlister の $P$-半群や群と半束の半直積を通じて）確立されているが、左エールシュタインモノイドの理論は遅れをとっていた。

ギャップ:

• 逆半群: すべての逆半群は、群による半束の半直積である「カバー」（幂等元分離的前像）を持つ。さらに、「適切な（proper）」逆半群（そのような積に埋め込めるもの）は、McAlister の $P$-半群によって特徴づけられる。
• 左エールシュタインモノイド: 任意の左エールシュタインモノイドは、順序保存写像を介して半束 $X$ に作用するモノイド $T$ から構成される $P_\ell(T, X)$ という形のカバーを持つことが知られていた。しかし、このクラスに対する「適切な」逆半群や $P$-半群に相当する概念の類似物は存在しなかった。
• 課題: 逆半群や制限半群とは異なり、左エールシュタインモノイドは「十分性恒等式（ample identity; $xy^+ = (xy)^+x$）」を満たさない。この欠如により、幂等元の並べ替えに依存する逆半群理論で用いられる標準的な分解手法が直接機能しない。その結果、自由左エールシュタインモノイドは、ケイリーグラフではなくラベル付き木を用いて記述され、その構造はより複雑である。

目的:
著者らは以下の点により、この理論的ギャップを埋めることを目指している：

1. 左エールシュタインモノイドのための**適切な基底（proper basis）**の概念を定義すること。
2. 適切な基底を持つモノイドが、適切な逆半群と構造的に類似した性質を持つことを証明すること。
3. これらのモノイドを McAlister の $P$-半群に類似した $P_\ell(T, X)$ の部分半群として特徴づける構造定理を確立すること。

---

2. 手法と主要概念

著者らは、特定の代数構造を導入し、部分作用の「大域化（globalisation）」結果を活用することで、新たな枠組みを開発している。

A. $\ast$-左エールシュタインモノイド

十分性恒等式の欠如に対処するため、著者らは標準的な左作用 $+$ に加えて、第二の単項作用 $\ast$ を導入する。

• $\ast$-左エールシュタインモノイドとは、単項作用 $\ast$ を備えた左エールシュタインモノイドであり、$E = \{a^+ : a \in M\} = \{a^\ast : a \in M\}$ が半束となり、$a^\ast$ が $a$ に対する $E$ からの最小右単位元となるものである。
• 彼らは、$T$-正規形の一意性（分解 $a = t_0 e_1 t_1 \dots e_n t_n$）を持つ任意の左エールシュタインモノイドが、自然にこの第二の作用を受け入れ、$\ast$-左エールシュタインとなることを証明している。

B. 適切な基底と原子的部分集合

核心的な革新は、適切な基底の定義にある。

• $\ast$-部分集合: 各 $h \in H$ が最小右単位元 $h^\ast \in E$ を持つ部分集合 $H \subseteq M$。
• 原子性（Atomic）: $H$ は積と合同に関する特定の閉包性質（H1–H5）を満たす。
• 適切性（Proper）: $h, k \in H$ かつ $h^\ast = k^\ast$ かつ $h \sigma k$（ここで $\sigma$ は射影を同一視する最小合同）ならば $h = k$ であるとき、$H$ は適切である。
• 基底: $H$ が $M$ を生成し、かつ各元が一意な$H$-標準形（基底要素を通じて定義され、$T$-正規形に相当する）を持つとき、$H$ は基底である。

C. 部分作用の大域化

重要な技術的道具は、部分作用に関する大域化定理の拡張である。

• 著者らは、半束 $Y$ に対するモノイド $T$ の強力で順序保存的な部分作用が、より大きな半束 $X$ 上の完全な順序保存作用に大域化できることを証明している。
• この結果（定理 4.17）は、与えられた左エールシュタインモノイドから環境モノイド $P_\ell(T, X)$ を構成するために不可欠である。

D. モノイド $P_\ell(T, X)$ と $Q_\ell(T, X, Y)$

• $P_\ell(T, X)$: 左エールシュタインモノイドに対する「半直積」の類似物。順序保存作用を持つ半束 $X$ とモノイド $T$ から構成される。これは $H_P = \{te : t \in T, e \in X\}$ という適切な基底を持つ。
• $Q_\ell(T, X, Y)$: $H_Q = \{te \in H_P : e \in Y \text{ かつ } t \cdot e \in Y\}$ によって生成される $P_\ell(T, X)$ の部分半群。ここで $Y$ は特定の条件（A と B）を満たす $X$ の部分半束である。これらは McAlister の $P$-半群の役割を果たす。

---

3. 主要な貢献と結果

1. 適切な基底の導入

本論文は、左エールシュタインモノイドに対する適切な基底の概念を定義している。この概念は、十分性恒等式が成立しない状況において、「適切性」（$E$-ユニタリー逆半群に相当する）の抽象的な概念を捉えている。

2. 適切な基底を持つモノイドの構造

著者らは、適切な基底を持つ任意の左エールシュタインモノイドが必然的に$\ast$-左エールシュタインであることを証明している。これにより、第二の単項作用 $\ast$ を利用して一意な標準形を定義し、モノイドの構造を分析することが可能となる。

3. 主要な構造定理（定理 8.1）

本論文の中心的な結果は、構造的な特徴づけを確立するものである：

定理: 双単項モノイド $Q$ が適切な基底を持つ左エールシュタインモノイドであるための必要十分条件は、$Q$ が何らかの $P_\ell(T, X)$ の双単項モノイド部分半群 $Q_\ell(T, X, Y)$ に同型であることである。

この定理は、逆半群に関する古典的結果（適切な逆半群は $P$-半群に同型である）を反映している。

• $P_\ell(T, X)$ は半直積 $X \rtimes G$ の役割を果たす。
• $Q_\ell(T, X, Y)$ は $P$-半群の役割を果たす。
• 同型写像は、$Q$ の適切な基底を $Q_\ell$ の生成集合に写すことで構成される。

4. 適切な基底の存在

著者らは以下のことを示している：

• モノイド $P_\ell(T, X)$ 自体が適切な基底（$H_P$）を持つ。
• 部分モノイド $Q_\ell(T, X, Y)$ が適切な基底（$H_Q$）を持つ。
• 自由左エールシュタインモノイドも適切な基底を持ち、したがって何らかの $Q_\ell(T, X, Y)$ に同型である。

5. 大域化の結果

本論文は、半束に対するモノイドの強力で順序保存的な部分作用が、半束上の完全作用に大域化できることを厳密に証明している。この結果は、半群理論および順序理論において独立した興味を有する。

---

4. 意義と影響

• パラダイムシフト: 本論文は、十分性恒等式の欠如にもかかわらず、逆半群の構造理論をより複雑な左エールシュタインモノイドのクラスに成功裏に適応させた。これにより、自由対象に用いられていたラベル付き木への依存から、半束とモノイド作用に基づく分解理論へと分野を移行させた。
• 統合: 自由左エールシュタインモノイド、制限モノイド、および一般的な左エールシュタインモノイドの研究を、単一の構造枠組み（$Q_\ell(T, X, Y)$）の下で統合した。
• 新たな道具: $\ast$-作用と適切な基底の概念の導入は、非正則半群を分析するための新たな代数的手段を提供した。
• 将来の方向性: 著者らは、この理論を単位元を持たない半群へ拡張すること、および Kudryavtseva と Laan によって開発された圏論的アプローチによる適切なエールシュタイン半群との関係性に関する未解決の問題を明示的に概説している。

要約すると、本論文は左エールシュタインモノイドに対する「McAlister型」の構造定理の基礎を提供し、適切な基底を持つそれらが順序保存的な半直積の特定の部分半群と構造的に同等であることを確立した。これにより、幂等元の半束を持つ半群の理論における主要な章が完成した。