The Hopf algebra of integer binary relations

DOI10.4171/204-1/8MaRDI QIDQ776420zbMATH OpenOpenAlexFDO

Authors Vincent Pilaud, Viviane Pons

Publication date 9 July 2020

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

zbMATH Keywords

bialgebraChapoton algebraHopf algebraLoday-Ronco algebraMalvenuto-Reutenauer algebra

Mathematics Subject Classification ID

Hopf algebras and their applications (16T05) Bialgebras (16T10) Connections of Hopf algebras with combinatorics (16T30) Graded rings and modules (associative rings and algebras) (16W50)

Abstract: We construct a Hopf algebra on integer binary relations that contains under the same roof several well-known Hopf algebras related to the permutahedra and the associahedra: the Malvenuto-Reutenauer algebra on permutations, the Loday-Ronco algebra on planar binary trees, and the Chapoton algebras on ordered partitions and on Schr"oder trees. We also derive from our construction new Hopf structures on intervals of the weak order on permutations and of the Tamari order on binary trees.

Review text

For each non-negative integer \(n\) let \(R_n\) be the set of all reflexive binary relations on the set \([n]\) of the first \(n\) positive integers, and let \(R=\coprod_{n\geq 0}R_n\). The authors define a bialgebra structure on the vector space \(\mathbf{k}R\) with basis \(R\) over a field \(\mathbf{k}\). The product is defined by using the shifted shuffle of two relations, and this makes \(\mathbf{k}R\) a graded algebra, while the coproduct is defined by using total cuts of a relation, and it makes \(\mathbf{k}R\) a graded coalgebra. The same kind of results are obtained when considering the set \(P_n\) of all posets on \([n]\) instead of \(R_n\), and \(P=\coprod_{n\geq 0}P_n\) instead of \(R\). Several bialgebras related to combinatorial structures are reinterpreted either as quotients or as subobjects of the bialgebra \(\mathbf{k}P\), for example the bialgebras on permutations of \textit{C. Malvenuto} and \textit{C. Reutenauer} [J. Algebra 177, No. 3, 967--982 (1995; Zbl 0838.05100)], on ordered partitions and on Schröder trees of \textit{F. Chapoton} [Adv. Math. 150, No. 2, 264--275 (2000; Zbl 0958.16038)], on binary trees of \textit{J.-L. Loday} and \textit{M. O. Ronco} [Adv. Math. 139, No. 2, 293--309 (1998; Zbl 0926.16032)]. Also, new bialgebra structures are obtained on the intervals of the weak order and on the intervals of the Tamari lattice. For the entire collection see [Zbl 1437.05003].

Recommendations

• Structure of the Loday-Ronco Hopf algebra of trees.
• Hopf algebras on planar trees and permutations
• Hopf algebras of parking functions and decorated planar trees
• Algebraic structures on integer posets
• Hopf algebras of \(m\)-permutations, \((m + 1)\)-ary trees, and \(m\)-parking functions

Cites work

• Cambrian Hopf algebras
• Counting smaller elements in the Tamari and \(m\)-Tamari lattices
• Duality between quasi-symmetric functions and the Solomon descent algebra
• Hopf algebra of the planar binary trees
• Hopf algebras of permutahedra, associahedra and hypercubes
• scientific article; zbMATH DE number 2051148 (Why is no real title available?)
• On the structure of cofree Hopf algebras
• Permutation statistics and linear extensions of posets
• Permutrees
• The facial weak order and its lattice quotients
• The weak order on integer posets
• Weak Bruhat order on the set of faces of the permutohedron and the associahedron.

Cited in

(3)

• Algebraic structures on integer posets
• scientific article; zbMATH DE number 3869395 (Why is no real title available?)
• Primitive elements in infinitesimal bialgebras

Describes a project that uses

Uses Software

• OEIS

This page was built for publication: The Hopf algebra of integer binary relations

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