Equivariant Lefschetz and Fuller indices via topological intersection theory (Q484271)

Let \(G\) be a compact Lie group and let us consider \(G\)-spaces and \(G\)-maps. The goal of the work under review is to develop an equivariant fixed point theory and to construct an equivariant Fuller index. The approach used is to define an equivariant intersection product, obtained by means of \(G\)-equivariant Poincaré duality for ordinary \(RO(G)\)-graded homology. The author makes some comments about the advantage of using the approach of the equivariant intersection product. In Section 1, preliminaries, a detailed exposition of known results of equivariant topology are stated until the final result of this section, the equivariant Poincaré duality Theorem. Section 2 is devoted to a study of the properties of the fundamental classes and the Thom classes. In the former case various characterizations of the fundamental class in terms of the isotropy group are provided and in the latter case the author studies the behaviour of the Thom classes with respect to the product of spaces and submanifolds. Then at the end of the section a relation between the two classes is provided. In Section 3 the intersection product is defined, using equivariant Poincaré duality. The equivariant Lefschetz number on a compact \(G\)-manifold is defined and denoted by \(L_G(f)\). Then the equivariant Lefschetz fixed point theorem is proved. Namely: {Theorem 3.4} : Let \(M\) be a \(G\)-manifold with finite orbit type, \(f:M \to M\) a \(G\)-map with compact fixed point set. Then if \(f\) has no fixed point of orbit type \((K)\) with \((H) \leq (K)\), we have \(\eta_H(L_G(f))=0\). In Section 4 the constructed equivariant Lefschetz number is compared with some existing notions and they coincide whenever both are defined. In the final Section 5 the definition of an equivariant version of the Fuller index is provided and it is called \textit{equivariant Fuller index}. For this purpose the author follows closely the work of \textit{R. D. Franzosa} [J. Differ. Equations 84, No. 1, 1--14 (1990; Zbl 0706.58055)]. The equivariant Fuller index constitutes an element of the rationalized Burnside ring \(A(G) \otimes \mathbb Q\). It is shown: { Theorem 5.1} : There exists an equivariant Fuller index \(F_G\) for a flow \(\varphi\) with respect to an isolated set \(C\) of periodic points. It is a \(G\)-homotopy invariant with the following properties. i) It takes values in the rationalized Burnside ring \(A(G)\otimes\mathbb Q\). ii) If \(C\) consists of finitely many periodic orbits \(\gamma_1,...,\gamma_n\) and \(\varphi_i\) is the flow \(\varphi\), restricted to an isolating neighbourhood of the orbit \(\gamma_i\), then \[ F_G(\varphi)=\Sigma_{i=1}^{n}F_G(\varphi_i). \] iii) If \(\varphi\) has a single periodic orbit of multiplicity \(m\), then \(F_G(\varphi)=L_G(P^m) \otimes 1/m\in A(G)\otimes \mathbb Q\), where \(P\) is an equivariant Poincaré map for the orbit, considered with multiplicity one. iv) If \(\eta_H(F_G(\varphi))\neq 0\), then \(\varphi\) has a periodic orbit of orbit type \((K)\) with \((H)\leq (K)\).