Globalization of Partial Actions of Ordered Groupoids on Rings

Basic Information

• Paper ID: 2402.16758
• Title: Globalization of Partial Actions of Ordered Groupoids on Rings
• Authors: Wesley G. Lautenschlaeger, Thaísa Tamusiunas
• Classification: math.RA (Rings and Algebras)
• Publication Date: February 26, 2024 (v1), January 2, 2025 (v2)
• Paper Link: https://arxiv.org/abs/2402.16758

Abstract

This paper provides necessary and sufficient conditions for the existence of ordered globalizations of partial actions of ordered groupoids on rings, and establishes criteria for uniqueness. Furthermore, the authors apply these results to construct Morita contexts and prove that partial actions of inverse semigroups admit globalizations (unique up to equivalence) if and only if they are unital.

Research Background and Motivation

Problem Background

1. Development of Partial Action Theory: The concept of partial group actions was introduced by R. Exel in 1998 for classifying certain classes of C*-algebras. Subsequently, this theory has been widely applied in graph embeddings, inverse semigroups, R-trees, and Euclidean space tilings.
2. Partial Actions of Groupoids: D. Bagio and A. Paques defined partial actions of groupoids in 2012 and proved conditions for the existence and uniqueness of globalizations. However, the globalization problem for partial ordered actions of ordered groupoids on rings has not been systematically studied.
3. Importance of the Globalization Problem: Determining when partial actions can be realized as restrictions of global actions is crucial, as it enables us to understand the behavior of partial theory relative to global theory. The uniqueness problem is particularly critical, as it establishes a well-defined framework for the transition to global actions.

Research Motivation

• To fill the gap in globalization theory for partial ordered actions of ordered groupoids
• To establish a systematic theoretical framework from partial actions to global actions
• To provide new tools for Morita theory and inverse semigroup theory

Core Contributions

1. Globalization Existence Theorem: Proves that a pre-unital partial ordered action admits an ordered globalization if and only if it is unital (Theorem 3.6)
2. Uniqueness Criteria: Establishes a uniqueness theorem for minimal globalizations of pre-unital strong partial ordered actions on pseudo-associative groupoids (Theorem 4.7)
3. Morita Equivalence: Constructs Morita contexts between skew ordered groupoid rings and their globalizations (Theorem 5.2)
4. Inverse Semigroup Applications: Using the ESN theorem, proves that partial actions of inverse semigroups admit globalizations if and only if they are unital (Theorem 5.10)

Methodology Details

Basic Definitions

Ordered Groupoids

An ordered groupoid G is a groupoid equipped with a partial order ≤ satisfying:

• (OG1) If g ≤ h then g⁻¹ ≤ h⁻¹
• (OG2) If g ≤ h, k ≤ ℓ and ∃gk, ∃hℓ, then gk ≤ hℓ
• (OG3) Given g ∈ G and e ∈ G⁰ with e ≤ d(g), there exists a unique element (g|e) ∈ G satisfying (g|e) ≤ g and d(g|e) = e

Partial Ordered Actions

A partial ordered action of ordered groupoid G on ring A is α = (Aₘ, αₘ)ₘ∈G satisfying:

1. A_{r(g)} ⊳ A, Aₘ ⊳ A_{r(g)}, αₘ: A_{g⁻¹} → Aₘ is a ring isomorphism
2. Partial action conditions (P1)-(P3)
3. Order condition (PO): If g ≤ h, then Aₘ ⊆ A_h and αₘ = α_h|{A{g⁻¹}}

Globalization Construction

Construction Process

For a unital partial ordered action α, the key steps in constructing the globalization β are:

1. Function Ring: Consider F := F(G,A) = {f: G → A}
2. Ideal Definition: For g ∈ G, define
   • Gₘ = {h ∈ G : r(h) ≤ r(g)}
   • Fₘ = {f ∈ F : f(h) = 0, ∀h ∉ Gₘ}
3. Action Construction: Define γₘ: F_{g⁻¹} → Fₘ byf((g⁻¹|_{r(h)})h), & \text{if } h ∈ Gₘ \\ 0, & \text{otherwise} \end{cases}$$
4. Embedding Maps: Define φₑ: Aₑ → Fₑ byα_{h⁻¹}(a1_h), & \text{if } r(h) = e \\ 0, & \text{otherwise} \end{cases}$$

Strong Partial Ordered Actions

Definition

A partial ordered action α is called strong if for all g ∈ G, e ≤ r(g), $A_{(e|g)} = Aₑ ∩ Aₘ$

Pseudo-Multiplicative Property

Strong partial ordered actions satisfy the pseudo-multiplicative property (PS): $αₘ ∘ α_h = α_{g*h} ∘ \text{Id}_{A_{h⁻¹}}$ where g * h is the pseudo-product operation.

Experimental Setup

Theoretical Verification

This paper primarily conducts theoretical constructions and proofs, verifying results through:

