Real orientations of Lubin-Tate spectra (Q785939)

The complex cobordism spectrum \(MU\) plays a crucial role in stable homotopy theory, and is closely related to algebraic geometry via formal groups. The complex conjugation on complex manifolds gives rise to a \(C_2\)-action on \(MU\), and this produces the Real cobordism spectrum \(MU_\mathbb{R}\), which is a commutative \(C_2\)-spectrum. Similarly, one has the Real \(K\)-theory spectrum \(K_\mathbb{R}\), and the complex orientation \(MU \to KU\) of \(KU\) is compatible with the conjugation actions, giving a so-called Real orientation \(MU_\mathbb{R} \to K_\mathbb{R}\). The complex \(K\)-theory spectrum \(KU\) is part of a class of spectra (the Lubin-Tate spectra) which play an important role in chromatic stable homotopy theory. Given the Honda formal group \(\mathbb{G}\) of height \(n\), the corresponding Lubin-Tate theory \(E_n\) inherits an action of the automorphism group \(\mathbb{G}_n\) of \(\mathbb{G}\). \textit{E. S. Devinatz} and \textit{M. J. Hopkins} [Topology 43, No. 1, 1--47 (2004; Zbl 1047.55004)] proved that the \(K(n)\)-local sphere (where \(K(n)\) denotes the \(n\)th Morava \(K\)-theory) is equivalent to the homotopy fixed points spectrum \(E_n^{h\mathbb{G}}\) and as such the chromatic convergence theorem shows that these homotopy fixed points spectra are fundamental building blocks of the stable homotopy category. Therefore, understanding the homotopy fixed points \(E_n^{hG}\) for \(G\) a subgroup of \(\mathbb{G}\) is an important topic, but for \(n > 2\) this was previously too difficult to approach. This paper provides a calculation of the \(E_2\)-page of the \(RO(C_2)\)-graded homotopy fixed points spectral sequence of \(E_n\) for arbitrary \(n\). This is acheived by proving the existence of a \(G\)-equivariant map \(N_{C_2}^GMU_\mathbb{R} \to E_n\) for finite subgroups \(G\) of \(\mathbb{G}_n\) containing \(C_2\) (where \(N_{C_2}^G\) denotes the Hill-Hopkins-Ravenel norm), and then applying results of \textit{P. Hu} and \textit{I. Kriz} [Topology 40, No. 2, 317--399 (2001; Zbl 0967.55010)] on the homotopy fixed point spectral sequence of \(MU_\mathbb{R}\). Note that in the case when \(G = C_2\), the map constructed shows that the complex orientation \(MU \to E_n\) in fact can be refined to a Real orientation \(MU_\mathbb{R} \to E_n\).