User drew heard - MathOverflow most recent 30 from http://mathoverflow.net 2013-06-19T13:02:48Z http://mathoverflow.net/feeds/user/16785 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/107440/differentials-in-the-adams-novikov-spectral-sequence-and-the-geometric-boundary-t Differentials in the Adams-Novikov spectral sequence and the geometric boundary theorem Drew Heard 2012-09-18T06:17:59Z 2012-09-18T06:23:38Z <p>$\newcommand\Ext{\mathrm{Ext}} \newcommand\Z{\mathbb{Z}} \newcommand\G{\mathbb{G}}$ The reference for this question will be the paper by Henn, Karamanov and Mahowald - <a href="http://arxiv.org/abs/0811.0235" rel="nofollow">"The homotopy of the $K(2)$-local Moore spectrum at the prime 3 revisted"</a> (so everything is at $n=2,p=3$). </p> <p>Let $\G_2$ be the extended Morava stabiliser group, and let $\G_2^1$ be the kernel of the reduced norm $\G_2 \to \Z_3$. Then Henn,Karamanov and Mahowald use a permutation resolution of $\mathbb{G}_2^1$ to construct a spectral sequence (the algebraic spectral sequence)</p> <p><code>$$E_1^{p,q,t}=\Ext_{\mathbb Z_3[[\G_2^1]]}^q(C_p,M_t)\Longrightarrow H^{p+q}(\G_2^1,M_t)$$</code> for <code>$M=(E_2)_*(V(0)) = (E_2)_*/(3)$</code> and then use this to calculate <code>$H^*(\G_2,(E_2)_*/(3))$</code>, which in turn is used to calculate $\pi_*(L_{K(2)}V(0))$ (via the Adams-Novikov spectral sequence)</p> <p>It's a very technical paper, and suffice to say I can't define all the terms I'm going to use in an introduction. But I am specifically interested in some of the differentials in the Adams-Novikov spectral sequence. In particular, let's just start with the first differential $d_5(\Delta_k \tilde{\alpha} \beta) = \pm \Delta_{k-1}\beta^4 v_1$. (The calculation is on pp. 32-33)</p> <p>Consider the short exact sequence</p> <p>$$0 \to \Sigma^4 (E_2)_*/(3) \stackrel{v_1}{\to} (E_2)_*/(3) \to (E_2)_*(3,u_1) \to 0$$ </p> <p>It turns out that $\Delta_k \tilde{\alpha} \beta$ is in the kernel of multiplication by $v_1$ and so must be in the image of the Bockstein $\delta_{\G_2}^1$ in $H^*(\G_2,-)$ and $\delta_{\G_2^1}^1$ in $H^*(\G_2^1,-)$ associated to the above short exact sequence (after appropriate suspension). So I go and look up the calculation of $H^*(\G_2^1,(E_2)_*/(3,u_1))$ and work out (by degree) what possible classes it can be to get that $$\delta_{\G_2^1}^1((\omega^2 u^{-4})^{3k+2}\beta) = \pm \Sigma^4 \Delta_k \tilde{\alpha}\beta,$$</p> <p>and in fact the same is true for $\delta^1_{\G_2^1}$. What I am interested in is how the geometric boundary theorem is then used to get the result. From Ravenel (2.3.4) this applies to a cofiber sequence $$W \stackrel{f}{\to} X \stackrel{g}{\to} Y \stackrel{h}{\to} \Sigma W$$ with $E_*(h)=0$. If such a situation applies then we have maps $\delta_r$ for $2 \le r \le \infty$ such that $\delta_2 = \delta^1$ in our language (I think), but more importantly $\delta_r d_r = d_r \delta_r$. </p> <p>Thus I think the calculation of $d_5(\Delta_k \tilde{\alpha} \beta)$ should basically be something akin to $d_5(\Delta_k \tilde{\alpha} \beta) = d_5\delta(-) = \delta d_5(-)$, where $d_5(-)$ is something we can calculate via knowledge of differentials in <code>$H^*(\G_2,(E_*)/(3,u_1)).$</code></p> <p>Is this the right idea? I am slightly confused by the $\Sigma^4$ floating around and more confused by the fact that HKM seem to be doing some additional calculations (e.g. why do I care about $\delta^1((\omega^2 u^{-4})^{3k+2} \beta)$?)</p> http://mathoverflow.net/questions/97741/some-calculations-with-the-adams-spectral-sequence-and-the-cobar-complex Some calculations with the Adams spectral sequence and the cobar complex Drew Heard 2012-05-23T10:59:36Z 2012-05-24T01:15:15Z <p>I am trying to 'get my hands dirty', so to speak, with some of the calculations with the Adams spectral sequence in Ravenel's Complex Cobordism book, and I have a few questions (I hope it is OK to ask them in the one question). </p> <p>In great generality for a Hopf algebroid $(A,\Gamma)$ we can define the cobar complex $C_\Gamma^*(M)$ by $C_\Gamma^*(M)=\overline{\Gamma}^{\otimes s} \otimes M$ where $\overline{\Gamma}=\text{ker} \epsilon: \Gamma \to A$ with coboundary map $$d_s(\gamma_1 \otimes \cdots \otimes \gamma_s \otimes m) = \cdots + \sum_{i=1}^s \gamma_1 \otimes \dots \otimes \gamma_{i-1} \otimes \psi(\gamma_i) \otimes \cdots \otimes \gamma_s \otimes m + \cdots$$</p> <p>(where $\psi(\gamma_i)$ is the coproduct and I have omitted the first and last term for brevity) and then $\text{Ext}_{\Gamma}(A,M)$ is the cohomology of this cobar complex. </p> <p>The first calculation (pp. 64-66) is the $E_2$ term for the calculation of $\pi_*(bo)$, which is equal to <code>$\text{Ext}_{\mathscr{A}(1)_*}(\mathbb{F}_2,\mathbb{F}_2)$</code>. This is abutted to by a Cartan-Eilenberg Spectral sequence which has $E_2$ term equal to <code>$\mathbb{F}_2[h_{10},h_{11},h_{20}]$</code>, where $h_{i,j}$ corresponds to the class $[\overline{\xi}_i^{2^j}]$ in the cobar complex. The first claim is that $d_2(h_{20}) = h_{10}h_{11}$, and this follows from the fact that in the cobar complex $d(\xi_2) = \xi_1 \otimes \xi_1^2$, which in turn follows from the coproduct of the mod 2 Steenrod algebra. This gives $E_3$ term <code>$\mathbb{F}_2(u,h_{10},h_{11})/(h_{10}h_{11})$</code> where $u$ corresponds to $h_{20}^2$. Again we can calculate $d(\overline{\xi}_2 \otimes \overline{\xi}_2) = \overline{\xi}_2 \otimes \xi_1 \otimes \xi_1^2 + \xi_1 \otimes \xi_1^2 \otimes \overline{\xi}_2$ in the cobar complex. Ravenel then states</p> <blockquote> <p>...the cobar complex is not commutative and when we add correcting terms to $\overline{\xi}_2 \otimes \overline{\xi}_2$ in the hope of getting a cycle we get instead $d(\overline{\xi}_2 \otimes \overline{\xi}_2 + \xi_1 \otimes \xi_1^2 \overline{\xi}_2 + \xi_1 \overline{\xi}_2\otimes \xi_1^2) = \xi_1^2 \otimes \xi_1^2 \otimes \xi_1^2$</p> </blockquote> <p>which is used to conclude $d_3(u)=h_{11}^3$</p> <p>Finally my questions:</p> <blockquote> <p>1) Why are the correcting terms $\xi_1 \otimes \xi_1^2 \overline{\xi}_2$ and $\xi_1 \overline{\xi}_2\otimes \xi_1^2$?</p> <p>2) (This may be answered by 1) Why does $\overline{\xi}_2 \otimes \overline{\xi}_2 + \xi_1 \otimes \xi_1^2 \overline{\xi}_2 + \xi_1 \overline{\xi}_2\otimes \xi_1^2$ represent $u$ in the cobar complex?</p> <p>3) How can I calculate this differential? For example how do we calculate $d(\xi_1 \otimes \xi_1^2 \overline{\xi}_2$)?</p> </blockquote> <hr> <p>That part 2 of this question concerns the May spectral sequence for calculating $\text{Ext}_\mathscr{A}(\mathbb{F}_2,\mathbb{F}_2)$. One can compute the $E_2$ term of the May spectral sequence to have generators (in the region $t-s \le 13$) $h_j = h_{1,j}$, $b_{i,j} = h_{i,j}^2$ and $x_7 = h_{20}h_{21} + h_{11}h_{30}$. There are some relations given without proof; $h_jh_{j+1} = 0, h_2b_{20} = h_0x_7$ and $h_2x_7 = h_0b_{21}$. I think that the relation $h_jh_{j+1}=0$ comes from the fact that $d_1(h_{2,j}) = h_jh_{j+1}$, but I am unsure where the other relations are coming from. </p> http://mathoverflow.net/questions/92630/milnor-exact-sequence-in-kn-local-morava-e-theory Milnor exact sequence in $K(n)$ local Morava $E$-theory Drew Heard 2012-03-30T00:05:34Z 2012-03-30T01:07:53Z <p>Let $L_E$ denote Bousfield localisation with repsect to the cohomology theory $E$. I am trying to follow through some calculations in Hovey-Strickland's paper <a href="http://www.math.rochester.edu/u/faculty/doug/otherpapers/kn.pdf" rel="nofollow">Morava $K$-theories and localisation</a></p> <p>Claim 7.10(e) is that</p> <p><code>$$L_{K(n)}X = \underset{\leftarrow}{\text{holim}}_I L_{E(n)}X \wedge S/I$$</code></p> <p>where the homotopy limit is over a tower of generalised Moore spectra (the Moore spectra $S/I$ is defined in 4.12 and the tower in 4.22)</p> <p>Define $$E_*^{\vee}:=\pi_{*} (L_{K(n)} (E \wedge X))$$</p> <p>the $K(n)$-local version of Morava $E$-theory (where, I believe, Morava $E$-theory here is what I might call a completed Johnson-Wilson theory, but I don't believe it really matters).</p> <p>The claim (8.04) is then that we can extract a Milnor exact sequence from this:</p> <p><code>$$0 \to \varprojlim_I {}^1 (E/I)_{\ast+1}(X) \to E_*^\vee X \to \varprojlim_I (E/I)_*X \to 0$$</code></p> <p>I'm not sure how to show this. I would like to think that we can get a sequence</p> <p><code>$$0 \to \varprojlim_I {}^1 \pi_{\ast+1}(L_{E(n)}(E \wedge X) \wedge S/I)\to E_{\ast}^\vee X \to \varprojlim_I \hspace{1mm} \pi_* (L_{E(n)}(E \wedge X) \wedge S/I) \to 0$$</code></p> <p>and then if you drop the $E(n)$-localisation it seems to work, but I'm not really sure about this. </p> http://mathoverflow.net/questions/91803/definition-of-cw-complexes/91813#91813 Answer by Drew Heard for Definition of CW complexes Drew Heard 2012-03-21T10:29:37Z 2012-03-21T10:29:37Z <p>It basically says that a CW complex has the coherent topology from its closed cells. This should be wrapped up into any definition of a CW complex that you see. </p> <p>For example in Massey's book it is equivalent to statement (iv):</p> <blockquote> <p>A subset $A$ is closed if and only if $A \cap \bar{e}$ is closed for all $n$-cells, $e^n,n=0,1,2,\ldots$</p> </blockquote> <p>(You can see this equivalence at the <a href="http://en.wikipedia.org/wiki/Coherent_topology" rel="nofollow">wikipedia page</a>). </p> http://mathoverflow.net/questions/126620/coefficients-of-real-k-theory-with-coefficients Comment by Drew Heard Drew Heard 2013-04-05T14:18:03Z 2013-04-05T14:18:03Z I guess you get the same extension problem if you just try to use the AHSS? http://mathoverflow.net/questions/102823/reference-on-the-question-mark-cell-complex Comment by Drew Heard Drew Heard 2012-12-19T10:36:40Z 2012-12-19T10:36:40Z There are a couple more references, also related to the Picard group - the dual of the question mark complex is referenced in Goerss-Henn-Mahowald-Rezk's &quot;Picard groups at chromatic level 2 for $p = 3$&quot; paper - they at least tell you a bit about its $K$ theory and $KO$ theory. There are also some (hard!) calculations in Ichigi-Shimomura's &quot;$E(2)_*$-invertible spectra smashing with the Smith-Toda spectrum $V(1)$ at the prime 3&quot; (see section 3 in particular) http://mathoverflow.net/questions/112554/do-people-still-use-massey-products-for-computations-in-the-adams-spectral-sequen Comment by Drew Heard Drew Heard 2012-11-17T00:00:03Z 2012-11-17T00:00:03Z If you specifically want to see these in action, 'Bordism, Stable Homotopy, and Adams Spectral Sequences' by Kochman, does some serious $p=2$ calculations of the stable homotopy groups of spheres http://mathoverflow.net/questions/112554/do-people-still-use-massey-products-for-computations-in-the-adams-spectral-sequen Comment by Drew Heard Drew Heard 2012-11-16T09:49:45Z 2012-11-16T09:49:45Z Also, if you check out the work of Shimomura and colleagues, who use the chromatic spectral sequence in a fairly heavy way, I'm sure you'll find Massey products a plenty! http://mathoverflow.net/questions/112554/do-people-still-use-massey-products-for-computations-in-the-adams-spectral-sequen Comment by Drew Heard Drew Heard 2012-11-16T09:41:31Z 2012-11-16T09:41:31Z But how many people are really doing ASS calculations? If you look at, say, the calculation of the homotopy of tmf at $p=2,3$ then it makes heavy use of Massey products. http://mathoverflow.net/questions/109023/kr-localization-and-monochromatic-layers-in-the-chromatic-spectral-sequence Comment by Drew Heard Drew Heard 2012-10-07T05:00:46Z 2012-10-07T05:00:46Z In particular, I hadn't realised that there was a spectral sequence $E_1^{n,k} = \bigoplus_{n=0}^2 \pi_k M_n(S) \Rightarrow \pi_k L_{E(2)} S$ for example http://mathoverflow.net/questions/109023/kr-localization-and-monochromatic-layers-in-the-chromatic-spectral-sequence Comment by Drew Heard Drew Heard 2012-10-07T04:57:12Z 2012-10-07T04:57:12Z Good question, something I've been wondering about. Have you read Behren's &quot;The homotopy groups of the $E(2)$-local sphere at $p &gt; 3$, revisited&quot;? There is a lot of good stuff in there! You might be interested in section 7 where he uses the calculations of $H^*(M_1^1)$ and $H^*(M_0^2)$ to calculate the homotopy of the $K(2)$ local sphere, the $E(2)$ local sphere and the $K(2)/E(2)$ local mod $p$ Moore spectrum. http://mathoverflow.net/questions/105191/any-text-book-or-lecture-notes-regarding-the-algebraic-part-of-geometry Comment by Drew Heard Drew Heard 2012-08-21T22:57:00Z 2012-08-21T22:57:00Z Perhaps &quot;Commutative Algebra: with a View Toward Algebraic Geometry&quot; by Eisenbud is what you are after? http://mathoverflow.net/questions/102316/differentials-in-the-adams-spectral-sequence-for-spheres-p2 Comment by Drew Heard Drew Heard 2012-07-17T15:21:17Z 2012-07-17T15:21:17Z Another option is Kochman's book &quot;Bordism, Stable Homotopy and Adams Spectral Sequences&quot;. If I recall correctly the differentials are fully calculated in this range, using Massey products. http://mathoverflow.net/questions/101540/how-do-you-know-when-something-must-die-in-the-adams-spectral-sequence-for-pi/101559#101559 Comment by Drew Heard Drew Heard 2012-07-07T08:58:33Z 2012-07-07T08:58:33Z You can find a proof in Hatcher's Algebraic Topology book - Proposition 4.56 on pp. 385 http://mathoverflow.net/questions/100860/geometric-interpretation-of-families-in-the-stable-homotopy-groups-of-spheres Comment by Drew Heard Drew Heard 2012-06-29T09:44:35Z 2012-06-29T09:44:35Z Not necessarily related to infinite families but in Hopkins ICM address he discusses what is known geometrically about the first 16 stable homotopy groups (<a href="http://arxiv.org/abs/math/0212397" rel="nofollow">arxiv.org/abs/math/0212397</a>) http://mathoverflow.net/questions/97741/some-calculations-with-the-adams-spectral-sequence-and-the-cobar-complex/97767#97767 Comment by Drew Heard Drew Heard 2012-05-24T03:06:15Z 2012-05-24T03:06:15Z @Tyler: Thanks for that. So are you saying, in the example I have in mind, $d[\xi_1 \vert \xi_1^2\xi_2 ]=[\xi_1 \vert \xi_1^2 \vert \xi_2] + [\xi_1 \vert \xi_2 \vert \xi_1^2]+\cdots$? http://mathoverflow.net/questions/97741/some-calculations-with-the-adams-spectral-sequence-and-the-cobar-complex Comment by Drew Heard Drew Heard 2012-05-24T01:45:06Z 2012-05-24T01:45:06Z @John - thanks that is pretty neat! http://mathoverflow.net/questions/97741/some-calculations-with-the-adams-spectral-sequence-and-the-cobar-complex/97767#97767 Comment by Drew Heard Drew Heard 2012-05-24T00:46:39Z 2012-05-24T00:46:39Z Ok, I've verified the relations in 2 now - thank you again. So it is really 'grunt work' - trying to find boundaries who have the right summand to produce a relation? http://mathoverflow.net/questions/97741/some-calculations-with-the-adams-spectral-sequence-and-the-cobar-complex/97767#97767 Comment by Drew Heard Drew Heard 2012-05-23T23:42:57Z 2012-05-23T23:42:57Z Thank you very much! I've finally managed to locate your thesis, so I'll sit down this morning and try and work through the calculations. (Hopefully I've fixed in the typo's in the first question now. I guess my problem in part 3 is - how does one do the coproduct $\psi(\xi_1^2 \overline{\xi}_2)$?)