Abstract. Motivated by traces of matrices and Euler characteristics of topological spaces, we expect abstract traces in a symmetric monoidal category to be "additive". When the category is "stable" in some sense, additivity along cofiber sequences is a question about the interaction of stability and the monoidal structure.May proved such an additivity theorem when the stable structure is a triangulation, based on new axioms for monoidal triangulated categories. In this paper we use stable derivators instead, which are a different model for "stable homotopy theories". We define and study monoidal structures on derivators, providing a context to describe the interplay between stability and monoidal structure using only ordinary category theory and universal properties. We can then perform May's proof of the additivity of traces in a closed monoidal stable derivator without needing extra axioms, as all the needed compatibility is automatic.

Abstract. Traces in symmetric monoidal categories are well-known and have many applications; for instance, their functoriality directly implies the Lefschetz fixed point theorem. However, for some applications, such as generalizations of the Lefschetz theorem, one needs "noncommutative" traces, such as the Hattori-Stallings trace for modules over noncommutative rings. In this paper we study a generalization of the symmetric monoidal trace which applies to noncommutative situations; its context is a bicategory equipped with an extra structure called a "shadow." In particular, we prove its functoriality and 2-functoriality, which are essential to its applications in fixed-point theory. Throughout we make use of an appropriate "cylindrical" type of string diagram, which we justify formally in an appendix. bicategory and trace and fixed-point theory

Abstract. We show that stable derivators, like stable model categories, admit Mayer-Vietoris sequences arising from cocartesian squares. Along the way we characterize homotopy exact squares, and give a detection result for colimiting diagrams in derivators. As an application, we show that a derivator is stable if and only if its suspension functor is an equivalence.

Motivated by the operad built from moduli spaces of Riemann surfaces, we consider a general class of operads in the category of spaces that satisfy certain homological stability conditions. We prove that such operads are infinite loop space operads in the sense that the group completions of their algebras are infinite loop spaces.The recent, strong homological stability results of Galatius and Randal-Williams for moduli spaces of even dimensional manifolds can be used to construct examples of operads with homological stability. As a consequence diffeomorphism groups and mapping class groups are shown to give rise to infinite loop spaces. Furthermore, the map to K-theory defined by the action of the diffeomorphisms on the middle dimensional homology is shown to be a map of infinite loop spaces.

No abstract