All Questions
Tagged with derived-algebraic-geometry sheaf-theory
7 questions
8
votes
0
answers
751
views
What's the definition of a microlocal sheaf?
I'm slowly becoming familiar with what microsupport of a sheaf is, but none of the references I've seen give a definition of what a microlocal sheaf should be in general.
In this paper of ...
- 191
4
votes
0
answers
195
views
Example of pseudocoherent complex which is not locally quasi-isomorphic to a strict pseudocoherent one
I ask this question here even if I posted it also on math.stackexchange (recieving no answer so far) because I have read some analogous question but for perfect complexes on this site, even though ...
- 351
4
votes
1
answer
676
views
Jordan–Hölder sequence for $\mu$-semi stable sheaves
Let $X$ be a smooth variety over $\mathbb{C}$, and let $\omega \in \operatorname{Pic}(X)_\mathbb{R}$ be an ample class.
I would like to know if any $\mu_\omega$-semistable sheaf $E \in \operatorname{...
- 1,286
7
votes
0
answers
161
views
Is it always possible to write a derived manifold (in the sense of Spivak) as a homotopy colimit of principal derived manifolds?
Is it always possible to write a derived manifold as a homotopy colimit of principal derived manifolds (i.e. zero sets of smooth functions)? This is true for schemes and derived schemes, so it seems ...
- 31
4
votes
0
answers
138
views
Examples of non-hypercomplete sheaves on affine schemes
Let $A$ be a commutative ring and let $\mathcal{O}$ be a sheaf of $E_{\infty}$-ring spectra on $\mathrm{Spec} A$ such that $\pi_0\mathcal{O} = \mathcal{O}_{\mathrm{Spec} A}$. Lurie provides a ...
- 12.1k
2
votes
0
answers
132
views
Compact generation of quasicoherent sheaves on mapping stack
Let $k$ be a field of characteristic $0$, and let $\mathcal{C}= \mathbf{Vect}_k^{\leq 0}$ be the $\infty$-category of vector spaces concentrated in degrees $\leq 0$. Consider the category $\mathbf{Pr}(...
- 3,019
19
votes
1
answer
1k
views
A sheaf is a presheaf that preserves small limits
There is a common misconception that a sheaf is simply a presheaf that preserves limits. This has been discussed here before many times and I believe I understand it well enough.
However when reading ...
