arxiv: 2604.22578 · v1 · submitted 2026-04-24 · 🧮 math.CT · math.GR

Recognition: unknown

Weak action representability of 2-nilpotent groups

Alessandro Dioguardi Burgio , Manuel Mancini , Tim Van der Linden

Authors on Pith no claims yet

Pith reviewed 2026-05-08 08:42 UTC · model grok-4.3

classification 🧮 math.CT math.GR

keywords 2-nilpotent groupsaction representabilitycentral automorphismsamalgamation propertyweak actorscategory of groupsderived actionslocally algebraically cartesian closed

0 comments

The pith

The category of 2-nilpotent groups is weakly action representable, with weak representing objects that can be chosen abelian.

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

The paper shows that in the category of 2-nilpotent groups, every action of one object on another can be weakly represented by a suitable object that encodes all possible derived actions. This weak representation is obtained by first identifying the universal actor as the group of central automorphisms of the acted-upon object, then applying the amalgamation property to families of its abelian subgroups. The result establishes weak action representability while ruling out full action representability and local algebraic cartesian closedness. A sympathetic reader cares because this clarifies the boundary between representable and weakly representable actions in a concrete algebraic category of groups.

Core claim

In the category Nil_2(Grp) of 2-nilpotent groups, derived actions of an object B on an object X correspond bijectively to group homomorphisms from B to the group Aut_c(X) of central automorphisms of X. Although Nil_2(Grp) admits no action-representing object, the amalgamation of a suitable family of abelian subgroups of Aut_c(X) produces an abelian group that weakly represents all actions on X. The category is also shown to lack local algebraic cartesian closedness.

What carries the argument

The group Aut_c(X) of central automorphisms of X, used to characterize derived actions and then amalgamated over abelian subgroups to form a weak actor.

If this is right

Derived actions of one 2-nilpotent group on another are completely determined by homomorphisms into the group of central automorphisms.
A weak representing object for actions on any given X can always be taken to be an abelian group.
The category Nil_2(Grp) fails to be action representable in the strict sense.
Nil_2(Grp) is not locally algebraically cartesian closed.

Where Pith is reading between the lines

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

The same amalgamation technique might extend to categories of nilpotent groups of higher class where central automorphism groups remain manageable.
Weak representability could serve as a useful intermediate notion between full representability and no representability in other algebraic categories of groups.
The failure of local algebraic cartesian closedness may constrain the existence of certain limits or exponentials in related categories of nilpotent groups.

Load-bearing premise

Derived actions in Nil_2(Grp) admit an algebraic characterization via morphisms into Aut_c(X), and the amalgamation property can be applied to families of abelian subgroups of Aut_c(X) to produce a valid weak actor.

What would settle it

A concrete 2-nilpotent group X together with a family of actions on X whose amalgamated weak actor fails to satisfy the universal property for all derived actions, or a direct counterexample showing that no abelian group can serve as a weak actor for some X.

read the original abstract

In this article, we investigate the representability of actions of the category $\mathsf{Nil}_2(\mathsf{Grp})$ of $2$-nilpotent groups. We first provide an algebraic characterisation of derived actions in $\mathsf{Nil}_2(\mathsf{Grp})$ by determining a universal strict general actor of an object $X$, which turns out to be the group $\operatorname{Aut}_c(X)$ of central automorphisms of $X$. We also characterise the morphisms $B \to \operatorname{Aut}_c(X)$ that define an action of $B$ on $X$ in $\mathsf{Nil}_2(\mathsf{Grp})$. We then show that $\mathsf{Nil}_2(\mathsf{Grp})$ is not action representable, and that the existence of a weak representation is related to the amalgamation property. Using the construction of an amalgam of a suitable family of abelian subgroups of $\operatorname{Aut}_c(X)$, we prove that the category $\mathsf{Nil}_2(\mathsf{Grp})$ is weakly action representable, and that a weak representing object can be chosen to be an abelian group. Finally, we show that $\mathsf{Nil}_2(\mathsf{Grp})$ is not locally algebraically cartesian closed.

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.

Desk Editor's Note private letter to a colleague

The paper shows Nil_2(Grp) is weakly action representable with an abelian weak actor via amalgamation of abelian subgroups of Aut_c(X), but not action representable or locally algebraically cartesian closed.

read the letter

The main point is that the category of 2-nilpotent groups is weakly action representable, with a weak actor that can be chosen abelian, while it fails to be action representable and fails to be locally algebraically cartesian closed. They give an algebraic characterisation of derived actions by taking the group of central automorphisms Aut_c(X) as the universal strict general actor, plus a description of which maps B to Aut_c(X) count as actions in this setting, then build the weak actor by amalgamating a suitable family of abelian subgroups of Aut_c(X).

