John M. Campbell
Abstract:We introduce a Combinatorial Hopf Algebra (CHA) with bases indexed by the partition diagrams indexing the bases for partition algebras. By analogy with the operation $H_{\alpha} H_{\beta} = H_{\alpha \cdot \beta}$ for the complete homogeneous basis of the CHA $ \textsf{NSym}$ given by concatenating compositions $\alpha$ and $\beta$, we mimic this multiplication rule by setting $\textsf{H}_{\pi} \textsf{H}_{\rho} = \textsf{H}_{\pi \otimes \rho}$ for partition diagrams $\pi$ and $\rho$ and for the horizontal concatenation $\pi \otimes \rho$ of $ \pi$ and $\rho$. This gives rise to a free, graded algebra $\textsf{ParSym}$, which we endow with a CHA structure by lifting the CHA structure of $ \textsf{NSym}$ using an analogue, for partition diagrams, of near-concatenations of integer compositions. Unlike the Hopf algebra $\textsf{NCSym}$ on set partitions, the new CHA $\textsf{ParSym}$ projects onto $\textsf{NSym}$ in natural way via a ``forgetful'' morphism analogous to the projection of $\textsf{NSym}$ onto its commutative counterpart $\textsf{Sym}$. We prove, using the Boolean transform for the sequence $(B_{2n} : n \in \mathbb{N})$ of even-indexed Bell numbers, an analogue of Comtet's generating function for the sequence counting irreducible permutations, yielding a formula for the number of generators in each degree for $\textsf{ParSym}$, and we prove, using a sign-reversing involution, an evaluation for the antipode for $\textsf{ParSym}$. An advantage of our CHA being defined on partition diagrams in full generality, in contrast to a previously defined Hopf algebra on uniform block permutations, is given by how the coproduct operation we have defined for $\textsf{ParSym}$ is such that the usual diagram subalgebras of partition algebras naturally give rise to Hopf subalgebras of $\textsf{ParSym}$ by restricting the indexing sets of the graded components to diagrams of a specified form.
What problem does this paper attempt to address?
The main problem that this paper attempts to solve is to introduce a Combinatorial Hopf Algebra (CHA) structure for the combinatorial object - partition diagrams. Specifically, the author hopes to define a new free, stratified algebraic structure ParSym and endow it with a CHA structure so that it can be naturally projected onto the known Hopf algebra of non - symmetric functions NSym.
The following are the key problems that this paper attempts to solve:
1. **Introducing a new Combinatorial Hopf Algebra**:
- The author aims to define a new Combinatorial Hopf Algebra ParSym by imitating the multiplication rules of the complete homogeneous basis of non - symmetric functions.
- The basis of ParSym is indexed by partition diagrams, and the multiplication rule is defined by the horizontal concatenation operation. That is, for two partition diagrams π and ρ, define \( H_\pi H_\rho = H_{\pi \otimes \rho} \).
2. **Relationship with existing Hopf Algebras**:
- ParSym should be able to be naturally projected onto NSym, similar to the way NSym is projected onto its commutative counterpart Sym.
- This projection is achieved through a "forgetful morphism", which has not been involved in previous research.
3. **The number and properties of generators**:
- The author proves that using the Boolean transform can obtain a result similar to the Comtet generating function, thus giving the formula for the number of ParSym generators at each degree.
- Through the sign - reversing involution, the author also proves the calculation method of the antipode of ParSym.
4. **Construction of sub - algebras**:
- The author shows how to make the sub - algebras of the usual partition algebra become Hopf sub - algebras of ParSym naturally by restricting the index sets of graded components. For example, perfect matchings, partial permutations, planar diagrams, etc.
5. **Differences from other Hopf Algebras**:
- ParSym is significantly different from NCSym (the Hopf algebra based on set partitions). Although they both have similar bases, the coproduct operation of ParSym is different from that of NCSym, and ParSym can be naturally projected onto NSym, while NCSym cannot.
6. **Theoretical significance and application prospects**:
- The introduction of ParSym not only enriches the theoretical framework of Combinatorial Hopf Algebras but also provides new tools and perspectives for further research on centralizer algebras in statistical mechanics and representation theory.
In summary, the core objective of this paper is to construct a new Combinatorial Hopf Algebra ParSym based on partition diagrams and explore its relationship with existing Hopf Algebras and its potential application value.