Algebra of double cosets of a symmetric group by a smaller symmetric group

Abstract

Fix a natural $α$. Let $n\ge α$ be an integer. Consider the symmetric group $S_{α+n}$ and its subgroup $S_n$. We consider the group algebra of $S_{α+n}$ and its subalgebra $\mathbb{O}[α;n]$ consisting of $S_n$-biinvariant functions, i.e., functions, which are constant on double cosets of $S_{α+n}$ with respect to $S_n$. We obtain two simple descriptions of $\mathbb{O}[α;n]$. First, we write explicitly formulas for multiplication in a natural basis (structure constants are Pochhammer symbols). Secondly, we describe this algebra in terms of generators and relations. We also construct an interpolating family of algebras $\mathbb{O}[α;ν]$ depending on a complex parameter $ν$.