Related papers: Derived operations satisfy standard identities
Derivations extend the concept of differentiation from functions to algebraic structures as linear operators satisfying the Leibniz rule. In Lie algebras, derivations form a Lie algebra via the commutator bracket of linear endomorphisms.…
The operad of moulds is realized in terms of an operational calculus of formal integrals (continuous formal power series). This leads to many simplifications and to the discovery of various suboperads. In particular, we prove a conjecture…
Let D be the ring of differential operators on a smooth irreducible affine variety X over the complex numbers; or, more generally, the enveloping algebra of any locally free Lie algebroid on X. The category of finitely-generated graded…
The purpose of this paper is to give a characterisation of divided power algebras over a reduced operad. Such a characterisation is given in terms of polynomial operations, following the classical example of divided power algebras. We…
We investigate algebras with one operation. We study when these algebras form a monoidal category and analyze Koszulness and cyclicity of the corresponding operads. We also introduce a new kind of symmetry for operads, the dihedrality,…
As one knows, for every Poisson manifold $M$ there exists a formal noncommutative deformation of the algebra of functions on it; it is determined in a unique way (up to an equivalence relation) by the given Poisson bivector. Let a Lie…
We survey the many instances of derived bracket construction in differential geometry, Lie algebroid and Courant algebroid theories, and their properties. We recall and compare the constructions of Buttin and Vinogradov, and we prove that…
Motivated by the Poisson Dixmier-Moeglin equivalence problem, a systematic study of commutative unitary rings equipped with a {\em biderivation}, namely a binary operation that is a derivation in each argument, is here begun, with an eye…
The classical Dong Lemma for distributions over a Lie algebra lies in the foundation of vertex algebras theory. In this paper, we find necessary and sufficient condition for a variety of nonassociative algebras with binary operations to…
We propose a simple approach to formal deformations of associative algebras. It exploits the machinery of multiplicative coresolutions of an associative algebra A in the category of A-bimodules. Specifically, we show that certain…
We study the problem of modeling a binary operation that satisfies some algebraic requirements. We first construct a neural network architecture for Abelian group operations and derive a universal approximation property. Then, we extend it…
We introduce notions of ${\mathcal O}$-operators of the Loday algebras including the dendriform algebras and quadri-algebras as a natural generalization of Rota-Baxter operators. The invertible $\mathcal O$-operators give a sufficient and…
We introduce a dual notion of the Poisson algebra by exchanging the roles of the two binary operations in the Leibniz rule defining the Poisson algebra. We show that the transposed Poisson algebra thus defined not only shares common…
We define $\mathcal{O}$-operators on a Lie $\infty$-algebra $E$ with respect to an action of $E$ on another Lie $\infty$-algebra and we characterize them as Maurer-Cartan elements of a certain Lie $\infty$-algebra obtained by Voronov's…
Dendriform algebras are certain associative algebras whose product splits into two binary operations and the associativity splits into three new identities. In this paper, we study finite group actions on dendriform algebras. We define…
If we are given a smooth differential operator in the variable $x\in {\mathbb R}/2\pi {\mathbb Z},$ its normal form, as is well known, is the simplest form obtainable by means of the $\mbox{Diff}(S^1)$-group action on the space of all such…
Derivatives and integration operators are well-studied examples of linear operators that commute with scaling up to a fixed multiplicative factor; i.e., they are scale-invariant. Fractional order derivatives (integration operators) also…
The associative operad is the quotient of the magmatic operad by the operad congruence identifying the two binary trees of degree $2$. We introduce here a generalization of the associative operad depending on a nonnegative integer $d$,…
We present some general theorems about operator algebras that are algebras of functions on sets, including theories of local algebras, residually finite dimensional operator algebras and algebras that can be represented as the scalar…
The Leibniz bracket of an operator on a (graded) algebra is defined and some of its properties are studied. A basic theorem relating the Leibniz bracket of the commutator of two operators to the Leibniz bracket of them, is obtained. Under…