pith. sign in

arxiv: 2503.04488 · v2 · submitted 2025-03-06 · 🧮 math.CT · math.RA

On the representability of actions of unital algebras

Manuel Mancini , Federica Piazza , Corentin Vienne This is my paper

Pith reviewed 2026-05-23 01:26 UTC · model grok-4.3

classification 🧮 math.CT math.RA
keywords action representabilityunital algebrasexternal weak actorideally exact categoriesoperadic varietiesPoisson algebrasnon-associative algebras
0
0 comments X

The pith

In operadic action-accessible unit-closed varieties, a unital algebra represents its own actions via the external weak actor.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper first shows that categories of unital algebras are typically not action representable, as the full category of unital algebras fails even to be action accessible. It then restricts to operadic, action accessible, unit-closed varieties V and proves that for any algebra X in V the canonical map from X to its external weak actor is an isomorphism precisely when X is unital. This makes the subcategory V1 of unital algebras action representable, with the actor of each object X coinciding with X itself. The same conclusion is obtained for unital Poisson algebras by an explicit construction of the universal strict general actor.

Core claim

For any algebra X in an operadic, action accessible, unit-closed variety V, the canonical map into its external weak actor is an isomorphism if and only if X is unital; consequently the ideally exact category V1 of unital algebras in V is action representable and the actor of X is X itself.

What carries the argument

The external weak actor construction, which supplies a canonical map from any algebra to a candidate representing object whose bijectivity is equivalent to unitality under the stated hypotheses on V.

If this is right

  • The subcategory of unital algebras in any such V is action representable.
  • For every unital X the representing object (actor) is X itself.
  • Unital Poisson algebras form an action-representable category via an explicit universal strict general actor.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • The result supplies a uniform reason why many familiar unital non-associative structures (Lie, associative, Jordan) become action representable once restricted to the unital case.
  • It suggests checking whether other concrete varieties satisfy the three hypotheses and therefore inherit the same self-representation property.
  • The failure outside these hypotheses indicates that action representability is a delicate property sensitive to the presence of units.

Load-bearing premise

The variety V must be operadic, action accessible, and unit-closed so that the external weak actor exists and the equivalence to unitality holds.

What would settle it

An explicit operadic action-accessible unit-closed variety V together with a unital algebra X in V for which the canonical map to the external weak actor fails to be an isomorphism.

read the original abstract

Working in the setting of ideally exact categories, we investigate the representability of actions of unital non-associative algebras over a field. We show that, in general, such categories fail to be action representable: for instance, the category of all unital algebras is not even action accessible. We then consider this problem in the context of operadic, action accessible, unit-closed varieties. Using the construction of the external weak actor, we prove that for any algebra $X$ in such a variety $\mathsf{V}$, the canonical map into its external weak actor is an isomorphism if and only if $X$ is unital. Consequently, the ideally exact category $\mathsf{V}_1$ of unital algebras in $\mathsf{V}$ is action representable, and the actor of $X$ is $X$ itself. Finally, we prove action representability for unital Poisson algebras via an explicit construction of the universal strict general actor.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

0 major / 2 minor

Summary. Working in ideally exact categories, the paper shows that categories of unital non-associative algebras over a field are not action representable in general, as the category of all unital algebras is not action accessible. In the setting of operadic, action accessible, unit-closed varieties V, it proves that for any algebra X in V the canonical map to its external weak actor is an isomorphism precisely when X is unital. As a consequence, the category V1 of unital algebras in V is action representable with the actor of X being X itself. The paper also gives an explicit construction of the universal strict general actor to prove action representability for unital Poisson algebras.

Significance. The results provide a clear distinction between general and restricted settings for action representability of unital algebras. The iff characterization using the external weak actor is a key insight, and the explicit construction for Poisson algebras serves as an independent verification for a concrete case. These findings advance the theory of action representability in categorical algebra by identifying the conditions under which the actor coincides with the algebra itself.

minor comments (2)
  1. [Abstract] The abstract could benefit from a short reference to the notion of ideally exact categories and the external weak actor construction.
  2. [The section on unital Poisson algebras] The explicit construction is highlighted as a strength; however, the manuscript should ensure that the universal property is stated with sufficient detail to allow verification without additional references.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their positive summary, significance assessment, and recommendation of minor revision. No major comments were listed in the report, so we have no specific points to address point-by-point. We will handle any minor editorial suggestions in the revised manuscript.

