MathOverflow is a question and answer site for professional mathematicians. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

Dear all,

I'm seeking a reference for a claim made in lecture 8 of Jacob Lurie's chromatic homotopy theory notes ( More particularly, Theorem 6 of this lecture states that (say over $\mathbb{F}_2$, so that things are commutative) the spectrum $\mathbb{G} = \operatorname{Spec} \mathcal{A}_*$ of the dual Steenrod algebra $\mathcal{A}_*$ is the automorphism group of the additive formal group law, in the obvious sense.

Lurie argues convincingly that $\mathbb{G}$ does act on the additive formal group law, but I don't think he attempts to prove that this action gives an isomorphism with the automorphism group. I'd be grateful if someone could give me a reference for this fact.



share|cite|improve this question
up vote 3 down vote accepted

MIT OpenCourseWare has some notes from a course that Lurie taught in 2007. I believe the lecture on the dual Steenrod algebra has a proof of the claim.

share|cite|improve this answer
Certainly looks like it. Thanks! – Saul Glasman Aug 25 '11 at 17:55

If you're looking for a reference in print, it's in Ravenel's book Complex Cobordism and Stable Homotopy Groups of Spheres. See the comments after the proof of Theorem A2.2.18. (This book is available online, and you want Appendix 2.)

share|cite|improve this answer

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.