Derived Equivalence of Sheaves and Homotopy - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-19T05:36:13Z http://mathoverflow.net/feeds/question/78850 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/78850/derived-equivalence-of-sheaves-and-homotopy Derived Equivalence of Sheaves and Homotopy Justin Curry 2011-10-22T21:26:59Z 2011-10-22T23:41:43Z <p>This question loosely elaborates on an <a href="http://mathoverflow.net/questions/66098/sheaves-with-isomorphic-cohomology-but-not-quasi-isomorphic" rel="nofollow">earlier question</a>. It is pretty silly, but I'd like to hear some authoritative answers.</p> <p>Recall that if $f:S^{\bullet}\to T^{\bullet}$ is a quasi-isomorphism of sheaves over $X$, which is, say, a manifold, then for every open set $U\subset X$, we have an induced isomorphism $R\Gamma(U,S^{\bullet})\to R\Gamma(U,T^{\bullet})$, so $H^i(U,S^{\bullet})\cong H^i(U,T^{\bullet})$ and in particular $H^i(X,S^{\bullet})\cong H^i(X,T^{\bullet})$.</p> <p>To what extent is the converse true? At the coarsest level, when does a canonical isomorphism $R\Gamma(X,S^{\bullet})\to R\Gamma(X,T^{\bullet})$ reflect an underlying derived equivalence?</p> <p>For a counterexample to the coarsest case, I believe the following serves: Consider a space $X$. Consider the constant sheaf on $k_X$. Let $f:X\to x_0$ be the retraction to a point $x_0\in X$. By standard theorems, we know that $H^i(X,Rf_*k_X)\cong H^i(X,k_X)$, but evaluating $Rf_*k_X(U)$ on any open subset $U$ missing $x_0$ assigns zero, as the fiber is empty. So in general these sheaves are not derived equivalent. What if $X$ deformation retracts to $x_0$? Is $k_X$ and $Rf_*k_X$ derived equivalent then? What if the homotopy doesn't have some Vietoris-Begle type behavior? See Kashiwara Schapira 2.7.8.</p> http://mathoverflow.net/questions/78850/derived-equivalence-of-sheaves-and-homotopy/78854#78854 Answer by Sam Gunningham for Derived Equivalence of Sheaves and Homotopy Sam Gunningham 2011-10-22T23:41:43Z 2011-10-22T23:41:43Z <p>I think you are asking: when is the functor $R\Gamma$ conservative (in the derived sense - i.e. if $R\Gamma (f)$ is a quasi-isomorphism then $f$ is a quasi-isomorphism). This is equivalent to $R\Gamma$ having no kernel - i.e. if $R\Gamma (F) \cong 0$, then F $\cong 0$ (by taking cones).</p> <p>If you restrict to the triangulated subcategory generated by the constant sheaf $k_X$, I claim that $R\Gamma$ is conservative. This category can be thought of as something like derived unipotent local systems on $X$. The Barr-Beck theorem says that it is equivalent to dg modules over the algebra $C^\ast (X)$ of cochains on $X$ (so it is still interesting even if $X$ is simply connected).</p> <p>Proof of claim: Let $f : X \to pt$ be the projection, and $C$ a (complex of) sheaves on $X$ such that $R\Gamma (C) = Hom _X(k_X , C) \cong 0$. Then if $T$ is any element of the triangulated subcategory generated by $k_X$, $Hom_X (T,C) \cong 0$. In particular, if $R\Gamma (T) \cong 0$, then $Hom _X(T,T) \cong 0$, so $T\cong 0$.</p> <p>I think that this should be the largest triangulated subcategory of sheaves on $X$ on which global sections are conservative, but I am not sure how to prove this in general. It would follow from the Barr-Beck theorem if we knew that $R\Gamma$ preserved geometric realizations of simplicial objects, for example.</p> <p>This situation is reminiscent of quasi-coherent sheaves on an affine scheme - this category is generated by $\mathcal O_X = f^\ast k$, and is equivalent to modules over $\Gamma (\mathcal O_X)$. </p> <p><em>About your question</em>: if $X$ deformation retracts to a point, then are $k_X$ and $Rf_\ast k_X$ quasi-isomorphic? (where by $Rf_\ast k_X$ I assume you mean the corresponding skyscraper sheaf on $X$). Doesn't your argument just above work (provided $X$ is not a point)?</p>