Circularity Check

0 steps flagged

No significant circularity

full rationale

The derivation applies the external weak actor construction inside the explicitly stated hypotheses of operadic, action-accessible, unit-closed varieties to obtain the iff statement that the canonical map is an isomorphism precisely when X is unital; this yields action representability of V1 with actor equal to X. The negative result on the category of all unital algebras is a separate counter-example. The explicit construction for unital Poisson algebras supplies an independent concrete check. No step reduces by definition, by fitted input renamed as prediction, or by load-bearing self-citation chain; the argument remains self-contained against external benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The paper works inside the standard axioms of category theory and universal algebra; no free parameters or invented entities are introduced.

axioms (2)
  • domain assumption Ideally exact categories possess the required exactness and action properties used throughout
    Invoked as the ambient setting for all representability statements.
  • domain assumption Operadic varieties admit the external weak actor construction
    Used to obtain the canonical map and the iff statement.

pith-pipeline@v0.9.0 · 5691 in / 1206 out tokens · 28559 ms · 2026-05-23T01:26:40.872716+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score.

  1. Coherent and ideal actions in ideally exact categories

    math.CT 2025-07 unverdicted novelty 6.0

    Defines internal coherent and ideal actions in ideally exact categories, proves every ideal action is coherent with converse in some contexts, and analyzes links to Janelidze's semidirect products.

Reference graph

Works this paper leans on

