Related papers: Fine structures inside the PreLie operad
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…
We study Lie-Rinehart algebra structures in the framework provided by a duality pairing of modules over a unital commutative associative algebra. Thus, we construct examples of Lie brackets corresponding to a fixed anchor map whose image is…
It is shown that the non-trivial cocycles on simple Lie algebras may be used to introduce antisymmetric multibrackets which lead to higher-order Lie algebras, the definition of which is given. Their generalised Jacobi identities turn out to…
The present article takes advantage of the properties of algebras in the category of S-modules (twisted algebras) to investigate further the fine algebraic structure of Hopf operads. We prove that any Hopf operad P carries naturally the…
We develop the fine structure theory of operator-premice. These are a generalization of standard premice, in which an abstract operator $F$ is used to form the successor steps in the internal hierarchy of the premouse, instead of Jensen's…
We study an analogue of the notion of p-restricted Lie-algebra and of the notion of divided power algebra for PreLie-algebras. We deduce our definitions from the general theory of operads. We consider two variants \Lambda(P,-) and…
We study pre-Lie pairs, by which we mean a pair of a homotopy Lie algebra and a pre-Lie algebra with a compatible pre-Lie action. Such pairs provide a wealth of algebraic structure, which in particular can be used to analyze the homotopy…
We show that the celebrated operad of pre-Lie algebras is very rigid: it has no "non-obvious" degrees of freedom from either of the three points of view: deformations of maps to and from the "three graces of operad theory", homotopy…
We define a homology theory for pre-crossed modules that specifies to rack homology in the case when the pre-crossed module is freely generated by a rack.
This paper is about the relation of the geometry of Lie groupoids over a fixed compact manifold and the geometry of their (infinite-dimensional) bisection Lie groups. In the first part of the paper we investigate the relation of the…
A theory of cyclic elements in semisimple Lie algebras is developed. It is applied to an explicit construction of regular elements in Weyl groups.
In this work we deal with coverings and actions of Lie group- groupoids being a sort of the structured Lie groupoids. Firstly, we define an action of a Lie group-groupoid on some Lie group and the smooth coverings of Lie group-groupoids.…
We construct the linear Poisson structure on the predual bundle of a Banach Lie algebroid. It is an alternative approach to the already known results on the linear sub-Poisson structure on the dual bundle. We also discuss the existence of…
PIE is a Prolog-embedded environment for automated reasoning on the basis of first-order logic. Its main focus is on formulas, as constituents of complex formalizations that are structured through formula macros, and as outputs of reasoning…
The PostLie algebra is an enriched structure of the Lie algebra that has recently arisen from operadic study. It is closely related to pre-Lie algebra, Rota-Baxter algebra, dendriform trialgebra, modified classical Yang-Baxter equations and…
We introduce an orbifold induction procedure which provides a systematic construction of cyclic orbifolds, including their twisted sectors. The procedure gives counterparts in the orbifold theory of all the current-algebraic constructions…
In this paper, we construct a pre-Lie structure on the free Lie algebra L(E) generated by a set E, giving an explicit presentation of L(E) as the quotient of the free pre-Lie algebra generated by E, by some ideal I. The main result in this…
The associative operad is a certain algebraic structure on the sequence of group algebras of the symmetric groups. The weak order is a partial order on the symmetric group. There is a natural linear basis of each symmetric group algebra,…
Consider $\mathbb{Z}/8\mathbb{Z}\oplus \mathbb{Z}/2\mathbb{Z}$, and the subgroup generated by $(2,1)$, it is a subgroup isomorphic to $\mathbb{Z}/4\mathbb{Z}$. If my theorem holds, it must contained in a cyclic group generated by some…
Two aspects on the important notion of pre-Lie algebras are pre-Lie bialgebras (or left-symmetric bialgebras) with motivation from para-K\"ahler Lie algebras, and Nijenhuis operators on pre-Lie algebras arising from their deformation…