arXiv++ Combinatorics

There is a long tradition of categorifying combinatorial Hopf algebras by the modules of a tower of algebras (or even better via the representation theory of a tower of groups). From the point of view of combinatorics, such a categorification supplies canonical bases, inner products, and a natural avenue to prove positivity results. Recent ideas in supercharacter theory have made fashioning the representation theory of a tower of groups into a Hopf structure more tractable. This paper applies such a program to the Malvenuto--Reutenauer Hopf algebra. In particular, we design functors on the representation theory of a tower of $p$-groups that realize the Hopf structure of the Malvenuto--Reutenauer algebra in such a way that its well-known fundamental basis corresponds to a supercharacter basis.

We study the symmetric function and polynomial combinatorial invariants of Hopf algebras of permutations, posets and graphs. We investigate their properties and the relations among them. In particular, we show that the chromatic symmetric function and many other invariants have a property we call positively $h$-alternating. This property of positively $h$-alternating leads to Schur positivity and $e$-positivity when applying the operator $\nabla$ at $q=1$. We conclude by showing that the invariants we consider can be expressed as scheduling problems.

We introduce an enriched analogue of Lam and Pylyavskyy's theory of set-valued $P$-partitions. An an application, we construct a $K$-theoretic version of Stembridge's Hopf algebra of peak quasisymmetric functions. We show that the symmetric part of this algebra is generated by Ikeda and Naruse's shifted stable Grothendieck polynomials. We give the first proof that the natural skew analogues of these power series are also symmetric. A central tool in our constructions is a "$K$-theoretic" Hopf algebra of labeled posets, which may be of independent interest. Our results also lead to some new explicit formulas for the involution $ω$ on the ring of symmetric functions.

We show that the ring of symmetric functions in superspace is a cocommutative and self-dual Hopf algebra. We provide formulas for the action of the coproduct and the antipode on various bases of that ring. We introduce the ring sQSym of quasisymmetric functions in superspace and show that it is a Hopf algebra. We give explicitly the product, coproduct and antipode on the basis of monomial quasisymmetric functions in superspace. We prove that the Hopf dual of sQSym, the ring sNSym of noncommutative symmetric functions in superspace, has a multiplicative basis dual to the monomial quasisymmetric functions in superspace.

Let A and B be two connected graded commutative k-algebras of finite type, where k is a perfect field of positive characteristic p. We prove that the quasi--shuffle algebras generated by A and B are isomorphic as Hopf algebras if and only if A and B are isomorphic as graded k-vector spaces equipped with a Frobenius (pth-power) map. For the hardest part of this analysis, we work with the dual construction, and are led to study connected graded cocommutative Hopf algebras H with two additional properties: H is free as an associative algebra, and the projection onto the indecomposables is split as a morphism of graded k-vector spaces equipped with a Verschiebung map. Building on work on non-commutative Witt vectors by Goerss, Lannes, and Morel, we classify such free, `split' Hopf algebras. A topological consequence is that, if X is a based path connected space, then the Hopf algebra H^*(Omega Sigma X;k) is determined by the stable homotopy type of X. We also discuss the much easier analogous characteristic 0 results, and give a characterization of when our quasi--shuffle algebras are polynomial, generalizing the so-called Ditters conjecture.

It is known that unicellular LLT polynomials are related to the quasi-symmetric chromatic polynomials of certain graphs by the $(t-1)$-transform of symmetric functions. We investigate the extension of this transformation to various combinatorial Hopf algebras and prove a noncommutative version of this property.

To an extended permutohedron we associate the weighted integer points enumerator, whose principal specialization is the $f$-polynomial. In the case of poset cones it refines Gessel's $\mathsf{P}$-partitions enumerator. We show that this enumerator is a quasisymmetric function obtained by universal morphism from the Hopf algebra of posets.

This paper introduces the braidings of dendriform algebras and tridendriform algebras. By studying free braided dendriform algebras, we obtain braidings of the Hopf algebras of Loday and Ronco of planar binary rooted trees. We also give a variation of the braiding of Foissy for the noncommutative Connes-Kreimer (a.k.a the Foissy-Holtkamp) Hopf algebra of planar rooted forests so that the well-known isomorphism between this Hopf algebra and the Loday-Ronco Hopf algebra is extended to the braided context. As free braided tridendriform algebras, we also give braided extension of the Hopf algebra of Loday and Ronco on planar rooted trees.

We construct a family of infinite-dimensional positive sub-coalgebras within the Grothendieck ring of Hecke algebras, when viewed as a Hopf algebra with respect to the induction and restriction functor. These sub-coalgebras have as structure constants the 3-point genus zero Gromov-Witten invariants of Grassmannians and are spanned by what we call cylindric Hecke characters, a particular set of virtual characters for whose computation we give several explicit combinatorial formulae. One of these expressions is a generalisation of Ram's formula for irreducible Hecke characters and uses cylindric broken rim hook tableaux. We show that the latter are in bijection with so-called `ice configurations' on a cylindrical square lattice, which define the asymmetric six-vertex model in statistical mechanics. A key ingredient of our construction is an extension of the boson-fermion correspondence to Hecke algebras and employing the latter we find new expressions for Jing's vertex operators of Hall-Littlewood functions in terms of the six-vertex transfer matrices on the infinite planar lattice.

