Equivariant Poincaré series and monodromy zeta functions of quasihomogeneous polynomials (Q713091): Difference between revisions

Earlier the authors established the relation \(P_X(t)\cdot \text{Or}_X(t)=\widetilde \zeta^*_f(t)\) between the Poincaré series of a quasi-homogeneous singularity and its monodromy zeta-function [Math. Res. Lett. 9, No. 4, 509--513 (2002; Zbl 1056.14003)], involving Saito duality and an orbit invariant. Here they describe the equivariant version. The logarithm of the equivariant Poincaré series is an element of the representation ring of the group under consideration. The equivariant \(\zeta\)-function is an element of the Grothendieck ring \(K_0(\text{f.}\mathbb{Z}_d\text{-sets})\). With the tautological map from the representation ring to the Grothendieck group the relation now becomes \[ \text{Tau}(\text{Log} P_X^{\overline G}) - \text{Or}_X^{\overline G}= \text{Ind}_G^{\overline G} \widetilde\zeta_f^G. \] Here no Saito duality is involved. The last remark of the authors is that both \(\text{Or}_X^{\overline G}\) and \(\widetilde\zeta_f^G\) contain more summands than the other term. This hints at that the relations are essentially between the orbit invariant and the zeta-function, with the Poincaré series being rather a correction term.