Spectral sequence for cohomology of open subset - MathOverflow most recent 30 from http://mathoverflow.net2013-05-18T10:34:16Zhttp://mathoverflow.net/feeds/question/48221http://www.creativecommons.org/licenses/by-nc/2.5/rdfhttp://mathoverflow.net/questions/48221/spectral-sequence-for-cohomology-of-open-subsetSpectral sequence for cohomology of open subsetVladimir Baranovsky2010-12-03T21:57:59Z2010-12-03T21:57:59Z
<p>Let <code>$X$</code> be a smooth compact orientable manifold (or variety) and let $j: U \subset X$ be the complement to a union $\bigcup_{i \in I} X_i$ of smooth compact orientable manifolds. Suppose that $A$ is a sheaf on $X$ - say, the locally constant sheaf $Z$ (although the question below can be asked for coherent sheaves too). Let $Z_U$ be $j_!j^* Z$, i.e. the locally constant sheaf on $U$ extended by zero to $X$. The usual set theoretic inclusion-exclusion formula leads to a long exact sequence of sheaves $0 \to Z_U \to Z \to \oplus Z_{X_i} \to \oplus Z_{X_i \cap X_j} \to \ldots$ where for a closed subset $f: W \subset X$ one sets $Z_W = f_* f^* Z$. </p>
<p>This leads to a spectral sequence with first page given by cohomology of finite intersections
$X_{i_1} \cap \ldots \cap X_{i_s}$, and the differential is induced by the combinatorial inclusion-exclusion formula.</p>
<p>Are there any examples when the differential of $E_2$ is non zero and known explicitly (which means that we also know the E_2 terms)? Maybe something in terms of excess intersection bundles for intersections of $X_i$, some Gysin maps, etc/?</p>