A simplicial complex splitting associativity

DOI10.1016/J.JPAA.2019.106222MaRDI QIDQ2301879zbMATH OpenOpenAlexFDO

Authors Daniel López N., Louis-François Préville-Ratelle, María O. Ronco

Publication date 25 February 2020

Published in Journal of Pure and Applied Algebra (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1906.02834

zbMATH Keywords

\(m\)-Dyck pathsbialgebrasdendriform algebrasTamari order

Mathematics Subject Classification ID

Combinatorial aspects of simplicial complexes (05E45) Algebraic aspects of posets (06A11) Connections of Hopf algebras with combinatorics (16T30) Non-symmetric operads, multicategories, generalized multicategories (18M65)

Abstract: We introduce a simplicial object $({D{y}^m}_{mgeq0},{mathbbF}_i,{mathbbS}_j)$ in the category of non-symmetric algebraic operads, satisfying that $D{y}^0$ is the operad of associative algebras and $D{y}^1$ is J.-L. Loday q s operad of dendriform algebras. The dimensions of the operad $D{y}^m$ are given by the Fuss-Catalan numbers. Given a family of partially ordered sets $$ we show that, under certain conditions, the vector space spanned by the set of $m$-simpleces of $$ is a $D{y}^m$ algebra. This construction, applied to certain combinatorial Hopf algebras, whose associative product comes from a dendriform structure, provides examples of $D{y}^m$ algebras.

Review text

A simplicial object of nonsymmetric operads \((\mathrm{Dyck}^m)_{m\geqslant 0}\) is introduced by generators and relations: \(\mathrm{Dyck}^m\) is generated by \(m+1\) binary products, with \(\dfrac{(m+1)(m+2)}{2}\) relations. in particular, \(\mathrm{Dyck}^0\) is the operad of associative algebras, and \(\mathrm{Dyck}^1\) is the operad of dendriform algebras. It is proved that the dimensions of the components of \(\mathrm{Dyck}^m\) are given by Fuss-Catalan numbers. A notion of dendriform posets is introduced and it is proved that, firstly, such a family of posets gives a dendriform algebras and, secondly that \(m\)-simplexes in these posets give a \(\mathrm{Dyck}^m\)-algebras. Examples are given on surjections, permutations, planar binary trees or planar rooted trees, giving again well-known dendriform algebras. Finally, the free \(\mathrm{Dyck}^m\)-algebra on one generator is combinatorially described in terms of \(m\)-Dyck paths, and it is proved that the \(m+1\) products in this algebraic structures are given by intervals in the \(m\)-Tamari lattices, generalizing Loday and Ronco's result for the free dendriform algebra on planar binary trees.

Recommendations

• A combinatorial decomposition of simplicial complexes
• scientific article; zbMATH DE number 61482
• Variety of complexes and \(F\)-splitting
• Simplicial decomposability
• Splittings and C-complexes.
• Splitting theorems for PO-complexes
• scientific article; zbMATH DE number 1925939
• Separable morphisms of simplicial sets
• Simplicial Cohen-Macaulay complexes
• Irreducible divisor simplicial complexes

Cites work

• Algebraic operads
• Algebraic structures on integer posets
• Bidendriform bialgebras, trees, and free quasi-symmetric functions.
• Catalan numbers, their generalization, and their uses
• Combinatorial operad actions on cochains
• Combinatorial operads from monoids
• Eulerian idempotents and Milnor-Moore theorem for certain non-cocommutative Hopf algebras
• From the Tamari lattice to Cambrian lattices and beyond.
• Higher trivariate diagonal harmonics via generalized Tamari posets
• Hopf algebra of the planar binary trees
• Hopf algebras and dendriform structures arising from parking functions
• Hopf algebras of permutahedra, associahedra and hypercubes
• Hopf algebras on decorated noncrossing arc diagrams
• scientific article; zbMATH DE number 1644416 (Why is no real title available?)
• scientific article; zbMATH DE number 3178652 (Why is no real title available?)
• scientific article; zbMATH DE number 1268810 (Why is no real title available?)
• scientific article; zbMATH DE number 2070377 (Why is no real title available?)
• scientific article; zbMATH DE number 1757930 (Why is no real title available?)
• scientific article; zbMATH DE number 2144715 (Why is no real title available?)
• scientific article; zbMATH DE number 5274214 (Why is no real title available?)
• On the groups \(H(\Pi,n)\). I
• One-parameter deformations of the diassociative and dendriform operads
• Operads of decorated trees and their duals.
• Opérades différentielles graduées sur les simplexes et les permutoèdres
• Order structure on the algebra of permutations and of planar binary trees
• Problems of associativity: a simple proof for the lattice property of systems ordered by a semi-associative law
• Problèmes d'associativité: Une structure de treillis finis induite par une loi demi-associative
• Splitting of operads and Rota-Baxter operators on operads
• Splitting of operations, Manin products, and Rota-Baxter operators
• The enumeration of generalized Tamari intervals
• The facial weak order and its lattice quotients
• The Hopf algebra of finite topologies and \(T\)-partitions.
• The lattice path operad and Hochschild cochains
• The number of intervals in the \(m\)-Tamari lattices
• The representation of the symmetric group on m-Tamari intervals
• Tridendriform structure on combinatorial Hopf algebras.
• Weak Bruhat order on the set of faces of the permutohedron and the associahedron.

Cited in

(7)

• Cliff operads: a hierarchy of operads on words
• scientific article; zbMATH DE number 61482 (Why is no real title available?)
• scientific article; zbMATH DE number 645807 (Why is no real title available?)
• scientific article; zbMATH DE number 2159060 (Why is no real title available?)
• Generalizing dendriform algebras: Dyckm-algebras, Rotam-algebras, and Rota–Baxter operators
• Homothetic Rota-Baxter systems and \(\mathrm{Dyck}^m\)-algebras
• Splittings and C-complexes.

This page was built for publication: A simplicial complex splitting associativity

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2301879)