Generalized Lefschetz numbers
HTML articles powered by AMS MathViewer
- by S. Y. Husseini
- Trans. Amer. Math. Soc. 272 (1982), 247-274
- DOI: https://doi.org/10.1090/S0002-9947-1982-0656489-X
- PDF | Request permission
Abstract:
Given $[C;f]$, where $C$ is a finitely-generated $\pi$-projective chain complex, and $f:C \to C{\text {a(}}\pi {\text {,}}\varphi {\text {)}}$-chain map, with $\varphi :\pi \to \pi$ being a homomorphism, then the generalized Lefschetz number ${L_{(\pi ,\varphi )}}[C;f]$ of $[C;f]$ is defined as the alternating sum of the $(\pi ,\varphi )$-Reidemeister trace of $f$. In analogy with the ordinary Lefschetz number, ${L_{(\pi ,\varphi )}}[C;f]$ is shown to satisfy the commutative property and to be invariant under $(\pi ,\varphi )$-chain homotopy. Also, when ${H_\ast }C$ is $\pi$-projective, \[ {L_{(\pi ,\varphi )}}[C;f] = {L_{(\pi ,\varphi )}}[{H_\ast }C;{H_\ast }f]\] If $\pi ’ \subset \pi$ is $\varphi$-invariant and with finite index, then for $\alpha \in \pi ’$, the $(\pi ’,\varphi )$Reidemeister class $[\alpha ;\pi ’]$ is essential for $f:C \to C$ if and only if ${[\alpha ;\pi ]_\varphi }$ is essential. If $\pi ’ \subset \pi$ is normal, then one can use the cosets of $\pi \operatorname {mod} \pi ’$ to detect the essential $(\pi ,\varphi )$-classes of $f:C \to C$. This is expressed as a decomposition of ${L_{(\pi ,\varphi )}}[C;f]$ in terms of ${L_{(\pi ’,{\varphi _\xi })}}[C’;{f_\xi }]$ where $f( \cdot ){\xi ^{ - 1}} = {f_\xi }( \cdot )$ and ${\varphi _\xi }( \cdot ) = \xi \varphi ( \cdot ){\xi ^{ - 1}}$. The algebraic theory is applied to the Nielsen theory of a map $f:X \to X$, where $X$ is a finite CW-complex relative to a regular cover $\tilde X \to X$. One can define a generalized Lefschetz number ${L_{(\pi ,\varphi )}}$ using any cellular approximation to $f$, where $\pi$ is the group of covering transformations of $\tilde X \to X$. The quantity ${L_{(\pi ,\varphi )}}$ can be expressed naturally as a formal sum in the $\pi$-Nielsen classes of $f$ with their indices appearing as coefficients. From this expression, one is able to deduce from the properties of the generalized Lefschetz number the usual results of the relative Nielsen theory.References
- Robert F. Brown, The Lefschetz fixed point theorem, Scott, Foresman & Co., Glenview, Ill.-London, 1971. MR 0283793 S. Eilenberg and N. E. Steenrod, Foundations of algebraic topology, Princeton Univ. Press, Princeton, N.J., 1951.
- Edward Fadell and Sufian Husseini, Fixed point theory for non-simply-connected manifolds, Topology 20 (1981), no. 1, 53–92. MR 592570, DOI 10.1016/0040-9383(81)90014-8
- D. H. Gottlieb, A certain subgroup of the fundamental group, Amer. J. Math. 87 (1965), 840–856. MR 189027, DOI 10.2307/2373248
- Dan McCord, An estimate of the Nielsen number and an example concerning the Lefschetz fixed point theorem, Pacific J. Math. 66 (1976), no. 1, 195–203. MR 433443
- John Stallings, Centerless groups—an algebraic formulation of Gottlieb’s theorem, Topology 4 (1965), 129–134. MR 202807, DOI 10.1016/0040-9383(65)90060-1
- Kurt Reidemeister, Automorphismen von Homotopiekettenringen, Math. Ann. 112 (1936), no. 1, 586–593 (German). MR 1513064, DOI 10.1007/BF01565432
- Franz Wecken, Fixpunktklassen. II. Homotopieinvarianten der Fixpunkttheorie, Math. Ann. 118 (1941), 216–234 (German). MR 10280, DOI 10.1007/BF01487362
Bibliographic Information
- © Copyright 1982 American Mathematical Society
- Journal: Trans. Amer. Math. Soc. 272 (1982), 247-274
- MSC: Primary 55M20
- DOI: https://doi.org/10.1090/S0002-9947-1982-0656489-X
- MathSciNet review: 656489