Timeline for Sheaves of complexes and complexes of sheaves
Current License: CC BY-SA 3.0
6 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Apr 12, 2021 at 10:52 | comment | added | Z. M | Let me record [SAG, Thm 2.1.2.2]: Let $(X,\mathcal O)$ be a spectrally ringed $\infty$-topos such that $\mathcal O$ is discrete, any object in $X$ is covered by a discrete object, and $X$ is hypercomplete, then the derived category of discrete $\mathcal O$-modules is equivalent to the category of $\mathcal O$-module spectra. | |
| Mar 27, 2017 at 14:29 | vote | accept | ComplexesOfSheaves | ||
| Mar 27, 2017 at 13:15 | comment | added | Marc Hoyois | Yes, $D^\vee(A)=D^\vee_{\geq 0}(A)\otimes Sp$ is the stabilization of $D^\vee_{\geq 0}(A)$. Stabilization commutes with taking sheaves though, and everything above holds in the prestable context. | |
| Mar 27, 2017 at 4:30 | comment | added | ComplexesOfSheaves | Is there a distinction between $D^\vee$ and $D^\vee_{\geq 0}$? | |
| Mar 27, 2017 at 2:59 | history | edited | Marc Hoyois | CC BY-SA 3.0 |
Added remark
|
| Mar 26, 2017 at 21:03 | history | answered | Marc Hoyois | CC BY-SA 3.0 |