🔢 mathematics

Coherent and ideal actions in ideally exact categories

This paper introduces internal coherent and ideal actions within ideally exact categories as generalizations of unital ring and algebra actions, establishes that every ideal action is coherent (with the converse holding in specific contexts), and analyzes their relationship to G. Janelidze's notion of semidirect products.

Original authors: Manuel Mancini, Giuseppe Metere, Federica Piazza

Published 2026-05-11

📖 5 min read🧠 Deep dive

CC BY 4.0

Original authors: Manuel Mancini, Giuseppe Metere, Federica Piazza

Original paper licensed under CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ This is an AI-generated explanation of the paper below. It is not written or endorsed by the authors. For technical accuracy, refer to the original paper. Read full disclaimer

Imagine you are trying to understand how different groups of people interact. In mathematics, specifically in a field called category theory, we study "actions." Think of an action like a boss giving orders to an employee, or a key turning a lock. Usually, we study these interactions between two completely different worlds (like a group of people acting on a set of numbers).

However, this paper asks a more difficult question: What happens when the "boss" and the "employee" belong to the same world, but that world has some very specific, slightly broken rules?

The authors, Mancini, Metere, and Piazza, are exploring a mathematical landscape called "Ideally Exact Categories." To understand their work, let's use a few analogies.

1. The Setting: A World with a "Zero" Problem

In many mathematical worlds (like standard algebra), there is a "zero" element that acts as a neutral starting point. In these "pointed" worlds, things are easy to organize.

But the authors are looking at "Ideally Exact Categories." Think of this as a world where the "zero" doesn't quite exist in the usual way, or where the rules are slightly different (like in the world of rings with a "1" or certain types of logic puzzles). In this world, the standard way of describing how things interact breaks down. It's like trying to use a map designed for a flat Earth to navigate a globe; the old tools don't fit.

2. The Problem: Two Ways to Describe an Action

The authors introduce two new ways to describe how one object acts on another in this tricky world:

Coherent Actions (The "Consistent" Boss):
Imagine a boss who gives orders. For the action to be "coherent," the boss must behave consistently with the rules of the universe. Specifically, if there is a "unit" (a special identity element, like the number 1 in multiplication), the boss must treat it exactly as a unit should. If the boss ignores the rules of the unit, the action is "incoherent."
- Analogy: A manager who promises to treat the "CEO" (the unit) with special respect, ensuring that the CEO's presence doesn't break the workflow.
Ideal Actions (The "Sub-Group" Boss):
This concept comes from a classic scenario where a big algebra acts on a smaller "ideal" part of itself. Think of a large corporation where a specific department (the ideal) is being managed. An "ideal action" is one where the management structure perfectly mirrors a real, existing split in the organization.
- Analogy: A manager who is actually part of a formal, pre-existing hierarchy. The action isn't just a random assignment; it's a reflection of a real structural split in the company.

3. The Main Discovery: Consistency Implies Structure

The paper's biggest finding is a bridge between these two ideas.

The Claim: The authors prove that every "Ideal Action" is automatically "Coherent."
- The Metaphor: If you have a manager who is part of a formal, real-world hierarchy (Ideal), they will always follow the rules of consistency (Coherent). You can't have a formal hierarchy that breaks the rules of the unit.
The Big Question: Does the reverse happen? If a manager is consistent (Coherent), are they necessarily part of a formal hierarchy (Ideal)?
- The authors prove that yes, in many important and relevant mathematical worlds, this is true. They call these special worlds "BAT" contexts (standing for Buona Action Theory, or "Good Action Theory" in Italian).
- In a BAT world, being consistent is the same thing as being structurally real. There is no "fake" consistency.

4. The Connection to "Splitting"

To prove this, the authors look at "Split Epimorphisms."

Analogy: Imagine a rope that is tied to a post. A "split epimorphism" is like having a rope that can be pulled apart into two distinct pieces (the post and the rope) and then put back together perfectly without any knots.
The paper shows that in these "Good Action" (BAT) worlds, if you can pull the action apart cleanly (split it), it guarantees that the action is both coherent and ideal.

5. Real-World Examples (The Case Studies)

The authors don't just talk about abstract theory; they test their ideas on specific mathematical "universes" to see if they are "BAT" (Good Action Theory) worlds. They check:

