Picard groups and duality for real Morava \(E\)-theories (Q2059698)

The Picard group \(\mathrm{Pic}(R)\) of an \(E_\infty\)-ring spectrum \(R\) is the group of invertible objects in the homotopy category of \(R\)-modules. \textit{A. Mathew} and \textit{V. Stojanoska}, [Geom. Topol. 20, No. 6, 3133--3217 (2016; Zbl 1373.14008)] introduced the Picard spectrum \(\mathfrak{pic}(R)\), a connective spectrum whose zeroeth homotopy group recovers \(\mathrm{Pic}(R)\). For a Galois extension of ring spectra \(A \to B\) with finite Galois group, they derive a descent spectral sequence relating the homotopy groups of \(\mathfrak{pic}(A)\) and \(\mathfrak{pic}(B)\), and use it to compute Picard groups related to topological modular forms. In this paper, the authors work at the prime 2, and consider the homotopy fixed points of the Lubin-Tate spectrum \(E_n\) under a certain \(C_2\)-action, which is induced from the formal inverse of its formal group law via the Goerss-Hopkins-Miller theorem. They show that for all \(n \geq 1\), \(\mathrm{Pic}(E_n^{hC_2}) \cong \mathbb{Z}/2^{n+2}\), generated by \(\Sigma E_n^{hC_2}\) (Theorem 3.12). This is the first systematic computation at all chromatic heights. The height 1 case is a well-known unpublished result of Hopkins, which says that \(\mathrm{Pic}(\mathrm{KO}) \cong \mathbb{Z}/8\) - in this case, taking \(C_2\)-fixed points corresponds to the passage from complex to real \(K\)-theory. Using Theorem 3.12, the authors show that the Gross-Hopkins dual \(IE_n\) of \(E_n\) is \(C_2\)-equivariantly equivalent to \(\Sigma^{4+n}E_n\) (Theorem 4.15). This time, the height 1 case is an equivariant refinement of the well-known result that \(IE_1^{hC_2} \simeq \Sigma^5 E_1^{hC_2}\).