A Question on McCleary's book on Spectral Sequences - MathOverflow most recent 30 from http://mathoverflow.net2013-05-21T17:33:30Zhttp://mathoverflow.net/feeds/question/93602http://www.creativecommons.org/licenses/by-nc/2.5/rdfhttp://mathoverflow.net/questions/93602/a-question-on-mcclearys-book-on-spectral-sequencesA Question on McCleary's book on Spectral SequencesZuriel2012-04-09T20:40:07Z2012-04-10T07:09:43Z
<p>I am reading John McCleary's A User's Guide to Spectral Sequence and was quite confused about one result: On page 15 of the version I was reading, it says that if $E^{\star,\star}_2$ is the bigraded vector space in Example 1.E, then $P(E^{\star,\star}_2,t)=(1+t^{11})(1+t^4+t^8+t^{12})(1+t^3)$. I am quite confused on how to obtain this result from Example 1.E. It seems to me that $P(E^{\star,\star}_t)$ has a term $t^{11+12+3}=t^{26}$, which by definition of $P(E^{\star,\star}_2,t)$ implies that $\text{dim}_k(\bigoplus _{p+q=26}E^{p,q})=1$. Why is that? I am not sure if I have understood Example 1.E wrongly. Any explanation will be greatly appreciated.</p>
<p>Update: Thank you @Neil Strickland for reminding me. The conditions of Example 1.E are: Suppose $E^{\star,\star}_2$ is given as an algebra by </p>
<p>$E^{\star,\star}_2\cong\mathbb{Q}[x,y,z]/(x^2=y^4=z^2=0)$,</p>
<p>where the bidegree of each generator is given by $\text{bideg}x=(7,1)$, $\text{bideg}y=(3,0)$ and $\text{bideg}z=(0,2)$. Furthermore, suppose $d_2(x)=y^3$ amd $d_3(z)=y$. In this case, the spectral sequence collapses at $E_4$ and, though $x$ and $y$ do not survive to $E_{\infty}$, the product $xy$ does.</p>
http://mathoverflow.net/questions/93602/a-question-on-mcclearys-book-on-spectral-sequences/93629#93629Answer by George for A Question on McCleary's book on Spectral SequencesGeorge2012-04-10T07:09:43Z2012-04-10T07:09:43Z<p>I think the Poincar\'{e} polynomial should be $P(E_2^{<em>,</em>},t)=(1+t^{8})(1+t^3+t^6+t^9)(1+t^2)$ instead of the one you mentioned so this is an erratum in the book. Its clear from the algebra structure that there can not be any term of degree 26.</p>