Tracking spectral sequence differentials - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-24T02:06:35Z http://mathoverflow.net/feeds/question/94513 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/94513/tracking-spectral-sequence-differentials Tracking spectral sequence differentials s.barmeier 2012-04-19T10:41:04Z 2012-04-20T02:57:28Z <p>I read a number of posts here on MO, but haven't quite found an answer to the question of where the differentials in a spectral sequence come from.</p> <p>I came across a differential $d^{0,1}$ on the $E_2$-page from a 2-dim to a 3-dim vector space (in an application of the cohomological Lyndon-Hochschild-Serre s.s.). I know that $E^{0,1}_{\infty}=\mathrm{ker} d^{0,1}$.</p> <p>A priori, the kernel has dimension 0, 1 or 2. How can I determine the dimension?</p> <p>In general, my question is, whether there is a way of tracking down differentials in a s.s. explicitly. Where do they come from in the first place? In the books I have read, differentials seem to be given... Still, I imagine, somewhere hidden in the proof must be a construction that proves they exist and are determined. After all, in my calculation, even if 0, the kernel of my differential does not get lost, but does get promoted to star in the second cohomology group, rather than the first. And this surely has to be prevented by a properly converging s.s. </p> <p>(And just out of curiosity: How would such an explicit construction be possible in the Grothendieck s.s.?)</p> <p>Thank you for any insights.</p> http://mathoverflow.net/questions/94513/tracking-spectral-sequence-differentials/94514#94514 Answer by Mark Grant for Tracking spectral sequence differentials Mark Grant 2012-04-19T11:02:13Z 2012-04-19T11:02:13Z <p>This <a href="http://mathoverflow.net/questions/94424/how-to-compute-transgressions-in-a-serre-spectral-sequence/94463#94463" rel="nofollow">answer</a> by Ralph gives an explicit description of the differential in the LHSSS you mention.</p> <p>Another thought: presumably you have a group extension $1\to K\to G\to G/K\to 1$. If you are using field coefficients (as you seem to imply) then there are no extension problems and $$H^1(G)\cong E_{\infty}^{0,1}\oplus E^{1,0}_\infty \cong \ker d^{0,1}\oplus E^{1,0}_2.$$</p> <p>Presumably you can calculate the first cohomologies of $G$ and $G/K$, in which case a simple dimension count should give you the dimension of the kernel of $d^{0,1}$.</p> http://mathoverflow.net/questions/94513/tracking-spectral-sequence-differentials/94594#94594 Answer by some guy on the street for Tracking spectral sequence differentials some guy on the street 2012-04-20T02:57:28Z 2012-04-20T02:57:28Z <p>Without meaning to be snarky, I think there's some confusion here about what spectral sequences are for. In particular, the sense in which a SpSeq (or even a long exact sequence!) serves as a computational tool isn't that it tells you how to calculate things --- particularly, not how to calculate the things in it. Rather, it gives you a way to organize things you already know how to calculate; maybe it suggests a helpful summary of your calculations; and it will certainly remind you of what things you don't already know --- it will provide helpful questions to consider --- if you try to squeeze modules out of it.</p> <p>As a small example, the usual snake-shapped diagram chase proving the isomorphism of, e.g. de-Rham and real Čech cohomology, is neatly summarized by noting that there's a related double complex which is very nearly exact in every way, and thus all the later pages are mostly zero, while the transgression is an isomorphism. We get a proof, because we already know what enough of the modules and differentials are.</p> <p>If you really want to ask what the pages and differentials of some SpSeq are, there are algorithmic tools (i.e., programmes --- usually not suitable for human consumption!), provided you can properly specify what your particular spectral sequence is about. See e.g. (Ana Romero's thesis)<a href="http://www-fourier.ujf-grenoble.fr/~sergerar/Papers/Ana-Thesis.pdf" rel="nofollow">1</a>, building on homological perturbation lemmata (start at <a href="http://ncatlab.org/nlab/show/homological+perturbation+theory" rel="nofollow">2</a>).</p>