The Becker-Gottlieb transfer is not functorial: An example using C_∞-algebras

@misc{naef2026beckergottlieb,
  title = {{The Becker-Gottlieb transfer is not functorial: An example using $C_\infty$-algebras}},
  author = {Florian Naef and Robin Stoll},
  howpublished = {arXiv},
  year = {2026},
  month = oct,
  doi = {10.48550/arxiv.2610.18718},
  eprint = {2610.18718},
  archivePrefix = {arXiv},
  url = {https://arxiv.org/abs/2610.18718},
}

TY  - UNPB
TI  - The Becker-Gottlieb transfer is not functorial: An example using C_∞-algebras
AU  - Florian Naef
AU  - Robin Stoll
PY  - 2026
DA  - 2026/10/13
PB  - arXiv
DO  - 10.48550/arxiv.2610.18718
UR  - https://arxiv.org/abs/2610.18718
AB  - We prove that the Becker-Gottlieb transfer is not functorial, even on rational cohomology. More precisely, for any even n ≥ 4, we construct a fibration f : X → S^n+1 with fiber S^2 ∨ S^n, and an oriented S^1-bundle g : Y → X such that the transfer of f ∘ g is non-trivial on rational cohomology. Since the transfer of an oriented S^1-bundle vanishes, this implies that the transfer of f ∘ g and the composite of the transfers of f and g induce different maps on rational cohomology and are thus not homotopic. The proof that the transfer of f ∘ g is non-trivial uses the rational models for the Becker--Gottlieb and THH transfers obtained in previous work of the authors. In the appendix, we provide a second, more involved, proof that relies on constructing explicit C_∞-algebra models for odd spherical fibrations (including circle bundles), which might be of independent interest. Concurrently, another counterexample (of very different flavor) was found by Georg Lehner, Cary Malkiewich, and the first author.
ER  -