Recall that the Kronecker product
$s\_\lambda \* s\_\mu$ of two Schur functions $s\_\lambda$ and $s\_\mu$ is the symmetric function
whose expansion (in terms of Schur functions) is given by


\begin{equation}
\sum\_{\nu \, \vdash \, n} g\_{\lambda \mu}^\nu \, s\_\nu
\end{equation}


where $\lambda$, $\mu$, and $\nu$ are partitions of $n$ and
$g\_{\lambda \mu}^\nu$ is the Kronecker coefficient, which famously
counts the multiplicity of $V\_\nu$ in the tensor product $V\_\lambda \otimes V\_\mu$ of the irreducible representations of the symmetric group $S\_n$.


Switch now to the quasi-symmetric world: Given a composition $\alpha = (\alpha\_1, \dots, \alpha\_k)$ of $n$ let $L\_\alpha$ be the fundamental quasi-symmetric functions defined by


\begin{equation}
L\_\alpha = \sum x\_{\ell\_1} \cdots \,x\_{\ell\_k}
\end{equation}


where the sum is taken over all sequences
$1 \leq \ell\_1 \leq \cdots \leq \ell\_k$ such that $\ell\_i < \ell\_{i+1}$ whenever
$i = \alpha\_1 + \cdots + \alpha\_j$ for some $1 \leq j \leq k-1$.


The space of symmetric functions within the $\mathrm{QSym}\_n :=\Bbb{Q}$-span of $\{ L\_\alpha \, \big| \, \alpha \, \models \, n \}$ coincides with the
$\mathrm{Sym}\_n:= \Bbb{Q}$-span of $\{ s\_\lambda \, \big| \, \lambda \, \vdash \, n \}$
the latter of which is endowed with the Kronecker $\*$-product.


**Question:**
Can the Kronecker $\*$-product on $\mathrm{Sym}\_n$ be extended to all
of $\mathrm{QSym}\_n$ so that there exist non-negative
integers $\tilde{g}\_{\alpha,\beta}^{\, \gamma}$ for each
triple $\alpha$, $\beta$, $\gamma$ of compositions of $n$
satisfying


\begin{equation}
L\_\alpha \* L\_\beta = 
\sum\_{\gamma \, \models \, n} \tilde{g}\_{\alpha,\beta}^{\, \gamma} 
\, L\_\gamma \quad \text{?}
\end{equation}


p.s. Covertly, I am asking whether or not there is some kind of tensor product structure (as in a symmetric tensor category) on the projective indecomposable representations of the 0-Hecke algebra $H\_n(0)$. Any thoughts on that would also be appreciated.


thanks, ines.



"Kronecker Product" for quasi-symmetric functions
In the world of symmetric functions, Kronecker coefficients give the structure constants for both the inner multiplication and the inner comultiplication. While the natural introduction of the inner multiplication uses the representations/characters of the symmetric group, the inner comultiplication has a very straightforward description: the structure constants are obtained via the expansion
$$s\_{\lambda}(x\_1y\_1,...,x\_iy\_j,...)=\sum\_{\nu ,\mu\, \vdash \, n} g\_{\nu \mu}^\lambda \, s\_\nu (x)s\_{\mu}(y).$$
Similarly we can ask whether $L\_{\alpha}(xy)$ has such an expansion, and the answer is positive! There exist nonnegative integers $\tilde{g}\_{\beta, \gamma}^{\, \alpha}$ such that
$$L\_{\alpha}(xy)=\sum\_{\beta, \gamma \, \models \, n}\tilde{g}\_{\beta, \gamma}^{\, \alpha}L\_{\beta}(x)L\_{\gamma}(y).$$


This gives a natural inner *comultiplication* for quasisymmetric functions. Moreover, by dualizing, these allow us to define a genuine inner multiplication for the dual $\widehat{\mathrm{QSym}\_n}$, which is isomorphic to the descent algebra of Solomon.


Originally this was shown in Gessel's paper, where you will find the details and combinatorial interpretations



> 
> I. Gessel, "Multipartite P-partitions and inner products of skew
> Schur functions", Contemporary Mathematics, 34:289–317, 1984
> 
> 
> 


You can also read about it in



> 
> C. Malvenuto, C. Reutenauer
> "Duality between quasi-symmetric functions and the Solomon descent algebra"
> J. Algebra, 177 (1995), pp. 967-982
> 
> 
> 




---


Now, as far as a natural inner *multiplication* for $\mathrm{QSym}$, this is an open problem, at least according to Hazewinkel in



> 
> M. Hazewinkel, "Symmetric functions, noncommutative symmetric functions, and quasisymmetric functions", Acta Appl. Math. 75 (2003), 1-3, 55–83
> 
> 
> 


The same paper mentions that there is no known structure on $H\_n(0)$ that induces the inner comultiplication from above, so the answer to the last question in the postscript is also missing at the moment.


