arXiv subjects

Emily Burgunder

Publications and source records attributed to Emily Burgunder.

7 recordsLinked to original sources

arXiv2019

Confluence laws and Hopf-Borel type theorem for operads

In 2008, Loday shed light on the existence of Hopf-Boreltheorems for operads. Using the vocabulary of category theory, Livernet,Mesablishvili and Wisbauer extended such theorems to monads. In bothcases, the reasoning was to start from a mixed distributive law andthen to prove that it induces an isomorphism of species to finally geta rigidity theorem. Our reasoning goes here backward: we prove thatfrom an isomorphism of species one can get what we called a confluencelaw, which generalises mixed distributive laws, and that it is enough toobtain a rigidity theorem. This enables us to show that for any operadsP and Q having the same underlying S-module, there exists a confluencelaw $α$ such that any conilpotent P coQ-bialgebra satisfying $α$ is free andcofree over its primitive elements. Our reasoning permits us to generatemany new examples, while recovering the known ones by consideringdual relations.

math.CO↗

arXiv2017

An operad is never free as a pre-Lie algebra

An operad is naturally endowed with a pre-Lie structure. We prove that as a pre-Lie algebra an operad is not free. The proof holds on defining a non-vanishing linear operation in the pre-Lie algebra which is zero in any operad.

math.RA↗

arXiv2009

Tridendriform structure on combinatorial Hopf algebras

We extend the definition of tridendriform bialgebra by introducing a weight q. The subspace of primitive elements of a q-tridendriform bialgebra is equipped with an associative product and a natural structure of brace algebra, related by a distributive law. This data is called q-Gerstenhaber-Voronov algebras. We prove the equivalence between the categories of connected q-tridendriform bialgebras and of q-Gerstenhaber-Voronov algebras. The space spanned by surjective maps, as well as the space spanned by parking functions, have natural structures of q-tridendriform bialgebras, denoted ST(q) and PQSym(q)*, in such a way that ST(q) is a sub-tridendriform bialgebra of PQSym(q)*. Finally we show that the bialgebra of M-permutations defined by T. Lam and P. Pylyavskyy may be endowed with a natural structure of q-tridendriform algebra which is a quotient of ST(q).

math.RA↗

arXiv2008

A symmetric version of Kontsevich graph complex and Leibniz homology

Kontsevich has proven that the Lie homology of the Lie algebra of symplectic vector fields can be computed in terms of the homology of a graph complex. We prove that the Leibniz homology of this Lie algebra can be computed in terms of the homology of a variant of the graph complex endowed with an action of the symmetric groups. The resulting isomorphism is shown to be a Zinbiel-associative bialgebra isomorphism.

math.QA↗

arXiv2008

Partial magmatic bialgebras

A partial magmatic bialgebra, (T;S)-magmatic bialgebra where T \subset S are subsets of the set of positive integers, is a vector space endowed with an n-ary operation for each n in S and an m-ary co-operation for each m in T satisfying some compatibility and unitary relations. We prove an analogue of the Poincaré-Birkhoff-Witt theorem for these partial magmatic bialgebras.

math.RA↗

arXiv2006

Eulerian idempotent and Kashiwara-Vergne conjecture

By using the interplay of the Eulerian idempotent and the Dynkin idempotent, we construct explicitly a particular symmetric solution (F,G) of the first equation of the Kashiwara-Vergne conjecture: x+y-log(exp(y)exp(x))=(1-exp(-ad x))F(x,y)+(exp(ad y)-1)G(x,y) . Then, we explicit all the solutions of the equation in the completion of the free Lie algebra generated by two indeterminates x and y thanks to the kernel of the Dynkin idempotent.

math.QA↗

arXiv2006

Infinite magmatic bialgebras

An infinite magmatic bialgebra is a vector space endowed with an n-ary operation, and an n-ary cooperation, for each n, verifying some compatibility relations. We prove a rigidity theorem, analogue to the Hopf-Borel theorem for commutative bialgebras: any connected infinite magmatic bialgebra is of the form $Mag^\infty(Prim H)$, where $Mag^\infty(V)$ is the free infinite magmatic algebra over the vector space V.

math.RA↗