Coalgebraic formal curve spectra and spectral jet spaces (Q2177701): Difference between revisions

Let \(\Gamma\) denote a finite-height formal group over a perfect field \(k\) of characteristic \(p\), and let \(E_\Gamma\) be Morava \(E\)-theory associated to \(\Gamma\). In this paper, Eric Peterson constructs, for any pointed space \(X\), a diagram in the category of spectra localized with respect to \(E_\Gamma\)-cohomology: \[ \begin{matrix} C^\infty_0&\longrightarrow &C^\infty_1&\longrightarrow &C^\infty_2&\longrightarrow\dots\\ \uparrow&&\uparrow&&\uparrow&\\ C^0_0 &&C^1_1 &&C^2_2 & \end{matrix} \] Each \(C^k_k \to C^\infty_k \to C^\infty_{k+1}\) is a fiber sequence. This diagram is natural in \(X\), and in the category of \(E_\Gamma\)-local spectra there are natural equivalences \(C^0_0 \simeq \mathbb{S}\), \(C^\infty_0 \simeq \Sigma^\infty_+ X\), and \(C^\infty_1 \simeq \Sigma^\infty X\). If \(X_{E_\Gamma}\) happens to be a formal curve (defined below) and \(p\) is large compared to the height of \(\Gamma\), then \(E^0_\Gamma(C_1^1)\) is the cotangent space of \(X_{E_\Gamma}\) at the origin. This motivates calling \(C^1_1\) the tangent space of \(X\) at the point \(\mathbf{S}^0 \to \Sigma^\infty_+ X\). Furthermore Peterson shows that \(C^k_k = (C^1_1)^{\wedge k}\) and \(C^\infty_\infty = *\). The diagram is analogous to a jet space decomposition, hence the title. If \(X\) is a space write \(X = \operatorname{colim} X_\alpha\) where the \(X_\alpha\)'s are compact subspaces. Then define \(X_E = \{\operatorname{Spec} E^0X_\alpha\}\). The author is interested in the case where \(E^*X_\alpha\) is a pro-system of even-degree finite \(E^*\)-algebras \(\{E^0X_\alpha \otimes_{E^0} E^*\}\). This is the sense in which \(X\) is thought of as a formal scheme. The construction of the diagram proceeds by using the diagonal map and stabilization to think of a pointed space as an associative algebra object in the monoidal \(\infty\)-category \(Spectra^{op}\). By dualizing and localizing a space becomes a coassociative coalgebra object in the monoidal \(\infty\)-category of \(E\)-local spectra for a ring spectrum \(E\). Letting \(E = E_\Gamma\) the author then produces a construction in the category of coalgebras which leads to the definition of \(C^1_1\) and ultimately the construction of the entire diagram. In order to verify that \(E^0_\Gamma(C_1^1)\) is the cotangent space of \(X_{E_\Gamma}\), in the case of a formal curve, the author must compute \(E^0_\Gamma(C_1^1)\). This is done by computing the Morava \(K\)-theory of an inverse limit using among other things a version of the inverse limit spectral sequence of Hal Sadofsky (see [\textit{M. J. Hopkins} et al., Contemp. Math. 158, 89--126 (1994; Zbl 0799.55005); \textit{H. Sadofsky}, ``The homology of inverse limits of spectra'', Preprint (2001); \textit{T. Barthel, A. Beaudry, E. Peterson} and \textit{H. Sadofsky}, ``The homology of inverse limits and the algebraic chromatic splitting conjecture'', unpublished (2017)]). This spectral sequence first appeared in [Hopkins et al., loc. cit.] where the authors studied the Picard group of invertible \(K\)-local spectra. This happens to be the genesis of some of the applications of the present paper being reviewed. The input to the spectral sequence is computed using several results about cotor spectral sequences that come from work of Ravenel-Wilson and Boardman. Peterson goes on to prove the interesting fact that in the case where \(X_{E_\Gamma}\) is a formal curve, each of the spectra \(C^n_n\) in the jet space decomposition is an element of the Picard group of the category of \(E_\Gamma\)-local spectra. This leads to, for example, a \(\Gamma\)-local Picard graded decomposition of \(\Sigma^\infty_+ B^dS^1\), the top exterior power of the universal deformation of \(\Gamma\). Ultimately the results of this paper suggest applications to the dualizing object of Gross-Hopkins [\textit{M. J. Hopkins} and \textit{B. H. Gross}, Bull. Am. Math. Soc., New Ser. 30, No. 1, 76--86 (1994; Zbl 0857.55003)] and Picard groups in the \(E_\Gamma\)-local stable homotopy category, and the chromatic splitting conjecture.