arXiv++ Combinatorics

We consider the subalgebra $Δ$ in the group algebra of the symmetric group $G=S_{n_1+\dots+n_ν}$ consisting of all functions invariant with respect to left and right shifts by elements of the Young subgroup $H:=S_{n_1}\times \dots \times S_{n_ν}$. We discuss structure constants of the algebra $Δ$ and construct an algebra with continuous parameters $n_1$ extrapolating algebras $Δ$, it can be also can be rewritten as an asymptotic algebra as $n_j\to\infty$ (for fixed $ν$). We show that there is a natural map from the Lie algebra of the group of pure braids to $Δ$ (and therefore this Lie algebra acts in spaces of multiplicities of the quasiregular representation of the group $G$ in functions on $G/H$).

There is a natural map from a symmetric group $S_n$ to a smaller symmetric group $S_{n-1}$, we write a decomposition of a permutation into a product of disjoint cycles and remove the element $n$ from this expression. For this reason there exists the inverse limit $\mathfrak{S}$ of sets $S_n$. We equip $S_n$ with the uniform distribution (or more generally with an Ewens distribution) and get a structure of a measure space on $\mathfrak{S}$ (it is called 'virtual permutations' or 'Chinese restaurant process'), a double $S_\infty\times S_\infty $ of an infinite symmetric group acts on $\mathfrak{S}$ by left and right 'multiplications'. We discuss the closure of $S_\infty\times S_\infty $ in the semigroup of polymorphisms (spreading maps with spreaded Radon--Nikodym derivatives) of $\mathfrak{S}$. We get formulas for some polymorphisms, in particular for the center of the closure. Expressions are sums of multiple convolutions of Dirichlet distributions, summation sets are certain collections of dessins d'enfant.

The paper contains a survey of train constructions for infinite symmetric groups and related groups. For certain pairs (a group $G$, a subgroup $K$), we construct categories, whose morphisms are two-dimensional surfaces tiled by polygons and colored in a certain way. A product of morphisms is a gluing of combinatorial bordisms. For a unitary representation of $G$ we assign a functor from the category of bordisms to the category of Hilbert spaces and bounded operators. The construction has numerous variations, instead of surfaces there arise also one-dimensional objects of Brauer diagram type, multi-dimensional pseudomanifolds, bipartite graphs

We show that double cosets of the infinite symmetric group with respect to some special subgroups admit natural structures of semigroups. We interpret elements of such semigroups in combinatorial terms (chips, colored graphs, two-dimensional surfaces with polygonal tiling) and describe explicitly the multiplications.