Referee Report

2 major / 2 minor

Summary. The manuscript investigates action representability in the category Nil_2(Grp) of 2-nilpotent groups. It provides an algebraic characterisation of derived actions via the group of central automorphisms Aut_c(X) as the universal strict general actor, characterises the morphisms B to Aut_c(X) that correspond to actions, proves that the category is not action representable, constructs a weak actor as an amalgam of a suitable family of abelian subgroups of Aut_c(X) to show weak action representability with the weak actor being abelian, and demonstrates that the category is not locally algebraically cartesian closed.

Significance. If the amalgamation construction is rigorously established, this provides a significant concrete example in categorical algebra of a category that is weakly action representable (with an abelian weak actor) but neither action representable nor locally algebraically cartesian closed. The characterisation of derived actions via central automorphisms and the link to the amalgamation property offer reusable tools for studying representability in other varieties of groups.

major comments (2)

[Proof of weak action representability (amalgamation construction)] In the proof of weak action representability via amalgamation: the construction takes a 'suitable family' of abelian subgroups of Aut_c(X) and forms their amalgam W, claiming this yields a weak actor with a map W → Aut_c(X) such that actions of B on X correspond bijectively to morphisms B → W. The manuscript must explicitly define the family and prove that it is simultaneously large enough for every allowed morphism B → Aut_c(X) to factor through W and small enough that the induced map W → Aut_c(X) is a well-defined group homomorphism (i.e., that the images of distinct subgroups commute in Aut_c(X) so the amalgam relations are respected). This is load-bearing for the central claim; without it the universal property fails.
[Algebraic characterisation of derived actions] In the algebraic characterisation of derived actions: the precise condition on morphisms B → Aut_c(X) that define an action of B on X in Nil_2(Grp) must be stated as an explicit property or equation (e.g., involving the image being abelian or factoring through B^{ab}). This condition is used to select the family for the amalgam and must be verified to be compatible with the amalgamation.

minor comments (2)

[Abstract] The abstract refers to 'a suitable family' without any hint of its selection criterion; a single sentence indicating how the family is chosen (e.g., 'the family of all maximal abelian subgroups' or similar) would improve accessibility.
[Notation and terminology] Notation for the category alternates between Nil_2(Grp) and mathsf{Nil}_2(mathsf{Grp}); adopt a single consistent form throughout.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for their careful reading of the manuscript and for highlighting the need for greater explicitness in the proofs of our central results. Their comments are constructive and have prompted us to strengthen the presentation. We address each major comment in turn below, indicating the revisions made to the manuscript.

read point-by-point responses

Referee: In the proof of weak action representability via amalgamation: the construction takes a 'suitable family' of abelian subgroups of Aut_c(X) and forms their amalgam W, claiming this yields a weak actor with a map W → Aut_c(X) such that actions of B on X correspond bijectively to morphisms B → W. The manuscript must explicitly define the family and prove that it is simultaneously large enough for every allowed morphism B → Aut_c(X) to factor through W and small enough that the induced map W → Aut_c(X) is a well-defined group homomorphism (i.e., that the images of distinct subgroups commute in Aut_c(X) so the amalgam relations are respected). This is load-bearing for the central claim; without it the universal property fails.

Authors: We agree that the amalgamation construction requires a more explicit and self-contained treatment to rigorously establish the universal property. In the revised manuscript, we define the suitable family explicitly as the set of all abelian subgroups of Aut_c(X) that arise as images of morphisms φ: B → Aut_c(X) for which φ corresponds to a derived action in Nil_2(Grp), as characterised in the preceding section. We prove that this family is large enough by showing that every valid morphism factors through the amalgam via the universal property of the colimit of the family. To ensure the family is small enough for the amalgam to be well-defined, we verify that any two such subgroups commute elementwise: this follows from the 2-nilpotency condition, which forces central automorphisms arising from valid actions to act trivially on commutators and hence to commute with one another. The induced map W → Aut_c(X) is therefore a well-defined homomorphism, and the bijection between actions and morphisms B → W holds by construction of the amalgam. revision: yes
Referee: In the algebraic characterisation of derived actions: the precise condition on morphisms B → Aut_c(X) that define an action of B on X in Nil_2(Grp) must be stated as an explicit property or equation (e.g., involving the image being abelian or factoring through B^{ab}). This condition is used to select the family for the amalgam and must be verified to be compatible with the amalgamation.

