Paolo Salvatore, Roberto Tauraso
We show that the operad Lie is free as a non-symmetric operad. Then we study the generating series counting the operadic generators, finding a recursive formula for its coefficients, and showing that the asymptotic density of the operadic generators is 1/e.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
继续探索
We define a family of multigraded operads $O_λ$ depending on a scalar parameter, such that forgetting the multigraduation gives back the pre-Lie operad when the parameter $λ$ is equal to one, and the NAP operad governing Non-Associative Permutative algebras when $λ$ is equal to zero.
Using methods of computer algebra, especially Gröbner bases for submodules of free modules over polynomial rings, we solve a classification problem in theory of algebraic operads: we show that the only nontrivial (possibly inhomogeneous) distributive law between the operad of Lie algebras and the operad of commutative associative algebras is given by the Livernet-Loday formula deforming the Poisson operad into the associative operad.
Hypertrees and embedding of the $\mathrm{FMan}$ operad
该研究围绕Dotsenko关于FMan操作子可嵌入ComPreLie操作子的猜想展开，通过建立Greg树与PreLie操作子扭的联系、给出ComPreLie的有根超树森林组合描述等，借助操作子扭技术证明了该猜想。
Combinatorics of pre-Lie products sharing a Lie bracket
研究共享同一李括号的多个 pre-Lie 代数结构所对应的 operad，证明其具有类似 pre-Lie operad 的组合描述及诸多代数性质。
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 structure of twisted Hopf P-algebra. Many properties of classical Hopf algebraic structures are then shown to be encapsulated in the twisted Hopf algebraic structure of the corresponding Hopf operad. In particular, various classical theorems of Lie theory relating Lie polynomials to words (i.e. elements of the tensor algebra) are lifted to arbitrary Hopf operad…
A theorem of Kontsevich relates the homology of certain infinite dimensional Lie algebras to graph homology. We formulate this theorem using the language of reversible operads and mated species. All ideas are explained using a pictorial calculus of cuttings and matings. The Lie algebras are constructed as Hamiltonian functions on a symplectic operad manifold. And graph complexes are defined for any mated species. The general formulation gives us many examples including a graph homology for groups. We also speculate on the role of deformation theory for operads in this setting.
A Pre-Lie algebra is a vector space L endowed with a bilinear product * : L \times L to L satisfying the relation (x*y)*z-x*(y*z)= (x*z)*y-x*(z*y), for all x,y,z in L. We give an explicit combinatorial description in terms of rooted trees of the operad associated to this type of algebras and prove that it is a Koszul operad.
We define a generalization of Massey products for algebras over a Koszul operad in characteristic zero, extending Massey's and Allday's and Retah's in the associative and Lie cases, respectively. We establish connections with minimal models and with Dimitrova's universal operadic cohomology class. We compute a Gerstenhaber algebra example and a hypercommutative algebra example related to the Chevalley-Eilenberg complex of the Heisenberg Lie algebra.
Moduli problems for operadic algebras
本文推广了Pridham和Lurie关于特征零下形式模问题与李代数等价的定理，建立了Koszul算子代数参数化的形式模问题与其Koszul对偶算子代数的对应关系，并给出了pre-Lie结构对应置换形式模问题及算子形式模问题对应增广算子等实例。
Action of the graded Grothendieck-Teichmueller (GT) group on a resolution of the operad of Gerstenhaber algebras (GA) is defined. It is shown that the induced Lie algebra action is homotopically non-trivial (i.e. the induced map from the Lie algebra of the graded GT group to the deformation complex of the operad of GA is injective).
This article aims at a detailed analysis of the PreLie operad. We obtain a more concrete description of the relationship between the anticyclic structure of PreLie and the generators of PreLie as a Lie-module, which was known before only at the level of characters. Building on this, we obtain an inclusion of the cyclic Lie module in the PreLie operad. We conjecture that the image of this inclusion generates an interesting free sub-operad.
Homological freeness criterion for operadic modules and application to Cohen-Macalayness of posets
本文提出Koszul operad上operadic模同调自由准则的变体，应用于装饰划分偏序集，证明其增广Cohen-Macaulay并计算同调，回答了相关开放问题。
We prove that the algebra $\cal{A}$ of chord diagrams, the dual to the associated graded algebra of Vassiliev knot invariants, is isomorphic to the universal enveloping algebra of a Casimir Lie algebra in a certain tensor category (the PROP for Casimir Lie algebras). This puts on a firm ground a known statement that the algebra $\cal{A}$ ``looks and behaves like a universal enveloping algebra''. An immediate corollary of our result is the conjecture of Bar-Natan, Garoufalidis, Rozansky, and Thurston on the Kirillov-Duflo isomorphism for algebras of chord diagrams. Our main tool is a general co…
The paper gives an explicit description of the Weiss embedding tower in terms of spaces of maps of truncated modules over the framed Fulton-MacPherson operad.
We construct for any algebra over an operad an Hochschild chain complex. In the case of the singular cochain complex of a topological space, considered as a commutative algebra up to homotopy, we show that this complex computes the singular cohomology of the free loop space over this topological space.
An operad describes a category of algebras and a (co)homology theory for these algebras may be formulated using the homological algebra of operads. A morphism of operads $f:\mathcal{O}\rightarrow\mathcal{P}$ describes a functor allowing a $\mathcal{P}$-algebra to be viewed as an $\mathcal{O}$-algebra. We show that the $\mathcal{O}$-algebra (co)homology of a $\mathcal{P}$-algebra may be represented by a certain operadic comodule. Thus filtrations of this comodule result in spectral sequences computing the (co)homology. As a demonstration we study operads with a filtered distributive law; for th…
We define the $m$th Veronese power of a weight graded operad $\mathcal{P}$ to be its suboperad $\mathcal{P}^{[m]}$ generated by operations of weight $m$. It turns out that, unlike Veronese powers of associative algebras, homological properties of operads are, in general, not improved by this construction. However, under some technical conditions, Veronese powers of quadratic Koszul operads are meaningful in the context of the Koszul duality theory. Indeed, we show that in many important cases the operads $\mathcal{P}^{[m]}$ are related by Koszul duality to operads describing strongly homotopy …
From the Lie operad to the Grothendieck-Teichmüller group
本文研究平移 Lie operad 到其多微分版本标准态射的形变复形，证明其与 Kontsevich 图复形拟同构，并揭示 GRT_1 对称性、d=1 时唯一非平凡形变及泛包络函子的强同伦刚性。
It is shown that for any morphism, i: g --> h, of Lie algebras the vector space underlying the Lie algebra h is canonically a g-homogeneous formal manifold with the action of g being highly nonlinear and twisted by Bernoulli numbers. This fact is obtained from the study of a 2-coloured operad of formal homogeneous spaces and its minimal resolution, and is used to give a new conceptual explanation of both Ziv Ran's Jacobi-Bernoulli complex and Fiorenza-Manetti's L-infinity algebra structure on the mapping cone of a morphism of two Lie algebras. All these constructions are iteratively extended t…
An operadic framework is developed to explain the inversion formula relating moments and cumulants in operator-valued free probability theory.
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, related to the group basis by Mobius inversion for the weak order. We describe the operad structure on this second basis: the surprising result is that each operadic composition is a sum over an interval of the weak order. We deduce that the coradical filtration is an operad filtration. The Lie operad, a suboperad of the associative operad, sits in the first c…
We relate the operad FMan controlling the algebraic structure on the tangent sheaf of an $F$-manifold (weak Frobenius manifold) defined by Hertling and Manin to the operad PreLie of pre-Lie algebras: for the filtration of PreLie by powers of the ideal generated by the Lie bracket, the associated graded object is FMan.
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 notion of a multifiltration of a linear operad generalizing the concept of a filtration of an associative algebra. We describe a particular way of constructing and analyzing multifiltrations based on a presentation of a linear operad in terms of generators and relations. In particular, that allows us to observe a special role played in this context by Lie, Lie…
In previous works by the authors, a bifunctor was associated to any operadic twisting morphism, taking a coalgebra over a cooperad and an algebra over an operad, and giving back the space of (graded) linear maps between them endowed with a homotopy Lie algebra structure. We build on this result by using a more general notion of $\infty$-morphism between (co)algebras over a (co)operad associated to a twisting morphism, and show that this bifunctor can be extended to take such $\infty$-morphisms in either one of its two slots. We also provide a counterexample proving that it cannot be coherently…
A Gentle Introduction to Algebraic Operads
本文系统介绍代数算畴理论，证明结合、交换和李代数可分别作为算畴 As、Com、Lie 的表示范畴被统一恢复，并建立算畴与经典代数之间的范畴同构。
Extended (tri)dendriform algebras, pre-Lie algebras and post-Lie algebras as companion structures of extended Rota-Baxter algebras
本文引入扩展（三）枝形代数、pre-Lie代数与post-Lie代数，建立其结构关系，证明它们可由扩展Rota-Baxter算子导出，并通过带括号的字构造自由扩展Rota-Baxter代数。
One-parameter deformations of the diassociative and dendriform operads
本研究结合Livernet和Loday提出的结合operad极化构造与结合运算的树状分裂方法，借助二次operad的Koszul对偶，实现了非对称树状、双结合operad到对称operad范畴的单参数形变。
The goal of this article is to make explicit a structured complex whose homology computes the cohomology of the p-profinite completion of the n-fold loop space of a sphere of dimension d=n-m<n. This complex is defined purely algebraically, in terms of characteristic structures of E_n-operads. Our construction involves: the free complete algebra in one variable associated to any E_n-operad; and an element in this free complete algebra, which is associated to a morphism from the operad of L-infinity algebras to an operadic suspension of our E_n-operad. We deduce our main theorem from: a connecti…
We develop a canonical pairing between trees and graphs, which passes to their quotients by Jacobi identities. This pairing is an effective and simple tool for understanding the Lie and Poisson operads, providing canonical duals. In the course of showing that this pairing is perfect we reprove some standard facts about the modules Lie(n), establishing standard bases as well as giving a new means to reduce to those bases. We then move on to define duals to free Lie algebras and to develop product, coproduct and operad structures. We give a brief account here to be built on in a number of differ…
The Deligne-Getzler-Hinich--$\infty$-groupoid or Maurer-Cartan simplicial set of an $L_\infty$-algebra plays an important role in deformation theory and many other areas of mathematics. Unfortunately, this construction only works over a field of characteristic $0$. The goal of this paper is to show that the notions of Maurer-Cartan equation and Maurer-Cartan simplicial set can be defined for a much larger number of operads than just the $L_\infty$-operad. More precisely, we show that the Koszul dual of every unital Hopf cooperad (a cooperad in the category of unital associative algebras) with …
Quiver varieties have recently appeared in various different areas of Mathematics such as representation theory of Kac-Moody algebras and quantum groups, instantons on 4-manifolds, and resolutions Kleinian singularities. In this paper, we show that many important affine quiver varieties, e.g., the Calogero-Moser space, can be imbedded as coadjoint orbits in the dual of an appropriate infinite dimensional Lie algebra. In particular, there is an infinitesimally transitive action of the Lie algebra in question on the quiver variety. Our construction is based on an extension of Kontsevich's formal…
We study a family of Lie algebras {hO} which are defined for cyclic operads O. Using his graph homology theory, Kontsevich identified the homology of two of these Lie algebras (corresponding to the Lie and associative operads) with the cohomology of outer automorphism groups of free groups and mapping class groups of punctured surfaces, respectively. In this paper we introduce a hairy graph homology theory for O. We show that the homology of hO embeds in hairy graph homology via a trace map which generalizes the trace map defined by S. Morita. For the Lie operad we use the trace map to find la…
We correct a mistake in the construction of push-outs along free morphisms of algebras over a nonsymmetric operad in arXiv:1101.1634 [math.AT], and we fix the affected results in arXiv:1101.1634 [math.AT] and arXiv:1304.6641 [math.AT].
Several generating series for flows on rooted trees are introduced, as elements in the group of series associated with the Pre-Lie operad. By combinatorial arguments, one proves identities that characterise these series. One then gives a complete description of the image of these series in the group of series associated with the Dendriform operad. This allows to recover the Lie idempotents in the descent algebras recently introduced by Menous, Novelli and Thibon. Moreover, one defines new Lie idempotents and conjecture the existence of some others.
We show that the zeroth cohomology of M. Kontsevich's graph complex is isomorphic to the Grothendieck-Teichmueller Lie algebra grt_1. The map is explicitly described. This result has applications to deformation quantization and Duflo theory. We also compute the homotopy derivations of the Gerstenhaber operad. They are parameterized by grt_1, up to one class (or two, depending on the definitions). More generally, the homotopy derivations of the (non-unital) E_n operads may be expressed through the cohomology of a suitable graph complex. Our methods also give a second proof of a result of H. Fur…
This paper provides a conceptual study of the twisting procedure, which amounts to create functorially new differential graded Lie algebras, associative algebras or operads (as well as their homotopy versions) from a Maurer--Cartan element. On the way, we settle the integration theory of complete pre-Lie algebras in order to describe this twisting procedure in terms of gauge group action. We give a criterion on quadratic operads for the existence of a meaningful twisting procedure of their associated categories of (homotopy) algebras. We also give a new presentation of the twisting procedure f…
Poisson Pseudoalgebras
本文通过为余交换Hopf代数和左模构造算畴，引出并推广了Poisson伪代数的概念，并提出了两种新的上同调理论。
We establish a new and surprisingly strong link between two previously unrelated theories: the theory of moduli spaces of curves ${\mathcal M}_{g,n}$ (which, according to Penner, is controlled by the ribbon graph complex) and the homotopy theory of $E_d$ operads (controlled by ordinary graph complexes with no ribbon structure, introduced first by Kontsevich). The link between the two goes through a new intermediate {\em stable}\, ribbon graph complex which has roots in the deformation theory of quantum $A_\infty$ algebras and the theory of Kontsevich compactifications of moduli spaces of curve…
In two seminal papers M. Kontsevich introduced graph homology as a tool to compute the homology of three infinite dimensional Lie algebras, associated to the three operads `commutative,' `associative' and `Lie.' We generalize his theorem to all cyclic operads, in the process giving a more careful treatment of the construction than in Kontsevich's original papers. We also give a more explicit treatment of the isomorphisms of graph homologies with the homology of moduli space and Out(F_r) outlined by Kontsevich. In [`Infinitesimal operations on chain complexes of graphs', Mathematische Annalen, …
We prove that free pre-Lie algebras, when considered as Lie algebras, are free. Working in the category of S-modules, we define a natural filtration on the space of generators. We also relate the symmetric group action on generators with the structure of the anticyclic PreLie operad.
We analyze a functor from cyclic operads to chain complexes first considered by Getzler and Kapranov and also Markl. This functor is a generalization of the graph homology considered by Kontsevich, which was defined for the three operads Comm, Assoc, and Lie. More specifically we show that these chain complexes have a rich algebraic structure in the form of families of operations defined by fusion and fission. These operations fit together to form uncountably many Lie-infinity and co-Lie-infinity structures. In particular, the chain complexes have a bracket and cobracket which are compatible i…
扫码添加微信好友，提出您的宝贵建议 👇
💡 备注请填写：网站反馈
发表机构由 AI 从论文文本抽取，如发现错误，欢迎反馈修正建议。