2025-11-10T02:52:53.793684

Globalization of Partial Actions of Ordered Groupoids on Rings

Lautenschlaeger, Tamusiunas

We provide a necessary and sufficient condition to the existence of an ordered globalization of a partial ordered action of an ordered groupoid on a ring and we also present criteria to obtain uniqueness. Furthermore, we apply those results to obtain a Morita context and to show that an inverse semigroup partial action has a globalization (unique up to isomorphism) if, and only if, it is unital.

academic

順序付きグルーポイドの環上の部分作用のグローバル化

基本情報

論文ID: 2402.16758
タイトル: Globalization of Partial Actions of Ordered Groupoids on Rings
著者: Wesley G. Lautenschlaeger, Thaísa Tamusiunas
分類: math.RA（環と代数）
発表日時: 2024年2月26日（v1）、2025年1月2日（v2）
論文リンク: https://arxiv.org/abs/2402.16758

要約

本論文は、順序付きグルーポイドの環上の部分作用の順序付きグローバル化の存在性に対する必要十分条件を提供し、一意性の判定基準を与える。さらに、著者らはこれらの結果を応用してMorita文脈を構成し、逆半群の部分作用がグローバル化を持つ（同値意味で一意）ことと当且つ当該作用が単位元的であることが同値であることを証明する。

研究背景と動機

問題背景

部分作用理論の発展: 部分群作用の概念はR. Exelにより1998年に導入され、特定のC*-代数の分類に用いられた。その後、この理論はグラフ埋め込み、逆半群、R-木、ユークリッド空間のタイリングなど多くの分野で広く応用されている。
グルーポイド部分作用: D. BagioとA. Paquesは2012年にグルーポイドの部分作用の概念を定義し、グローバル化の存在性と一意性の条件を証明した。しかし、環上の順序付きグルーポイドの部分作用に対するグローバル化問題は、まだ体系的に研究されていない。
グローバル化問題の重要性: 部分作用がいつ全体作用の制限として実現できるかを決定することは極めて重要である。なぜなら、これにより部分理論が全体理論に対してどのように振る舞うかを理解できるからである。一意性問題は特に重要であり、全体作用への遷移に対して良定義された枠組みを確立する。

研究動機

順序付きグルーポイド部分作用のグローバル化理論の空白を埋める
部分作用から全体作用への体系的理論枠組みを確立する
Morita理論と逆半群理論に新しい道具を提供する

核心的貢献

グローバル化存在性定理: 前単位元的な部分作用が順序付きグローバル化を持つことと当該作用が単位元的であることが同値であることを証明した（定理3.6）
一意性判定基準: 強部分作用と疑似結合グルーポイドに対して、最小グローバル化の一意性定理を確立した（定理4.7）
Morita同値性: 歪順序付きグルーポイド環とそのグローバル化の間のMorita文脈を構成した（定理5.2）
逆半群への応用: ESN定理を利用して、逆半群の部分作用がグローバル化を持つことと当該作用が単位元的であることが同値であることを証明した（定理5.10）

方法の詳細

基本定義

順序付きグルーポイド

順序付きグルーポイドGは偏順序≤を備えたグルーポイドであり、以下を満たす：

(OG1) g ≤ hならばg⁻¹ ≤ h⁻¹
(OG2) g ≤ h, k ≤ ℓかつ∃gk, ∃hℓならば、gk ≤ hℓ
(OG3) g ∈ Gとe ∈ G⁰でe ≤ d(g)を満たすものに対して、(g|e) ≤ gかつd(g|e) = eを満たす唯一の元素(g|e) ∈ Gが存在する

部分作用

順序付きグルーポイドGの環A上の部分作用α = (Aₘ, αₘ)ₘ∈Gは以下を満たす：

A_{r(g)} ⊳ A, Aₘ ⊳ A_{r(g)}, αₘ: A_{g⁻¹} → Aₘは環同型
部分作用条件(P1)-(P3)
順序条件(PO): g ≤ hならば、Aₘ ⊆ A_hかつαₘ = α_h|{A{g⁻¹}}

グローバル化構成

構成過程

単位元的部分作用αに対して、グローバル化βを構成する主要なステップ：

関数環: F := F(G,A) = {f: G → A}を考える
イデアル定義: g ∈ Gに対して、以下を定義する
- Gₘ = {h ∈ G : r(h) ≤ r(g)}
- Fₘ = {f ∈ F : f(h) = 0, ∀h ∉ Gₘ}
作用構成: γₘ: F_{g⁻¹} → Fₘを以下で定義する $f((g⁻¹|_{r(h)})h), & \text{若 } h ∈ Gₘ \\ 0, & \text{其他情况} \end{cases}$$$
埋め込み写像: φₑ: Aₑ → Fₑを以下で定義する $α_{h⁻¹}(a1_h), & \text{若 } r(h) = e \\ 0, & \text{其他情况} \end{cases}$$$