Invertible modules for commutative \(\mathbb S\)-algebras with residue fields (Q2571058): Difference between revisions

The authors work in the category of \(S\)-module spectra in the sense of [\textit{A.D. Elmendorf, I. Kríz, A. Mandell} and \textit{J. P. May}, Rings, modules, and algebras in stably homotopy theory, Mathematical Surveys and Monographs 47 (1997; Zbl 0894.55001)]. Let \(R\) be a commutative \(S\)-algebra and \(R_*\) its coefficient ring. Let Pic(\(R\)) be the Picard group of weak equivalence classes of cofibrant invertible \(R\)-module spectra with \(\wedge_R\) as pairing and Pic(\(R_*\)) the Picard group of invertible graded \(R_*\)-modules with \(\otimes R_*\) as pairing. There is a monomorphism \(\Phi: \text{Pic}(R_*)\to\text{Pic}(R)\) and the authors study conditions under which \(\Phi\) is an isomorphism. Key tools are the Künneth spectral sequence \[ E_{pq}^2=\text{Tor}_{pq}^{R_*}(U_*,V_*)\Rightarrow \pi_{p+q}(U\wedge_R V), \] the construction of minimal free resolutions, and local-to-global arguments. The authors mainly discuss three classes of \(S\)-algebras -- connective commutative \(S\)-algebras with coherent coefficient rings or coefficient rings satisfying a condition of Eilenberg, which ensures the existence of minimal free resolutions, -- commutative \(S\)-algebras with coherent coefficients, multiplicative residue fields and small global dimensions, -- commutative \(S\)-algebras \(R\) with \(R_* = R_0 [u, u^{-1}]\) and \(R_0\) a Noetherian complete local regular ring. The general results ensuring \(\Phi\) to be an isomorphism cover the following examples -- \(HA\), where \(A\) is a commutative algebra, -- \(MU/I\), where \(I\vartriangleleft MU_*\) is a finitely generated ideal for which \(MU/I\) is a commutative \(S\)-algebra, -- \(KU\), \(KO[\frac12]\), \(ku\), \(ko\), -- \(tmf\) at prime \(p\), \(E(1)\), \(BP \langle1\rangle\), \(\widehat{E(1)}\), \(\widehat{E(2)}\), -- \(MSp\), \(MSpin\), \(MSU,\) -- \(E_n\) for any \(n\) and \(p\). The authors also provide an example for which \(\Phi\) is not surjective: \(KU\) is a Galois extension of \(KO\) with Galois group \(C_2\). One has \(KU\in\text{ Pic}(KO[C_2])\) but \(KU_*\notin\text{ Pic}(KO_* [C_2])\). The paper is well written and, as this review already indicates, the central results are accompanied by a number of interesting examples.