arXiv++ Combinatorics

We introduce a Hopf algebra structure of subword complexes, including both finite and infinite types. We present an explicit cancellation free formula for the antipode using acyclic orientations of certain graphs, and show that this Hopf algebra induces a natural non-trivial sub-Hopf algebra on $c$-clusters in the theory of cluster algebras.

We give a combinatorial proof that the product of a Schubert polynomial by a Schur polynomial is a nonnegative sum of Schubert polynomials. Our proof uses Assaf's theory of dual equivalence to show that a quasisymmetric function of Bergeron and Sottile is Schur-positive. By a geometric comparison theorem of Buch and Mihalcea, this implies the nonnegativity of Gromov-Witten invariants of the Grassmannian.

We present complete simplicial fan realizations of any spherical subword complex of type $A_n$ for $n\leq 3$. This provides complete simplicial fan realizations of simplicial multi-associahedra $Δ_{2k+4,k}$, whose facets are in correspondence with $k$-triangulations of a convex $(2k+4)$-gon. This solves the first open case of the problem of finding fan realizations where polytopality is not known. The techniques presented in this paper work for all finite Coxeter groups and we hope that they will be useful to construct fans realizing subword complexes in general. In particular, we present fan realizations of two previously unknown cases of subword complexes of type $A_4$, namely the multi-associahedra $Δ_{9,2}$ and $Δ_{11,3}$.

The immaculate basis of the non-commutative symmetric functions was recently introduced by the first and third author to lift certain structures in the symmetric functions to the dual Hopf algebras of the non-commutative and quasi-symmetric functions. It was shown that immaculate basis satisfies a positive, multiplicity free right Pieri rule. It was conjectured that the left Pieri rule may contain signs but that it would be multiplicity free. Similarly, it was also conjectured that the dual quasi-symmetric basis would also satisfy a signed multiplicity free Pieri rule. We prove these two conjectures here.

We explore monoids generated by operators on certain infinite partial orders. Our starting point is the work of Fomin and Greene on monoids satisfying the relations $(ur+\u{r+1})\u{r+1}ur=\u{r+1}ur(ur+\u{r+1})$ and $urut=usur$ if $|r-t|>1.$ Given such a monoid, the non-commutative functions in the variables $\u{}$ are shown to commute. Symmetric functions in these operators often encode interesting structure constants. Our aim is to introduce similar results for more general monoids not satisfying the relations of Fomin and Greene. This paper is an extension of a talk by the second author at the workshop on algebraic monoids, group embeddings and algebraic combinatorics at The Fields Institute in 2012.

We continue our development of a new basis for the algebra of non-commutative symmetric functions. This basis is analogous to the Schur basis for the algebra of symmetric functions, and it shares many of its wonderful properties. For instance, in this article we describe non-commutative versions of the Littlewood-Richardson rule and the Murnaghan-Nakayama rule. A surprising relation develops among non-commutative Littlewood-Richardson coefficients, which has implications to the commutative case. Finally, we interpret these new coefficients geometrically as the number of integer points inside a certain polytope.

We construct indecomposable modules for the 0-Hecke algebra whose characteristics are the dual immaculate basis of the quasi-symmetric functions.

FPSAC 2013 Extended Abstract. We introduce a new basis of the non-commutative symmetric functions whose elements have Schur functions as their commutative images. Dually, we build a basis of the quasi-symmetric functions which expand positively in the fundamental quasi-symmetric functions and decompose Schur functions according to a signed combinatorial formula.

From a recent paper, we recall the Hopf monoid structure on the supercharacters of the unipotent uppertriangular groups over a finite field. We give cancelation free formula for the antipode applied to the bases of class functions and power sum functions, giving new cancelation free formulae for the standard Hopf algebra of supercharacters and symmetric functions in noncommuting variables. We also give partial results for the antipode on the supercharacter basis, and explicitly describe the primitives of this Hopf monoid.

The main purpose of this paper is to show that the multiplication of a Schubert polynomial of finite type $A$ by a Schur function, which we refer to as Schubert vs. Schur problem, can be understood from the multiplication in the space of dual $k$-Schur functions. Using earlier work by the second author, we encode both problems by means of quasisymmetric functions. On the Schubert vs. Schur side, we study the poset given by the Bergeron-Sottile's $r$-Bruhat order, along with certain operators associated to this order. On the other side, we connect this poset with a graph on dual $k$-Schur functions given by studying the affine grassmannian order of Lam-Lapointe-Morse-Shimozono. Also, we define operators associated to the graph on dual $k$-Schur functions which are analogous to the ones given for the Schubert vs. Schur problem.

We introduce a new basis of the non-commutative symmetric functions whose commutative images are Schur functions. Dually, we build a basis of the quasi-symmetric functions which expand positively in the fundamental quasi-symmetric functions and decompose Schur functions. We then use the basis to construct a non-commutative lift of the Hall-Littlewood symmetric functions with similar properties to their commutative counterparts.

