The transfer is functorial

DOI10.1016/J.AIM.2018.09.017MaRDI QIDQ1789508zbMATH OpenOpenAlexWikidataFDO

Authors John R. Klein, Cary Malkiewich

Publication date 10 October 2018

Published in Advances in Mathematics (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1603.01872

zbMATH Keywords

Becker-Gottlieb transferdualizing spectrumfinitely dominated

Mathematics Subject Classification ID

Duality in algebraic topology (55M05) Spanier-Whitehead duality (55P25) Transfer for fiber spaces and bundles in algebraic topology (55R12)

Abstract: We prove that the Becker-Gottlieb transfer is functorial up to homotopy, for all fibrations with finitely dominated fibers. This resolves a lingering foundational question about the transfer, which was originally defined in the late 1970s in order to simplify the proof of the Adams conjecture. Our approach differs from previous attempts in that we closely emulate the geometric argument in the case of a smooth fiber bundle. This leads to a "multiplicative'" description of the transfer, different from the standard presentation as the trace of a diagonal map.

Review text

A transfer is a construction that takes a map $p: X \to Y$ to some ``wrong way map $p!: Y\to X$. \textit{F. W. Roush} [Transfer in generalized cohomology theories. Budapest: Akadémiai Kiadó (1999; Zbl 0991.55006); Princeton University (PhD Thesis) (1972)] defined a transfer for finite covering spaces $X \to Y$ as a stable wrong way map $\Sigma^\infty Y_+ \to \Sigma^\infty X_+$. This idea was expanded on by \textit{J. C. Becker} and \textit{D. H. Gottlieb} [Topology 14, 1--12 (1975; Zbl 0306.55017)] to define transfers for smooth fiber bundles with closed manifold fiber. Then, those authors [loc. cit.] produced a purely homotopy theoretic construction of the transfer using fiberwise $S$-duality, thereby extending the definition to the class of Hurewicz fibrations with finitely dominated fibers. As the Pontryagin-Thom construction is functorial on compositions of embeddings, it is straightforward to deduce that for any composition of smooth fiber bundles with closed manifold fibers $X\xrightarrow{p} Y\xrightarrow{q}Z$ the transfer is functorial up to homotopy, $(q\circ p)!\simeq p! \circ q!$. \par Given that the transfer is defined for a larger class of fibrations, it is reasonable to ask how much more generally functoriality holds. The authors resolve a lingering foundational question about the transfer and prove in Theorem A that the Becker-Gottlieb transfer is functorial up to homotopy, for all fibrations with finitely dominated fibers. This leads to a ``multiplicative description of the transfer, different from the standard presentation as the trace of a diagonal map. Editorial remark: In the corrigendum to this paper [\textit{J. R. Klein} and \textit{C. Malkiewich}, Adv. Math. 410 B, Article ID 108752, 2 p. (2022; Zbl 1502.55012)], the authors highlight an error. ``As a result of this error, the question of functoriality is once again open.

Recommendations

• Axioms for bundle transfers and traces
• On the transfer map of Becker and Gottlieb
• scientific article; zbMATH DE number 3899770
• scientific article; zbMATH DE number 3950789
• A note on the transfer map.
• Equivariant point theorems for fibre-preserving maps
• A transfer map for singular fibrations
• scientific article; zbMATH DE number 4040839
• Vector fields and transfers
• Transfer maps for fibrations

Cites work

• A parametrized index theorem for the algebraic \(K\)-theory Euler class.
• Equivariant stable homotopy theory. With contributions by J. E. McClure
• Euler characteristics and characters of discrete groups
• Fibrations with Compact Fibres
• scientific article; zbMATH DE number 3742230 (Why is no real title available?)
• scientific article; zbMATH DE number 3551596 (Why is no real title available?)
• scientific article; zbMATH DE number 1538918 (Why is no real title available?)
• scientific article; zbMATH DE number 1421166 (Why is no real title available?)
• scientific article; zbMATH DE number 3892209 (Why is no real title available?)
• Model categories of diagram spectra
• Nielsen fixed point theory
• Parametrized homotopy theory
• Shadows and traces in bicategories
• The dualizing spectrum of a topological group
• The fixed point transfer of fiber-preserving maps
• The refined transfer, bundle structures, and algebraicK-theory
• The transfer map and fiber bundles

Cited in

(16)

• Umkehr maps
• Axioms for bundle transfers and traces
• Vector fields and transfers
• A transfer map for singular fibrations
• On the transfer map of Becker and Gottlieb
• Corrigendum to: ``The transfer is functorial
• On transfer maps in the algebraic \(K\)-theory of spaces
• scientific article; zbMATH DE number 3862034 (Why is no real title available?)
• Becker-Gottlieb Transfer in Etale Homotopy
• A note on the transfer map.
• Factoring the Becker-Gottlieb transfer through the trace map
• The transfer map of free loop spaces
• On multiplicative transfer
• On the multiplicativity of the Euler characteristic
• Characters and transfer maps via categorified traces
• Trace and transfer maps in the algebraic K-theory of spaces

This page was built for publication: The transfer is functorial

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1789508)