Abstract:We study crossed modules in the context of algebras over an operad. To do so, in the first section, we adapt the methods of Janelidze by reviewing the notions of internal actions, precrossed modules and crossed modules in the operadic case. Moreover, we extract the Peiffer relations, well known in the Lie case, for precrossed modules over an arbitrary operad. We prove that our notion of crossed modules is equivalent to the one of Janelidze by proving that our crossed modules of algebras over a fixed operad are equivalent to categories internal to algebras over this fixed operad. In the second section, we study the notion of crossed modules of algebras over an operad as introduced by Leray-Riviere-Wagemann in <a class="link-https" data-arxiv-id="2411.04614" href="https://arxiv.org/abs/2411.04614">arXiv:2411.04614</a> and prove it to be equivalent to the already existing notions of crossed modules. Roughly speaking, a crossed module in the sense of Leray-Rivière-Wagemann is an algebra structure on a chain complex concentrated in degrees 0 and 1. We highlight a "codescent" process which allows us to endow the degree one and zero terms of the chain complex with algebra structures such that the differential is an algebra morphism. Moreover, we prove it to be a crossed module. In fact we prove that the approach to crossed modules of Leray-Riviere-Wagemann is equivalent to the one of Janelidze. This new approach, together with the codescent process, allows us to introduce higher crossed modules in a very concise and explicit way, and we prove them to be equivalent to n-fold categories internal to algebras, for some n.

Higher crossed modules of algebras over an operad

Crossed modules and cohomology of algebras over an operad

Crossed modules

Crossed Modules for Lie 2-Algebras

Crossed products by abelian semigroups via transfer operators

On crossed modules of pre-Lie algebras

A characterization of crossed self-similarity on crossed modules in L-algebras

Higher configuration operads by way of quiver Grassmannians

Operations on the Hochschild Bicomplex of a Diagram of Algebras

Involutive categories, colored $\ast$-operads and quantum field theory

Algebras for enriched $\infty$-operads

Operads of decorated cliques II: Noncrossing cliques

Computing $G$-Crossed Extensions and Orbifolds of Vertex Operator Algebras

Reconstruction of module categories in the infinite and non-rigid settings

Crossed squares of cocommutative Hopf algebras

Cyclic duality between BV algebras and BV modules

Commutators and crossed modules of color Hopf algebras

Coproduct idempotent algebras over internal operads in enriched $\infty$-categories

Modular operads and the nerve theorem

Deligne tensor products of categories of modules for vertex operator algebras

PD Operads and Explicit Partition Lie Algebras