I'm wrapping up a summer project that involved a computation in Morava $E$-theory. As background knowledge I had to look into how the Johnson-Wilson theories $E(n)$ and Morava $K$-theories were constructed. This was manageable since I'd been part-way down that road already and there's lots of support in, for example, the form of Hopkins' course notes. Then, in early May I spent some time digging around for a construction of Morava $E$-theory, which led me to some conclusions:


* The words "Morava $E$-theory" don't determine what object you're talking about; there's a whole bunch of slightly different Morava $E$-theories.
* People frequently conflate Morava $E$-theory with (completed) Johnson-Wilson theory. One source even claimed (without citation) that one was a finite free module over the other, and that I therefore shouldn't worry about the difference.


In the end, I didn't need to really know much about $E\_n$ beyond a couple formal properties to work out the broad strokes of my computation, so I let the whole thing slide and pretended there existed a spectrum that did what I'd hoped.


However, I'm now getting to a point where understanding what I'm actually doing would be valuable. In decreasing order of importance, can someone provide a reference that...


* ... constructs a family of Morava $E$-theories. Any family would be a start! I am particularly interested in one with a coefficient ring of the form $\mathbb{Z}\_p[\![v\_1, \ldots, v\_{n-1}]\!][v\_n^{\pm 1}]$.
* ... illustrates that $\mathrm{spf}\,(E\_n)^\* \mathbb{C}P^\infty$ is the universal deformation of $\mathrm{spf}\,K(n)^\* \mathbb{C}P^\infty$ to formal groups over formal spectra of complete, local rings with residue field $\mathbb{F}\_p[v\_n^{\pm 1}]$. The remark above about the comparison between Johnson-Wilson theory and Morava $E$-theory made me particularly uncomfortable in this respect; it's not clear to me that the formal group associated to Johnson-Wilson theory should be thought of as the universal deformation of the Honda formal group. Clearing that up would be nice too.
* ... also shows that the reduction of the universal deformation to the "mod $p$" case exists as a spectrum, and the reduction map exists as a map of spectra. That is, there is a complex-oriented, structured ring spectrum $E\_n/p$ with coefficient ring $\mathbb{F}\_p[\![v\_1, \ldots, v\_{n-1}]\!][v\_n^{\pm 1}]$ whose associated formal group is the universal deformation of the Honda formal group to complete, local rings of characteristic $p$.
* ... also shows that the reduction of the universal deformation modulo the $n$th power of its maximal ideal exists as a spectrum, and the reduction map exists as a map of spectra.
* ... demonstrates this fact about $E\_n$ being a finite free module over $E(n)$, at least for an appropriate interpretation of the symbol "$E\_n$".


It may not be the case that points 3 and 4 are even true, but I'm hopeful. Still, surely this is all catalogued somewhere!



Construction of Morava E-theory
So far as what Morava E-theory should be: Morava E-theory *always* implicitly comes with a choice of a perfect residue field of positive characteristic and a formal group law of finite height over this field. Sometimes people take a very specific formal group law, but there is no reason to be restrictive. The underlying homotopy type of spectrum may not change in a very interesting way, but the multiplicative structure *does* (just as many rings that are different in interesting ways may have the same underlying abelian groups). This actually becomes a more serious issue with things like $BP\langle n\rangle$ and the Johnson-Wilson theories because there are multiple possible inequivalent orientations that look basically the same when you write down the rings of homotopy groups.


Your points in order:


* Constructing a family of Morava E-theories. (The coefficient ring you list is implicitly the coefficient ring of a completed Johnson-Wilson theory, and that's only if I interpret your power series brackets as "invert vn and then complete" due to the grading issue.) Johnson-Wilson theories and completed Johnson-Wilson theories, with the names you've given to the generators, all satisfy Landweber's criterion and so you can produce them the easy way as spectra via the Landweber exact functor theorem. Morava E-theories are slightly more difficult; they're still Landweber exact, but to prove that you need to know that the universal deformation ring of a formal group law of finite height has a particular structure relative to the coordinates of its p-series. However, if you want to construct any of these as genuine commutative ring spectra then you've got to use the Goerss-Hopkins-Miller theorem on the Morava E-theories, use it with its functoriality properties for the completed Johnson-Wilson theories, and you're out of luck for the uncompleted Johnson-Wilson theories except in a handful of very specific cases (some of which may require you to be slightly flexible about what "Johnson-Wilson" means). For references for the Hopkins-Miller theorem in the associative case, there are of course Charles Rezk's Notes on the Hopkins-Miller theorem, although you have a far better source on hand. The Goerss-Hopkins paper [Moduli problems for structured ring spectra](http://www.math.northwestern.edu/~pgoerss/spectra/obstruct.pdf) covers the obstruction theory for making these objects commutative.
* So far as illustration goes, the method I was proposing in the previous paragraph *started* with the universal deformation ring and produced the E-theory as its manifestation, meaning that by the time you get here you've already finished this step. Note that you have to be a little careful about the grading issue. The coefficient ring of a Morava E-theory in its full, graded glory is the universal deformation ring of a formal group law equipped with a choice of generator of the relative cotangent space (a trivial torsor for the multiplicative group over the universal deformation of the formal group law).
* The mod-p reduction exists as a spectrum, but not as a *commutative* ring spectrum. Any commutative ring spectrum with $p=0$ in its homotopy groups is a module over the Eilenberg-Mac Lane spectrum ${\rm H}\mathbb{F}\_p$ (this is because this Eilenberg-Mac Lane spectrum is actually the free algebra over the little 2-disks operad with $p=0$!) and these residue fields don't qualify. You can show that these residue objects exist using obstruction theory; there are a number of references but let me specifically plug Vigleik Angeltveit's [Topological Hochschild homology and cohomology of A-infinity ring spectra](http://www.msp.warwick.ac.uk/gt/2008/12-02/p022.xhtml).
* Modulo the n'th power of the maximal ideal is a little trickier and I would have to go check to see if the obstruction theory necessarily worked out. If you're willing to instead kill the n'th powers of the generators of the maximal ideal then the obstruction theory from the previous point still works, because you are killing a regular sequence of generators. Again, this only produces associative objects rather than commutative ones.
* The fact that $E\_n$ is a finite free module over the completed $E(n)$ is a formal consequence of the computation of the homotopy groups of both involved. The left-hand object has homotopy groups
$$
\mathbb{Z}\_{p^n}[\![u\_1,\ldots,u\_{n-1}]\!][u^{\pm 1}]
$$
with $|u\_i| = 0, |u| = 2$ and the right-hand object has homotopy groups as the subring
$$
\mathbb{Z}[v\_1,\cdots,v\_n,v\_n^{-1}]^\wedge
$$
where $v\_i = u^{p^i - 1} u\_i$ for $1 \leq i < n$, $v\_n = u^{p^n - 1}$, and the completion is taken with respect to the intersection of the maximal ideal with this subring. Once you have figured out what this entails, you find that the homotopy groups are a finite free module and as a consequence the spectrum itself is a finite free module.


