Conjugacy growth series for wreath product finitary symmetric groups

In recent work, Bacher and de la Harpe define and study conjugacy growth series for finitary permutation groups. In two subsequent papers, Cotron, Dicks, and Fleming study the congruence properties of some of these series. We define a new family of conjugacy growth series for the finitary alternating wreath product that are related to sums of modular forms of integer and half-integral weights, the so-called \textit{mixed weight modular forms}. The previous works motivate the study of congruences for these series. We prove that congruences exist modulo powers of all primes $p \geq 5$. Furthermore, we lay out a method for studying congruence properties for sums of mixed weight modular forms in general.