arXiv++ Combinatorics

Fomin and Kirillov initiated a line of research into the realization of the cohomology and $K$-theory of generalized flag varieties $G/B$ as commutative subalgebras of certain noncommutative algebras. This approach has several advantages, which we discuss. This paper contains the most comprehensive result in a series of papers related to the mentioned line of research. More precisely, we give a model for the $T$-equivariant $K$-theory of a generalized flag variety $K_T(G/B)$ in terms of a certain braided Hopf algebra called the Nichols-Woronowicz algebra. Our model is based on the Chevalley-type multiplication formula for $K_T(G/B)$ due to the first author and Postnikov; this formula is stated using certain operators defined in terms of so-called alcove paths (and the corresponding affine Weyl group). Our model is derived using a type-independent and concise approach.

A new isomorphism invariant of matroids is introduced, in the form of a quasisymmetric function. This invariant (1) defines a Hopf morphism from the Hopf algebra of matroids to the quasisymmetric functions, which is surjective if one uses rational coefficients, (2) is a multivariate generating function for integer weight vectors that give minimum total weight to a unique base of the matroid, (3) is equivalent, via the Hopf antipode, to a generating function for integer weight vectors which keeps track of how many bases minimize the total weight, (4) behaves simply under matroid duality, (5) has a simple expansion in terms of P-partition enumerators, and (6) is a valuation on decompositions of matroid base polytopes. This last property leads to an interesting application: it can sometimes be used to prove that a matroid base polytope has no decompositions into smaller matroid base polytopes. Existence of such decompositions is a subtle issue arising in work of Lafforgue, where lack of such a decomposition implies the matroid has only a finite number of realizations up to projective equivalence.

We propose several constructions of commutative or cocommutative Hopf algebras based on various combinatorial structures, and investigate the relations between them. A commutative Hopf algebra of permutations is obtained by a general construction based on graphs, and its non-commutative dual is realized in three different ways, in particular as the Grossman-Larson algebra of heap ordered trees. Extensions to endofunctions, parking functions, set compositions, set partitions, planar binary trees and rooted forests are discussed. Finally, we introduce one-parameter families interpolating between different structures constructed on the same combinatorial objects.

We realize several combinatorial Hopf algebras based on set compositions, plane trees and segmented compositions in terms of noncommutative polynomials in infinitely many variables. For each of them, we describe a trialgebra structure, an internal product, and several bases.

In this chapter (Chapter V) we present several results which demonstrate a close connection and useful exchange of ideas between graph theory and knot theory. These disciplines were shown to be related from the time of Tait (if not Listing) but the great flow of ideas started only after Jones discoveries. The first deep relation in this new trend was demonstrated by Morwen Thistlethwaite and we describe several results by him in this Chapter. We also presentresults from two (unpublished) preprints [P-P-0,P-18].In particular, in Section 2, we sketch two generalizations of the Tutte polynomial of graphs or, more precisely, the deletion-contraction method which Tutte polynomial utilize. The first generalization considers, instead of graphs, general objects called setoids or group systems. The second one deals with completion of the expansion of a graph with respect to subgraphs. We are motivated here by finite type invariants of links developed by Vassiliev and Gusarov along the line presented in [P-9] (compare Chapter IX). The dichromatic Hopf algebra, described in Section 2, have its origin in Vassiliev-Gusarov theory mixed with work of G. Carlo-Rota and W. Schmitt. In Section 3 we describe Tait conjecture on alternating link diagrams and apply developed methods to study adequate diagrams. In Section 4 we apply 2-variable Kauffman polynomial to alternating links and prove, in particular, the second Tait conjecture. In Section 5 we analyze the Kauffman polynomial of adequate diagrams. In Section 6 we show how coefficients of Homflypt polynomial can be used to obtain new information on classical knot invariants (e.g. Morton-Franks-Williams inequality). In the last section of Chapter V we discuss almost positive links and our method uses K. Taniyama idea of ordering of knots.

We first show that increasing trees are in bijection with set compositions, extending simultaneously a recent result on trees due to Tonks and a classical result on increasing binary trees. We then consider algebraic structures on the linear span of set compositions (the twisted descent algebra). Among others, a number of enveloping algebra structures are introduced and studied in detail. For example, it is shown that the linear span of trees carries an enveloping algebra structure and embeds as such in an enveloping algebra of increasing trees. All our constructions arise naturally from the general theory of twisted Hopf algebras.

We introduce a graded Hopf algebra based on the set of parking functions (hence of dimension (n+1)^{n-1} in degree n). This algebra can be embedded into a noncommutative polynomial algebra in infinitely many variables. We determine its structure, and show that it admits natural quotients and subalgebras whose graded components have dimensions respectively given by the Schroder numbers (plane trees), the Catalan numbers, and powers of 3. These smaller algebras are always bialgebras and belong to some family of di- or tri-algebras occuring in the works of Loday and Ronco. Moreover, the fundamental notion of parkization allows one to endow the set of parking functions of fixed length with an associative multiplication (different from the one coming from the Shi arrangement), leading to a generalization of the internal product of symmetric functions. Several of the intermediate algebras are stable under this operation. Among them, one finds the Solomon descent algebra but also a new algebra based on a Catalan set, admitting the Solomon algebra as a left ideal.

We introduce the matroid-minor coalgebra C, which has labeled matroids as distinguished basis, and coproduct given by splitting a matroid into a submatroid and complementary contraction all possible ways. We introduce two new bases for C; the first of these is is related to the distinguished basis by Mobius inversion over the rank-preserving weak order on matroids, the second by Mobius inversion over the suborder excluding matroids that are irreducible with respect to the free product operation. We show that the subset of each of these bases corresponding to the set of irreducible matroids is a basis for the subspace of primitive elements of C. Projecting C onto the matroid-minor Hopf algebra H, we obtain bases for the subspace of primitive elements of H.

In a recent series of communications we have shown that the reordering problem of bosons leads to certain combinatorial structures. These structures may be associated with a certain graphical description. In this paper, we show that there is a Hopf Algebra structure associated with this problem which is, in a certain sense, unique.

We uncover the structure of the space of symmetric functions in non-commutative variables by showing that the underlined Hopf algebra is both free and co-free. We also introduce the Hopf algebra of quasi-symmetric functions in non-commutative variables and define the product and coproduct on the monomial basis of this space and show that this Hopf algebra is free and cofree. In the process of looking for bases which generate the space we define orders on the set partitions and set compositions which allow us to define bases which have simple and natural rules for the product of basis elements.

This paper is the first of a sequence papers ([Z4]--[Z7]) on the {\it ${\mathcal N}$CS $(\text{noncommutative symmetric})$ systems} over differential operator algebras in commutative or noncommutative variables ([Z4]); the ${\mathcal N}$CS systems over the Grossman-Larson Hopf algebras ([GL],[F]) of labeled rooted trees ([Z6]); as well as their connections and applications to the inversion problem ([BCW],[E4]) and specializations of NCSFs ([Z5],[Z7]). In this paper, inspired by the seminal work [GKLLRT] on NCSFs (noncommutative symmetric functions), we first formulate the notion {\it ${\mathcal N}$CS systems} over associative $\mathbb Q$-algebras. We then prove some results for ${\mathcal N}$CS systems in general; the ${\mathcal N}$CS systems over bialgebras or Hopf algebras; and the universal ${\mathcal N}$CS system formed by the generating functions of certain NCSFs in [GKLLRT]. Finally, we review some of the main results that will be proved in the followed papers [Z4], [Z6] and [Z7] as some supporting examples for the general discussions given in this paper.