We introduce a simplicial object $(\{ \Dy^m\}_{m\geq 0}, {\mathbb F}_i, {\mathbb S}_j)$ in the category of non-symmetric algebraic operads, satisfying that $\Dy^0$ is the operad of associative algebras and $\Dy^1$ is J.-L. Loday\rq s operad of dendriform algebras. The dimensions of the operad $\Dy^m$ are given by the Fuss-Catalan numbers. Given a family of partially ordered sets ${\bold P}=\{P_n\}_{n\geq 1}$ we show that, under certain conditions, the vector space spanned by the set of $m$-simpleces of ${\bold P}$ is a $\Dy^m$ algebra. This construction, applied to certain combinatorial Hopf algebras, whose associative product comes from a dendriform structure, provides examples of $\Dy^m$ algebras.

Many families of combinatorial objects have a Hopf monoid structure. Aguiar and Ardila introduced the Hopf monoid of generalized permutahedra and showed that it contains various other notable combinatorial families as Hopf submonoids, including graphs, posets, and matroids. We introduce the Hopf monoid of orbit polytopes, which is generated by the generalized permutahedra that are invariant under the action of the symmetric group. We show that modulo normal equivalence, these polytopes are in bijection with integer compositions. We interpret the Hopf structure through this lens, and we show that applying the first Fock functor to this Hopf monoid gives a Hopf algebra of compositions. We describe the character group of the Hopf monoid of orbit polytopes in terms of noncommutative symmetric functions, and we give a combinatorial interpretation of the basic character and its polynomial invariant.

Rota-Baxter algebras and Atkinson's method are powerful tools for the factorization of characters on Hopf algebras. The theory of real resummation discovered by J. Ecalle and known as \textit{well-behaved averages theory} can be reformulated in terms of character factorization. The aim of this article is to explain how Atkinson recursion provides an alternative way to retrieve characters already discovered by Ecalle.

A family of permutations called 2-clumped permutations forms a basis for a sub-Hopf algebra of the Malvenuto-Reutenauer Hopf algebra of permutations. The 2-clumped permutations are in bijection with certain decompositions of a square into rectangles, called generic rectangulations. Thus, we can describe the Hopf algebra of 2-clumped permutations using generic rectangulations (we call this isomorphic Hopf algebra the Hopf algebra of generic rectangulations). In this paper, we describe the cover relations in a lattice of generic rectangulations that is a lattice quotient of the right weak order on permutations. We then use this lattice to describe the product and coproduct operations in the Hopf algebra of generic rectangulations.

For a hypergraphic polytope there is a weighted quasisymmetric function which enumerates positive integer points in its normal fan and determines its f-polynomial. This quasisymmetric function invariant of hypergraphs extends the Stanley chromatic symmetric function of simple graphs. We consider a certain combinatorial Hopf algebra of hypergraphs and show that universal morphism to quasisymmetric functions coincides with this enumerator function.

In this paper, we construct a bialgebraic and further a Hopf algebraic structure on top of subgraphs of a given graph. Further, we give the dual structure of this Hopf algebraic structure. We study the algebra morphisms induced by graph homomorphisms, and obtain a covariant functor from a graph category to an algebra category.

We investigate a subalgebra of the Temperley-Lieb algebra called the Jones-Wenzl algebra, which is obtained by action of certain Jones-Wenzl projectors. This algebra arises naturally in applications to conformal field theory and statistical physics. It is also the commutant (centralizer) algebra of the Hopf algebra $U_q(\mathfrak{sl}_2)$ on its type-one modules - this fact is a generalization of the $q$-Schur-Weyl duality of Jimbo. In this article, we find two minimal generating sets for the Jones-Wenzl algebra. In special cases, we also find all of the independent relations satisfied by these generators.

Typed decorated trees are used by Bruned, Hairer and Zambotti to give a description of a renormalisation processon stochastic PDEs. We here study the algebraic structures on these objects: multiple prelie algebrasand related operads (generalizing a result by Chapoton and Livernet), noncommutative and cocommutative Hopf algebras (generalizing Grossman and Larson's construction),commutative and noncocommutative Hopf algebras (generalizing Connes and Kreimer's construction),bialgebras in cointeraction (generalizing Calaque, Ebrahimi-Fard and Manchon's result). We also define families of morphisms and in particular we prove that any Connes-Kreimer Hopf algebraof typed and decorated trees is isomorphic to a Connes-Kreimer Hopf algebra of non--typed and decoratedtrees (the set of decorations of vertices being bigger), through a contraction process,and finally obtain the Bruned-Hairer-Zambotti construction as a subquotient.

In this paper, we give a cancellation-free antipode formula for the matroid-minor Hopf algebra. We then explore applications of this formula. For example, the cancellation-free formula expresses the antipode of uniform matroids as a sum over certain ordered set partitions. We also prove that all matroids over any hyperfield (in the sense of Baker and Bowler) have cancellation-free antipode formulas; furthermore, the cancellations in the antipode are independent of the hyperfield structure and only depend on the underlying matroid.

This article serves as an introduction to several recent developments in the study of quasisymmetric functions. The focus of this survey is on connections between quasisymmetric functions and the combinatorial Hopf algebra of noncommutative symmetric functions, appearances of quasisymmetric functions within the theory of Macdonald polynomials, and analogues of symmetric functions. Topics include the significance of quasisymmetric functions in representation theory (such as representations of the 0-Hecke algebra), recently discovered bases (including analogues of well-studied symmetric function bases), and applications to open problems in symmetric function theory.

The supercharacter theory of algebra groups gave us a representation theoretic realization of the Hopf algebra of symmetric functions in noncommuting variables. The underlying representation theoretic framework comes equipped with two canonical bases, one of which was completely new in terms of symmetric functions. This paper simultaneously generalizes this Hopf structure by considering a larger class of groups while also restricting the representation theory to a more combinatorially tractable one. Using the normal lattice supercharacter theory of pattern groups, we not only gain a third canonical basis, but also are able to compute numerous structure constants in the corresponding Hopf monoid, including coproducts and antipodes for the new bases.