1. Concrete Examples: Provides multiple concrete construction examples (Examples 3.1, 3.4, 3.8, etc.)
2. Counterexample Analysis: Demonstrates the necessity of certain conditions
3. Application Verification: Validates general results through inverse semigroup theory

Key Example Analysis

Example 3.1

Consider the groupoid G = {s, s⁻¹, r(s), d(s), e}, where:

• G⁰ = {r(s), d(s), e}
• Partial order relations: e ≤ s, e ≤ s⁻¹, e ≤ r(s), e ≤ d(s)

Construct an action on ring B = Re₁ ⊕ Re₂ ⊕ Re₃, then restrict to ideal A = Re₂ ⊕ Re₃ to obtain a concrete instance of partial ordered action.

Experimental Results

Main Theorems

Theorem 3.6 (Existence)

Let α = (Aₘ, αₘ)ₘ∈G be a pre-unital partial ordered action of ordered groupoid G on ring A. Then α admits a globalization β if and only if α is unital.

Proof Outline:

• (⇒) Follows directly from properties of globalization
• (⇐) Achieved through construction via the function ring F(G,A)

Theorem 4.7 (Uniqueness)

Let α be a pre-unital strong partial ordered action of pseudo-associative groupoid G on ring A. Then α admits a minimal globalization if and only if α is unital. Moreover, the minimal globalization is unique up to equivalence.

Proof Strategy: Through construction of Morita contexts and analysis of minimal globalizations.

Morita Equivalence

Theorem 5.2

Rings R = A ⋉ᵅᵒ G and T = B ⋉ᵝᵒ G are Morita equivalent, where β is the globalization of α.

Proof Idea: By constructing a Morita context (R,T,M,N,φ,φ'), where:

• M = ₁RT, N = T₁R
• Maps φ: M ⊗_T N → R and φ': N ⊗_R M → T

Inverse Semigroup Applications

Theorem 5.10

Let α be a pre-unital partial action of inverse semigroup S on ring A. Then α admits a globalization β if and only if α is unital. Moreover, β is unique up to equivalence.

Proof Method: Utilizes the Ehresmann-Schein-Nambooripad theorem to establish correspondence between inverse semigroups and inductive groupoids.

Related Work

Development of Partial Action Theory

1. Partial Group Actions: R. Exel (1998) first introduced the concept for C*-algebra classification
2. Partial Groupoid Actions: Pioneering work by D. Bagio and A. Paques (2012)
3. Ordered Case: This paper is the first systematic study of globalization of partial ordered actions of ordered groupoids

Globalization Problems

• Group Case: Dokuchaev and Exel proved the necessity and sufficiency of the unital condition
• Categorical Case: Universal globalizations exist but are not unique
• Semigroup Case: Two non-isomorphic universal globalizations exist
• Hopf Algebra Case: Minimal globalization is unique

Conclusions and Discussion

Main Conclusions

1. Unified Framework: Establishes a complete theoretical framework for globalization of partial ordered actions of ordered groupoids
2. Necessary and Sufficient Conditions: Unitality is necessary and sufficient for the existence of globalization
3. Uniqueness Criteria: Under strong partial ordered actions and pseudo-associativity conditions, minimal globalization is unique
4. Broad Applications: Theoretical results apply to Morita theory and inverse semigroup theory

Limitations

1. Condition Restrictions: Uniqueness results require strong partial ordered actions and pseudo-associativity conditions
2. Construction Complexity: Concrete construction of globalization involves complex function ring structures
3. Computational Complexity: Verifying conditions in practical applications may be challenging

Future Directions

1. Generalization Research: Consider partial actions on more general algebraic structures
2. Computational Aspects: Develop effective algorithms for determining globalization conditions
3. Application Extensions: Explore applications in other mathematical fields

In-Depth Evaluation

Strengths

1. Theoretical Completeness: Provides a complete theory of globalization for partial ordered actions of ordered groupoids
2. Methodological Innovation: Cleverly utilizes function ring construction to achieve globalization
3. Broad Applicability: Results apply to multiple mathematical branches
4. Rigorous Proofs: Mathematical proofs are complete and rigorous

Weaknesses

1. Technical Threshold: Requires deep background in algebra and category theory
2. Limited Examples: Relatively few concrete application examples
3. Computational Difficulty: Practical verification of conditions may be challenging

Impact

1. Theoretical Contribution: Fills important gaps in ordered partial action theory
2. Methodological Value: Provided construction methods have universal significance
3. Application Potential: Provides new tools for related field research

Applicable Scenarios

1. Algebraic Structure Research: Ring theory and groupoid theory research
2. Noncommutative Geometry: Quantum group and Hopf algebra theory
3. Operator Algebra: C*-algebra classification problems
4. Mathematical Physics: Symmetry research in quantum field theory

References

The paper cites 36 relevant references covering multiple fields including partial action theory, groupoid theory, and Morita theory, providing a solid theoretical foundation for the research.