foundations for the stable homotopy category.











up vote
1
down vote

favorite












$newcommand{C}{mathscr{C}}$
Where should one learn about the (?) stable homotopy category? I'll call what we're looking for $C$. There seem to be many competing notions, all of which have some form of equivalence (?). The ones that come to mind are





  • $C=hTop$, the homotopy category of $Top$, which can consist of 'nice' spaces such as those that are compactly generated


  • $C=hSp$, the homotopy category of spectra (??? see below)

  • constructions in EKMM (is this a good place to learn about stable homotopy?)

  • Adams' category (said to be outdated)

  • Boardman's stable homotopy category (what is this?)

  • the stable $infty$-category $C=Stab(S_ast)$, where the right-hand-side is the stabilization of the $infty$-category $S_ast$ of pointed topological spaces. (this is denoted $Sp(S_ast)$ too but I don't want to mix up notation here).


Something that's confusing to me is also the varying notions of spectra. For instance, we have CW-spectra à la Adams, but also sequential spectra $Sp^mathbf{N}$, and the more structured symmetric spectra $Sp^Sigma$. Most of this has to do (I think) with the issue of finding an appropriate smash product $wedge:CtimesCtoC$ which makes $C$ into a symmetric monoidal category.



Can anyone help me understand where I should start?










share|cite|improve this question


























    up vote
    1
    down vote

    favorite












    $newcommand{C}{mathscr{C}}$
    Where should one learn about the (?) stable homotopy category? I'll call what we're looking for $C$. There seem to be many competing notions, all of which have some form of equivalence (?). The ones that come to mind are





    • $C=hTop$, the homotopy category of $Top$, which can consist of 'nice' spaces such as those that are compactly generated


    • $C=hSp$, the homotopy category of spectra (??? see below)

    • constructions in EKMM (is this a good place to learn about stable homotopy?)

    • Adams' category (said to be outdated)

    • Boardman's stable homotopy category (what is this?)

    • the stable $infty$-category $C=Stab(S_ast)$, where the right-hand-side is the stabilization of the $infty$-category $S_ast$ of pointed topological spaces. (this is denoted $Sp(S_ast)$ too but I don't want to mix up notation here).


    Something that's confusing to me is also the varying notions of spectra. For instance, we have CW-spectra à la Adams, but also sequential spectra $Sp^mathbf{N}$, and the more structured symmetric spectra $Sp^Sigma$. Most of this has to do (I think) with the issue of finding an appropriate smash product $wedge:CtimesCtoC$ which makes $C$ into a symmetric monoidal category.



    Can anyone help me understand where I should start?










    share|cite|improve this question
























      up vote
      1
      down vote

      favorite









      up vote
      1
      down vote

      favorite











      $newcommand{C}{mathscr{C}}$
      Where should one learn about the (?) stable homotopy category? I'll call what we're looking for $C$. There seem to be many competing notions, all of which have some form of equivalence (?). The ones that come to mind are





      • $C=hTop$, the homotopy category of $Top$, which can consist of 'nice' spaces such as those that are compactly generated


      • $C=hSp$, the homotopy category of spectra (??? see below)

      • constructions in EKMM (is this a good place to learn about stable homotopy?)

      • Adams' category (said to be outdated)

      • Boardman's stable homotopy category (what is this?)

      • the stable $infty$-category $C=Stab(S_ast)$, where the right-hand-side is the stabilization of the $infty$-category $S_ast$ of pointed topological spaces. (this is denoted $Sp(S_ast)$ too but I don't want to mix up notation here).


      Something that's confusing to me is also the varying notions of spectra. For instance, we have CW-spectra à la Adams, but also sequential spectra $Sp^mathbf{N}$, and the more structured symmetric spectra $Sp^Sigma$. Most of this has to do (I think) with the issue of finding an appropriate smash product $wedge:CtimesCtoC$ which makes $C$ into a symmetric monoidal category.



      Can anyone help me understand where I should start?










      share|cite|improve this question













      $newcommand{C}{mathscr{C}}$
      Where should one learn about the (?) stable homotopy category? I'll call what we're looking for $C$. There seem to be many competing notions, all of which have some form of equivalence (?). The ones that come to mind are





      • $C=hTop$, the homotopy category of $Top$, which can consist of 'nice' spaces such as those that are compactly generated


      • $C=hSp$, the homotopy category of spectra (??? see below)

      • constructions in EKMM (is this a good place to learn about stable homotopy?)

      • Adams' category (said to be outdated)

      • Boardman's stable homotopy category (what is this?)

      • the stable $infty$-category $C=Stab(S_ast)$, where the right-hand-side is the stabilization of the $infty$-category $S_ast$ of pointed topological spaces. (this is denoted $Sp(S_ast)$ too but I don't want to mix up notation here).


      Something that's confusing to me is also the varying notions of spectra. For instance, we have CW-spectra à la Adams, but also sequential spectra $Sp^mathbf{N}$, and the more structured symmetric spectra $Sp^Sigma$. Most of this has to do (I think) with the issue of finding an appropriate smash product $wedge:CtimesCtoC$ which makes $C$ into a symmetric monoidal category.



      Can anyone help me understand where I should start?







      category-theory homotopy-theory stable-homotopy-theory






      share|cite|improve this question













      share|cite|improve this question











      share|cite|improve this question




      share|cite|improve this question










      asked Nov 17 at 19:54









      Ryan Keleti

      787




      787






















          1 Answer
          1






          active

          oldest

          votes

















          up vote
          3
          down vote



          accepted










          The homotopy category of spaces is relevant to unstable homotopy theory. All of the other categories are equivalent. If all you want is the stable homotopy category, then Adams' construction is still the most efficient. Note that Adams' construction is just Boardman's, fleshed out. But most people would like a more manageable point-set and/or $infty$-categorical model for spectra, these days.



          EKMM had the first excellent point-set construction of spectra, via so-called $S$-modules. However, it seems to me to be a more or less established consensus, even for the authors of that book, that model categories of diagram spectra are a more manageable "in", if you only want one construction. Diagram spectra describe spectra as continuous functors from some topological category into spaces, where the domain can range in complexity from the discrete category of natural numbers (only identity maps) to the entire topologically enriched category of finite CW-complexes. For smaller domain categories, one has to define spectra as functors equipped with an action of a certain ring-functor $mathbb{S}$; when $mathbb{S}$ is a commutative ring-functor one gets the Day convolution symmetric monoidal structure on its modules (very roughly analogous to the tensor product of modules over an ordinary commutative ring) and that gives the nice point-set smash products of spectra to which you allude. As far as where to learn about these things, it's a bit tricky. Adams is still absolutely worth reading. Schwede has an incomplete book project on symmetric spectra that would get you a lot of the basics. Mandell-May-Schwede-Shipley have a nice survey on model categories of diagram spectra to get an overview of what the options are.



          While the point-set categories of spectra are very important constructions, one explanation for a relative dearth of thorough expositions on them is that the point-set level details are more important for proving that certain constructions exist than for the majority of actual mathematical work being done in stable homotopy theory. For that, one is often working in the $infty$-category of spectra, which is really canonically defined: for instance, it's the initial stable $infty$-category admitting a homotopy colimit-preserving functor from the $infty$-category of spaces. Every construction of a model category of spectra is a different way of getting at this same $infty$-category. As for references here, well, stable $infty$-categories in general are the subject of Lurie's opus Higher Algebra. However, again, many stable homotopy theorists I know rarely think at this level either. A significant proportion of stable homotopy theory is about trying to compute homotopy and cohomology groups, which eventually often reduces to understanding certain spectral sequences in a very concrete and algebraic way. You could look, for instance, at Ravenel's books to get a bit of an idea of this computational perspective.






          share|cite|improve this answer





















          • thanks for the answer! would you say it would still be helpful to understand the $S$-module approach, or is taking the diagram spectra route more preferable? or maybe I should forget about most of this for now and stay content with the $infty$-category of spectra you mention?
            – Ryan Keleti
            Nov 18 at 4:10






          • 1




            @RyanKeleti I'd say, though your mileage may vary, that an understanding of some diagram spectra approach and some of the $infty$-category would cover you pretty well. At this stage I'm skeptical of whether a purely $infty$-categorical perspective would let you understand the field.
            – Kevin Carlson
            Nov 18 at 8:13











          Your Answer





          StackExchange.ifUsing("editor", function () {
          return StackExchange.using("mathjaxEditing", function () {
          StackExchange.MarkdownEditor.creationCallbacks.add(function (editor, postfix) {
          StackExchange.mathjaxEditing.prepareWmdForMathJax(editor, postfix, [["$", "$"], ["\\(","\\)"]]);
          });
          });
          }, "mathjax-editing");

          StackExchange.ready(function() {
          var channelOptions = {
          tags: "".split(" "),
          id: "69"
          };
          initTagRenderer("".split(" "), "".split(" "), channelOptions);

          StackExchange.using("externalEditor", function() {
          // Have to fire editor after snippets, if snippets enabled
          if (StackExchange.settings.snippets.snippetsEnabled) {
          StackExchange.using("snippets", function() {
          createEditor();
          });
          }
          else {
          createEditor();
          }
          });

          function createEditor() {
          StackExchange.prepareEditor({
          heartbeatType: 'answer',
          convertImagesToLinks: true,
          noModals: true,
          showLowRepImageUploadWarning: true,
          reputationToPostImages: 10,
          bindNavPrevention: true,
          postfix: "",
          imageUploader: {
          brandingHtml: "Powered by u003ca class="icon-imgur-white" href="https://imgur.com/"u003eu003c/au003e",
          contentPolicyHtml: "User contributions licensed under u003ca href="https://creativecommons.org/licenses/by-sa/3.0/"u003ecc by-sa 3.0 with attribution requiredu003c/au003e u003ca href="https://stackoverflow.com/legal/content-policy"u003e(content policy)u003c/au003e",
          allowUrls: true
          },
          noCode: true, onDemand: true,
          discardSelector: ".discard-answer"
          ,immediatelyShowMarkdownHelp:true
          });


          }
          });














          draft saved

          draft discarded


















          StackExchange.ready(
          function () {
          StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3002742%2ffoundations-for-the-stable-homotopy-category%23new-answer', 'question_page');
          }
          );

          Post as a guest















          Required, but never shown

























          1 Answer
          1






          active

          oldest

          votes








          1 Answer
          1






          active

          oldest

          votes









          active

          oldest

          votes






          active

          oldest

          votes








          up vote
          3
          down vote



          accepted










          The homotopy category of spaces is relevant to unstable homotopy theory. All of the other categories are equivalent. If all you want is the stable homotopy category, then Adams' construction is still the most efficient. Note that Adams' construction is just Boardman's, fleshed out. But most people would like a more manageable point-set and/or $infty$-categorical model for spectra, these days.



          EKMM had the first excellent point-set construction of spectra, via so-called $S$-modules. However, it seems to me to be a more or less established consensus, even for the authors of that book, that model categories of diagram spectra are a more manageable "in", if you only want one construction. Diagram spectra describe spectra as continuous functors from some topological category into spaces, where the domain can range in complexity from the discrete category of natural numbers (only identity maps) to the entire topologically enriched category of finite CW-complexes. For smaller domain categories, one has to define spectra as functors equipped with an action of a certain ring-functor $mathbb{S}$; when $mathbb{S}$ is a commutative ring-functor one gets the Day convolution symmetric monoidal structure on its modules (very roughly analogous to the tensor product of modules over an ordinary commutative ring) and that gives the nice point-set smash products of spectra to which you allude. As far as where to learn about these things, it's a bit tricky. Adams is still absolutely worth reading. Schwede has an incomplete book project on symmetric spectra that would get you a lot of the basics. Mandell-May-Schwede-Shipley have a nice survey on model categories of diagram spectra to get an overview of what the options are.



          While the point-set categories of spectra are very important constructions, one explanation for a relative dearth of thorough expositions on them is that the point-set level details are more important for proving that certain constructions exist than for the majority of actual mathematical work being done in stable homotopy theory. For that, one is often working in the $infty$-category of spectra, which is really canonically defined: for instance, it's the initial stable $infty$-category admitting a homotopy colimit-preserving functor from the $infty$-category of spaces. Every construction of a model category of spectra is a different way of getting at this same $infty$-category. As for references here, well, stable $infty$-categories in general are the subject of Lurie's opus Higher Algebra. However, again, many stable homotopy theorists I know rarely think at this level either. A significant proportion of stable homotopy theory is about trying to compute homotopy and cohomology groups, which eventually often reduces to understanding certain spectral sequences in a very concrete and algebraic way. You could look, for instance, at Ravenel's books to get a bit of an idea of this computational perspective.






          share|cite|improve this answer





















          • thanks for the answer! would you say it would still be helpful to understand the $S$-module approach, or is taking the diagram spectra route more preferable? or maybe I should forget about most of this for now and stay content with the $infty$-category of spectra you mention?
            – Ryan Keleti
            Nov 18 at 4:10






          • 1




            @RyanKeleti I'd say, though your mileage may vary, that an understanding of some diagram spectra approach and some of the $infty$-category would cover you pretty well. At this stage I'm skeptical of whether a purely $infty$-categorical perspective would let you understand the field.
            – Kevin Carlson
            Nov 18 at 8:13















          up vote
          3
          down vote



          accepted










          The homotopy category of spaces is relevant to unstable homotopy theory. All of the other categories are equivalent. If all you want is the stable homotopy category, then Adams' construction is still the most efficient. Note that Adams' construction is just Boardman's, fleshed out. But most people would like a more manageable point-set and/or $infty$-categorical model for spectra, these days.



          EKMM had the first excellent point-set construction of spectra, via so-called $S$-modules. However, it seems to me to be a more or less established consensus, even for the authors of that book, that model categories of diagram spectra are a more manageable "in", if you only want one construction. Diagram spectra describe spectra as continuous functors from some topological category into spaces, where the domain can range in complexity from the discrete category of natural numbers (only identity maps) to the entire topologically enriched category of finite CW-complexes. For smaller domain categories, one has to define spectra as functors equipped with an action of a certain ring-functor $mathbb{S}$; when $mathbb{S}$ is a commutative ring-functor one gets the Day convolution symmetric monoidal structure on its modules (very roughly analogous to the tensor product of modules over an ordinary commutative ring) and that gives the nice point-set smash products of spectra to which you allude. As far as where to learn about these things, it's a bit tricky. Adams is still absolutely worth reading. Schwede has an incomplete book project on symmetric spectra that would get you a lot of the basics. Mandell-May-Schwede-Shipley have a nice survey on model categories of diagram spectra to get an overview of what the options are.



          While the point-set categories of spectra are very important constructions, one explanation for a relative dearth of thorough expositions on them is that the point-set level details are more important for proving that certain constructions exist than for the majority of actual mathematical work being done in stable homotopy theory. For that, one is often working in the $infty$-category of spectra, which is really canonically defined: for instance, it's the initial stable $infty$-category admitting a homotopy colimit-preserving functor from the $infty$-category of spaces. Every construction of a model category of spectra is a different way of getting at this same $infty$-category. As for references here, well, stable $infty$-categories in general are the subject of Lurie's opus Higher Algebra. However, again, many stable homotopy theorists I know rarely think at this level either. A significant proportion of stable homotopy theory is about trying to compute homotopy and cohomology groups, which eventually often reduces to understanding certain spectral sequences in a very concrete and algebraic way. You could look, for instance, at Ravenel's books to get a bit of an idea of this computational perspective.






          share|cite|improve this answer





















          • thanks for the answer! would you say it would still be helpful to understand the $S$-module approach, or is taking the diagram spectra route more preferable? or maybe I should forget about most of this for now and stay content with the $infty$-category of spectra you mention?
            – Ryan Keleti
            Nov 18 at 4:10






          • 1




            @RyanKeleti I'd say, though your mileage may vary, that an understanding of some diagram spectra approach and some of the $infty$-category would cover you pretty well. At this stage I'm skeptical of whether a purely $infty$-categorical perspective would let you understand the field.
            – Kevin Carlson
            Nov 18 at 8:13













          up vote
          3
          down vote



          accepted







          up vote
          3
          down vote



          accepted






          The homotopy category of spaces is relevant to unstable homotopy theory. All of the other categories are equivalent. If all you want is the stable homotopy category, then Adams' construction is still the most efficient. Note that Adams' construction is just Boardman's, fleshed out. But most people would like a more manageable point-set and/or $infty$-categorical model for spectra, these days.



          EKMM had the first excellent point-set construction of spectra, via so-called $S$-modules. However, it seems to me to be a more or less established consensus, even for the authors of that book, that model categories of diagram spectra are a more manageable "in", if you only want one construction. Diagram spectra describe spectra as continuous functors from some topological category into spaces, where the domain can range in complexity from the discrete category of natural numbers (only identity maps) to the entire topologically enriched category of finite CW-complexes. For smaller domain categories, one has to define spectra as functors equipped with an action of a certain ring-functor $mathbb{S}$; when $mathbb{S}$ is a commutative ring-functor one gets the Day convolution symmetric monoidal structure on its modules (very roughly analogous to the tensor product of modules over an ordinary commutative ring) and that gives the nice point-set smash products of spectra to which you allude. As far as where to learn about these things, it's a bit tricky. Adams is still absolutely worth reading. Schwede has an incomplete book project on symmetric spectra that would get you a lot of the basics. Mandell-May-Schwede-Shipley have a nice survey on model categories of diagram spectra to get an overview of what the options are.



          While the point-set categories of spectra are very important constructions, one explanation for a relative dearth of thorough expositions on them is that the point-set level details are more important for proving that certain constructions exist than for the majority of actual mathematical work being done in stable homotopy theory. For that, one is often working in the $infty$-category of spectra, which is really canonically defined: for instance, it's the initial stable $infty$-category admitting a homotopy colimit-preserving functor from the $infty$-category of spaces. Every construction of a model category of spectra is a different way of getting at this same $infty$-category. As for references here, well, stable $infty$-categories in general are the subject of Lurie's opus Higher Algebra. However, again, many stable homotopy theorists I know rarely think at this level either. A significant proportion of stable homotopy theory is about trying to compute homotopy and cohomology groups, which eventually often reduces to understanding certain spectral sequences in a very concrete and algebraic way. You could look, for instance, at Ravenel's books to get a bit of an idea of this computational perspective.






          share|cite|improve this answer












          The homotopy category of spaces is relevant to unstable homotopy theory. All of the other categories are equivalent. If all you want is the stable homotopy category, then Adams' construction is still the most efficient. Note that Adams' construction is just Boardman's, fleshed out. But most people would like a more manageable point-set and/or $infty$-categorical model for spectra, these days.



          EKMM had the first excellent point-set construction of spectra, via so-called $S$-modules. However, it seems to me to be a more or less established consensus, even for the authors of that book, that model categories of diagram spectra are a more manageable "in", if you only want one construction. Diagram spectra describe spectra as continuous functors from some topological category into spaces, where the domain can range in complexity from the discrete category of natural numbers (only identity maps) to the entire topologically enriched category of finite CW-complexes. For smaller domain categories, one has to define spectra as functors equipped with an action of a certain ring-functor $mathbb{S}$; when $mathbb{S}$ is a commutative ring-functor one gets the Day convolution symmetric monoidal structure on its modules (very roughly analogous to the tensor product of modules over an ordinary commutative ring) and that gives the nice point-set smash products of spectra to which you allude. As far as where to learn about these things, it's a bit tricky. Adams is still absolutely worth reading. Schwede has an incomplete book project on symmetric spectra that would get you a lot of the basics. Mandell-May-Schwede-Shipley have a nice survey on model categories of diagram spectra to get an overview of what the options are.



          While the point-set categories of spectra are very important constructions, one explanation for a relative dearth of thorough expositions on them is that the point-set level details are more important for proving that certain constructions exist than for the majority of actual mathematical work being done in stable homotopy theory. For that, one is often working in the $infty$-category of spectra, which is really canonically defined: for instance, it's the initial stable $infty$-category admitting a homotopy colimit-preserving functor from the $infty$-category of spaces. Every construction of a model category of spectra is a different way of getting at this same $infty$-category. As for references here, well, stable $infty$-categories in general are the subject of Lurie's opus Higher Algebra. However, again, many stable homotopy theorists I know rarely think at this level either. A significant proportion of stable homotopy theory is about trying to compute homotopy and cohomology groups, which eventually often reduces to understanding certain spectral sequences in a very concrete and algebraic way. You could look, for instance, at Ravenel's books to get a bit of an idea of this computational perspective.







          share|cite|improve this answer












          share|cite|improve this answer



          share|cite|improve this answer










          answered Nov 18 at 1:31









          Kevin Carlson

          32.1k23270




          32.1k23270












          • thanks for the answer! would you say it would still be helpful to understand the $S$-module approach, or is taking the diagram spectra route more preferable? or maybe I should forget about most of this for now and stay content with the $infty$-category of spectra you mention?
            – Ryan Keleti
            Nov 18 at 4:10






          • 1




            @RyanKeleti I'd say, though your mileage may vary, that an understanding of some diagram spectra approach and some of the $infty$-category would cover you pretty well. At this stage I'm skeptical of whether a purely $infty$-categorical perspective would let you understand the field.
            – Kevin Carlson
            Nov 18 at 8:13


















          • thanks for the answer! would you say it would still be helpful to understand the $S$-module approach, or is taking the diagram spectra route more preferable? or maybe I should forget about most of this for now and stay content with the $infty$-category of spectra you mention?
            – Ryan Keleti
            Nov 18 at 4:10






          • 1




            @RyanKeleti I'd say, though your mileage may vary, that an understanding of some diagram spectra approach and some of the $infty$-category would cover you pretty well. At this stage I'm skeptical of whether a purely $infty$-categorical perspective would let you understand the field.
            – Kevin Carlson
            Nov 18 at 8:13
















          thanks for the answer! would you say it would still be helpful to understand the $S$-module approach, or is taking the diagram spectra route more preferable? or maybe I should forget about most of this for now and stay content with the $infty$-category of spectra you mention?
          – Ryan Keleti
          Nov 18 at 4:10




          thanks for the answer! would you say it would still be helpful to understand the $S$-module approach, or is taking the diagram spectra route more preferable? or maybe I should forget about most of this for now and stay content with the $infty$-category of spectra you mention?
          – Ryan Keleti
          Nov 18 at 4:10




          1




          1




          @RyanKeleti I'd say, though your mileage may vary, that an understanding of some diagram spectra approach and some of the $infty$-category would cover you pretty well. At this stage I'm skeptical of whether a purely $infty$-categorical perspective would let you understand the field.
          – Kevin Carlson
          Nov 18 at 8:13




          @RyanKeleti I'd say, though your mileage may vary, that an understanding of some diagram spectra approach and some of the $infty$-category would cover you pretty well. At this stage I'm skeptical of whether a purely $infty$-categorical perspective would let you understand the field.
          – Kevin Carlson
          Nov 18 at 8:13


















          draft saved

          draft discarded




















































          Thanks for contributing an answer to Mathematics Stack Exchange!


          • Please be sure to answer the question. Provide details and share your research!

          But avoid



          • Asking for help, clarification, or responding to other answers.

          • Making statements based on opinion; back them up with references or personal experience.


          Use MathJax to format equations. MathJax reference.


          To learn more, see our tips on writing great answers.





          Some of your past answers have not been well-received, and you're in danger of being blocked from answering.


          Please pay close attention to the following guidance:


          • Please be sure to answer the question. Provide details and share your research!

          But avoid



          • Asking for help, clarification, or responding to other answers.

          • Making statements based on opinion; back them up with references or personal experience.


          To learn more, see our tips on writing great answers.




          draft saved


          draft discarded














          StackExchange.ready(
          function () {
          StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3002742%2ffoundations-for-the-stable-homotopy-category%23new-answer', 'question_page');
          }
          );

          Post as a guest















          Required, but never shown





















































          Required, but never shown














          Required, but never shown












          Required, but never shown







          Required, but never shown

































          Required, but never shown














          Required, but never shown












          Required, but never shown







          Required, but never shown







          Popular posts from this blog

          AnyDesk - Fatal Program Failure

          How to calibrate 16:9 built-in touch-screen to a 4:3 resolution?

          QoS: MAC-Priority for clients behind a repeater