Enumerating representations in finite wreath products. II: Explicit formulae (Q1865275)

In this paper the authors provide some new results in enumerative theory of wreath product representations of finitely generated groups developed by T. Müller. Let \(\{\Pi_n\}\) be either a sequence of alternating groups \(\{A_n\}\) or that of symmetric groups \(\{S_n\}\). Further let \(\Gamma\) be a finitely generated group, \(H\) be a finite group, \(N\) a subgroup of \(H\) such that \(H/N\) is Abelian. Let \((H\wr\Pi_n)_N:=\{(f,\pi)\in H\wr\Pi_n:\prod_if(i)\in N\}\), \(n\geq 0\). Consider the representation sequence \(\{{\mathcal R}_n\}\) defined by \[ {\mathcal R}_n:=\{(f,\pi)\in H\wr\Pi_n:\prod_if(i)\in N\},\;n\geq 0. \] \textit{T. Müller} [in part I, Adv. Math. 153, No. 1, 118-154 (2000; Zbl 1004.20016)] determined the number of representations of \(\Gamma\) in \({\mathcal R}_n\) by considering the values \(|\Hom(\Gamma,{\mathcal R}_n)|\) and he computed these values as the coefficients of a certain exponential generating function when \({\mathcal R}_n\) is either the wreath product of \(H\wr A_n\), \(H\wr S_n\) or \(W_n\), the Weyl group of type \(D_n\). The aim is to express the generating function \(\sum_{n\geq 0}(|\Hom(\Gamma,{\mathcal R}_n)|/n!)z^n\) in terms of the sequence \(\{{\mathcal R}_n\}\) and structural invariants of \(\Gamma\) [see also Groups -- Korea '98, Proceedings of the 4th international conference, Pusan, Korea, de Gruyter, Berlin. 243-290 (2000; Zbl 0962.20015)]. The main result of this paper gives a formula for that: one of the key ingredients is the exterior function \(\Phi_\Gamma\), a certain power series, whose variables \(z_{(\Gamma_\Pi,\Gamma_N)}\) are indexed by pairs of subgroups \((\Gamma_\Pi,\Gamma_N)\) of index at most 2 in \(\Gamma\). To each such subgroup pair there is associated a power series \(\Theta_{\Gamma_\Pi}^{\Gamma_N}(z)\), and the generating function \(\sum_{n\geq 0}(|\Hom(\Gamma,{\mathcal R}_n)|/n!)z^n\) is obtained by replacing each variable \(z_{(\Gamma_\Pi,\Gamma_N)}\) of \(\Phi_\Gamma\) with the corresponding power series \(\Theta_{\Gamma_\Pi}^{\Gamma_N}(z)\). The authors also verify a conjecture concerning the asymptotic behaviour of the sequence \(|\Hom(\Gamma,W_n)|\), for finite groups \(\Gamma\) where \(\Gamma\) is Abelian or dihedral.