Authors: The manuscript already characterises the morphisms B → Aut_c(X) that define derived actions, but we accept that an explicit equation or property statement improves clarity and directly supports the amalgamation argument. In the revision, we state the condition as follows: a morphism φ: B → Aut_c(X) defines a derived action if and only if the image φ(B) is abelian and φ factors through the abelianisation B^{ab} in a manner compatible with the central action (specifically, the induced action satisfies the commutator identity [φ(b)(x), y] = 1 for all x, y in the derived subgroup of X). We then verify compatibility with the amalgamation by proving that this condition implies elementwise commutation between images of distinct morphisms, ensuring the family selected for the amalgam satisfies the necessary relations without introducing inconsistencies. revision: yes

Circularity Check

0 steps flagged

No significant circularity detected in the derivation chain.

full rationale

The paper characterises derived actions in Nil_2(Grp) via the standard group Aut_c(X) of central automorphisms and then invokes the amalgamation property on a suitable family of its abelian subgroups to construct a weak actor. These steps rest on external definitions from categorical algebra and group theory rather than any self-definitional loop, fitted parameter renamed as prediction, or load-bearing self-citation whose content reduces to the present claims. The non-representability and non-locally-algebraically-cartesian-closed results are shown by counter-examples or direct comparison with the weak case, keeping the central positive result independent of its own inputs.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The central claims rest on the standard axioms of group theory, the definition of 2-nilpotency (commutator subgroup central), and the categorical notions of derived actions and amalgamation; no new free parameters or invented entities are introduced.

axioms (2)

standard math Standard axioms of groups and the definition that a group is 2-nilpotent when its commutator subgroup lies in the center.
Invoked throughout to define the category Nil_2(Grp) and central automorphisms.
domain assumption Existence and properties of the amalgamation of abelian subgroups inside Aut_c(X).
Used to construct the weak representing object; drawn from prior categorical algebra.

pith-pipeline@v0.9.0 · 5525 in / 1336 out tokens · 60730 ms · 2026-05-08T08:42:30.720683+00:00 · methodology

discussion (0)

Reference graph

Works this paper leans on

30 extracted references · 16 canonical work pages

[1]

Barr,Exact Categories, Lecture Notes in Mathematics236(1971), 1–120

M. Barr,Exact Categories, Lecture Notes in Mathematics236(1971), 1–120

1971
[2]

Borceux, G

F. Borceux, G. Janelidze and G. M. Kelly,Internal object actions, Commentationes Mathem- aticae Universitatis Carolinae46(2005), no. 2, 235–255

2005
[3]

Borceux, G

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

2005
[4]

Bourn,Normalization equivalence, kernel equivalence and affine categories, Lecture Notes in Mathematics1488(1991), 43–62

D. Bourn,Normalization equivalence, kernel equivalence and affine categories, Lecture Notes in Mathematics1488(1991), 43–62

1991
[5]

Bourn and J

D. Bourn and J. R. A. Gray,Aspects of algebraic exponentiation, Bulletin of the Belgian Math- ematical Society – Simon Stevin19(2012), no. 5, 823–846. DOI: 10.36045/bbms/1354031552

work page doi:10.36045/bbms/1354031552 2012
[6]

Bourn and G

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

2009
[7]

J. Brox, X. García-Martínez, M. Mancini, T. Van der Linden and C. Vienne,Weak represent- ability of actions of non-associative algebras, Journal of Algebra669(2025), no. 18, 401–444. DOI: 10.1016/j.jalgebra.2025.02.007

work page doi:10.1016/j.jalgebra.2025.02.007 2025
[8]

J. M. Casas, T. Datuashvili and M. Ladra,Universal strict general actors and actors in categories of interest, Applied Categorical Structures18(2010), 85–114. DOI: 10.1007/s10485- 008-9166-z

work page doi:10.1007/s10485- 2010
[9]

A. S. Cigoli, J. R. A. Gray and T. Van der Linden,Algebraically coherent categories, Theory and Applications of Categories30(2015), no. 54, 1864–1905

2015
[10]

A. S. Cigoli, M. Mancini and G. Metere,On the representability of actions of Leibniz algebras and Poisson algebras, Proceedings of the Edinburgh Mathematical Society66(2023), no. 4, 998–1021. DOI: 10.1017/S0013091523000548

work page doi:10.1017/s0013091523000548 2023
[11]

Datuashvili,Cohomologically trivial internal categories in categories of groups with opera- tions, Applied Categorical Structures3(1995), 221–237

T. Datuashvili,Cohomologically trivial internal categories in categories of groups with opera- tions, Applied Categorical Structures3(1995), 221–237. DOI: 10.1007/BF00878442

work page doi:10.1007/bf00878442 1995
[12]

García-Martínez and M

X. García-Martínez and M. Mancini,Action accessible and weakly action representable varieties of algebras, Bollettino dell’Unione Matematica Italiana (2025). DOI: 10.1007/s40574- 025-00496-1

