isomorphic spectral sequences => quasi-isomorphic filtered chain complexes? - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-24T12:20:10Z http://mathoverflow.net/feeds/question/100157 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/100157/isomorphic-spectral-sequences-quasi-isomorphic-filtered-chain-complexes isomorphic spectral sequences => quasi-isomorphic filtered chain complexes? Vidit Nanda 2012-06-20T17:34:54Z 2012-06-20T23:05:28Z <p>Let $(C,\partial)$ and $(C',\partial')$ be chain complexes of $R$-modules where $R$ is a (commutative) ring. Let $F$ and $F'$ be finite filtrations of $C$ and $C'$ respectively, i.e., $$\varnothing = F_0C \subset F_1C \subset \ldots \subset F_nC = C$$ and similarly for $F'$. There exist spectral sequences associated to $F$ and $F'$, let's call them $E_{\ast,\ast}^\ast$ and $E'_{\ast,\ast}^\ast$. </p> <p>It is quite easy to see that an isomorphism from $F$ to $F'$ induces an isomorphism from $E$ to $E'$. What is completely unclear to me (and sorry if this is not a research level question but I couldn't find an answer) is the converse, namely:</p> <blockquote> <p>Does an isomorphism from $E$ to $E'$ imply a (quasi-)isomorphism between $F$ and $F'$?</p> </blockquote> <p>More precisely, if two filtrations give rise to isomorphic spectral sequences, what is the strongest statement that can be made about them? Does this statement depend on the finiteness of the filtrations, on the nature of the ring $R$, on convergence of the spectral sequences, etc?</p> http://mathoverflow.net/questions/100157/isomorphic-spectral-sequences-quasi-isomorphic-filtered-chain-complexes/100159#100159 Answer by Ralph for isomorphic spectral sequences => quasi-isomorphic filtered chain complexes? Ralph 2012-06-20T17:52:25Z 2012-06-20T23:05:28Z <p>What can be said is that if $C,C'$ have degree-wise finite filtrations and if $f: C \to C'$ is a filtration preserving chain map such that there is $r$ such that $E^r(f): E^r_{ij}(C) \to E^r_{ij}(C')$ is an isomorphism for all $i,j$ then $f$ is a quasi-isomorphm. This can be found in Brown: Cohomology of Groups, VII, Prop. 2.6.</p> <p>Special cases where $E^\infty(C) \cong E^\infty(C')$ implies $H_\ast(C) \cong H_\ast(C')$ include: </p> <ol> <li><p>The spectral sequence degenerates, e.g. $E^\infty_{ij}=0$ if $j \neq 0$ because in this case $H^i(C)=E^\infty_{i,0}$. </p></li> <li><p>If $C,C'$ are complexes of modules over a ring $R$ and $E^\infty(C)$ consists of projective $R$-modules. In this case there is no extension problem and we have $H^n(C)=\oplus_{i+j=n}E^\infty_{ij}(C)$. </p></li> </ol> <p>Here it is essential to consider the $E^\infty$-term since it can happen that $E^r(C) \cong E^r(C')$ but $E^{r+1}(C) \not\cong E^{r+1}(C')$. As an example take the LHS spectral sequence of the group extension </p> <p>$$0 \to \mathbb{Z}/2 \to G \to \mathbb{Z}/2 \oplus \mathbb{Z}/2 \to 0.$$</p> <p>Both, the dihedral group $D_8$ and the quaternion group $Q_8$ fit into this extension. Hence the spectral sequences have the same $E_2$-term but their $E_3$-terms differ. </p> http://mathoverflow.net/questions/100157/isomorphic-spectral-sequences-quasi-isomorphic-filtered-chain-complexes/100167#100167 Answer by Tyler Lawson for isomorphic spectral sequences => quasi-isomorphic filtered chain complexes? Tyler Lawson 2012-06-20T19:10:04Z 2012-06-20T19:10:04Z <p>Say your two filtered chain complexes are concentrated in degree zero. Then the spectral sequences degerate, and your questions become: If you have two filtered abelian groups and an isomorphism between the associated graded modules, can you deduce that the abelian groups are isomorphic? The answer is no; you can take $$0 \subset 2 \mathbb{Z} \subset \mathbb{Z}$$ and $$0 \subset \mathbb{Z} \subset \mathbb{Z} \oplus \mathbb{Z}/2.$$ As Ralph says, you usually need something on the chain level, unless you're in very degenerate cases (where the spectral sequence determines the isomorphism type of the object in the derived category).</p>