We build, from the collection of all groups of unitriangular matrices, Hopf monoids in Joyal's category of species. Such structure is carried by the collection of class function spaces on those groups, and also by the collection of superclass function spaces, in the sense of Diaconis and Isaacs. Superclasses of unitriangular matrices admit a simple description from which we deduce a combinatorial model for the Hopf monoid of superclass functions, in terms of the Hadamard product of the Hopf monoids of linear orders and of set partitions. This implies a recent result relating the Hopf algebra of superclass functions on unitriangular matrices to symmetric functions in noncommuting variables. We determine the algebraic structure of the Hopf monoid: it is a free monoid in species, with the canonical Hopf structure. As an application, we derive certain estimates on the number of conjugacy classes of unitriangular matrices.

We give a type free formula for the expansion of k-Schur functions indexed by fundamental coweights within the affine nilCoxeter algebra. Explicit combinatorics are developed in affine type C.

We give several explicit combinatorial formulas for the expansion of k-Schur functions indexed by maximal rectangles in terms of the standard basis of the affine nilCoxeter algebra. Using our result, we also show a commutation relation of k-Schur functions corresponding to rectangles with the generators of the affine nilCoxeter algebra.

We identify two seemingly disparate structures: supercharacters, a useful way of doing Fourier analysis on the group of unipotent uppertriangular matrices with coefficients in a finite field, and the ring of symmetric functions in noncommuting variables. Each is a Hopf algebra and the two are isomorphic as such. This allows developments in each to be transferred. The identification suggests a rich class of examples for the emerging field of combinatorial Hopf algebras.

Given a list of $n$ cells $L=[(p_1,q_1),...,(p_n, q_n)]$ where $p_i, q_i\in \textbf{Z}_{\ge 0}$, we let $Δ_L=\det |{(p_j!)^{-1}(q_j!)^{-1} x^{p_j}_iy^{q_j}_i} |$. The space of diagonally alternating polynomials is spanned by $\{Δ_L\}$ where $L$ varies among all lists with $n$ cells. For $a>0$, the operators $E_a=\sum_{i=1}^{n} y_i\partial_{x_i}^a$ act on diagonally alternating polynomials and Haiman has shown that the space $A_n$ of diagonally alternating harmonic polynomials is spanned by $\{E_λΔ_n\}$. For $t=(t_m,...,t_1)\in \textbf{Z}_{> 0}^m$ with $t_m>...>t_1>0$, we consider here the operator $F_t=\det\big\|E_{t_{m-j+1}+(j-i)}\big\|$. Our first result is to show that $F_tΔ_L$ is a linear combination of $Δ_{L'}$ where $L'$ is obtained by {\sl moving} $\ell(t)=m$ distinct cells from $L$ in some determined fashion. This allows us to control the leading term of some elements of the form $F_{t_{(1)}}... F_{t_{(r)}}Δ_n$. We use this to describe explicit bases of some of the bihomogeneous components of $A_n=\bigoplus A_n^{k,l}$ where $A_n^{k,l}=\hbox{Span}\{E_λΔ_n :\ell(λ)=l, |λ|=k\}$. More precisely we give an explicit basis of $A_n^{k,l}$ whenever $k<n$. To this end, we introduce a new variation of Schensted insertion on a special class of tableaux. This produces a bijection between partitions and this new class of tableaux. The combinatorics of those tableaux $T$ allows us to know exactly the leading term of $F_TΔ_n$ where $F_T$ is the operator corresponding to the columns of $T$ and whenever $n$ is bigger than the weight of $T$.

Bergeron and Li have introduced a set of axioms which guarantee that the Grothendieck groups of a tower of algebras $\bigoplus_{n\ge0}A_n$ can be endowed with the structure of graded dual Hopf algebras. Hivert and Nzeutzhap, and independently Lam and Shimozono constructed dual graded graphs from primitive elements in Hopf algebras. In this paper we apply the composition of these constructions to towers of algebras. We show that if a tower $\bigoplus_{n\ge0}A_n$ gives rise to graded dual Hopf algebras then we must have $\dim(A_n)=r^nn!$ where $r = \dim(A_1)$. In the case $r=1$ we give a conjectural classification. We then investigate a quantum version of the main theorem. We conclude with some open problems and a categorification of the construction. This paper is a full version of the summary arXiv: 0710.3744.

We prove that the pre-Lie operad is a free non-symmetric operad.

We introduce a new definition for the species of type B, or H-species, analog to the classical species (of type A), but on which we consider the action of the groups Bn of signed permutations. We are interested in algebraic structure on these H-species and give examples of Hopf monoids. The natural way to get a graded vector space from a species, given in this paper in terms of functors, will allow us to deepen our understanding of these species. In particular, the image of the classical species of set compositions under a given functor is isomorphic to the combinatorial Hopf algebra DQSym.

Bergeron and Li have introduced a set of axioms which guarantee that the Grothendieck groups of a tower of algebras $\bigoplus_{n\ge0}A_n$ can be endowed with the structure of graded dual Hopf algebras. Hivert and Nzeutzhap, and independently Lam and Shimozono constructed dual graded graphs from primitive elements in Hopf algebras. In this paper we apply the composition of these constructions to towers of algebras. We show that if a tower $\bigoplus_{n\ge0}A_n$ gives rise to graded dual Hopf algebras then we must have $\dim(A_n)=r^nn!$ where $r = \dim(A_1)$.