The smash product of symmetric functions. Extended abstract

We examine two associative products over the ring of symmetric functions related to the intransitive and Cartesian products of permutation groups. As an application, we give an enumeration of some Feynman type diagrams arising in Bender's QFT of partitions. We end by exploring possibilities to construct noncommutative analogues.

In the last decennia two generalizations of the Hopf algebra of symmetric functions have appeared and shown themselves important, the Hopf algebra of noncommutative symmetric functions NSymm and the Hopf algebra of quasisymmetric functions QSymm. It has also become clear that it is important to understand the noncommutative versions of such important structures as Symm the Hopf algebra of symmetric functions. Not least because the right noncommmutative versions are often more...

Consider the algebra Q<<x_1,x_2,...>> of formal power series in countably many noncommuting variables over the rationals. The subalgebra Pi(x_1,x_2,...) of symmetric functions in noncommuting variables consists of all elements invariant under permutation of the variables and of bounded degree. We develop a theory of such functions analogous to the ordinary theory of symmetric functions. In particular, we define analogs of the monomial, power sum, elementary, complete homogene...

In this paper, using the theory of category, we generalize known properties of symmetric polynomials and functions and characterize the multi-indicial symmetric functions. Examples have been given on Schur functions.

The classical theory of symmetric functions has a central position in algebraic combinatorics, bridging aspects of representation theory, combinatorics, and enumerative geometry. More recently, this theory has been fruitfully extended to the larger ring of quasisymmetric functions, with corresponding applications. Here, we survey recent work extending this theory further to general asymmetric polynomials.

For polynomial representations of $GL_n$ of a fixed degree, H. Krause defined a new internal tensor product using the language of strict polynomial functors. We show that over an arbitrary commutative base ring $k$, the Schur functor carries this internal tensor product to the usual Kronecker tensor product of symmetric group representations. This is true even at the level of derived categories. The new tensor product is a substantial enrichment of the Kronecker tensor produc...

Kazhdan-Lusztig polynomials are important and mysterious objects in representation theory. Here we present a new formula for their computation for symmetric groups based on the Bruhat graph. Our approach suggests a solution to the combinatorial invariance conjecture for symmetric groups, a well-known conjecture formulated by Lusztig and Dyer in the 1980s.

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.

Let $(W,S)$ be a finite Coxeter system. Tits defined an associative product on the set $\Sigma$ of simplices of the associated Coxeter complex. The corresponding semigroup algebra is the Solomon-Tits algebra of $W$. It contains the Solomon algebra of $W$ as the algebra of invariants with respect to the natural action of $W$ on $\Sigma$. For the symmetric group $S_n$, there is a 1-1 correspondence between $\Sigma$ and the set of all set compositions (or ordered set partitions)...

We give a new (inductive) proof of the classical Frobenius--Young correspondence between irreducible complex representations of the symmetric group and Young diagrams, using the new approach, suggested in \cite{OV, VO}, to determining this correspondence. We also give linear relations between Kostka numbers that follow from the decomposition of the restrictions of induced representations to the previous symmetric subgroup. We consider a realization of representations induced ...