Timeline for Is there a high-concept explanation of the dual Steenrod algebra as the automorphism group scheme of the formal additive group?
Current License: CC BY-SA 3.0
12 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Dec 12, 2011 at 3:14 | vote | accept | Akhil Mathew | ||
| Dec 11, 2011 at 15:01 | answer | added | Tyler Lawson | timeline score: 17 | |
| Dec 10, 2011 at 23:37 | comment | added | Akhil Mathew | @David: I used "in some sense" as weasel words in case I was saying something silly, and because I don't know anything about formal group schemes. | |
| Dec 10, 2011 at 19:45 | comment | added | David White | @Akhil. I'm curious about your comment about the "action" of Spec $A^{\vee}$ on Sppf $H^{**}(X)$. I'm a novice to the language of Sppf, but I'm interested in learning this material. Why do you add the qualifier of "in some sense" when you introduce this action? If everything in sight is a group, is there some reason the Spec functor fails to preserve group actions? | |
| Dec 10, 2011 at 16:32 | comment | added | Akhil Mathew | I also wonder what the analog in characteristic $p \neq 2$ should be because I'm not sure what the right space would be -- presumably $B \mathbb{Z}/p$? | |
| Dec 10, 2011 at 16:24 | comment | added | Akhil Mathew | @Tyler: I learned this from Lurie's notes on chromatic homotopy theory, math.harvard.edu/~lurie/252x.html | |
| Dec 10, 2011 at 15:28 | comment | added | Charles Rezk | Note also Geoffrey Powell, "Unstable modules over the Steenrod algebra revisited", arxiv.org/abs/0903.4992 | |
| Dec 10, 2011 at 8:12 | comment | added | Justin Noel | @Tyler, perhaps you're thinking of Pages 22-23 of Hopkins COCTALOS notes: math.rochester.edu/u/faculty/doug/otherpapers/coctalos.pdf | |
| Dec 10, 2011 at 5:02 | comment | added | Tyler Lawson | My recollection is that there were some course notes out there online that explained this pretty well, but my memory is not functioning well here either. Maybe someone else knows a link? | |
| Dec 10, 2011 at 5:01 | comment | added | Tyler Lawson | The cohomology $H^*(\mathbb{RP}^\infty)$ carries a formal group law, determined (as in the complex case) by the rule for taking the tensor product of two real line bundles. It's the additive formal group law. Co-operations on cohomology determine, therefore, natural operations on this formal group law. When $p$ is odd my recollection is that there is a graded-commutative version but I do not remember enough to say things with confidence. | |
| Dec 10, 2011 at 4:55 | answer | added | Eric Peterson | timeline score: 18 | |
| Dec 10, 2011 at 1:59 | history | asked | Akhil Mathew | CC BY-SA 3.0 |