Limit elements in the configuration algebra for a cancellative monoid (Q963068): Difference between revisions

Summary: Associated with the Cayley graph \((F\Gamma,G)\) of a cancellative monoid \(\Gamma\) with a finite generating system \(G\), we introduce two compact spaces: \(\Omega(\Gamma,G)\) consisting of pre-partition functions and \(\Omega(P_{\Gamma,G})\) consisting of series opposite to the growth function \(P_{\Gamma,G}(t):= \sum^\infty_{n= 0}\sharp\Gamma_n\cdot t^n\) (where \(\Gamma_n\) is the ball of radius \(n\) centered at the unit element in the Cayley graph). Under mild assumptions on \((\Gamma,G)\), we introduce a fibration \(\pi: \Omega(\Gamma,G)\to \Omega(P_{\Gamma,G})\), which is equivariant with respect to a \((\overline\tau,\tau)\)-action. The action is transitive if it is of finite order. Then we express the finite sum of the pre-partition functions in each fiber of \(\pi\) as a linear combination of the ratios of the residues of the two growth functions \(P_{\Gamma,G}(t)\) and \(P_{\Gamma,G}{\mathcal M}(t):= \sum^\infty_{n=0}{\mathcal M}(\Gamma_n) t^n\) (where \({\mathcal M}(\Gamma_n)/\sharp\Gamma_n\) is the free energy of the ball \(\Gamma_n\)) at the poles on the circle of their convergence radius.