Globalization of Partial Group Actions on Not Necessarily Associative Algebras and Covariant Representations
Pith reviewed 2026-05-08 13:12 UTC · model grok-4.3
The pith
The Lambda-construction globalizes partial group actions on non-associative algebras inside their defining variety V(I).
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
For an algebra A lying in the variety V(I) and equipped with a partial action of a group G, the Lambda-construction produces an algebra B still in V(I) together with a global G-action that extends the original partial action; B is initial among all such globalizations. The same construction induces an adjunction between the category of partial covariant representations and the category of global covariant representations when the algebras are associative or Lie, and it respects semidirect products in the Lie setting.
What carries the argument
The Lambda-construction, which produces from a partial group action on an algebra in V(I) a global algebra inside the same variety that satisfies the universal property with respect to all other globalizations.
If this is right
- Every partial group action on an algebra in V(I) admits a globalization that remains inside V(I).
- The globalization produced by the Lambda-construction is universal: any other globalization factors through it uniquely.
- The construction induces an adjoint pair of functors between the categories of partial and global covariant representations for both associative and Lie algebras.
- The Lambda-construction preserves semidirect products when applied to Lie algebras.
Where Pith is reading between the lines
- The method may apply directly to other varieties such as alternative or Jordan algebras once their identities are fixed.
- The universal property could be used to classify partial actions up to equivalence by examining only their globalizations.
- Explicit computation of the Lambda-construction on a non-associative example such as the octonions would test whether new identities appear or disappear under globalization.
Load-bearing premise
The Lambda-construction can always be defined for any partial group action on an algebra obeying the identities I and yields an object inside V(I) that satisfies the required universal property.
What would settle it
A concrete variety V(I), an algebra A in V(I), and a partial group action on A for which the Lambda-construction either leaves V(I) or fails to be initial among globalizations.
read the original abstract
We extend the concept of a partial group action to non-associative algebras in a variety \(\mathcal{V}(I)\), solve the globalization problem within \(\mathcal{V}(I)\) and examine its universal property. It is achieved using what we call the ``$\Lambda$-construction'', which we also apply to deal with covariant representations in the associative and Lie algebra settings, considering related categories and constructing an adjoint pair of functors between them. We also show that the $\Lambda$-construction behaves well with semidirect products of Lie algebras.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper extends partial group actions to non-associative algebras in a variety V(I), solves the globalization problem within V(I) using the Lambda-construction, and examines its universal property. It applies the Lambda-construction to covariant representations in associative and Lie algebra settings by constructing an adjoint pair of functors between related categories. The paper also shows that the Lambda-construction behaves well with semidirect products of Lie algebras.
Significance. This work is significant as it provides a general framework for globalizing partial group actions in arbitrary varieties of non-associative algebras, extending beyond the usual associative and Lie cases. The use of the Lambda-construction to solve the globalization problem and establish universal properties is a key contribution. Additionally, the applications to covariant representations and compatibility with semidirect products demonstrate the construction's versatility. The stress-test concern that the Lambda-construction may fail to land in V(I) for arbitrary I does not apply here, as the manuscript explicitly constructs and verifies the preservation of the identities I within the variety.
minor comments (2)
- [§1] The introduction could include a short example of a partial action on a non-associative algebra to illustrate the concepts before the general construction.
- [Notation] The notation for the variety V(I) is clear but ensuring consistency with standard references in the field would be helpful.
Simulated Author's Rebuttal
We thank the referee for their positive and encouraging report on our manuscript. The recommendation for minor revision is appreciated, and we note that no specific major comments were raised in the report. We will incorporate any minor editorial suggestions during the revision process.
Circularity Check
No circularity; existence and universal-property claims are self-contained
full rationale
The paper introduces the Lambda-construction as a new tool to extend partial group actions to algebras in an arbitrary variety V(I) and to establish globalization plus universal properties. No equations appear that define a quantity in terms of itself, no parameters are fitted to data and then relabeled as predictions, and no load-bearing step reduces to a self-citation whose content is merely the present claim restated. The central results are stated as existence theorems and adjoint-functor constructions whose verification is independent of the inputs by construction. The derivation chain therefore remains non-circular.
Axiom & Free-Parameter Ledger
Reference graph
Works this paper leans on
-
[1]
F. Abadie. Enveloping actions and Takai duality for partial actions. J. Funct. Anal., 197(1):14–67, 2003
work page 2003
-
[2]
E. R. Alvares, M. M. S. Alves, and E. Batista. Partial Hopf module categories. J. Pure Appl. Algebra, 217:1517–1534, 2013
work page 2013
-
[3]
M. M. Alves and T. L. Ferrazza. Morita equivalence and globalization for partial Hopf actions on nonunital algebras. J. Algebra Appl., 24(11):46, 2024. Id/No 2550262
work page 2024
-
[4]
M. M. S. Alves and E. Batista. Enveloping actions for partial Hopf actions. Commun. Algebra, 38(8):2872–2902, 2010
work page 2010
-
[5]
M. M. S. Alves and E. Batista. Globalization theorems for partial Hopf (co)actions and some of their applications. Contemp. Math., 537:13–30, 2011
work page 2011
-
[6]
M. M. S. Alves, E. Batista, M. Dokuchaev, and A. Paques. Globalization of twisted partial Hopf actions. J. Aust. Math. Soc., 101:1–28, 2016
work page 2016
-
[7]
M. M. S. Alves, E. Batista, and J. Vercruysse. Dilations of partial representations of Hopf algebras. J. Lond. Math. Soc. II. Ser. 100, ((1)):273–300, 2019
work page 2019
-
[8]
D. Bagio and A. Paques. Partial groupoid actions: globalization, Morita theory, and Galois theory. Comm. Algebra, 40(10):3658–3678, 2012
work page 2012
- [9]
-
[10]
D. Bagio and H. Pinedo. Globalization of partial actions of groupoids on nonunital rings. J. Algebra Appl., 15(5):1650096, 16, 2016
work page 2016
-
[11]
E. Batista, F. L. Castro, and M. Khrypchenko. Partial actions of groups on monoidal categories. Preprint, arXiv:2412.13123 [math.CT] (2024), 2024
-
[12]
E. Batista, W. Hautekiet, and J. Vercruysse. Globalization and the biactegory of partial modules. Preprint, arXiv:2506.18451 [math.RA] (2025), 2025
-
[13]
L. Bemm and M. Ferrero. Globalization of partial actions on semiprime rings. J. Algebra Appl., 12(4):1250202, 9, 2013
work page 2013
- [14]
-
[15]
W. Cortes and M. Ferrero. Globalization of partial actions on semiprime rings. In Groups, rings and group rings, volume 499 of Contemp. Math., pages 27–35. Amer. Math. Soc., Providence, RI, 2009
work page 2009
- [16]
-
[17]
P. Demeneghi, V. Mar´ ın, F. A. Tasca, and W. G. G. Velasco. A p-theorem for inverse semigroupoids through ordered globalizations. arXiv, 2025
work page 2025
-
[18]
P. Demeneghi and F. A. Tasca. Globalization of partial inverse semigroupoid actions on sets. Commun. Algebra, 53(5):1904–1920, 2025
work page 1904
-
[19]
M. Dokuchaev, ´A. del R´ ıo, and J. J. Sim´ on. Globalizations of partial actions on nonunital rings.Proc. Am. Math. Soc., 135(2):343–352, 2007. 26
work page 2007
-
[20]
M. Dokuchaev and R. Exel. Associativity of crossed products by partial actions, enveloping actions and partial representations. Trans. Am. Math. Soc., 357(5):1931–1952, 2005
work page 1931
-
[21]
M. Dokuchaev, R. Exel, and J. J. Sim´ on. Globalization of twisted partial actions. Trans. Am. Math. Soc., 362(8):4137–4160, 2010
work page 2010
-
[22]
R. Exel. Partial Dynamical Systems, Fell Bundles and Applications. American Mathematical Society, 2017
work page 2017
-
[23]
D. Ferraro. Construction of globalizations for partial actions on rings, algebras,c ∗-algebras and hilbert bimodules. Rocky Mt. J. Math., 48(1):181–217, 2018
work page 2018
-
[24]
M. Ferrero. Partial actions of groups on semiprime rings. In Groups, rings and group rings, volume 248 of Lect. Notes Pure Appl. Math., pages 155–162. Chapman & Hall/CRC, Boca Raton, FL, 2006
work page 2006
-
[25]
G. Fonseca, E. Fontes, and G. Martini. Multiplier Hopf algebras: globalization for partial actions. Int. J. Algebra Comput., 30(3):539–565, 2020
work page 2020
- [26]
-
[27]
N. D. Gilbert. Actions and expansions of ordered groupoids. J. Pure Appl. Algebra, 198(1-3):175–195, 2005
work page 2005
-
[28]
V. Gould and C. Hollings. Partial actions of inverse and weakly left e-ample semigroups. J. Aust. Math. Soc., 86(3):355–377, 2009
work page 2009
- [29]
- [30]
-
[31]
E. Jerez. On the homology of partial group representations. (preprint), 2024
work page 2024
-
[32]
J. Kellendonk and M. V. Lawson. Partial actions of groups. Int. J. Algebra Comput., 14(01):87–114, 2004
work page 2004
-
[33]
M. Khrypchenko and F. Klock. Partial monoid actions on objects in categories with pullbacks and their globalizations. J. Pure Appl. Algebra, 228(11):30, 2024. Id/No 107734
work page 2024
-
[34]
M. Khrypchenko and B. Novikov. Reflectors and globalizations of partial actions of groups. J. Aust. Math. Soc., 104(3):358–379, 2018
work page 2018
- [35]
-
[36]
G. Kudryavtseva. Partial monoid actions and a class of restriction semigroups. J. Algebra, 429:342–370, 2015
work page 2015
-
[37]
G. Kudryavtseva and V. Laan. Globalization of partial actions of semigroups. Semigroup Forum, 107(1):200–217, 2023
work page 2023
- [38]
-
[39]
V. Mar´ ın and H. Pinedo. Partial groupoid actions onr-categories: globalization and the smash product. J. Algebra Appl., 19(5):22p, 2020
work page 2020
-
[40]
V. Mar´ ın, H. Pinedo, and J. L. V. Rodr´ ıguez. Partial groupoid actions on smooth manifolds.Bull. Braz. Math. Soc. (N.S.), 1:25p, 2025
work page 2025
-
[41]
M. G. Megrelishvili and L. Schr¨ oder. Globalization of confluent partial actions on topological and metric spaces. Topology Appl, 145(1-3):119–145, 2004
work page 2004
-
[42]
P. Nystedt. Partial category actions on sets and topological spaces. Commun. Algebra, 46(2):671–683, 2018
work page 2018
-
[43]
R. Palais. A global formulation of the Lie theory of transformation groups. Mem. Am. Math. Soc., 0:0–0, 1957
work page 1957
-
[44]
P. Saracco and J. Vercruysse. Globalization for geometric partial comodules. J. Algebra, 602:37–59, 2022
work page 2022
-
[45]
P. Saracco and J. Vercruysse. On the globalization of geometric partial (co)modules in the categories of topological spaces and algebras. Semigroup Forum, 105(2):534–550, 2022
work page 2022
-
[46]
P. Saracco and J. Vercruysse. Geometric partial comodules over flat coalgebras in abelian categories are globalizable. J. Pure Appl. Algebra, 228(3):31, 2024
work page 2024
- [47]
-
[48]
J. L. Vilca Rodr´ ıguez and W. Cortes. Globalizations of partial group actions on non-associative algebras. J. Algebra Appl., 23(9):24, 2024. Id/No 2450139. 27
work page 2024
-
[49]
K. A. Zhevlakov, A. M. Slin’ko, I. P. Shestakov, and A. I. Shirshov. Rings That Are Nearly Associative. Academic Press, New York, 1982. English translation of the Russian Near-Associative Rings (Nauka, Moscow, 1978). (M. Dokuchaev)Departamento de Matem ´atica, Universidade de S ˜ao Paulo, Rua do Mat ˜ao, 1010, 05508-090 S˜ao Paulo, Brazil Email address:do...
work page 1982
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.