Related papers: Compatible actions in semi-abelian categories

A well-known theorem of P. Hall, usually called Hall's criterion for nilpotence, states: a group G is nilpotent whenever it has a normal subgroup N such that G/[N,N] and N are nilpotent. We widely generalize this result, replacing groups…

In the context of ideally exact categories, we introduce the notions of internal coherent action and internal ideal action that generalise different aspects of unital actions of rings and algebras. We prove that every ideal action is…

The notion of associativity (which differs from the straightforward generalization of the usual associativity given by the move of parentheses in the relevant expression) for operations of high arity is introduced. It is proved that the…

The aim of this paper is to investigate the homology groups of mathematical models of concurrency. We study the Baues-Wirsching homology groups of a small category associated with a partial monoid action on a set. We prove that these groups…

It is known to experts that certain regular inclusions of von Neumann algebras arise as crossed products with cocycle actions of the canonical quotient groupoids associated with the inclusions. Similarly, `strongly normal' inclusions of…

The definition of an action functional for the Jacobi sigma models, known for Jacobi brackets of functions, is generalized to \emph{Jacobi bundles}, i.e., Lie brackets on sections of (possibly nontrivial) line bundles, with the particular…

In the context of internal crossed modules over a fixed base object in a given semi-abelian category, we use the non-abelian tensor product in order to prove that an object is perfect (in an appropriate sense) if and only if it admits a…

The smooth action of a compact Lie group on a compact manifold can be resolved to an iterated space, as made explicit by Pierre Albin and the second author. On the resolution the lifted action has fixed isotropy type, in an iterated sense,…

For an object $A$ of a category of interest $\mathbb{C}$ we construct the group with operations ${\mathfrak{B}}(A)$ and the semidirect product ${\mathfrak{B}}(A)\ltimes A$ and prove that there exists an actor of $A$ in $\mathbb{C}$ if and…

The theory of abelian categories proved very useful, providing an axiomatic framework for homology and cohomology of modules over a ring and, in particular, of abelian groups. For many years, a similar categorical framework has been lacking…

We generalize the BF theory action to the case of a general Lie crossed module $(H \to G)$, where $G$ and $H$ are non-abelian Lie groups. Our construction requires the existence of $G$-invariant non-degenerate bilinear forms on the Lie…

We introduce the labelling map and the quasi-free action of a locally compact abelian group on a graph $C^*$-algebra of a row-finite directed graph. Some necessary conditions for embedding the crossed product to an $AF$ algebra are…

A generalization of the original Diffie-Hellman key exchange in $(\Z/p\Z)^*$ found a new depth when Miller and Koblitz suggested that such a protocol could be used with the group over an elliptic curve. In this paper, we propose a further…

In this work we investigate the notion of action or coaction of a finite quantum groupoid in von Neumann algebras context. In particular we prove a double crossed product theorem and prove the existence of an universal von Neumann algebra…

Let G be a group and let P be a subsemigroup of G. In order to describe the crossed product of a C*-algebra A by an action of P by unital endomorphisms we find that we must extend the action to the whole group G. This extension fits into a…

The equivariant cohomology for actions of compact connected abelian groups and elementary abelian p-groups have been widely studied in the last decades. We study some of these results on actions of finite cyclic groups over a field of…

We introduce normal cores, as well as the more general action cores, in the context of a semi-abelian category, and further generalise those to split extension cores in the context of a homological category. We prove that, if the category…

We consider the category of partial actions, where the group and the set upon which the group acts can vary. Within this framework, we develop a theory of quotient partial actions and prove that this category is both (co)complete and…

We show that the Peiffer commutator previously defined by Cigoli, Mantovani and Metere can be used to characterize central extensions of precrossed modules with respect to the subcategory of crossed modules in any semi-abelian category…

We prove a structure result on proper extensions of two-sided restriction semigroups in terms of partial actions, generalizing respective results for monoids and for inverse semigroups and upgrading the latter. We introduce and study…