
I am a fourthyear MIT math grad student working in algebraic topology. My advisor is Haynes Miller. I was an undergrad at Berkeley. I am the organizer of the Juvitop Seminar.
Strickland's Theorem, notes from a talk I gave for Juvitop in Fall 2016 on Strickland's theorem that formal spec of the ring of additive degree n operations on Morava E theory is the scheme of degree n subgroups of the formal group. These are incomplete attempt at a completely self contained source on the parts of the following four papers that are necessary for Strickland's result: Kashiwabara: BrownPeterson Cohomology of QS^{2n} , and Strickland: Finite Subgroups of Formal Groups, Rational Morava E Theory of DS^{0}, and the main paper The Morava E theory of Symmetric Groups.
My notes contain all of the hardest parts of these four papers. What is present is the main theorem, all of the goodness arguments, all of the relevant part of BrownPeterson Cohomology of QS^{2n} and almost all of the relevant part of Finite Subgroups minus some proofs of statements. What's missing is the entirety of Rational Morava ETheory of DS^{0}, which is a fun reasonable paper, and pages 714 of the main paper, which are very dry and technical. Even with these omissions and the mistakes that are certainly present, I think these notes are a very good resource for anyone trying to learn about this theorem.