Galois Theory under inverse semigroup actions

Basic Information

• Paper ID: 2408.02850
• Title: Galois Theory under inverse semigroup actions
• Authors: Wesley G. Lautenschlaeger, Thaísa Tamusiunas
• Classification: math.RA (Rings and Algebras)
• Publication Date: August 2024 (arXiv version 2, updated January 2, 2025)
• Paper Link: https://arxiv.org/abs/2408.02850

Abstract

This paper develops Galois theory for commutative rings under finite inverse semigroup actions. The authors provide equivalent characterizations of Galois extensions and establish a Galois correspondence theorem. The paper also discusses the behavior of the theory in the context of inverse semigroups with zero.

Research Background and Motivation

Problem Background

1. Need for generalization of classical Galois theory: In 1965, Chase, Harrison, and Rosenberg (CHR) developed Galois theory for commutative rings under finite group actions, generalizing the fundamental theorem of classical Galois theory. Subsequently, Villamayor and Zelinski (VZ) developed similar theory, introducing groupoid actions to Galois theory for the first time.
2. Limitations of existing theory:
   • Previous groupoid action Galois theories required an orthogonality condition: $A = \bigoplus_{e \in G_0} A_e$
   • For inverse semigroup actions, the orthogonality condition requires $A = \bigoplus_{e \in \max E(S)} A_e$, which makes ideals associated with non-maximal idempotents trivial
   • Constructing inverse semigroup theory by relying on existing groupoid theory proves ineffective
3. Research motivation:
   • Develop inverse semigroup action Galois theory without orthogonality conditions
   • Construct new invariant trace maps by connecting E-unitary inverse semigroup actions with partial group actions
   • Extend the theory to general inverse semigroup actions

Core Contributions

1. Construction of new invariant trace maps: For E-unitary inverse semigroups, the σ-trace map $\text{tr}^σ_β$ resolves the invariance problem of trace maps
2. Established equivalent characterizations of Galois extensions: Provides eleven equivalent conditions for β-Galois extensions (Theorem 4.4)
3. Proved Galois correspondence theorem:
   • For E-unitary inverse semigroups: one-to-one correspondence between β-complete inverse subsemigroups and separable β-strong subalgebras (Theorem 5.8)
   • For general inverse semigroups: one-to-one correspondence between β-maximal inverse subsemigroups and separable β-strong subalgebras (Theorem 6.4)
4. Extended to inverse semigroups with zero: Discusses the theory in the case of categorical zero inverse semigroups (Theorem 7.15)

Methodology Details

Problem Setup

Study Galois theory of finite inverse semigroup $S$ acting on commutative ring $A$ via unital action $\beta = (A_s, \beta_s)_{s \in S}$, where:

• $A_s \trianglelefteq A$ are ideals
• $\beta_s: A_{s^{-1}} \to A_s$ are ring isomorphisms
• Satisfy action conditions: $A = \sum_{e \in E(S)} A_e$ and $\beta_s(\beta_t(a)) = \beta_{st}(a)$

Core Technical Framework

1. Treatment of E-unitary inverse semigroups

For E-unitary inverse semigroup $S$, the key observation is that the compatibility relation $\sim$ coincides with the minimum group congruence $σ$.

Theorem 3.2: Let $S$ be an E-unitary inverse semigroup and $\beta$ be a unital injective action. Define: $A_{σ(s)} = \sum_{t \in σ(s)} A_t, \quad α_{σ(s)} = \sum_{t \in σ(s)} \beta_t$ Then $α = (A_g, α_g)_{g \in G}$ is a unital partial action of group $G = S/σ$ on $A$.

2. Construction of σ-trace map

Define the σ-trace map: $\text{tr}^σ_β(a) = \text{tr}_α(a) = \sum_{g \in S/σ} α_g(a1_{g^{-1}})$

Corollary 3.4: The σ-trace map is an $A^β$-bimodule homomorphism, and $\text{tr}^σ_β(A) \subseteq A^β$, $\text{tr}^σ_β(\beta_s(a)) = \text{tr}^σ_β(a)$.

3. Characterization of Galois extensions

Theorem 4.4: The following conditions are equivalent:

1. $A$ is a β-Galois extension of $A^β$
2. $A$ is a finitely generated projective $A^β$-module and $j$ is an isomorphism
3. The map $ψ: A \otimes_{A^β} A \to P_{A^β}(S)$ is an isomorphism
4. $A$ is $A^β$-separable and β-strong
5. $\text{tr}^σ_β(A) = A^β$

Technical Innovations

1. Avoiding orthogonality conditions: Through the σ-trace map rather than traditional trace maps, avoids the restriction $A = \bigoplus_{e \in \max E(S)} A_e$
2. Utilization of E-unitarity: Cleverly exploits the property $σ = \sim$ in E-unitary inverse semigroups, transforming inverse semigroup actions into partial group actions
3. β-completeness concept: Introduces the concept of β-complete inverse subsemigroups, requiring that for compatible subsets $P$, if $u = \bigvee P$ exists and $β_u = \sum_{s \in P} β_s$, then $u \in T$

