Equivariant point theorems for fibre-preserving maps (Q1063283)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Equivariant point theorems for fibre-preserving maps
scientific article

    Statements

    Equivariant point theorems for fibre-preserving maps (English)
    0 references
    0 references
    1984
    0 references
    Two theorems are proved by making use of the technique of establishing a transfer homomorphism, which was initiated by \textit{J. C. Becker} and \textit{D. H. Gottlieb} [Math. Ann. 211, 277-288 (1974; Zbl 0275.55027)]; \textit{D. H. Gottlieb} [J. Differ. Geom. 10, 39-48 (1975; Zbl 0294.55009)]: Theorem 1. Let \(M\to X\to^{p}B\) and M'\(\to X'\to^{p'}B'\) be locally trivial fibre spaces over ENR's (Euclidean neighborhood retracts), where the fibre M is a closed m-manifold, M' is a compact n-manifold with or without boundary. Let \(f: X\to X'\) be a fibre-preserving map covering a map \(g: B\to B'\), and let \(f_ b: M_ b=p^{-1}(b)\to M'\!_{g(b)}=p'{}^{-1}(g(b))\) (b\(\in B)\) denote the restriction of f. Suppose that X provides a fibre-preserving free involution T, and put \(A_ f=\{x\in X\); \(f(x)=f(Tx)\}\). If \(k=m-n\geq 0\) and, for some point b of each connected component of B, \(\omega (M_ b)^ m\neq 0\), \(f^*\!_ b=0: \tilde H^*(M'\!_{g(b)})\to \tilde H^*(M_ b)\), then the composition \[ H^ i(B)\to^{\bar p^*}H^ i(\bar A_ f)\to^{\cup \omega (A_ f)^ k}H^{i+k}(\bar A_ f) \] is injective for every \(i\geq 0.\) Theorem 2. Let \(M\to X\to^{p}B\) and M'\(\to X'\to^{p'}B'\) be locally trivial fibre spaces over ENR's such that the fibres are closed n- manifolds, and let \(f: X\to X'\) be a fibre-preserving map. Suppose there are given fibre-preserving free involutions. \(T: X\to X\) and T': X'\(\to X'\), and put \(A_ f=\{x\in X|\) \(fT(x)=T'f(x)\}\). If the equivariant Lefschetz number \(\hat L(\)f\({}_ b)\) is not zero for some point b of each connected component of B, then \(\bar p^*: H^*(B)\to H^*(\bar A_ f)\) is injective. Throughout this paper \(H^*\) is the Čech cohomology with coefficients in \({\mathbb{Z}}_ 2\), \(\bar A_ f\) is the orbit space of \(A_ f\) under T, and \(\omega\) ( ) is the characteristic class of the double covering.
    0 references
    Borsuk-Ulam theorem
    0 references
    characteristic class of double covering
    0 references
    transfer homomorphism
    0 references
    locally trivial fibre spaces
    0 references
    Euclidean neighborhood retracts
    0 references
    fibre-preserving map
    0 references
    fibre-preserving free involution
    0 references
    equivariant Lefschetz number
    0 references
    Čech cohomology
    0 references
    orbit space
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references