On the operad of bigraft algebras. (Q478359): Difference between revisions
From MaRDI portal
Created a new Item |
ReferenceBot (talk | contribs) Changed an Item |
||
(6 intermediate revisions by 5 users not shown) | |||
Property / review text | |||
A bigraft algebra is a vector space \(A\) with three products \(*,\prec,\succ\) such that for all \(x,y,z\in A\): \[ \begin{alignedat}{3} (x*y)\succ z &=x\succ (y\succ z),&\quad (x\succ y)*z& =x\succ (y*z),&\quad (x\prec y)\prec z& =x\prec(y*z),\\ (x*y)\prec z& =x*(y\prec z),&\quad (x\succ y)\prec z& =x\succ (y\prec z),&\quad (x*y)*z& =x*(y*z).\end{alignedat} \] The free bigraft algebra \(H\) on one generator is described. It admits a basis of planar rooted forests whose edges are decorated by two elements denoted by \(l\) and \(r\), with certain conditions, and the three products admit combinatorial definitions. A combinatorial description of the underlying operad is deduced. Its Koszul dual is given, the associated homology is described and finally it is proved that it is Koszul, using the rewriting method. Two coproducts are defined on \(H\). The first one, similar to the Connes-Kreimer coproduct on rooted trees, makes it a Hopf algebra. A Hopf pairing, conjecturally nondegenerate, is also defined, and compatibilities between the products and this coproduct are studied. The second coproduct makes it an infinitesimal bialgebra. It turns out that the space of primitive elements for this coproduct is an \(\mathcal L\)-algebra, that is to say it is equipped with the two products \(\prec\) and \(\succ\), and for all \(x,y,z\in\mathrm{Prim}(H)\), \((x\succ y)\prec z=x\succ (y\prec z)\). A Cartier-Quillen-Milnor-Moore theorem finally gives a good triple of operads involving the operads of associative algebras, of bigraft operads, and of \(\mathcal L\)-algebras: any connected infinitesimal bigraft bialgebra is the enveloping algebra of an \(\mathcal L\)-algebra. | |||
Property / review text: A bigraft algebra is a vector space \(A\) with three products \(*,\prec,\succ\) such that for all \(x,y,z\in A\): \[ \begin{alignedat}{3} (x*y)\succ z &=x\succ (y\succ z),&\quad (x\succ y)*z& =x\succ (y*z),&\quad (x\prec y)\prec z& =x\prec(y*z),\\ (x*y)\prec z& =x*(y\prec z),&\quad (x\succ y)\prec z& =x\succ (y\prec z),&\quad (x*y)*z& =x*(y*z).\end{alignedat} \] The free bigraft algebra \(H\) on one generator is described. It admits a basis of planar rooted forests whose edges are decorated by two elements denoted by \(l\) and \(r\), with certain conditions, and the three products admit combinatorial definitions. A combinatorial description of the underlying operad is deduced. Its Koszul dual is given, the associated homology is described and finally it is proved that it is Koszul, using the rewriting method. Two coproducts are defined on \(H\). The first one, similar to the Connes-Kreimer coproduct on rooted trees, makes it a Hopf algebra. A Hopf pairing, conjecturally nondegenerate, is also defined, and compatibilities between the products and this coproduct are studied. The second coproduct makes it an infinitesimal bialgebra. It turns out that the space of primitive elements for this coproduct is an \(\mathcal L\)-algebra, that is to say it is equipped with the two products \(\prec\) and \(\succ\), and for all \(x,y,z\in\mathrm{Prim}(H)\), \((x\succ y)\prec z=x\succ (y\prec z)\). A Cartier-Quillen-Milnor-Moore theorem finally gives a good triple of operads involving the operads of associative algebras, of bigraft operads, and of \(\mathcal L\)-algebras: any connected infinitesimal bigraft bialgebra is the enveloping algebra of an \(\mathcal L\)-algebra. / rank | |||
Normal rank | |||
Property / reviewed by | |||
Property / reviewed by: Loïc Foissy / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 16T05 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 18D50 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 05C05 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 16T10 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 16T30 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 05E15 / rank | |||
Normal rank | |||
Property / zbMATH DE Number | |||
Property / zbMATH DE Number: 6376535 / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
bigraft algebras | |||
Property / zbMATH Keywords: bigraft algebras / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
planar rooted trees | |||
Property / zbMATH Keywords: planar rooted trees / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
Koszul quadratic operads | |||
Property / zbMATH Keywords: Koszul quadratic operads / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
infinitesimal bialgebras | |||
Property / zbMATH Keywords: infinitesimal bialgebras / rank | |||
Normal rank | |||
Property / describes a project that uses | |||
Property / describes a project that uses: operads / rank | |||
Normal rank | |||
Property / describes a project that uses | |||
Property / describes a project that uses: OEIS / rank | |||
Normal rank | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / full work available at URL | |||
Property / full work available at URL: https://doi.org/10.1007/s10801-014-0498-5 / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W2006583360 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Hopf algebras, renormalization and noncommutative geometry / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q2725069 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Gröbner bases for operads / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The Hopf algebras of decorated rooted trees. I / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The Infinitesimal Hopf Algebra and the Operads of Planar Forests / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Koszul duality for operads / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: A Poincaré-Birkhoff-Witt criterion for Koszul operads / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Comparison of Hopf algebras on trees. / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: L-Algebras, Triplicial-Algebras, within an Equivalence of Categories Motivated by Graphs / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3621301 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On the structure of cofree Hopf algebras / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Algebraic Operads / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Grafting algebras. / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q2752879 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4537718 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4443440 / rank | |||
Normal rank | |||
links / mardi / name | links / mardi / name | ||
Latest revision as of 10:11, 9 July 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | On the operad of bigraft algebras. |
scientific article |
Statements
On the operad of bigraft algebras. (English)
0 references
3 December 2014
0 references
A bigraft algebra is a vector space \(A\) with three products \(*,\prec,\succ\) such that for all \(x,y,z\in A\): \[ \begin{alignedat}{3} (x*y)\succ z &=x\succ (y\succ z),&\quad (x\succ y)*z& =x\succ (y*z),&\quad (x\prec y)\prec z& =x\prec(y*z),\\ (x*y)\prec z& =x*(y\prec z),&\quad (x\succ y)\prec z& =x\succ (y\prec z),&\quad (x*y)*z& =x*(y*z).\end{alignedat} \] The free bigraft algebra \(H\) on one generator is described. It admits a basis of planar rooted forests whose edges are decorated by two elements denoted by \(l\) and \(r\), with certain conditions, and the three products admit combinatorial definitions. A combinatorial description of the underlying operad is deduced. Its Koszul dual is given, the associated homology is described and finally it is proved that it is Koszul, using the rewriting method. Two coproducts are defined on \(H\). The first one, similar to the Connes-Kreimer coproduct on rooted trees, makes it a Hopf algebra. A Hopf pairing, conjecturally nondegenerate, is also defined, and compatibilities between the products and this coproduct are studied. The second coproduct makes it an infinitesimal bialgebra. It turns out that the space of primitive elements for this coproduct is an \(\mathcal L\)-algebra, that is to say it is equipped with the two products \(\prec\) and \(\succ\), and for all \(x,y,z\in\mathrm{Prim}(H)\), \((x\succ y)\prec z=x\succ (y\prec z)\). A Cartier-Quillen-Milnor-Moore theorem finally gives a good triple of operads involving the operads of associative algebras, of bigraft operads, and of \(\mathcal L\)-algebras: any connected infinitesimal bigraft bialgebra is the enveloping algebra of an \(\mathcal L\)-algebra.
0 references
bigraft algebras
0 references
planar rooted trees
0 references
Koszul quadratic operads
0 references
infinitesimal bialgebras
0 references
0 references