Coherence for invertible objects and multigraded homotopy rings

Dugger, Daniel¹

¹Department of Mathematics, University of Oregon, Fenton Hall, Eugene, OR 97403, USA

Algebraic and Geometric Topology, Tome 14 (2014) no. 2, pp. 1055-1106

Résumé

We prove a coherence theorem for invertible objects in a symmetric monoidal category (or equivalently, a coherence theorem for symmetric categorical groups). This is used to deduce associativity, skew-commutativity, and related results for multigraded morphism rings, generalizing the well-known versions for stable homotopy groups.

Détail

DOI : 10.2140/agt.2014.14.1055

Classification : 18D10, 55Q05, 55U99
Keywords: coherence, invertible object, symmetric monoidal

Bibliographie

[1] J F Adams, Prerequisites (on equivariant stable homotopy) for Carlsson's lecture, from: "Algebraic topology" (editors I Madsen, B Oliver), Lecture Notes in Math. 1051, Springer (1984) 483

[2] A M Cegarra, E Khmaladze, Homotopy classification of graded Picard categories, Adv. Math. 213 (2007) 644

[3] P Deligne, La formule de dualité globale, from: "Sém. Geom. algébrique Bois-Marie 1963/64, SGA 4", Lect. Notes Math., Springer-Verlag (1973) 481

[4] S Eilenberg, S Mac Lane, Cohomology theory of Abelian groups and homotopy theory, II, Proc. Nat. Acad. Sci. U. S. A. 36 (1950) 657

[5] S Eilenberg, S Mac Lane, On the groups $H(\Pi,n)$, II, Ann. of Math. 60 (1954) 49

[6] A Fröhlich, C T C Wall, Graded monoidal categories, Compositio Math. 28 (1974) 229

[7] X S Hoàng, $\mathit{Gr}$–categories, PhD thesis, Université Paris VII (1975)

[8] N Johnson, A M Osorno, Modeling stable one-types, Theory Appl. Categ. 26 (2012) 520

[9] A Joyal, R Street, Braided tensor categories, Adv. Math. 102 (1993) 20

[10] A Joyal, R Street, D Verity, Traced monoidal categories, Math. Proc. Cambridge Philos. Soc. 119 (1996) 447

[11] G M Kelly, M L Laplaza, Coherence for compact closed categories, J. Pure Appl. Algebra 19 (1980) 193

[12] L G Lewis Jr., M A Mandell, Equivariant universal coefficient and Künneth spectral sequences, Proc. London Math. Soc. 92 (2006) 505

[13] S Mac Lane, Categories for the working mathematician, Graduate Texts in Mathematics 5, Springer (1998)

[14] J P May, Equivariant homotopy and cohomology theory, CBMS Regional Conference Series in Mathematics 91, published for the CBMS (1996)

[15] J P May, J Sigurdsson, Parametrized homotopy theory, Mathematical Surveys and Monographs 132, Amer. Math. Soc. (2006)

[16] K Ponto, M Shulman, Traces in symmetric monoidal categories

[17] V Voevodsky, $\mathbf{A}^1$–homotopy theory, from: "Proceedings of the International Congress of Mathematicians, Vol. I" (editor S D Chatterji) (1998) 579