Bimonoidal categories, \(E_n\)-monoidal categories, and algebraic \(K\)-theory. Volume III: From categories to structured ring spectra (Q6605380)

This third volume deals with enriched monoidal categories and multicategories (Part 1 consisting of chapters 1--6) and algebraic \(K\)-theory (Part 2 consisting of chapters 7--13).\N\NThe synopsis of the volume goes as follows.\N\N\begin{itemize}\N\item[Chapter 1] gives the basic definitions and properties for enriched monoidal categories, including plain, braided, and symmetric variants.\N\N\item[Chapter 2] describes change of enriching categories induced by a symmetric monoidal functor, showing that monoidal structures are preserved. Corollary 2.4.17 shows that taking underlying categories gives a 2-functor from small monoidal \(\mathsf{V}\)-categories, \(\mathsf{V}\)-functors, and \(\mathsf{V}\)-natural transformations to ordinary monoidal categories, functor, and natural transformations. A partial reverse of Corollary 2.4.17 is given in Theorem 2.5.1. Theorem 2.5.6 is enriched monoidal coherence, while Theorem 2.5.8 is enriched \textit{D. B. A. Epstein}'s [Invent. Math. 1, 221--228 (1966; Zbl 0146.02502)] coherence. Theorem 2.6.1 is enriched monoidal strictification with Theorem 2.6.3 (enriched braided strictification) and Theorem 2.6.4 (enriched symmetric strictification).\N\N\item[Chapter 3] restricts to the case that \ is a symmetric monoidal closed category. Theorem 3.3.2 shows, via Theorem 2.5.1, that the canonical enrichment of \ over itself is symmetric monoidal as a \(\mathsf{V}\)-category. the next several sections develop the theory of \(\mathsf{V}\)-enriched co/ends followed by the \(\mathsf{V}\)-Yoneda Lemma (Theorem 3.6.9) and an equivalent form called the -Yoneda Density (Theorem 3.7.8).\N\N\item[Chapter 4] gives the definitions and properties of smash products and pointed homs. \S 4.3 uses the Day convolution and internal hom to develop symmetric monoidal closed structure for pointed diagram categories. The results are summarized in Theorem 4.3.37.\N\N\item[Chapter 5] gives relevant background on multicategories, multifunctors, and multinatural transformations. Theorem 5.5.14 establishes that the category of small multicategories is complete and cocomplete. The Boardman-Vogt tensor product of multicategories and the associated smash product for pointed multicategories are developed in \S 5.6, while the corresponding internal hom and its pointed variant are developed in \S 5.7.\N\N\item[Chapter 6] develops basic definitions and properties for enriched multicategories. \S 6.3 describes enriched multicategories arising from enriched symmetric monoidal categories. \S 6.4 describes the \(\mathsf{Cat}\)-enriched multicategory structure on \(\mathsf{Multicat}\), the category of small multicategories. Theorem 6.6.13 claims that the category \(\mathsf{PermCat}^{\mathsf{su}}\), consisting of small permutative categories and strictly unital symmetric monoidal functors, has a \(\mathsf{Cat}\)-enriched multicategory structure given by multilinear functors and multilinear transformations.\N\N\item[Chapter 7] gives relevant background on homotopy theory. \S 7.1 and \S 7.2 introduces simplicial sets and simplicial homotopy, along with the nerve and geometric realization functors. The category of symmetric spectra, with its symmetric monoidal closed structure, is presented in \S 7.3 through \S 7.6. \S 7.7 and \S 7.8 give a short review of Quillen model categories and a number of key examples.\N\N\item[Chapter 8] presents the \(K\)-theory functor \(\mathsf{K}^{\mathsf{Se}}\) due to \textit{G. Segal} [Topology 13, 293--312 (1974; Zbl 0284.55016)] \S 8.3 describes the key construction as given by Segal. \S 8.4 and \S 8.5 describe an equivalent construction that compares more easily with the \(K\)-theory functor of \textit{A. D. Elmendorf} and \textit{M. A. Mandell} [Adv. Math. 205, No. 1, 163--228 (2006; Zbl 1117.19001); Algebr. Geom. Topol. 9, No. 4, 2391--2441 (2009; Zbl 1205.19003)], \(\mathsf{K}^{\mathsf{EM}}\).\N\N\item[Chapter 9] is the first of two that replace the Segal \(K\)-theory functor with a simplicially-enriched multifunctor due to \textit{A. D. Elmendorf} and \textit{M. A. Mandell} [Adv. Math. 205, No. 1, 163--228 (2006; Zbl 1117.19001); Algebr. Geom. Topol. 9, No. 4, 2391--2441 (2009; Zbl 1205.19003)], focusing on the replacement of \(\Gamma\)-categories and \(\Gamma\)-simplicial sets with pointed diagrams out of a larger indexing category \(\mathcal{G}\).\N\N\item[Chapter 10] is the secondt of two that replace the Segal \(K\)-theory functor with a simplicially-enriched multifunctor due to \textit{A. D. Elmendorf} and \textit{M. A. Mandell} [Adv. Math. 205, No. 1, 163--228 (2006; Zbl 1117.19001); Algebr. Geom. Topol. 9, No. 4, 2391--2441 (2009; Zbl 1205.19003)], focusing on the construction of \(\mathcal{G}_{\ast}\)-categories from small permutative categories that replaces Segal's construction of \(\Gamma\)-categories\ from the same.\N\N\item[Chapter 11] is the first of three chapters that contain algebraic \(K\)-theory applications of the ring-like categories in the second volume. The main \(K\)-theory results in this chapter are Corollaries 11.3.16 and 11.6.12 coming from \textit{A. D. Elmendorf} and \textit{M. A. Mandell} [Adv. Math. 205, No. 1, 163--228 (2006; Zbl 1117.19001); Algebr. Geom. Topol. 9, No. 4, 2391--2441 (2009; Zbl 1205.19003)] and dealing with the \(E_{1}\) and the \(E_{\infty}\) cases. These results claim that the Elmendorf-Mandell \(K\)-theory multifunctor \ sends\N\begin{itemize}\N\item[(1)] small ring categories to strict ring symmetric spectra, and\N\item[(2)] small bipermutative categories to \(E_{\infty}\)-symmetric spectra.\N\end{itemize}\N\N\item[Chapter 12] contains the \ analogues of the result in the previous chapter. The main categorical input is Theorem 12.4.5 claiming that the pebraided operad \(\mathsf{Br}\) parametrizes braided ring category structures on small permutative categories.\N\N\item[Chapter 13] contains the general \(E_{n}\) analogues for \(n\geq1\) of the categorical and \(K\)-theory results in the previous two chapters. The main categorical input is Theorem 13.4.12 claiming that \(\mathsf{Mon}^{n}\) parametrizes \(E_{n}\)-monoidal category structures on small permutative categories.\N\N\item[Appendix A] gives a list of open questions.\N\end{itemize}