## Is this Sequences of Complexes of Sheaves Exact?

### Remember to vote up questions/answers you find interesting or helpful (requires 15 reputation points)

So in another question of mine there is a sequence of complexes of sheaves which the author asserts is exact.

Let $K^{\bullet} = \underline{\mathbb{C}}^* \ \underrightarrow{d\ log} \ \underline{A}^1_{M, \mathbb{C}}$ and so we have an exact sequence of complexes of sheaves: $$0 \rightarrow {\mathbb{C}}^* \rightarrow K^{\bullet} \rightarrow \underline{A^2}{M, cl}[-1] \rightarrow 0$$

Where that nastily noted $\underline{A^2}{M, cl}[-1]$ means the two term complex with 0 in the first slot and closed 2 forms on $M$ in the second slot.

The fact that this sequence is exact in itself seems to rely on the fact that the sheafification of the image of the contant $\mathbb{C}^*$ sheaf is isomorphic to the sheaf of smooth functions $\underline{\mathbb{C}^ * }$ right? Well that part is bothersome to me

-

## 1 Answer

This is not related to sheafification. The sheaf $\mathbb{C}^{*}$ of locally constant functions on $M$ is already a sheaf, so sheafification will not change it.

This sequence is not an exact sequence of complexes but it is an exact triangle of complexes. That is - it is an exact sequence of complexes, up to quasi-isomorphism. The obvious short exact sequence of complexes is ```\[
0 \to \mathbb{C}^{*} \to \left[\begin{array}{c} \underline{\mathbb{C}}^{*} \\ \downarrow \\ A^{1}_{M} \end{array}
\right] \to \left[ \begin{array}{c} A^{1}_{M,cl} \\ \downarrow \\ A^{1}_{M} \end{array}\right] \to 0 .
\]``` Now note that the last complex has an obvious surjective map ```\[
\left[ \begin{array}{c} A^{1}_{M,cl} \\ \downarrow \\ A^{1}_{M} \end{array}\right] \to \left[ \begin{array}{c} 0 \\ \downarrow \\ A^{2}_{M,cl} \end{array} \right]
\]``` and that this surjective map is a quasi-isomorphism. So up to a quasi-isomorphism, you can replace the last term in the short exact sequence with the complex you wanted.

-
{"extraction_info": {"found_math": true, "script_math_tex": 0, "script_math_asciimath": 0, "math_annotations": 0, "math_alttext": 0, "mathml": 0, "mathjax_tag": 0, "mathjax_inline_tex": 7, "mathjax_display_tex": 1, "mathjax_asciimath": 0, "img_math": 0, "codecogs_latex": 0, "wp_latex": 0, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0}, "config": {"markdown_headings": true, "markdown_code": true, "boilerplate_config": {"ratio_threshold": 0.18, "absolute_threshold": 10, "end_threshold": 15, "enable": true}, "remove_buttons": true, "remove_image_figures": true, "remove_link_clusters": true, "table_config": {"min_rows": 2, "min_cols": 3, "format": "github"}, "remove_chinese": true, "remove_edit_buttons": true, "extract_latex": true}, "english_confidence": 0.9497370719909668, "perplexity_flag": "head"}