Arnold Mathematical Journal Research Contribution

Received: 17 December 2014 / Accepted: 4 April 2015

# On an Equivariant Version of the Zeta Function of a Transformation

S. M. Gusein-Zade Faculty of Mathematics and Mechanics, GSP-1 Moscow State University Moscow 119991 Russia    I. Luengo Present address: ICMAT-Institute of Mathematical Sciences Madrid Spain

### Abstract

Earlier the authors offered an equivariant version of the classical monodromy zeta function of a $G$-invariant function germ with a finite group $G$ as a power series with the coefficients from the Burnside ring of the group $G$ tensored by the field of rational numbers. One of the main ingredients of the definition was the definition of the equivariant Lefschetz number of a $G$-equivariant transformation given by W. Lück and J. Rosenberg. Here we use another approach to a definition of the equivariant Lefschetz number of a transformation and describe the corresponding notions of the equivariant zeta function. This zeta-function is a power series with the coefficients from the Burnside ring itself. We give an A’Campo type formula for the equivariant monodromy zeta function of a function germ in terms of a resolution. Finally we discuss orbifold versions of the Lefschetz number and of the monodromy zeta function corresponding to the two equivariant ones.

#### Keywords

Equivariant Lefschetz numbers, Zeta functions, Burnside ring

#### Mathematics Subject Classification

32S05, 32S50, 57R91, 58K10

## 1 Introduction

Many topological invariants have equivariant versions for spaces with actions of a group $G$, say, a finite one. For example, in [Verdier1973], an equivariant version of the Euler characteristic is an element of the Grothendieck ring of ${\mathbb{Z}}[G]$- or ${\mathbb{Q}}[G]$-modules. In tom Dieck ( [tom Dieck1979] , Section 5.4) it is defined as an element of the Burnside ring of the group $G$ (that is of the Grothendieck ring $K_{0}({\mbox{f.$G$-s.}})$ of finite $G$-sets). Applying these concepts to the Milnor fibre, one gets an equivariant version of the Milnor number of a $G$-invariant function-germ. For example, in [Wall1980] it is an element of the ring of virtual representations of the group $G$.