Main Theorems

Galois Correspondence Theorem (Theorem 5.8)

Let $S$ be a finite E-unitary inverse semigroup acting on commutative ring $A$ via unital injective action $\beta$. If $A$ is a β-Galois extension of $A^β$ and $A_s \neq 0$ for all $s \in S$, then there exists a one-to-one correspondence: $\{A^β\text{-separable β-strong subalgebras } B\} \leftrightarrow \{\text{β-complete inverse subsemigroups } T\}$ The correspondence is given by $B \mapsto S_B$ and $T \mapsto A^{β|T}$, where $S_B = \{s \in S: \beta_s(b1_{s^{-1}}) = b1_s, \forall b \in B\}$.

General Case (Theorem 6.4)

For general finite inverse semigroups $S$, there exists a one-to-one correspondence between β-maximal inverse subsemigroups and separable β-strong $A^β$-subalgebras.

Experimental Setup

As a pure mathematics theory paper, this work does not involve numerical experiments but rather verifies the correctness of the theory through rigorous mathematical proofs.

Theoretical Verification Methods

1. Constructive proofs: Verify the theory through explicit construction of σ-trace maps and Morita contexts
2. Equivalence proofs: Prove that eleven equivalent conditions characterize Galois extensions
3. Correspondence proofs: Establish bijectivity of Galois correspondence through functorial properties

Key Lemmas and Propositions

• Lemma 2.6: Proves that $G' = \{α_s: s \in S\}$ forms a group structure
• Proposition 2.5: Proves that $\text{Isop}^u(A)$ is f-complete
• Proposition 5.2: Proves that $S_B$ is a β-complete inverse subsemigroup

Experimental Results

Main Theoretical Results

1. Trace map invariance: Successfully resolves the invariance problem of trace maps under inverse semigroup actions
2. Galois correspondence: Establishes complete bidirectional correspondence, generalizing the group action case
3. Equivalent characterizations: Provides eleven equivalent conditions, offering multiple methods to verify Galois extensions

Scope of Applications

• E-unitary inverse semigroup actions: Complete theory
• General inverse semigroup actions: Via β-maximal subsemigroups
• Inverse semigroups with zero: Correspondence in the categorical zero case

Related Work

Historical Development

1. Auslander-Goldman (1960): First introduced the concept of Galois extensions for commutative rings
2. CHR (1965): Developed Galois theory for finite group actions
3. VZ (1966): Introduced groupoid actions, first appearance of orthogonality conditions
4. Recent work: 13 first addressed ordered groupoids, but still required orthogonality

Uniqueness of This Paper's Contributions

• First inverse semigroup Galois theory avoiding orthogonality conditions
• Innovative σ-trace map methodology
• Complete theoretical development path from E-unitary to general inverse semigroups

Conclusions and Discussion

Main Conclusions

1. Successfully established inverse semigroup Galois theory without orthogonality conditions
2. The σ-trace map provides an effective tool for handling inverse semigroup actions
3. The Galois correspondence theorem generalizes classical results to the inverse semigroup setting

Theoretical Significance

• Enriches non-commutative Galois theory
• Provides new tools for ring-theoretic applications of inverse semigroups
• Connects inverse semigroup theory with Galois theory

Future Directions

1. Generalization to non-commutative rings
2. Study of infinite inverse semigroups
3. Exploration of connections with other algebraic structures

In-Depth Evaluation

Strengths

1. Strong theoretical innovation: First successful avoidance of orthogonality conditions, resolving a long-standing technical obstacle
2. Ingenious methodology: The introduction of σ-trace maps is both natural and effective
3. Complete structure: Comprehensive theoretical framework from E-unitary to general cases
4. Rigorous proofs: Mathematically sound arguments with clear logical flow

Technical Contributions

1. σ-trace map: Core technical innovation solving the invariance problem
2. β-completeness: New concept precisely characterizing subsemigroups in the correspondence
3. Unified framework: Incorporates group actions, groupoid actions, and inverse semigroup actions into a unified theory

Limitations

1. Finiteness restriction: Theory primarily addresses finite inverse semigroups
2. Commutativity restriction: Does not address non-commutative rings
3. Application scope: As foundational theory, concrete applications remain to be developed

Impact Assessment

• Theoretical value: Opens new directions for ring-theoretic research on inverse semigroups
• Methodological value: The σ-trace map technique may have broader applications
• Generalization potential: Provides a template for Galois theory of related algebraic structures

References

This paper cites important literature in the field, including:

• 1 Pioneering work of Auslander-Goldman
• 5 Classical theory of CHR
• 14 Lawson's monograph on inverse semigroup theory
• 2,8 Modern developments in partial actions

Overall Assessment: This is a high-quality pure mathematics theory paper that achieves significant breakthroughs in inverse semigroup Galois theory. The introduction of the σ-trace map cleverly resolves technical difficulties, and the established Galois correspondence theorem possesses important theoretical value. The paper is well-structured with rigorous proofs, laying a solid foundation for further development in this field.