1: \begin{abstract}
2: Let $\alpha$ and $\beta$ be uniformly random permutations of orders
3: $2$ and $3$, respectively, in $S_{N}$, and consider, say, the permutation
4: $\alpha\beta\alpha\beta^{-1}$. How many fixed points does this random
5: permutation have on average? The current paper studies questions of
6: this kind and relates them to surprising topological and algebraic
7: invariants of elements in free products of groups.
8:
9: Formally, let $\Gamma=G_{1}*\ldots*G_{k}$ be a free product of groups
10: where each of $G_{1},\ldots,G_{k}$ is either finite, finitely generated
11: free, or an orientable hyperbolic surface group. For a fixed element
12: $\gamma\in\Gamma$, a $\gamma$-random permutation in the symmetric
13: group $S_{N}$ is the image of $\gamma$ through a uniformly random
14: homomorphism $\Gamma\to S_{N}$. In this paper we study local statistics
15: of $\gamma$-random permutations and their asymptotics as $N$ grows.
16: We first consider $\mathbb{E}\left[\fix_{\gamma}\left(N\right)\right]$,
17: the expected number of fixed points in a $\gamma$-random permutation
18: in $S_{N}$. We show that unless $\gamma$ has finite order, the limit
19: of $\mathbb{E}\left[\fix_{\gamma}\left(N\right)\right]$ as $N\to\infty$
20: is an integer, and is equal to the number of subgroups $H\le\Gamma$
21: containing $\gamma$ such that $H\cong\mathbb{Z}$ or $H\cong C_{2}*C_{2}$.
22: Equivalently, this is the number of subgroups $H\le\Gamma$ containing
23: $\gamma$ and having (rational) Euler characteristic zero. We also
24: prove there is an asymptotic expansion for $\mathbb{E}\left[\fix_{\gamma}\left(N\right)\right]$
25: and determine the limit distribution of the number of fixed points
26: as $N\to\infty$. These results are then generalized to all statistics
27: of cycles of fixed lengths.
28: \end{abstract}
29: