×

Traces in symmetric monoidal categories. (English) Zbl 1308.18008

This is an expository paper describing duality and traces in symmetric monoidal categories, with an emphasis on applications to fixed points. Many examples are given. There are treatments of twisted traces and transfers, of naturality and functoriality, and of the Lefschetz fixed point theorem.

MSC:

18D10 Monoidal, symmetric monoidal and braided categories (MSC2010)
55M20 Fixed points and coincidences in algebraic topology

References:

[1] Atiyah, M. F., Thom complexes, Proc. Lond. Math. Soc. (3), 11, 291-310 (1961) · Zbl 0124.16301
[2] Atiyah, M. F., Topological quantum field theories, Publ. Math. Inst. Hautes Études Sci., 8, 175-186 (1988) · Zbl 0692.53053
[3] Becker, J. C.; Gottlieb, D. H., The transfer map and fiber bundles, Topology, 14, 1-12 (1975) · Zbl 0306.55017
[4] Benton, Nick; Hyland, Martin, Traced Premonoidal Categories (1999) · Zbl 1110.68356
[5] Brown, Robert F., The Lefschetz Fixed Point Theorem (1971), Scott, Foresman and Co.: Scott, Foresman and Co. Glenview, Ill.-London · Zbl 0216.19601
[6] Day, Brian; Pastro, Craig, Note on Frobenius monoidal functors, New York J. Math., 14, 733-742 (2008) · Zbl 1178.18006
[7] Dold, A., (Lectures on Algebraic Topology. Lectures on Algebraic Topology, Die Grundlehren der Mathematischen Wissenschaften, Band 200 (1972), Springer-Verlag: Springer-Verlag New York) · Zbl 0234.55001
[8] Dold, Albrecht, Fixed point index and fixed point theorem for Euclidean neighborhood retracts, Topology, 4, 1-8 (1965) · Zbl 0135.23101
[9] Dold, Albrecht, The fixed point index of fibre-preserving maps, Invent. Math., 25, 281-297 (1974) · Zbl 0284.55007
[10] Dold, Albrecht, The fixed point transfer of fibre-preserving maps, Math. Z., 148, 3, 215-244 (1976) · Zbl 0329.55007
[11] Dold, Albrecht; Puppe, Dieter, Duality, trace, and transfer, (Proceedings of the International Conference on Geometric Topology (Warsaw, 1978) (1980), PWN: PWN Warsaw), 81-102 · Zbl 0473.55008
[12] Eilenberg, Samuel; Kelly, G. M., A generalization of the functorial calculus, J. Algebra, 3, 366-375 (1966) · Zbl 0146.02501
[13] Elmendorf, A. D.; Kriz, I.; Mandell, M. A.; May, J. P., (Rings, Modules, and Algebras in Stable Homotopy Theory. Rings, Modules, and Algebras in Stable Homotopy Theory, Mathematical Surveys and Monographs, vol. 47 (1997), American Mathematical Society), With an appendix by M. Cole · Zbl 0894.55001
[14] Freyd, Peter J.; Yetter, David N., Braided compact closed categories with applications to low-dimensional topology, Adv. Math., 77, 2, 156-182 (1989) · Zbl 0679.57003
[15] Geoghegan, Ross; Nicas, Andrew, Higher Euler characteristics, I, Enseign. Math. (2), 41, 1-2, 3-62 (1995) · Zbl 0842.55002
[16] Geoghegan, Ross; Nicas, Andrew, Fixed point theory and the \(K\)-theoretic trace, (Nielsen Theory and Reidemeister Torsion (Warsaw, 1996). Nielsen Theory and Reidemeister Torsion (Warsaw, 1996), Banach Center Publ., vol. 49 (1999), Polish Acad. Sci.: Polish Acad. Sci. Warsaw), 137-149 · Zbl 0944.55003
[17] Hasegawa, Masahito, The uniformity principle on traced monoidal categories, Publ. Res. Inst. Math. Sci., 40, 3, 991-1014 (2004) · Zbl 1111.18007
[18] Hovey, Mark, (Model Categories. Model Categories, Mathematical Surveys and Monographs, vol. 63 (1999), American Mathematical Society) · Zbl 0909.55001
[19] Husseini, S. Y., Generalized Lefschetz numbers, Trans. Amer. Math. Soc., 272, 1, 247-274 (1982) · Zbl 0507.55001
[20] Jiang, Bo Ju, (Lectures on Nielsen Fixed Point Theory. Lectures on Nielsen Fixed Point Theory, Contemp. Math., vol. 14 (1983), American Mathematical Society: American Mathematical Society Providence, RI) · Zbl 0512.55003
[21] Johnstone, Peter T., (Sketches of an Elephant: a Topos Theory Compendium: Vol. 2. Sketches of an Elephant: a Topos Theory Compendium: Vol. 2, Oxford Logic Guides, vol. 43 (2002), Oxford Science Publications) · Zbl 1071.18001
[22] Joyal, André; Street, Ross, The geometry of tensor calculus, I, Adv. Math., 88, 1, 55-112 (1991) · Zbl 0738.18005
[23] Joyal, André; Street, Ross, Braided tensor categories, Adv. Math., 102, 1, 20-78 (1993) · Zbl 0817.18007
[24] Joyal, André; Street, Ross; Verity, Dominic, Traced monoidal categories, Math. Proc. Cambridge Philos. Soc., 119, 3, 447-468 (1996) · Zbl 0845.18005
[25] Joyal, André; Tierney, Myles, An extension of the Galois theory of Grothendieck, Mem. Amer. Math. Soc., 51, 309, vii+71 (1984) · Zbl 0541.18002
[26] Kelly, G. M.; Laplaza, M. L., Coherence for compact closed categories, J. Pure Appl. Algebra, 19, 193-213 (1980) · Zbl 0447.18005
[27] Kock, Joachim, (Frobenius Algebras and 2D Topological Quantum Field Theories. Frobenius Algebras and 2D Topological Quantum Field Theories, London Mathematical Society Student Texts, vol. 59 (2004), Cambridge University Press: Cambridge University Press Cambridge) · Zbl 1046.57001
[28] Lewis, L. G.; May, J. P.; Steinberger, M.; McClure, J. E., (Equivariant Stable Homotopy Theory. Equivariant Stable Homotopy Theory, Lecture Notes in Mathematics, vol. 1213 (1986), Springer-Verlag: Springer-Verlag Berlin), With contributions by J. E. McClure · Zbl 0611.55001
[29] Lück, Wolfgang; Rosenberg, Jonathan, The equivariant Lefschetz fixed point theorem for proper cocompact \(G\)-manifolds, (High-Dimensional Manifold Topology (2003), World Sci. Publ.: World Sci. Publ. River Edge, NJ), 322-361 · Zbl 1046.57026
[30] Lurie, Jacob, On the classification of topological field theories, (Current Developments in Mathematics, 2008 (2009), Int. Press: Int. Press Somerville, MA), 129-280 · Zbl 1180.81122
[31] Maltsiniotis, G., Traces dans les catégories monoïdales, dualité et catégories monoïdales fibrées, Cah. Topol. Géom. Différ. Catég., 36, 3, 195-288 (1995) · Zbl 0831.18002
[32] Mandell, M. A.; May, J. P., Equivariant orthogonal spectra and \(S\)-modules, Mem. Amer. Math. Soc., 159, 755, x+108 (2002) · Zbl 1025.55002
[33] Mandell, M. A.; May, J. P.; Schwede, S.; Shipley, B., Model categories of diagram spectra, Proc. Lond. Math. Soc. (3), 82, 2, 441-512 (2001) · Zbl 1017.55004
[34] May, J. P., The additivity of traces in triangulated categories, Adv. Math., 163, 1, 34-73 (2001) · Zbl 1007.18012
[35] May, J. P.; Sigurdsson, J., (Parametrized Homotopy Theory. Parametrized Homotopy Theory, Mathematical Surveys and Monographs, vol. 132 (2006), American Mathematical Society: American Mathematical Society Providence, RI) · Zbl 1119.55001
[36] Nicas, Andrew, Trace and duality in symmetric monoidal categories, K-Theory, 35, 3-4, 273-339 (2006), 2005 · Zbl 1104.55002
[37] Penrose, Roger, Applications of negative dimensional tensors, (Combinatorial Mathematics and its Applications (Proc. Conf., Oxford, 1969) (1971), Academic Press: Academic Press London), 221-244 · Zbl 0216.43502
[38] Ponto, Kate, Fixed point theory and trace for bicategories, Astérisque, 333, xii+102 (2010) · Zbl 1207.18001
[39] Ponto, Kate, Relative fixed point theory, Algebr. Geom. Topol., 11, 2, 839-886 (2011) · Zbl 1218.55001
[40] Ponto, Kate, Equivariant fixed point theory · Zbl 1349.55002
[41] Ponto, Kate; Shulman, Michael, Shadows and traces for bicategories, J. Homotopy Relat. Sturct., 8, 2, 151-200 (2013), arXiv:0910.1306 · Zbl 1298.18006
[42] Ponto, Kate; Shulman, Michael, Duality and trace in indexed monoidal categories, Theory Appl. Categ., 26, 23, 582-659 (2012) · Zbl 1275.18019
[43] Ponto, Kate; Shulman, Michael, The multiplicativity of fixed point invariants · Zbl 1293.55003
[44] Resende, Pedro; Rodrigues, Elias, Sheaves as modules, Appl. Categ. Structures, 18, 2, 199-217 (2010) · Zbl 1200.18008
[45] Selinger, Peter, A survey of graphical languages for monoidal categories, (Coeke, Bob, New Structures for Physics (2011), Springer), (Chapter 4). Available at http://www.mscs.dal.ca/ selinger/papers.html#graphical and arXiv:0908.3347 · Zbl 1217.18002
[46] Tom Dieck, Tammo, (Transformation Groups. Transformation Groups, de Gruyter Studies in Mathematics, vol. 8 (1987), Walter de Gruyter & Co.: Walter de Gruyter & Co. Berlin) · Zbl 0611.57002
[47] Ulrich, Hanno, (Fixed Point Theory of Parametrized Equivariant Maps. Fixed Point Theory of Parametrized Equivariant Maps, Lecture Notes in Mathematics, vol. 1343 (1988), Springer-Verlag: Springer-Verlag Berlin) · Zbl 0652.55005
[48] Weber, Julia, The universal functorial equivariant Lefschetz invariant, K-Theory, 36, 1-2, 169-207 (2006), 2005 · Zbl 1111.55003
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.