arXiv++ Combinatorics

Quasisymmetric functions in superspace were introduced as a natural extension of classical quasisymmetric functions involving both commuting and anticommuting variables. In this paper, we first provide a characterization of the algebra of quasisymmetric functions in superspace as an algebra of invariants under a quasisymmetrizing action of the symmetric group. Furthermore, we complete the superspace analogue of the classical hierarchy of combinatorial Hopf algebras by introducing the algebra of quasisymmetric functions in noncommuting variables in superspace. We endow this algebra with a Hopf superalgebra structure and thoroughly investigate its $Q$-basis and monomial basis, which are indexed by set supercompositions. By restricting to the minimal elements of the underlying poset, we construct the Hopf superalgebra of superpermutations, serving as the superspace analogue of the Malvenuto--Reutenauer algebra. We provide explicit product and coproduct formulas for these bases in terms of super-shuffles and global descents. Finally, via an abelianization morphism, we apply these noncommutative structures to derive a product formula for fundamental quasisymmetric functions in superspace.

In 2004, Rosas and Sagan developed the theory of symmetric functions in noncommuting variables, achieving results analogous to classical symmetric functions. On the other hand, in 2004, Desrosiers, Lapointe and Mathieu introduced the theory of symmetric functions in superspace, which involve both commuting and anticommuting variables, extending the classic theory. Here, we introduce symmetric functions in noncommuting variables in superspace. We define the classical symmetric functions in noncommuting variables to superspace: monomials, power sums, elementaries and complete homogeneous, which generalize both the ones studied by Rosas and Sagan and the ones studied by Desrosiers, Lapointe and Mathieu. We also define Schur--type functions in noncommuting variables in superspace.

We study in detail the Hopf algebra of noncommutative symmetric functions in superspace sNSym, introduced by Fishel, Lapointe and Pinto. We introduce a family of primitive elements of sNSym and extend the noncommutative elementary and power sum functions to superspace. Then, we give formulas relating these families of functions. Also, we introduce noncommutative Ribbon Schur functions in superspace and provide a explicit formula for their product. We show that the dual basis of these function is given by a family of the so--called fundamental quasisymmetric functions in superspace. This allows us to obtain a explicit formula for the coproduct of fundamental quasisymmetric functions in superspace. Additionally, by projecting the noncommutative Ribbon Schur functions in superspace, we define a new basis for the algebra of symmetric functions in superspace. On the other hand, we also show that sNSym can be realised as a Hopf algebra of trees.

We introduce Macdonald polynomials indexed by $n$-tuples of partitions and characterized by certain orthogonality and triangularity relations. We prove that they can be explicitly given as products of ordinary Macdonald polynomials depending on special alphabets. With this factorization in hand, we establish their most basic properties, such as explicit formulas for their norm-squared, evaluation and reproducing kernel. Moreover, we show that the $q,t$-Kostka coefficients associated to the multi-Macdonald polynomials are positive and correspond to $q,t$-analogs of the dimensions of the irreducible representations of $C_n \sim S_d$, the wreath product of the cyclic group $C_n$ with the symmetric group.

We study some algebraic and combinatorial features of two algebras that arise as quotients of Temperley-Lieb algebras of type $\tilde{C}$, namely, the two-boundary Temperley-Lieb algebra and the symplectic blob algebra. We provide a monomial basis for both algebras. The elements of these bases are parameterized by certain subsets of fully commutative elements. We enumerate these elements according to their affine length.

We demonstrate the validity of previously conjectured explicit expressions for the norm and the evaluation of the Macdonald polynomials in superspace. These expressions, which involve the arm-lengths and leg-lengths of the cells in certain Young diagrams, specialize to the well known formulas for the norm and the evaluation of the usual Macdonald polynomials.