Skip to main content
2 of 2
edited title

Inclusion-Exclusion for Coherent Sheaves

Let $X$ be a (reduced) affine variety with two irreducible components, $X_1$ and $X_2$, and let $\mathcal{E}$ be a torsion-free coherent sheaf on $X$. Denote the pullbacks of $\mathcal{E}$ to the closed subvarieties $X_1$, $X_2$, and $X_1 \cap X_2$ by $\mathcal{E}_1$, $\mathcal{E}_2$, and $\mathcal{E}_{12}$, respectively. Then there is a short exact sequence in the category of coherent sheaves on $X$

$$0 \to \mathcal{E} \to \mathcal{E}_1 \oplus \mathcal{E}_2 \to \mathcal{E}_{12} \to 0$$

which gives rise to an "inclusion-exclusion" formula in the Grothendieck group of coherent sheaves on $X$

$$[\mathcal{E}] = [\mathcal{E}_1] + [\mathcal{E}_2] - [\mathcal{E}_{12}]$$

If we try to generalize this formula to affine varieties with more than two irreducible components, the induction gets stuck: the pullback of a torsion-free sheaf to a union of components might not remain torsion-free. Are there natural conditions on $\mathcal{E}$ (or perhaps the components of $X$) that guarantee a formula like this holds? Would it help if I told you that everything is equivariant (for a reductive group $G$) and each component of $X$ contains an open dense $G$-orbit?