Related papers: Fine structures inside the PreLie operad
We introduce the notion of isoclinism among crossed modules of Lie algebras, which will be called "Lie crossed modules" hereafter, and investigate some basic properties. Additionally, we introduce the notion of class preserving actor of a…
The usual time-ordering operation and the corresponding time-ordered exponential play a fundamental role in physics and applied mathematics. In this work we study a new approach to the understanding of time-ordering relying on recent…
We propose an operadic framework suitable for describing algebraic structures with operations being multilinear differential operators of varying orders or, more generally, formal series of such operators. The framework is built upon the…
We discuss the free cyclic submodules over an associative ring $R$ with unity. Special attention is paid to those, which are generated by outliers. This paper describes all orbits of such submodules in the ring of lower triangular $3$x$3$…
The main purpose of the paper is to study hyperkahler structures from the viewpoint of symplectic geometry. We introduce a notion of hypersymplectic structures which encompasses that of hyperkahler structures. Motivated by the work of…
Novikov algebras provide a simple but powerful algebraic axiomatization of important features of classical diferential calculus. We study their structure properties, modeling their relationships with commutative algebras with a derivation,…
PIE is a Prolog-embedded environment for automated reasoning on the basis of first-order logic. It includes a versatile formula macro system and supports the creation of documents that intersperse macro definitions, reasoner invocations and…
The spaces of configurations of non-$k$-overlapping discs have been studied as a bimodule over the little discs operad. In fact, the spaces form a filtered operad. We define and study the induced structure on the homology.
It is shown that there exists a particular associative ring with unity of order 16 such that the relations between nonunimodular free cyclic submodules of its two-dimensional free left module can be expressed in terms of the structure of…
Anti-pre-Lie algebras, Novikov algebras and commutative 2-cocycles on Lie algebrasWe introduce the notion of anti-pre-Lie algebras as the underlying algebraic structures of nondegenerate commutative 2-cocycles which are the "symmetric"…
In this article is studied the construction of free operads functor, for the symmetric and non-symmetric case. In order to do this, the operads are seen as monoids on the differential graded modules category. In the last part we show some…
We produce a connected real Lie group that, as a first order structure in the group language, interprets the real field expanded with a predicate for the integers. Moreover, the domain of our interpretation is definable in the group.
We study the hairy graph homology of a cyclic operad; in particular we show how to assemble corresponding hairy graph cohomology classes to form cocycles for ordinary graph homology, as defined by Kontsevich. We identify the part of hairy…
Following the structure theory approach for rings, the aim of this paper is to study some distinguished classes of Lie algebras. We introduce the notion of a Lie-module and discuss some relations of it with various classes of ideals of a…
The associative operad is a central structure in operad theory, defined on the linear span of the set of permutations. We build two analogs of the associative operad on the linear span of the set of packed words which turn out to be…
Optimization layers in deep neural networks have enjoyed a growing popularity in structured learning, improving the state of the art on a variety of applications. Yet, these pipelines lack interpretability since they are made of two opaque…
In this paper, we define a new cohomology theory for multiplicative Hom-pre-Lie algebras which controls deformations of Hom-pre-Lie algebra structure. This new cohomology is a natural one by considering the structure map. We develop…
We attach to any linear endomorphism f of any vector space V a structure of prelie algebra on the shuffle algebra T(V); we describe its enveloping algebra, the dual Hopf algebra and the associated group of characters. For f=Id\_V, we find…
We describe a Grothendieck construction for non-symmetric operads with values in categories, and hence in groupoids and posets. The construction produces a 2-category which is operadically fibered over the category D of finite non-empty…
In this note we construct an infinite-dimensional Lie group structure on the group of vertical bisections of a regular Lie groupoid. We then identify the Lie algebra of this group and discuss regularity properties (in the sense of Milnor)…