Let $K$ be any unital commutative $\mathbb Q$-algebra and $z=(z_1, ..., z_n)$ commutative or noncommutative free variables. Let $t$ be a formal parameter which commutes with $z$ and elements of $K$. We denote uniformly by $\kzz$ and $\kttzz$ the formal power series algebras of $z$ over $K$ and $K[[t]]$, respectively. For any $α\geq 1$, let $\cDazz$ be the unital algebra generated by the differential operators of $\kzz$ which increase the degree in $z$ by at least $α-1$ and $ \ataz $ the group of automorphisms $F_t(z)=z-H_t(z)$ of $\kttzz$ with $o(H_t(z))\geq α$ and $H_{t=0}(z)=0$. First, for any fixed $α\geq 1$ and $F_t\in \ataz$, we introduce five sequences of differential operators of $\kzz$ and show that their generating functions form a $\mathcal N$CS (noncommutative symmetric) system [Z4] over the differential algebra $\cDazz$. Consequently, by the universal property of the $\mathcal N$CS system formed by the generating functions of certain NCSFs (noncommutative symmetric functions) first introduced in [GKLLRT], we obtain a family of Hopf algebra homomorphisms $\cS_{F_t}: {\mathcal N}Sym \to \cDazz$ $(F_t\in \ataz)$, which are also grading-preserving when $F_t$ satisfies certain conditions. Note that, the homomorphisms $\cS_{F_t}$ above can also be viewed as specializations of NCSFs by the differential operators of $\kzz$. Secondly, we show that, in both commutative and noncommutative cases, this family $\cS_{F_t}$ (with all $n\geq 1$ and $F_t\in \ataz$) of differential operator specializations can distinguish any two different NCSFs. Some connections of the results above with the quasi-symmetric functions ([Ge], [MR], [S]) are also discussed.

Let $K$ be any unital commutative $\bQ$-algebra and $z=(z_1, z_2, ..., z_n)$ commutative or noncommutative variables. Let $t$ be a formal central parameter and $\kttzz$ the formal power series algebra of $z$ over $K[[t]]$. In \cite{GTS-II}, for each automorphism $F_t(z)=z-H_t(z)$ of $\kttzz$ with $H_{t=0}(z)=0$ and $o(H(z))\geq 1$, a \cNcs (noncommutative symmetric) system (\cite{GTS-I}) $\Oft$ has been constructed. Consequently, we get a Hopf algebra homomorphism $\cSft: \cNsf \to \cDzz$ from the Hopf algebra $\cNsf$ (\cite{G-T}) of NCSF's (noncommutative symmetric functions). In this paper, we first give a list for the identities between any two sequences of differential operators in the \cNcs system $\Oft$ by using some identities of NCSF's derived in \cite{G-T} and the homomorphism $\cSft$. Secondly, we apply these identities to derive some formulas in terms of differential operator in the system $\Oft$ for the Taylor series expansions of $u(F_t)$ and $u(F_t^{-1})$ $(u(z)\in \kttzz)$; the D-Log and the formal flow of $F_t$ and inversion formulas for the inverse map of $F_t$. Finally, we discuss a connection of the well-known Jacobian conjecture with NCSF's.

In this paper, we construct explicitly a noncommutative symmetric (${\mathcal N}$CS) system over the Grossman-Larson Hopf algebra of labeled rooted trees. By the universal property of the ${\mathcal N}$CS system formed by the generating functions of certain noncommutative symmetric functions, we obtain a specialization of noncommutative symmetric functions by labeled rooted trees. Taking the graded duals, we also get a graded Hopf algebra homomorphism from the Connes-Kreimer Hopf algebra of labeled rooted forests to the Hopf algebra of quasi-symmetric functions. A connection of the coefficients of the third generating function of the constructed ${\mathcal N}$CS system with the order polynomials of rooted trees is also given and proved.