27 extracted references · 27 canonical work pages · cited by 1 Pith paper

  1. [1]

    Borceux, G

    F. Borceux, G. Janelidze and G. M. Kelly, Internal object actions , Commentationes Math- ematicae Universitatis Carolinae 46 (2005), no. 2, 235–255

    work page 2005

  2. [2]

    Borceux, G

    F. Borceux, G. Janelidze and G. M. Kelly, On the representability of actions in a semi-abelian category, Theory and Applications of Categories 14 (2005), no. 11, 244–286

    work page 2005

  3. [3]

    Bourn and G

    D. Bourn and G. Janelidze, Centralizers in action accessible categories , Cahiers de Topologie et Géométrie Différentielle Catégoriques 50 (2009), no. 3, 211–232

    work page 2009

  4. [4]

    J. Brox, X. García-Martínez, M. Mancini, T. Van der Linde n and C. Vienne, Weak rep- resentability of actions of non-associative algebras , Journal of Algebra 669 (2025), no. 18, 401–444

    work page 2025

  5. [5]

    J. M. Casas, T. Datuashvili and M. Ladra, Universal strict general actors and actors in categories of interest , Applied Categorical Structures 18 (2010), 85–114

    work page 2010

  6. [6]

    A. S. Cigoli, M. Mancini and G. Metere, On the representability of actions of Leibniz algebras and Poisson algebras , Proceedings of the Edinburgh Mathematical Society 66 (2023), no. 4, 998–1021

    work page 2023

  7. [7]

    García-Martínez and M

    X. García-Martínez and M. Mancini, Action accessible and weakly action representable vari- eties of algebras , submitted

    work page

  8. [8]

    García-Martínez and T

    X. García-Martínez and T. Van der Linden, A characterisation of Lie algebras amongst anti- commutative algebras, Journal of Pure and Applied Algebra 223 (2019), no. 11, 4857–4870

    work page 2019

  9. [9]

    García-Martínez and T

    X. García-Martínez and T. Van der Linden, A characterisation of Lie algebras via algebraic exponentiation, Advances in Mathematics 341 (2019), 92–117

    work page 2019

  10. [10]

    García-Martínez, M

    X. García-Martínez, M. Tsishyn, T. Van der Linden and C. Vienne, Algebras with represent- able representations, Proceedings of the Edinburgh Mathematical Society 64 (2021), no. 2, 555–573

    work page 2021

  11. [11]

    J. R. A. Gray, A note on the relationship between action accessible and wea kly action rep- resentable categories, Theory and Applications of Categories 44 (2025), no. 8, 272–276

    work page 2025

  12. [12]

    Janelidze, Central extensions of associative algebras and weakly actio n representable cat- egories, Theory and Applications of Categories 38 (2022), no

    G. Janelidze, Central extensions of associative algebras and weakly actio n representable cat- egories, Theory and Applications of Categories 38 (2022), no. 36, 1395–1408

    work page 2022

  13. [13]

    Janelidze, Ideally exact categories , Theory and Applications of Categories 41 (2024), no

    G. Janelidze, Ideally exact categories , Theory and Applications of Categories 41 (2024), no. 11, 414–425

    work page 2024

  14. [14]

    Janelidze, L

    G. Janelidze, L. Márki and W. Tholen, Semi-abelian categories, Journal of Pure and Applied Algebra 168 (2002), no. 2, 367–386

    work page 2002

  15. [15]

    La Rosa and M

    G. La Rosa and M. Mancini, Two-step nilpotent Leibniz algebras , Linear Algebra and its Applications 637 (2022), no. 7, 119–137

    work page 2022

  16. [16]

    La Rosa and M

    G. La Rosa and M. Mancini, Derivations of two-step nilpotent algebras , Communications in Algebra 51 (2023), no. 12, 4928–4948

    work page 2023

  17. [17]

    La Rosa, M

    G. La Rosa, M. Mancini and G. P. Nagy, Isotopisms of nilpotent Leibniz algebras and Lie racks, Communications in Algebra 52 (2024), no. 9, 3812–3825

    work page 2024

  18. [18]

    Lapenta, G

    S. Lapenta, G. Metere, L. Spada, Relative ideals in homological categories, with an applica tion to MV-algebras , Theory and Applications of Categories 42 (2024), no. 27, 878–893

    work page 2024

  19. [19]

    Loday, Une version non commutative des algèbres de Lie: les algèbre s de Leibniz , L’Enseignement Mathématique 39 (1993), no

    J.-L. Loday, Une version non commutative des algèbres de Lie: les algèbre s de Leibniz , L’Enseignement Mathématique 39 (1993), no. 3-4, 269–293

    work page 1993

  20. [20]

    Mac Lane, Extensions and obstructions for rings , Illinois Journal of Mathematics 2 (1958), no

    S. Mac Lane, Extensions and obstructions for rings , Illinois Journal of Mathematics 2 (1958), no. 3, 316–345

    work page 1958

  21. [21]

    Mancini, Biderivations of Low-Dimensional Leibniz Algebras , Non-Associative Algebras and Related Topics II, NAART 2020 (H

    M. Mancini, Biderivations of Low-Dimensional Leibniz Algebras , Non-Associative Algebras and Related Topics II, NAART 2020 (H. Albuquerque, J. Brox, C . Martínez, P. Saraiva, P., eds), Springer Proceedings in Mathematics & Statistics , vol. 427, no. 8, Springer, Cham, 2023, pp. 127–136

    work page 2020

  22. [22]

    Montoli, Action accessibility for categories of interest , Theory and Applications of Cat- egories 23 (2010), no

    A. Montoli, Action accessibility for categories of interest , Theory and Applications of Cat- egories 23 (2010), no. 1, 7–21

    work page 2010

  23. [23]

    Orzech, Obstruction theory in algebraic categories I and II , Journal of Pure and Applied Algebra 2 (1972), no

    G. Orzech, Obstruction theory in algebraic categories I and II , Journal of Pure and Applied Algebra 2 (1972), no. 4, 287–314 and 315–340

    work page 1972

  24. [24]

    J. M. Osborn, Varieties of algebras , Advances in Mathematics 8 (1972), 163–369

    work page 1972

  25. [25]

    Reimaa, T

    Ü. Reimaa, T. Van der Linden and C. Vienne, Associativity and the cosmash product in operadic varieties of algebras , Illinois Journal of Mathematics 67 (2023), no 3, 563–59

    work page 2023

  26. [26]

    I. P. Shestakov and V. S. Bittencourt, Nonmatrix varieties of nonassociative algebras , Algebra and Logic 62 (2024), 532–547

    work page 2024

  27. [27]

    Van der Linden, Non-associative algebras , New Perspectives in Algebra, Topology and Categories (M

    T. Van der Linden, Non-associative algebras , New Perspectives in Algebra, Topology and Categories (M. M. Clementino, A. Facchini, and M. Gran, eds. ), Coimbra Mathematical Texts, vol. 1, Springer, Cham, 2021, pp. 225–258. 12 M. MANCINI AND F. PIAZZA Email address : manuel.mancini@unipa.it; manuel.mancini@uclouvain.be Email address : federica.piazza07@uni...

    work page 2021