Non-Associative Algebras: Think of these as mathematical structures where the order of operations matters (like $(A \times B) \times C \neq A \times (B \times C)$ ). They found that if these algebras have a "unit" (like the number 1), they form a BAT world.
MV-Algebras and Product Algebras: These are used in fuzzy logic (logic where things aren't just true or false, but can be "sort of true"). The authors show that these logical systems also follow the "Good Action" rules.
The Dual of Sets ( $Set^{op}$ ): This is a very abstract, reverse-engineered version of the world of sets (collections of objects). Even in this weird, reversed world, the rules of "Good Action" hold true.

Summary

In simple terms, this paper builds a new dictionary for describing how mathematical objects interact in complex, non-standard worlds.

They defined two new words: Coherent (consistent with the rules) and Ideal (structurally real).
They proved that Ideal always means Coherent.
They identified a special class of mathematical worlds (called BAT) where Coherent also means Ideal.
They showed that many important mathematical systems (like rings, fuzzy logic, and algebras) belong to this "Good" class, meaning their interactions are well-behaved and predictable.

The paper essentially says: "If you are working in these specific mathematical worlds, you don't have to worry about 'fake' consistency. If the action looks consistent, it is structurally real."

Technical Summary: Coherent and Ideal Actions in Ideally Exact Categories

Problem Statement
The paper addresses a gap in the categorical theory of internal actions, specifically within non-pointed algebraic contexts. While the theory of internal actions is well-established for pointed categories (such as semi-abelian categories) via the work of Bourn and Janelidze, many significant algebraic structures—such as unital rings, unital algebras over a field, MV-algebras, and product algebras—exist in non-pointed settings. In these contexts, the standard categorical definition of an action (via split epimorphisms and monads on kernels) often fails to capture the specific behavior of multiplicative units or the interaction between an algebra and its ideals. The authors note that while "working mathematicians" utilize notions of unital actions and actions on ideals in these non-pointed varieties, a unified categorical framework that generalizes these concepts and relates them to the existing theory of split epimorphisms was lacking.

Methodology
The authors operate within the framework of ideally exact categories, a non-pointed generalization of semi-abelian categories introduced by G. Janelidze. These categories are Barr-exact, protomodular, possess finite coproducts, and admit a regular epimorphism from the initial object to the terminal object.

The core methodology involves:

Contextual Setup: Utilizing a monadic adjunction $F \dashv U$ between an ideally exact category $\mathcal{U}$ and a semi-abelian category $\mathcal{V}$ , where the unit of the adjunction is cartesian. This setup allows the authors to lift the theory of internal actions from $\mathcal{V}$ to $\mathcal{U}$ .
Definitions:
- Relative $U$ -action: Defined as an internal action $\xi: U(B) \ltimes X \to X$ in $\mathcal{V}$ , where $B \in \mathcal{U}$ and $X \in \mathcal{V}$ .
- Coherent Action: A relative action is "coherent" if it respects the canonical unit structure. Specifically, the action must commute with the map induced by the unique morphism from the initial object, ensuring the unit acts as a unit (generalizing the behavior of unital rings).
- Ideal Action: A relative action is "ideal" if the corresponding split epimorphism in $\mathcal{V}$ arises from a split epimorphism in $\mathcal{U}$ via the functor $U$ . This generalizes the classical situation where a unital algebra acts on an ideal.
Categorical Analysis: The authors analyze the relationship between these two notions using the theory of points (split epimorphisms), monads, and semidirect products. They investigate the conditions under which the category of points over an object $B$ in $\mathcal{U}$ is equivalent to the category of algebras for a specific monad in $\mathcal{V}$ .

Key Contributions and Results

Hierarchy of Actions: The paper proves that every ideal action is coherent (Theorem 4.11). This establishes that the condition of being an "ideal action" (arising from the base category $\mathcal{U}$ ) is a sufficient condition for coherence.
The BAT Property: The authors define a class of ideally exact contexts called BAT (Buona Action Theory, or "Good Theory of Actions"). A context is BAT if the converse holds: every coherent action is ideal, and morphisms of coherent actions are ideal.
Characterization via Pullbacks: The paper establishes equivalent conditions for an ideally exact context to be BAT. Specifically, it relates the BAT property to the existence of certain pullback diagrams involving the comparison functors between categories of points and categories of algebras (Corollary 5.3).
Case Studies: The authors demonstrate that several important algebraic varieties constitute BAT contexts, thereby validating the theory:
- Unit-closed varieties of non-associative algebras: Including associative algebras, commutative associative algebras, and alternative algebras. The paper shows that for these, an action is coherent if and only if the associated split extension involves a unital algebra where the section preserves the unit (Theorem 6.8, Theorem 6.13).
- MV-algebras and Wajsberg hoops: The context of MV-algebras (equivalent to bounded Wajsberg hoops) is shown to be BAT. Coherence is characterized by the split epimorphism being a bounded Wajsberg hoop with a specific bottom element (Theorem 6.25, Theorem 6.30).
- Product algebras and product hoops: Similarly, the variety of product algebras is proven to be BAT, with coherence linked to the boundedness of the associated product hoop (Theorem 6.38, Theorem 6.39).
- Setop: The dual of the category of sets is analyzed as a non-varietal example, proving it is also a BAT context (Theorem 6.49).

Significance
The paper claims to partially bridge the gap between the abstract categorical theory of actions (developed for pointed categories) and the concrete algebraic practice in non-pointed varieties. By introducing the notions of coherent and ideal actions, the authors provide a rigorous categorical language to describe unital actions and actions on ideals. The identification of BAT contexts confirms that in these specific, highly relevant algebraic settings, the intuitive algebraic properties of units and ideals align perfectly with the categorical structure of split epimorphisms. This allows for the systematic study of semidirect products and internal actions in non-pointed environments, extending the reach of protomodular category theory to unital structures. The authors explicitly state that the general converse of Theorem 4.11 (whether all coherent actions are ideal in any ideally exact context) remains an open problem, maintaining a modest scope regarding the universality of their results.