Let $K$ be any unital commutative $\bQ$-algebra and $W$ any non-empty subset of $\bN^+$. Let $z=(z_1, ..., z_n)$ be commutative or noncommutative free variables and $t$ a formal central parameter. % Denote uniformly by $\kzz$ and $\kttzz$ the formal power series algebras % of $z$ over $K$ and $K[[t]]$, respectively. Let $\cDazz$ $(α\geq 1)$ be the unital algebra generated by the differential operators of $\kzz$ which increase the degree in $z$ by at least $α-1$ and $ \ataz $ the group of automorphisms $F_t(z)=z-H_t(z)$ of $\kttzz$ with $o(H_t(z))\geq α$ and $H_{t=0}(z)=0$. First, we study a connection of the \cNcs systems $Ω_{F_t}$ $(F_t\in \ataz)$ (\cite{GTS-I}, \cite{GTS-II}) over the differential operators algebra $\cDazz$ and the \cNcs system $Ω_\bT^W$ (\cite{GTS-IV}) over the Grossman-Larson Hopf algebra $\cH_{GL}^W$ (\cite{GL}, \cite{F1}, \cite{F2}) of $W$-labeled rooted trees. We construct a Hopf algebra homomorphism $\mathcal A_{F_t}: \cH_{GL}^W \to \cDazz$ $(F_t\in \ataz)$ such that $\mathcal A_{F_t}^{\times 5}(Ω_\bT^W) =Ω_{F_t}$. Secondly, we generalize the tree expansion formulas for the inverse map (\cite{BCW}, \cite{Wr3}), the D-Log and the formal flow (\cite{WZ}) of $F_t$ in the commutative case to the noncommutative case. Thirdly, we prove the injectivity of the specialization $\cT:{\mathcal N}Sym \to \cH_{GL}^{\bN^+}$ (\cite{GTS-IV}) of NCSF's (noncommutative symmetric functions) (\cite{G-T}). Finally, we show the family of the specializations $\cS_{F_t}$ of NCSF's with all $n\geq 1$ and the polynomial automorphisms $F_t=z-H_t(z)$ with $H_t(z)$ homogeneous and the Jacobian matrix $JH_t$ strictly lower triangular can distinguish any two different NCSF's. The graded dualized versions of the main results above are also discussed.

Let SYT_n be the set of all standard Young tableaux with n cells. After recalling the definitions of four partial orders, the weak, KL, geometric and chain orders on SYT_n and some of their crucial properties, we prove three main results: (i)Intervals in any of these four orders essentially describe the product in a Hopf algebra of tableaux defined by Poirier and Reutenauer. (ii) The map sending a tableau to its descent set induces a homotopy equivalence of the proper parts of all of these orders on tableaux with that of the Boolean algebra 2^{[n-1]}. In particular, the Möbius function of these orders on tableaux is (-1)^{n-3}. (iii) For two of the four orders, one can define a more general order on skew tableaux having fixed inner boundary, and similarly analyze their homotopy type and Möbius function.

This is a short review on the Faà di Bruno formulas, and some Hopf algebras associated to them. These allow, among several other things, a short proof of the Lie-Scheffers theorem, and relating the Lagrange inversion formulas with antipodes. The link of Faà di Bruno formulas with the theory of set partitions is developed in some detail.

We construct algebraic cycles in Bloch's cubical cycle group which correspond to multiple polylogarithms with generic arguments. Moreover, we construct out of them a Hopf subalgebra in the Bloch-Kriz cycle Hopf algebra. In the process, we are led to other Hopf algebras built from trees and polygons, which are mapped to the latter. We relate the coproducts to the one for Goncharov's motivic multiple polylogarithms and to the Connes-Kreimer coproduct on plane trees and produce the associated Hodge realization for polygons.

After reformulating the representation theory of 0-Hecke algebras in an appropriate family of Yang-Baxter bases, we investigate certain specializations of the Ariki-Koike algebras, obtained by setting q=0 in a suitably normalized version of Shoji's presentation. We classify the simple and projective modules, and describe restrictions, induction products, Cartan invariants and decomposition matrices. This allows us to identify the Grothendieck rings of the towers of algebras in terms of certain graded Hopf algebras known as the Mantaci-Reutenauer descent algebras, and Poirier quasi-symmetric functions. We also describe the Ext-quivers, and conclude with numerical tables.

The quasi-shuffle product and mixable shuffle product are both generalizations of the shuffle product and have both been studied quite extensively recently. We relate these two generalizations and realize quasi-shuffle product algebras as subalgebras of mixable shuffle product algebras. As an application, we obtain Hopf algebra structures in free Rota-Baxter algebras.