localization at a homology theory and the Adams spectral sequence - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-22T02:36:19Z http://mathoverflow.net/feeds/question/52492 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/52492/localization-at-a-homology-theory-and-the-adams-spectral-sequence localization at a homology theory and the Adams spectral sequence Aaron Mazel-Gee 2011-01-19T09:23:10Z 2011-01-19T15:04:42Z <p>I'm reading Switzer's "Algebraic Topology", which talks about the (homology) ASS in chapter 19. His ASS (where he puts $S^0$ in the first slot) either converges to $\pi_n(Y)$, or to $\pi_n(Y)/\cap_{s\geq 0}F^{s,n+s}$ (which happens e.g. when our theory $E$ is the spectrum $H\mathbb{F}_p$ representing $H^*(-;\mathbb{F}_p)$).</p> <p>Switzer doesn't talk about this at all, but I've seen/heard before that one can also present the ASS as converging to something denoted $[L_EX, L_EY]$. I don't know much about the functor $L_E:Top\rightarrow Top$, but I believe it is characterized as follows: If $E_*X=0$ then we say that $X$ is <em>$E$-acyclic</em>. Now, a space $Y$ is called <em>$E$-local</em> if whenever $X$ is $E$-acyclic, $[X,Y]=0$. Then, the <em>$E$-localization</em> $L_EY$ of $Y$ is an initial object in the category of $E$-local spaces under $Y$.</p> <p>So here is what I'm wondering. The next result after the ASS is the following Proposition 19.11: If $\iota_*:\pi_q(S^0)\rightarrow \pi_q(E)$ is an isomorphism for $q\leq 0$ and an epimorphism for $q=1$ and if $\pi_q(Y)=0$ for $q\lt N$ for some $N\in \mathbb{Z}$, then $A^{s,t}=D^s=0$ for all $s,t$, and hence the Adams spectral sequence converges to $\pi_*(Y)$. (Here $\iota:S^0\rightarrow E$ is the unit map.) This seems very much like a fact about localization in disguise -- presumably it'd be saying something about $L_EY$, perhaps that $Y=L_EY$. Except that I don't know what $L_ES^0$ is, which I'd imagine should be the first thing anyone would try to figure out.</p> <p>So I guess my questions are:</p> <ol> <li>Do I have the right characterization of localization?</li> <li>Assuming the answer to (a) is yes (or I guess even if it isn't), what is this proposition saying about localization?</li> <li>Replacing $S^0$ with an arbitrary $X$, in Switzer's setup we can hope for the ASS to give us $[X,Y]/\cap_{s\geq 0}F^{s,*+s}$ -- how can we pass between this quotient and $[L_EX,L_EY]$? Is there anything more geometric to say than that the denominator is the subgroup of maps inducing 0 in homology?</li> </ol> http://mathoverflow.net/questions/52492/localization-at-a-homology-theory-and-the-adams-spectral-sequence/52500#52500 Answer by Tilman for localization at a homology theory and the Adams spectral sequence Tilman 2011-01-19T10:20:00Z 2011-01-19T15:04:42Z <p>If you're talking about strong convergence, your statement that the ASS converges to a quotient of <code>$\pi_*(Y)$</code> is not correct, even for $Y=S^0$ and <code>$E=H\mathbb{F}_p$</code>, where it converges to the p-adic homotopy groups <code>$\pi_*(S^0) \otimes \mathbb{Z}_p$</code>. Which agrees with the localization in this case. Weak convergence you do have, but that's really less than useful.</p> <p>1) For spectra, this is a correct characterization of localizations; for spaces, not quite. A space Y is E-local if for every E-equivalence $X \to X'$, the induced map $[X',Y] \to [X,Y]$ is a bijection. An $E$-equivalence, of course, is a map that induces an isomorphism in $E$-homology.</p> <p>2) I don't have a copy of Switzer handy, but the kind of homology theory $E$ in the proposition (connective with $\pi_0 = \mathbb{Z}$) will produce exactly the same kind of localizations as singular homology with coefficients in $\mathbb{Z}$ if your spectrum $Y$ is connective, as you assume; this is proved, I think, in Bousfield's original papers on localization. In other words, the localization is the identity.</p> <p>It is not in general true that the Adams spectral sequence converges in any sense to the localization, though. It converges to the completion (nilpotent completion, to be exact) in the sense of Ravenel 1984. And if you're into convergence criteria, the kind of convergence is <em>conditional convergence</em>, in particular if there's no derived $E^\infty$ term then it converges strongly. Unfortunately, the nilpotent completion is only an approximation to the localization. The nilpotent completion of a connective spectrum at $H\mathbb{Z}$, however, is the spectrum itself; this is a Postnikov tower argument. So no problem in that case, and no contradiction to Switzer's proposition.</p> <p>3) <code>$[L_E X,L_E Y] = [X,L_E Y]$</code> by the universal property. For finite spectra $X$, the ASS behaves pretty much the same as for $X=S^0$. For infinite $X$, I believe the situation becomes more complicated, but I'm not sure about the details.</p>