work page doi:10.1007/s40574- 2025
[13]

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 Algebra223(2019), no. 11, 4857–4870. DOI: 10.1016/j.jpaa.2019.02.018

work page doi:10.1016/j.jpaa.2019.02.018 2019
[14]

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 Mathematics341(2019), 92–117. DOI: 10.1016/j.aim.2018.10.034

work page doi:10.1016/j.aim.2018.10.034 2019
[15]

García-Martínez, M

X. García-Martínez, M. Tsishyn, T. Van der Linden and C. Vienne,Algebras with representable representations, Proceedings of the Edinburgh Mathematical Society64(2021), no. 2, 555–573. DOI: 10.1017/S0013091521000304

work page doi:10.1017/s0013091521000304 2021
[16]

M. Gran, G. Kadjo, and J. Vercruysse,A torsion theory in the category of cocommutative Hopf algebras, Applied Categorical Structures24(2016), 269–282. DOI: 10.1007/s10485-015-9396-9

work page doi:10.1007/s10485-015-9396-9 2016
[17]

Gray,Algebraic exponentiation for categories of Lie algebras, Journal of Pure and Applied Algebra216(2012), no

J.R.A. Gray,Algebraic exponentiation for categories of Lie algebras, Journal of Pure and Applied Algebra216(2012), no. 8–9, 1964–1967. DOI: 10.1016/j.jpaa.2012.02.034

work page doi:10.1016/j.jpaa.2012.02.034 2012
[18]

J. R. A. Gray,Algebraic Exponentiation in General Categories, Ph.D. thesis, University of Cape Town, 2010

2010
[19]

J. R. A. Gray,Algebraic exponentiation in general categories, Applied Categorical Structures 20(2012), no. 6, 543–567. DOI: 10.1007/s10485-011-9251-6

work page doi:10.1007/s10485-011-9251-6 2012
[20]

J. R. A. Gray,A note on the relationship between action accessible and weakly action representable categories, Theory and Applications of Categories44(2025), no. 8, 272–276

2025
[21]

Janelidze,Central extensions of associative algebras and weakly action representable categories, Theory and Applications of Categories38(2022), no

G. Janelidze,Central extensions of associative algebras and weakly action representable categories, Theory and Applications of Categories38(2022), no. 36, 1395–1408

2022
[22]

A compendium on amalgamation, congruence extension, epimorphisms, residual smallness, and injectivity, Studia Scientiarum Mathematicarum Hungarica18(1983), 79–141

E.W.Kiss, L.Márki, P.PröhleandW.Tholen,Categorical algebraic properties. A compendium on amalgamation, congruence extension, epimorphisms, residual smallness, and injectivity, Studia Scientiarum Mathematicarum Hungarica18(1983), 79–141

1983
[23]

Janelidze, L

G. Janelidze, L. Márki and W. Tholen,Semi-abelian categories, Journal of Pure and Applied Algebra168(2002), no. 2, 367–386. DOI: 10.1016/S0022-4049(01)00103-7

work page doi:10.1016/s0022-4049(01)00103-7 2002
[24]

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

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

1993
[25]

Mancini,On the representability of actions of non-associative algebras, Ph.D

M. Mancini,On the representability of actions of non-associative algebras, Ph.D. Thesis (2024), University of Palermo, Italy.https://hdl.handle.net/10447/623093

2024
[26]

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

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

2010
[27]

B. H. Neumann,Permutational products of groups, Journal of the Australian Mathematical Society1(1960), no. 3, 299–310. 16 A. DIOGUARDI BURGIO, M. MANCINI, AND T. V AN DER LINDEN

1960
[28]

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

G. Orzech,Obstruction theory in algebraic categories I and II, Journal of Pure and Applied Algebra2(1972), no. 4, 287–314 and 315–340. DOI: 10.1016/0022-4049(72)90008-4

work page doi:10.1016/0022-4049(72)90008-4 1972
[29]

Street and R

R. Street and R. Walters,Yoneda structures on 2-categories, Journal of Algebra50(1978), no. 2, 350–379. DOI: 10.1016/0021-8693(78)90160-6

work page doi:10.1016/0021-8693(78)90160-6 1978
[30]

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, M. Gran, eds.), Coimbra Mathematical Texts, vol. 1, Springer, Cham, 2021, 225–258. DOI: 10.1007/978-3-030-84319-9_7 Email address:alessandro.dioguardiburgio@unipa.it Email address:manuel.mancini@unipa.it; manuel.mancini@uclouvai...

work page doi:10.1007/978-3-030-84319-9_7 2021