An important invariant of a germ of a holomorphic function (on $({\mathbb{C}}^{n},0)$ or on a germ of a complex analytic variety) is its monodromy and its corresponding zeta function, see e.g. [Arnold et al.1988]. It is defined as the zeta function of the classical monodromy transformation on the Milnor fibre. A number of statements have natural formulations in terms of monodromy zeta functions. As an example one can indicate the well-known monodromy conjecture: see, e.g., [Denef and Loeser1992]. The monodromy zeta function is connected with a number of other invariants, topological and analytic ones. For example, in [Gusein-Zade et al.1999], it was shown that, for an irreducible plane curve singularity, the monodromy zeta function of the corresponding function-germ coincides with the Poincaré series of the natural filtration on the local ring defined by the curve valuation. There are generalizations of this fact to some other situations [(see, e.g., a survey in [Gusein-Zade2010]]. In all these cases one has no intrinsic explanation of the relation. The relation is obtained by independent computation of the right and left hand sides of it in the same terms and comparison of the obtained results.

Generalizations of relations of this sort to equivariant settings could help to understand the general framework. For example, in [Ebeling and Gusein-Zade2012b] an equivariant version of a relation obtained earlier gave a better understanding of the role of the Saito duality in it. This leads to the desire to define equivariant analogues of monodromy zeta functions and of the Poincaré series of filtrations. These problem is not trivial and equivariant analogues are not unique. Moreover, up to now there were no definitions of equivariant analogues of monodromy zeta functions and of the Poincaré series which were elements of the same rings. For example, in [Campillo et al.2007]; [Campillo et al.2013], there were offered different approaches to equivariant Poincaré series. In [Campillo et al.2007] it is a power series with coefficients from the ring of one-dimensional representation of a group. In [Campillo et al.2013] it is an element of the Grothendieck ring of “locally finite” $G$-sets with an additional structure. In [Gusein-Zade et al.2008], there was given an equivariant version of the monodromy zeta function as a power series with the coefficients from $K_{0}({\mbox{f.$G$-s.}})\otimes{\mathbb{Q}}$. The fact that it was defined only after tensoring by the field ${\mathbb{Q}}$ of rational numbers makes it less reasonable, in particular, to compare it with the equivariant versions of the Poincaré series which were defined over integers. In [Gusein-Zade2013] an equivariant version of the monodromy zeta function was defined as an element of a generalization of the Burnside ring different from that in [Campillo et al.2013]. Just recently one gave a definition of an equivariant version of the Poincaré series as a power series with the coefficients from the Burnside ring of the group: [Campillo et al.2014]. (In that paper initially the Poincaré series is defined as a power series with the coefficients from a certain modification of the Burnside ring. A simple reductions sends this modification to the usual Burnside ring.)

One of the main ingredients of the definition of the equivariant version of the monodromy zeta function in [Gusein-Zade et al.2008] was the definition of the equivariant Lefschetz number of a transformation from [Lück and Rosenberg2003]. The definition from [Lück and Rosenberg2003] is rather natural. Moreover, one can say that it is the only possible definition possessing some reasonable properties. However the fact that it leads to a “non-integer” definition of the (monodromy) zeta function gives a hint that this definition is not absolutely adequate to this purpose.

There is certain freedom in a definition of an equivariant version of the Lefschetz number of a transformation connected with the question whether it should count the fixed points of the transformation or the fixed $G$-orbits of it. Here we use the second approach to the definition of the equivariant version of the Lefschetz number. This definition was introduced in [Dzedzej2001]. We describe the corresponding equivariant version of the zeta function of a transformation. This zeta-function is a power series with the coefficients from the ring $K_{0}({\mbox{f.$G$-s.}})$. We give an A’Campo type formula for the equivariant monodromy zeta function of a function germ in terms of a resolution.

Difficulties to compare equivariant versions of monodromy zeta functions and of the Poincaré series being elements of different nature (e.g. those described above) leads to the idea to compare their “integer valued reductions”. These reductions can be made with the help of the usual Euler characteristic and also with the help of the orbifold Euler characteristic. In the light of this, we also discuss possible orbifold versions of the zeta function of a transformation.

###### Remark.

The defined equivariant version of the zeta function is not a new invariant in the sense that it cannot distinguish more transformations than existing ones. In particular, it is expressed in terms of equivariant Lefschetz numbers of iterates defined earlier. The same holds for the usual (non-equivariant) zeta function of a transformation. However, it appears to be better adapted to a number of problems. (One more example: the well-known monodromy conjecture on poles of the topological Igusa zeta function (see, e.g., [Denef and Loeser1992]) is also formulated in terms of the monodromy zeta function.) To find equivariant analogues of these problems, one would need to have an equivariant generalization of the usual zeta function of a transformation. Moreover, there are other indices of equivariant transformations which are more fine invariants than the monodromy zeta function. For example, equivariant generalizations of Dold’s indices of iterates defined in [Crabb2007] are of this sort: our equivariant version of the zeta function can be expressed through them (private communication by M. C. Crabb).

## 2 Burnside Ring and the Equivariant Euler Characteristic

A finite $G$-set is a finite set with an action (say a left one) of the group $G$. Isomorphism classes of irreducible $G$-sets (i.e. those which consist of exactly one orbit) are in one-to-one correspondence with the set $\mbox{Consub}(G)$ of conjugacy classes of subgroups of $G$: to the conjugacy class containing a subgroup $H\subset G$ one associates the isomorphism class $[G/H]$ of the $G$-set $G/H$. The Grothendieck ring $K_{0}({\mbox{ f.$G$-s.}})$ of finite $G$-sets (also called the Burnside ring of $G$) is the group generated by isomorphism classes of finite $G$-sets with the relation $[A\coprod B]=[A]+[B]$ and with the multiplication defined by the cartesian product. As an abelian group $K_{0}({\mbox{ f.$G$-s.}})$ is freely generated by the isomorphism classes $[G/H]$ of irreducible $G$-sets. The element 1 in the ring $K_{0}({\mbox{ f.$G$-s.}})$ is represented by the $G$-set consisting of one point (with the trivial $G$-action).

Recall that given a subgroup $H$ of $G$ there are two natural maps $\mbox{Res}_{H}^{G}:K_{0}(\mbox{f.}{G}\mbox{-sets})\to K_{0}(\mbox{f.}{H}% \mbox{-sets})$ and $\mbox{Ind}_{H}^{G}:K_{0}(\mbox{f.}{H}\mbox{-sets})\to K_{0}(\mbox{f.}{G}% \mbox{-sets})$. The restriction map $\mbox{Res}_{H}^{G}$ sends a $G$-set X to the same set considered with the $H$-action. The induction map $\mbox{Ind}_{H}^{G}$ sends an $H$-set $X$ to the product $G\times X$ factorized by the natural equivalence: $(g_{1},x_{1})\sim(g_{2},x_{2})$ if there exists $g\in H$ such that $g_{2}=g_{1}g$, $x_{2}=g^{-1}x_{1}$ with the natural (left) $G$-action. The induction map $\mbox{Ind}_{H}^{G}$ sends the class $[H/H^{\prime}]$ ($H^{\prime}$ is a subgroup of $H$) to the class $[G/H^{\prime}]$. Both maps are group homomorphisms, however the induction map $\mbox{Ind}_{H}^{G}$ is not a ring homomorphism.

In some places, say, in [tom Dieck1979], [Lück and Rosenberg2003] and [Gusein-Zade et al.2008], the equivariant Euler characteristic of a $G$-space is considered as an element of the Grothendieck ring $K_{0}({\mbox{ f.$G$-s.}})$. For a relatively good $G$-space $X$ (say, for a quasiprojective variety) the equivariant Euler characteristic $\chi^{G}(X)\in K_{0}({\mbox{ f.$G$-s.}})$ can be defined in the following way. For a point $x\in X$, let $G_{x}=\{g\in G:\,g\cdot x=x\}$ be the isotropy subgroup of the point $x$. For a conjugacy class ${\mathcal{H}}\in\mbox{ Consub}(G)$, set $X^{{\mathcal{H}}}=\{x\in X:x\mbox{ is a fixed point of a subgroup }H\in{\mathcal{H}}\}$ and let $X^{({\mathcal{H}})}=\{x\in X:G_{x}\in{\mathcal{H}}\}$ be the set of points with the isotropy subgroups from ${\mathcal{H}}$. One can see that in the natural sense $X^{({\mathcal{H}})}=X^{{\mathcal{H}}}{\setminus}X^{>{\mathcal{H}}}$, where $X^{>{\mathcal{H}}}=\bigcup\nolimits_{{\mathcal{H}}^{\prime}>{\mathcal{H}}}X^{{% \mathcal{H}}^{\prime}}$.

Then the equivariant Euler characteristic of the $G$-space $X$ is defined as

 $\chi^{G}(X):=\sum_{{\mathcal{H}}\in{ Consub}(G)}\frac{\chi(X^{({\mathcal{H}% })})\,|H|}{|G|}[G/H]=\sum_{{\mathcal{H}}\in{ Consub}(G)}\chi(X^{({\mathcal{% H}})}/G)[G/H],$ (1)

where $H$ is a representative of the conjugacy class ${\mathcal{H}}$.

###### Remark.

Here we use the additive Euler characteristic $\chi(\cdot)$, i.e. the alternating sum of the ranks of the cohomology groups with compact support. For a complex analytic variety this Euler characteristic is equal to the alternating sum of the ranks of the usual cohomology groups.

###### Definition.

A pre-$\lambda$ ring structure on a commutative ring $R$ is an additive to multiplicative group homomorphism $\lambda_{T}:R\to 1+T\cdot R[[T]]$, that is $\lambda_{T}(m+n)=\lambda_{T}(m)\lambda_{T}(n)$, such that $\lambda_{T}(m)=1+mT$ (mod $T^{2}$).

A pre-$\lambda$ ring homomorphism is a ring homomorphism between pre-$\lambda$ rings which commutes with the pre-$\lambda$ ring structures.

The Grothendieck ring $K_{0}({\mbox{ f.$G$-s.}})$ has a natural pre-$\lambda$-ring structure defined by the series

 $\sigma_{X}(t)=1+[X]\,t+[S^{2}X]\,t^{2}+[S^{3}X]\,t^{3}+\cdots,$

where $S^{k}X=X^{k}/S_{k}$ is the $k$-th symmetric power of the $G$-set $X$ with the natural $G$-action. This pre-$\lambda$-ring structure induces a power structure over the Grothendieck ring $K_{0}({\mbox{ f.$G$-s.}})$: see [Gusein-Zade et al.2006]. This means that for a power series $A(t)\in 1+t\cdot K_{0}({\mbox{ f.$G$-s.}})[[t]]$ and $m\in K_{0}({\mbox{ f.$G$-s.}})$ there is defined a series $\left(A(t)\right)^{m}\in 1+t\cdot K_{0}({\mbox{ f.$G$-s.}})[[t]]$ so that all the properties of the exponential function hold. In these notations $\sigma_{X}(t)=(1-t)^{-[X]}$. The geometric description of the natural power structure over the Grothendieck ring of quasiprojective varieties given in [Gusein-Zade et al.2006] using graded spaces is also valid for the power structure over $K_{0}({\mbox{ f.$G$-s.}})$ as well.

Some examples of computation of the series $(1-t)^{-[G/H]}$ for $G$ being the cyclic group ${\mathbb{Z}}_{6}$ of order 6 and the group ${\mathcal{S}}_{3}$ of permutations on three elements can be found in [Gusein-Zade et al.2008] (with some misprints). For example

\renewcommand\Z{\mathbb Z}\begin{align} (1-t)^{-[{\mathcal S}_3/\langle e\rangle]}=&\frac{1}{1-t^6}[1]+\frac{t^3}{(1-t^3)(1-t^6)}[{\mathcal S}_3/\Z_3]\\ &+\frac{3t^2}{(1-t^2)^2(1-t^6)}[{\mathcal S}_3/\Z_2]\\ &+\frac{t(1+4t^2+t^3+4t^4-2t^5+3t^6+t^7)}{(1-t^2)^2(1-t^3)(1-t^6)(1-t)^2}[{\mathcal S}_3/\langle e\rangle].\end{align}

There is a natural homomorphism from the Grothendieck ring $K_{0}({\mbox{ f.$G$-s.}})$ to the ring $R(G)$ of virtual representations of the group $G$ which sends the class $[G/H]\in K_{0}({\mbox{ f.$G$-s.}})$ to the representation $i^{G}_{H}[1_{H}]$ induced from the trivial one-dimensional representation $1_{H}$ of the subgroup $H$. (A virtual representation of the group $G$ is an element of the Grothendieck ring of representations, i.e. a formal difference of two representations.) This homomorphism is a homomorphism of pre-$\lambda$-rings ([Knutson1973]).

Let us show that for any subgroup $H$ of $G$ the series $(1-t)^{-[G/H]}$ represents a rational function with the denominator equal to a product of the binomials of the form $(1-t^{m})$, $m\in{\mathbb{Z}}_{\geq 1}$. Since irreducible $G$-sets are in one-to-one correspondence with the set $\mbox{ Consub}(G)$ of conjugacy classes of subgroups of $G$ and $K_{0}({\mbox{ f.$G$-s.}})$ is freely generated by isomorphism classes $[G/H]$ of irreducible $G$-sets then

 $(1-t)^{-[G/H]}=\sum_{{\mathcal{F}}\in{ Consub}(G)}{\mathcal{A}}_{H,{% \mathcal{F}}}(t)[G/F]$ (2)

where $F$ is a representative of the conjugacy class ${\mathcal{F}}$ and ${\mathcal{A}}_{H,{\mathcal{F}}}(t)\in{\mathbb{Z}}[[t]]$.

Let ${\mathcal{F}}$ be a conjugacy class of subgroups of $G$ and let $F$ be a representative of it. The subgroup $F$ acts on the $G$-space $G/H$. Let $F\backslash G/H$ be the quotient of $G/H$ by this action and let $p:G/H\to F\backslash G/H$ be the quotient map. For $m=1,2,\ldots,$ let $Y_{m}$ be the set of points of $F\backslash G/H$ with $m$ preimages in $G/H$ and let ${\ell}^{{\mathcal{F}}}_{m}=|Y_{m}|$. (The numbers ${\ell}^{{\mathcal{F}}}_{m}$ depend only on the conjugacy class ${\mathcal{F}}$.) For an abelian $G$, ${\ell}^{{\mathcal{F}}}_{m}$ is different from zero if and only if $m=\frac{|F|}{|F\cap H|}$ and in this case ${\ell}^{{\mathcal{F}}}_{m}=|G|/|F+H|$.

For conjugacy classes ${\mathcal{F}}$ and ${\mathcal{F}}^{\prime}$ from ${ Consub}(G)$, let $F$ and $F^{\prime}$ be their representatives, and let $r_{{\mathcal{F}}^{\prime},{\mathcal{F}}}$ be the number of fixed points of the group $F$ on $G/F^{\prime}$. The integer $r_{{\mathcal{F}}^{\prime},{\mathcal{F}}}$ is different from zero if and only if ${\mathcal{F}}^{\prime}\geq{\mathcal{F}}$ (i.e. there exist representatives $F^{\prime}$ of $F$ of them such that $F^{\prime}\supset F$. For an abelian $G$ and for ${\mathcal{F}}^{\prime}\geq{\mathcal{F}}$, one has $r_{{\mathcal{F}}^{\prime},{\mathcal{F}}}=|G/F^{\prime}|$. For a non-abelian group the equation is more involved and $r_{{\mathcal{F}}^{\prime},{\mathcal{F}}}$ depends on ${\mathcal{F}}$ as well.

###### Lemma 1.

For ${\mathcal{F}}\in{ Consub}(G)$ one has

 $\prod_{m\geq 1}(1-t^{m})^{-{\ell}^{{\mathcal{F}}}_{m}}=\sum_{{\mathcal{F}}^{% \prime}\in{ Consub}(G)}r_{{\mathcal{F}}^{\prime},{\mathcal{F}}}\,\,{% \mathcal{A}}_{H,{\mathcal{F}}^{\prime}}(t).$ (3)
###### Proof.

Let $F$ be a representative of ${\mathcal{F}}$ and let us count fixed points of the subgroup $F$ in the left hand side and right hand side of (2) .

For a finite set $X$ an element of $\coprod_{k\geq 0}S^{k}X$ can be identified with an integer valued function on $X$ with non-negative values. The corresponding element belongs to $S^{k}X$ if and only if the sum of all the values of the function is equal to $k$. An element of $\coprod_{k\geq 0}S^{k}[G/H]$ is fixed with respect to $F$ if and only if the corresponding function is invariant with respect to the $F$-action on $G/H$. Such a function can be identified with a function on $F\backslash G/H$. A function on $F\backslash G/H$ can be also considered as the direct sum of functions on the subset $Y_{s}$ defined above. The generating series for the number of functions on $Y_{s}$ (i.e. the series $\sum_{k\geq 0}\arrowvert S^{k}Y_{s}\arrowvert\,t^{k}$) is $(1-t)^{-|Y_{s}|}=(1-t)^{-{\ell}^{{\mathcal{F}}}_{s}}$. Each function on $Y_{s}$ with the sum of values equal to $k$ lifts to an $H$ invariant function on $G/H$ with the sum of the values equal to $ks$. Therefore the generating series for $F$-invariants functions on $p^{-1}(Y_{s})$ is $(1-t^{s})^{-{\ell}^{{\mathcal{F}}}_{s}}$. The generating series for all $F$-invariants functions on $G/H$ is the product of those for $p^{-1}(Y_{s})$. This is the left hand side of (3) .

The right hand side of (3) is obviously the set of fixed points of $F$ on the right hand side of (2) . $\square$

Since $r_{{\mathcal{F}}^{\prime},{\mathcal{F}}}$ is different from zero if and only if ${\mathcal{F}}\leq{\mathcal{F}}^{\prime}$ and $r_{{\mathcal{F}}^{\prime},{\mathcal{F}}^{\prime}}$ is different from zero, the system of Eq. (3) is a triangular one (with respect to the partial order on the set of conjugacy classes of subgroups of $G$). Together with the fact that the denominators of the left hand side of the Eq. (3) are product of the binomials of the form $(1-t^{m})$ this implies the following statement.

###### Proposition 1.

For any subgroup $H$ of $G$ the series $(1-t)^{-[G/H]}$ belongs to the localization $K_{0}({\mbox{ f.$G$-s.}})[t]_{(\{1-t^{m}\})}$ of the polynomial ring $K_{0}({\mbox{ f.$G$-s.}})[t]$ at all the elements of the form $(1-t^{m})$, $m\geq 1$.

The natural homomorphism from the Grothendieck ring $K_{0}({\mbox{ f.$G$-s.}})$ to the ring $R(G)$ of virtual representations of the group $G$ sends the equivariant Euler characteristic $\chi^{G}(X)$ to the one used in [Wall1980]. Since this homomorphism is, generally speaking, neither injective, no surjective, the equivariant Euler characteristic as an element in $K_{0}({\mbox{ f.$G$-s.}})$ is a somewhat finer invariant than the one as an element of the ring $R(G)$.

## 3 An Alternative Version of the Equivariant Lefschetz Number of a Map

Let $X$ be a relatively good topological space (say, a quasiprojective complex or real variety) with a $G$-action and let $\varphi:X\to X$ be a $G$-equivariant proper map. The usual (“non-equivariant”) Lefschetz number $L(\varphi)$ counts the fixed points of $\varphi$ (or rather of its generic perturbation). The equivariant version $L^{G}(\varphi)$ of the Lefschetz number from [Lück and Rosenberg2003] counts the fixed points of $\varphi$ as a (finite) $G$-set. This leads to the following equation for the equivariant Lefschetz number

 $L^{G}(\varphi)=\sum\limits_{{\mathcal{H}}\in\mbox{Consub}(G)}\frac{L(\varphi_{% |(X^{{\mathcal{H}}},X^{>{\mathcal{H}}})})|H|}{|G|}[G/H],$ (4)

where $H$ is a representative of the class ${\mathcal{H}}$. If $\varphi$ is a $G$-homeomorphism (like the monodromy transformation, see Sect. , (5) and (6) , (7) with the two parts of the equation (1) .]

###### Example.

For some simplicity, let the group $G$ be abelian, let $X=(G/H)\times{\mathbb{Z}}_{k}=\{0,1,\ldots,k-1\}$, $k>0$, with the natural action of the group $G$ on the first factor, and let the map $\varphi:X\to X$ be defined by

 $\varphi(a,i)=\begin{cases}(a,i+1)&\mbox{ for }0\leq i If$k>1$, then$L^{G}(\varphi)={\widetilde{L}}^{G}(\varphi)=0$since$\varphi$has neither fixed points, no fixed orbits. The smallest$i$for which${\widetilde{L}}^{G}(\varphi^{i})\neq 0$is$i=k$. In this case all the$G$-orbits in$X$are fixed by$\varphi^{k}$and therefore${\widetilde{L}}^{G}(\varphi^{k})=k[G/H]$. On the other hand, if$g\notin H$, the map$\varphi^{k}$has no fixed points and thus$L^{G}(\varphi^{k})=0$. The smallest$i$for which$L^{G}(\varphi^{i})\neq 0$is$i=\ell k$, where$\ell$is the order of the element$g$in the group$G/H$. In this case all the points of$X$are fixed by$\varphi^{\ell k}$and therefore${\widetilde{L}}^{G}(\varphi^{\ell k})=k[G/H]$. Just in the same way as in [Lück and Rosenberg2003] one can formulate the equivariant version of the Lefschetz fixed point theorem for${\widetilde{L}}^{G}(\varphi)$(an analogue of Theorem 2.1 in [Lück and Rosenberg2003]). ## 4 The Zeta Function of a Transformation Let$\varphi:X\to X$be as above. The usual (non-equivariant) zeta function of$\varphi$is defined in terms of the action of$\varphi$in the (co)homology groups of$X$(in a way somewhat similar to the definition of the Lefschetz number). This definition is not convenient for a direct generalization to the equivariant case. It is more convenient to use the definition of the zeta function of the transformation$\varphi$in terms of the Lefschetz numbers of the iterates of$\varphi$. One defines integers$s_{i}$,$i=1,2\ldots,$recursively by the equation $L(\varphi^{m})=\sum_{i|m}s_{i}.$(8) The number$s_{m}$counts (with integer multiplicities) the points$x\in X$with the$\varphi$-order equal to$m$(i.e.$\varphi^{m}(x)=x$,$\varphi^{i}(x)\neq x$for$0<i<m$). Together with each such point all its images under the iterates of$\varphi$(there are exactly$m$different ones) are of this sort. Therefore$s_{m}$is divisible by$m$. One defines the zeta function$\zeta_{\varphi}(t)$to be $\zeta_{\varphi}(t):=\prod_{m\geq 1}(1-t^{m})^{-{s_{m}}/{m}}.$(9) ###### Remark. There are two traditions to define the zeta function of a transformation. The other one does not contain the minus sign in the exponent and therefore is the inverse to this one. Here we follow the definition from [A’Campo1975]. In the equivariant version, let$s_{m}^{{{G}}}(\varphi)$and${\widetilde{s}}_{m}^{{{G}}}(\varphi)$be defined through$L^{G}(\varphi^{i})$and${\widetilde{L}}^{G}(\varphi^{i})$respectively by the analogues of the Eq. (8) $L^{G}(\varphi^{m})=\sum_{i|m}s_{i}^{G}(\varphi),\quad{\widetilde{L}}^{G}(% \varphi^{m})=\sum_{i|m}{\widetilde{s}}_{i}^{G}(\varphi).$(10) The elements$s_{m}^{G}(\varphi)$and${\widetilde{s}}_{m}^{G}(\varphi)$count the points in$X$the$\varphi$-order of which is equal to$m$in$X$and in$X/G$respectively. ###### Example. In the Example from Sect. 2 with Proposition 1 gives $\begin{align}{\widetilde{\zeta}}^{{\mathcal{S}}_{3}}_{f}(t)&(1-t^{6k})^{-1}\cdot(1-t^{6k}% )^{(6k-1)[{\mathcal{S}}_{3}/{\mathbb{Z}}_{2}]}\cdot(1-t^{3k})^{-[{\mathcal{S}}% _{3}/\langle e\rangle]}\\ &\cdot(1-t^{2k})^{-[{\mathcal{S}}_{3}/\langle e\rangle]}\cdot(1-t^{6k})^{(1-6% k^{2})[{\mathcal{S}}_{3}/\langle e\rangle]}.\end{align}$## 5 On Orbifold Versions of the Equivariant Monodromy Zeta Function For a$G$-variety$X$, its orbifold Euler characteristic$\chi^{orb}(X,G)\in{\mathbb{Z}}$is defined, e.g., in [Atiyah and Segal1989] or [Hirzebruch and Höfer1990]. For a subgroup$H$of$G$, let$X^{H}=\{x\in X:Hx=x\}$be the fixed point set of$H$. The orbifold Euler characteristic$\chi^{orb}(X,G)$of the$G$-space$X$is defined, e.g., in [Atiyah and Segal1989] and [Hirzebruch and Höfer1990]: $\chi^{orb}(X,G)=\sum_{[g]\in{ Consub}(G)}\chi(X^{\langle g\rangle}/C_{G}(g)),$(13) where$C_{G}(g)=\{h\in G:h^{-1}gh=g\}$is the centralizer of$g$, and$\langle g\rangle$the subgroups generated by$g$. There is a natural homomorphism of abelian groups$\Phi:K_{0}({\mbox{ f.$G$-s.}})\to{\mathbb{Z}}$which sends the generator$[G/H]$of$K_{0}({\mbox{ f.$G$-s.}})$to$\chi^{orb}(G/H,G)$and therefore the equivariant Euler characteristic$\chi^{G}(X)\in K_{0}({\mbox{ f.$G$-s.}})$to the orbifold Euler characteristic$\chi^{orb}(X,G)$. For an abelian$G$,$\Phi([G/H])=|H|$and$\Phi$is a ring homomorphism, but this is not the case in general. The Lefschetz number is a sort of generalization of the Euler characteristic: the Euler characteristic is the Lefschetz number of the identity map. The definition of the orbifold Euler characteristic gives the hint that there can be the corresponding definition(s) of the orbifold Lefschetz number of a$G$-equivariant transformation. It can be expressed through an equivariant version of the Lefschetz number with values in the Burnside ring: the image of the Lefschetz number by the homomorphism$\Phi$. The two versions$L^{G}(\varphi)$and${\widetilde{L}}^{G}(\varphi)$of the equivariant Lefschetz number [see (4) and (6) ] give two versions $L^{orb}(\varphi)=\Phi(L^{G}(\varphi))\,\,\mbox{ and }\,\,{\widetilde{L}}^{orb}(\varphi)=\Phi({\widetilde{L}}^{G}(\varphi))$of orbifold Lefschetz numbers. The usual definition of the zeta function of a transformation [e.g. Eqs. (8) , (9) , (10) and (11) ] gives two orbifold versions of the zeta function of a$G$-equivariant transformation$\varphi:X\to X$: ${\zeta}_{\varphi}^{orb}(t)=\prod_{m\geq 1}(1-t^{m})^{-{{s}_{m}^{{orb}}}/{m}},% \,\,\mbox{ and }\,\,{\widetilde{\zeta}}_{\varphi}^{orb}(t)=\prod_{m\geq 1}(1-t% ^{m})^{-{{\widetilde{s}}_{m}^{{orb}}}/{m}},$(14) where$L^{orb}(\varphi^{m})=\sum_{i|m}s^{orb}_{i}(\varphi)$and${\widetilde{L}}^{orb}(\varphi^{m})=\sum_{i|m}{\widetilde{s}}^{orb}_{i}(\varphi)$. The exponents$-{{\widetilde{s}}_{m}^{{orb}}}/{m}$are integers and therefore the orbifold monodromy zeta function${\widetilde{\zeta}}_{\varphi}^{orb}(t)$is a rational function in$t$. The exponents$-{{s}_{m}^{{orb}}}/{m}$are in general rational numbers. For instance, for$f$from Example 2 in Sect. 5 one has ${\widetilde{\zeta}}_{f}^{orb}(t)=(1-t^{6k})^{-1+2(6k-1)+(1-6k^{2})}\cdot(1-t^{% 3k})^{-1}\cdot(1-t^{2k})^{-1}.$This follows from the fact that, for$G={\mathcal{S}}_{3}$and for a subgroup$H$of${\mathcal{S}}_{3}$,$\chi^{orb}({\mathcal{S}}_{3}/H,{\mathcal{S}}_{3})=|H|$. #### Acknowledgements S. M. Gusein-Zade partially supported by the Grants RFBR-13-01-00755 and NSh-5138.2014.1. I. Luengo and A. Melle-Hernández partially supported by the Spanish Grant MTM2013-45710-C2-2-P. ### References • [A’Campo1975] A’Campo, N.: La fonction zêta d’une monodromie. Comment. Math. Helv. 50, 233–248 (1975) • [Arnold et al.1988] Arnold, V.I., Gusein-Zade, S.M., Varchenko, A.N.: Singularities of Differentiable Maps. vol. II. Monodromy and Asymptotics of Integrals, Monographical Mathematics, vol. 83. Birkhäuser, Boston (1988) • [Atiyah and Segal1989] Atiyah, M., Segal, G.: On equivariant Euler characteristics. J. Geom. Phys. 6(4), 671–677 (1989) • [Gusein-Zade et al.1999] Gusein-Zade, S.M., Delgado, F., Campillo, A.: On the monodromy of a plane curve singularity and the Poincaré series of its ring of functions. Funktsional. Anal. i Prilozhen. 33(1), 66–68 (1999); translation in Funct. Anal. Appl. 33(1), 56–57 (1999) • [Campillo et al.2007] Campillo, A., Delgado, F., Gusein-Zade, S.M.: On Poincaré series of filtrations on equivariant functions of two variables. Mosc. Math. J. 7(2), 243–255 (2007) • [Campillo et al.2013] Campillo, A., Delgado, F., Gusein-Zade, S.M.: Equivariant Poincaré series of filtrations. Rev. Mat. Complut. 26(1), 241–251 (2013) • [Campillo et al.2014] Campillo, A., Delgado, F., Gusein-Zade, S.M.: An equivariant Poincaré series of filtrations and monodromy zeta functions. Rev. Mat. Complut. (2014). doi:10.1007/s13163-014-0160-8 • [Clemens1969] Clemens, C.H.: Picard–Lefschetz theorem for families of nonsingular algebraic varieties acquiring ordinary singularities. Trans. Am. Math. Soc. 136, 93–108 (1969) • [Crabb2007] Crabb, M.C.: Equivariant fixed-point indices of iterated maps. J. Fixed Point Theory Appl. 2(2), 171–193 (2007) • [Denef and Loeser1992] Denef, J., Loeser, F.: Caractéristiques d’Euler–Poincaré, fonctions zêta locales et modifications analytiques. J. Am. Math. Soc. 5(4), 705–720 (1992) • [Dzedzej2001] Dzedzej, Z.: Fixed orbit index for equivariant maps. In: Proceedings of the Third World Congress of Nonlinear Analysts, Part 4 (Catania, 2000). Nonlinear Analytics, vol. 47(4), pp. 2835–2840 (2001) • [Ebeling and Gusein-Zade2012a] Ebeling, W., Gusein-Zade, S.M.: Saito duality between Burnside rings for invertible polynomials. Bull. Lond. Math. Soc. 44, 814–822 (2012) • [Ebeling and Gusein-Zade2012b] Ebeling, W., Gusein-Zade, S.M.: Equivariant Poincaré series and monodromy zeta functions of quasihomogeneous polynomials. Publ. Res. Inst. Math. Sci. 48(3), 653–660 (2012) • [Gusein-Zade2010] Gusein-Zade, S.M.:Integration with respect to the Euler characteristic and its applications. Uspekhi Mat. Nauk 65(393), 5–42 (2010) (no. 3); translation in Russ. Math. Surv. 65(3), 399–432 (2010) • [Gusein-Zade2013] Gusein-Zade, S.M.: On an equivariant analogue of the monodromy zeta function. Funktsional. Anal. i Prilozhen. 47(1), 17–25 (2013); translation in Funct. Anal. Appl. 47(1), 14–20 (2013) • [Gusein-Zade et al.2006] Gusein-Zade, S.M., Luengo, I., Melle-Hernández, A.: Power structure over the Grothendieck ring of varieties and generating series of Hilbert schemes of points. Mich. Math. J. 54(2), 353–359 (2006) • [Gusein-Zade et al.2008] Gusein-Zade, S.M., Luengo, I., Melle-Hernández, A.: An equivariant version of the monodromy zeta function. In: Geometry, Topology, and Mathematical Physics, pp. 139–146. American Mathematical Society Translation Series 2, 224, American Mathematical Society, Providence (2008) • [Hirzebruch and Höfer1990] Hirzebruch, F.: Höfer, Th: On the Euler number of an orbifold. Math. Ann. 286(1–3), 255–260 (1990) • [Knutson1973] Knutson, D.:$\lambda$-Rings and the Representation Theory of the Symmetric Group. Lecture Notes in Mathematics, vol. 308. Springer, Berlin, New York (1973) • [Lück and Rosenberg2003] Lück, W., Rosenberg, J.: The equivariant Lefschetz fixed point theorem for proper cocompact$G\$-manifolds. In: Farrell, F.T., Lück, W. (eds.) High-Dimensional Manifold Topology, pp. 322–361. World Science Publishing, River Edge (2003)
• [tom Dieck1979] tom Dieck, T.: Transformation Groups and Representation Theory. Lecture Notes in Mathematics, vol. 766. Springer, Berlin (1979)
• [Verdier1973] Verdier, J.-L.: Caractéristique d’Euler–Poincaré. Bull. Soc. Math. France 101, 441–445 (1973)
• [Wall1980] Wall, C.T.C.: A note on symmetry of singularities. Bull. Lond. Math. Soc. 12(3), 169–175 (1980)