The smash product for derived categories in stable homotopy theory (Q436116): Difference between revisions
From MaRDI portal
Created a new Item |
ReferenceBot (talk | contribs) Changed an Item |
||
(5 intermediate revisions by 4 users not shown) | |||
Property / review text | |||
Many decades ago, when we all were much younger, one got for several reasons interested in what was called ``higher categories''. In the approach of the present paper it started with the fact that certain multiplications where not strictly associative but only associative up to homotopy. In the course of time one came down with \(E_n\)-ring spectra \(R\), where \(E_n,\;n \in \mathbb N \cup \{ \infty\}\), denotes a hierarchy of structures. In a previous paper [The multiplication on \(BP\), \url{arXiv:1101.0023}] the present author together with \textit{M. Basterra} investigated the Brown-Peterson spectrum \(BP\), reaching the conclusion that \(BP\) is an \(E_4\) spectrum. Whether however \(BP\) is an \(E_\infty\) spectrum is not known. Let \(R\) be a ring spectrum, then the homotopy category of the category of \(R\)-modules (the latter carrying the structure of a homotopy) is called the derived category \(\mathcal D_R\). There is a balanced product between the derived category of right and left \(R\)-modules \(\wedge_R\). An \(E_1\) ring spectrum has a derived category of left modules. An \(E_\infty\) ring spectrum has a derived category having a symmetric monoidal product. The main issue of the present paper is the investigation of properties of \(E_n\) for low \(n\): (1) Let \(R\) be an \(E_2\) ring spectrum. The derived category of left modules \(\mathcal D_R\) is equivalent to the derived category of right modules \(\mathcal D_{R^{op}}\) having a closed monoidal product \[ \wedge_R: \mathcal D_R \times \mathcal D_R \longrightarrow \mathcal D_R \] extending the balanced product. (2) If \(R\) is a \(E_3\) ring spectrum, \(\wedge_R\) has a braiding. (3) If \(R\) is a \(E_4\) spectrum \(\mathcal D_R\) is a closed symmetric monoidal category. The paper contains a wealth of technical details; the reviewer would wish for some more words about the motivation and probably about applications. | |||
Property / review text: Many decades ago, when we all were much younger, one got for several reasons interested in what was called ``higher categories''. In the approach of the present paper it started with the fact that certain multiplications where not strictly associative but only associative up to homotopy. In the course of time one came down with \(E_n\)-ring spectra \(R\), where \(E_n,\;n \in \mathbb N \cup \{ \infty\}\), denotes a hierarchy of structures. In a previous paper [The multiplication on \(BP\), \url{arXiv:1101.0023}] the present author together with \textit{M. Basterra} investigated the Brown-Peterson spectrum \(BP\), reaching the conclusion that \(BP\) is an \(E_4\) spectrum. Whether however \(BP\) is an \(E_\infty\) spectrum is not known. Let \(R\) be a ring spectrum, then the homotopy category of the category of \(R\)-modules (the latter carrying the structure of a homotopy) is called the derived category \(\mathcal D_R\). There is a balanced product between the derived category of right and left \(R\)-modules \(\wedge_R\). An \(E_1\) ring spectrum has a derived category of left modules. An \(E_\infty\) ring spectrum has a derived category having a symmetric monoidal product. The main issue of the present paper is the investigation of properties of \(E_n\) for low \(n\): (1) Let \(R\) be an \(E_2\) ring spectrum. The derived category of left modules \(\mathcal D_R\) is equivalent to the derived category of right modules \(\mathcal D_{R^{op}}\) having a closed monoidal product \[ \wedge_R: \mathcal D_R \times \mathcal D_R \longrightarrow \mathcal D_R \] extending the balanced product. (2) If \(R\) is a \(E_3\) ring spectrum, \(\wedge_R\) has a braiding. (3) If \(R\) is a \(E_4\) spectrum \(\mathcal D_R\) is a closed symmetric monoidal category. The paper contains a wealth of technical details; the reviewer would wish for some more words about the motivation and probably about applications. / rank | |||
Normal rank | |||
Property / reviewed by | |||
Property / reviewed by: Friedrich Wilhelm Bauer / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 55P43 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 18D10 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 18D50 / rank | |||
Normal rank | |||
Property / zbMATH DE Number | |||
Property / zbMATH DE Number: 6060946 / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
formal group law | |||
Property / zbMATH Keywords: formal group law / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
ring spectrum | |||
Property / zbMATH Keywords: ring spectrum / rank | |||
Normal rank | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W2001957061 / rank | |||
Normal rank | |||
Property / arXiv ID | |||
Property / arXiv ID: 1004.0006 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Iterated monoidal categories / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The multiplication on BP / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Homotopy invariant algebraic structures on topological spaces / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Tensor product of operads and iterated loop spaces / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4716283 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Koszul duality for operads / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Symmetric spectra / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4867806 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3159161 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Equivariant stable homotopy theory. With contributions by J. E. McClure / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Modules in monoidal model categories / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Model Categories of Diagram Spectra / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The geometry of iterated loop spaces / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Pairings of categories and spectra / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3147710 / rank | |||
Normal rank | |||
links / mardi / name | links / mardi / name | ||
Latest revision as of 12:41, 5 July 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | The smash product for derived categories in stable homotopy theory |
scientific article |
Statements
The smash product for derived categories in stable homotopy theory (English)
0 references
30 July 2012
0 references
Many decades ago, when we all were much younger, one got for several reasons interested in what was called ``higher categories''. In the approach of the present paper it started with the fact that certain multiplications where not strictly associative but only associative up to homotopy. In the course of time one came down with \(E_n\)-ring spectra \(R\), where \(E_n,\;n \in \mathbb N \cup \{ \infty\}\), denotes a hierarchy of structures. In a previous paper [The multiplication on \(BP\), \url{arXiv:1101.0023}] the present author together with \textit{M. Basterra} investigated the Brown-Peterson spectrum \(BP\), reaching the conclusion that \(BP\) is an \(E_4\) spectrum. Whether however \(BP\) is an \(E_\infty\) spectrum is not known. Let \(R\) be a ring spectrum, then the homotopy category of the category of \(R\)-modules (the latter carrying the structure of a homotopy) is called the derived category \(\mathcal D_R\). There is a balanced product between the derived category of right and left \(R\)-modules \(\wedge_R\). An \(E_1\) ring spectrum has a derived category of left modules. An \(E_\infty\) ring spectrum has a derived category having a symmetric monoidal product. The main issue of the present paper is the investigation of properties of \(E_n\) for low \(n\): (1) Let \(R\) be an \(E_2\) ring spectrum. The derived category of left modules \(\mathcal D_R\) is equivalent to the derived category of right modules \(\mathcal D_{R^{op}}\) having a closed monoidal product \[ \wedge_R: \mathcal D_R \times \mathcal D_R \longrightarrow \mathcal D_R \] extending the balanced product. (2) If \(R\) is a \(E_3\) ring spectrum, \(\wedge_R\) has a braiding. (3) If \(R\) is a \(E_4\) spectrum \(\mathcal D_R\) is a closed symmetric monoidal category. The paper contains a wealth of technical details; the reviewer would wish for some more words about the motivation and probably about applications.
0 references
formal group law
0 references
ring spectrum
0 references