Equivariant virtual Betti numbers (Q2482852)

Let \(G\) be a finite group, \(K^0(G)\) the Grothendieck group of real algebraic varieties with \(G\)-action. A homomorphism \(\beta^G :K^0(G) \longrightarrow \mathbb Z[[u^{-1}]][u]\) , the \(G\)-equivariant virtual Poincaré series, is constructed. For compact non-singular \(X\) the coefficients of \(\beta^G(X)\) coincide with the \(G\)-equivariant Betti numbers with coefficients in \(\mathbb Z /2\). The \(G\)-equivariant virtual Poincaré series is also defined for the Grothendieck group of arc-symmetric sets endored with a \(G\)-action. As an application the equivariant zeta-function with signs (in analogy to the motivic zeta-function of Denef and Loeser) is introduced to study singularities of Nash function germs.