The transfer map of free loop spaces

Lind, John; Malkiewich, Cary

doi:10.1090/tran/7497

The transfer map of free loop spaces

Authors: John A. Lind and Cary Malkiewich
Journal: Trans. Amer. Math. Soc. 371 (2019), 2503-2552
MSC (2010): Primary 55R12; Secondary 19D10, 19D55, 55J35
DOI: https://doi.org/10.1090/tran/7497
Published electronically: November 27, 2018
MathSciNet review: 3896088
Full-text PDF

Abstract | References | Similar Articles | Additional Information

Abstract: For any perfect fibration $E \longrightarrow B$ , there is a ``free loop transfer map'' $LB_+ \longrightarrow LE_+$ , defined using topological Hochschild homology. We prove that this transfer is compatible with the Becker-Gottlieb transfer, allowing us to extend a result of Dorabiała and Johnson on the transfer map in Waldhausen's -theory. In the case where $E \longrightarrow B$ is a smooth fiber bundle, we also give a concrete geometric model for the free loop transfer in terms of Pontryagin-Thom collapse maps. We recover the previously known computations of the free loop transfer due to Schlichtkrull and make a few new computations as well.

[1] M. Ando, A.J. Blumberg, and D. Gepner, Parametrized spectra, multiplicative Thom spectra, and the twisted Umkehr map, [arXiv:1112.2203] (2011).
[2] J. C. Becker and D. H. Gottlieb, Transfer maps for fibrations and duality, Compositio Math. 33 (1976), no. 2, 107–133. MR 436137
[3] S. Bentzen and I. Madsen, Trace maps in algebraic 𝐾-theory and the Coates-Wiles homomorphism, J. Reine Angew. Math. 411 (1990), 171–195. MR 1072979, https://doi.org/10.1515/crll.1990.411.171
[4] Andrew J. Blumberg, David Gepner, and Gonçalo Tabuada, A universal characterization of higher algebraic 𝐾-theory, Geom. Topol. 17 (2013), no. 2, 733–838. MR 3070515, https://doi.org/10.2140/gt.2013.17.733
[5] Andrew J. Blumberg and Michael A. Mandell, Localization theorems in topological Hochschild homology and topological cyclic homology, Geom. Topol. 16 (2012), no. 2, 1053–1120. MR 2928988, https://doi.org/10.2140/gt.2012.16.1053
[6] A. J. Blumberg and M. A. Mandell, Localization for $\mathrm{THH}(ku)$ and the topological Hochschild and cyclic homology of Waldhausen categories, Memoirs of the AMS (to appear).
[7] M. Bökstedt, W. C. Hsiang, and I. Madsen, The cyclotomic trace and algebraic 𝐾-theory of spaces, Invent. Math. 111 (1993), no. 3, 465–539. MR 1202133, https://doi.org/10.1007/BF01231296
[8] Ralph L. Cohen, Multiplicative properties of Atiyah duality, Homology Homotopy Appl. 6 (2004), no. 1, 269–281. MR 2076004
[9] Wojciech Dorabiała and Mark W. Johnson, Factoring the Becker-Gottlieb transfer through the trace map, Pure Appl. Math. Q. 8 (2012), no. 1, 133–173. MR 2900083, https://doi.org/10.4310/PAMQ.2012.v8.n1.a8
[10] Christopher L. Douglas, Trace and transfer maps in the algebraic 𝐾-theory of spaces, 𝐾-Theory 36 (2005), no. 1-2, 59–82 (2006). MR 2274158, https://doi.org/10.1007/s10977-005-3639-8
[11] W. Dwyer, M. Weiss, and B. Williams, A parametrized index theorem for the algebraic 𝐾-theory Euler class, Acta Math. 190 (2003), no. 1, 1–104. MR 1982793, https://doi.org/10.1007/BF02393236
[12] A. D. Elmendorf, I. Kriz, M. A. Mandell, and J. P. May, Rings, modules, and algebras in stable homotopy theory, Mathematical Surveys and Monographs, vol. 47, American Mathematical Society, Providence, RI, 1997. With an appendix by M. Cole. MR 1417719
[13] Thomas G. Goodwillie, Calculus. I. The first derivative of pseudoisotopy theory, 𝐾-Theory 4 (1990), no. 1, 1–27. MR 1076523, https://doi.org/10.1007/BF00534191
[14] André Joyal and Ross Street, The geometry of tensor calculus. I, Adv. Math. 88 (1991), no. 1, 55–112. MR 1113284, https://doi.org/10.1016/0001-8708(91)90003-P
[15] R. W. Kieboom, A pullback theorem for cofibrations, Manuscripta Math. 58 (1987), no. 3, 381–384. MR 893162, https://doi.org/10.1007/BF01165895
[16] John A. Lind, Diagram spaces, diagram spectra and spectra of units, Algebr. Geom. Topol. 13 (2013), no. 4, 1857–1935. MR 3073903, https://doi.org/10.2140/agt.2013.13.1857
[17] John A. Lind and Cary Malkiewich, The Morita equivalence between parametrized spectra and module spectra, New directions in homotopy theory, Contemp. Math., vol. 707, Amer. Math. Soc., Providence, RI, 2018, pp. 45–66. MR 3807741, https://doi.org/10.1090/conm/707/14253
[18] Ib Madsen, Algebraic 𝐾-theory and traces, Current developments in mathematics, 1995 (Cambridge, MA), Int. Press, Cambridge, MA, 1994, pp. 191–321. MR 1474979
[19] C. Malkiewich, Duality and linear approximations in Hochschild homology, -theory, and string topology, 2014.
[20] Cary Malkiewich, Coassembly and the 𝐾-theory of finite groups, Adv. Math. 307 (2017), 100–146. MR 3590515, https://doi.org/10.1016/j.aim.2016.11.017
[21] John R. Klein and Cary Malkiewich, The transfer is functorial, Adv. Math. 338 (2018), 1119–1140. MR 3861724, https://doi.org/10.1016/j.aim.2018.09.017
[22] M. A. Mandell and J. P. May, Equivariant orthogonal spectra and 𝑆-modules, Mem. Amer. Math. Soc. 159 (2002), no. 755, x+108. MR 1922205, https://doi.org/10.1090/memo/0755
[23] M. A. Mandell, J. P. May, S. Schwede, and B. Shipley, Model categories of diagram spectra, Proc. London Math. Soc. (3) 82 (2001), no. 2, 441–512. MR 1806878, https://doi.org/10.1112/S0024611501012692
[24] J. P. May and J. Sigurdsson, Parametrized homotopy theory, Mathematical Surveys and Monographs, vol. 132, American Mathematical Society, Providence, RI, 2006. MR 2271789
[25] Kate Ponto, Fixed point theory and trace for bicategories, Astérisque 333 (2010), xii+102 (English, with English and French summaries). MR 2741967
[26] Kate Ponto and Michael Shulman, Duality and traces for indexed monoidal categories, Theory Appl. Categ. 26 (2012), No. 23, 582–659. MR 3065938
[27] Kate Ponto and Michael Shulman, Shadows and traces in bicategories, J. Homotopy Relat. Struct. 8 (2013), no. 2, 151–200. MR 3095324, https://doi.org/10.1007/s40062-012-0017-0
[28] Kate Ponto and Michael Shulman, The multiplicativity of fixed point invariants, Algebr. Geom. Topol. 14 (2014), no. 3, 1275–1306. MR 3190594, https://doi.org/10.2140/agt.2014.14.1275
[29] Christian Schlichtkrull, The transfer map in topological Hochschild homology, J. Pure Appl. Algebra 133 (1998), no. 3, 289–316. MR 1654263, https://doi.org/10.1016/S0022-4049(97)00117-5
[30] Stefan Schwede and Brooke Shipley, Equivalences of monoidal model categories, Algebr. Geom. Topol. 3 (2003), 287–334. MR 1997322, https://doi.org/10.2140/agt.2003.3.287
[31] P. Selinger, A survey of graphical languages for monoidal categories, New structures for physics, Lecture Notes in Phys., vol. 813, Springer, Heidelberg, 2011, pp. 289–355. MR 2767048, https://doi.org/10.1007/978-3-642-12821-9_4
[32] Brooke Shipley, Symmetric spectra and topological Hochschild homology, 𝐾-Theory 19 (2000), no. 2, 155–183. MR 1740756, https://doi.org/10.1023/A:1007892801533
[33] Michael Shulman, Framed bicategories and monoidal fibrations, Theory Appl. Categ. 20 (2008), No. 18, 650–738. MR 2534210
[34] Friedhelm Waldhausen, Algebraic 𝐾-theory of topological spaces. I, Algebraic and geometric topology (Proc. Sympos. Pure Math., Stanford Univ., Stanford, Calif., 1976) Proc. Sympos. Pure Math., XXXII, Amer. Math. Soc., Providence, R.I., 1978, pp. 35–60. MR 520492
[35] Michael Weiss and Bruce Williams, Assembly, Novikov conjectures, index theorems and rigidity, Vol. 2 (Oberwolfach, 1993) London Math. Soc. Lecture Note Ser., vol. 227, Cambridge Univ. Press, Cambridge, 1995, pp. 332–352. MR 1388318, https://doi.org/10.1017/CBO9780511629365.014
[36] Bruce Williams, Bivariant Riemann Roch theorems, Geometry and topology: Aarhus (1998), Contemp. Math., vol. 258, Amer. Math. Soc., Providence, RI, 2000, pp. 377–393. MR 1778119, https://doi.org/10.1090/conm/258/1778119