All Questions
Tagged with sheaf-theory derived-categories
47 questions
4
votes
1
answer
323
views
Is the pushforward of a closed immersion ever fully-faithful at the level of Derived Categories?
Let $i: Z \rightarrow X$ be a closed immersion of schemes. Then, for any $\mathcal{O}_{Z}$-module $\mathcal{G}$, the counit of adjunction $i^{*}i_{*}\mathcal{G} \rightarrow \mathcal{G}$ is an ...
- 127
1
vote
1
answer
127
views
Vanishing of higher morphisms for pair moduli
Consider a moduli scheme $P$ of sheaves $F$ on a Calabi-Yau n-fold $X$ with a section $s\in H^0(F)$. Alternatively, such objects can be described as maps $\mathcal{O}_X \xrightarrow{s} F$ called pairs....
- 988
4
votes
0
answers
178
views
Splitting of counit-trace map for $\ell$-adic sheaf $\Bbb Q_{\ell}$
I have a question about following argument on page 3 in paper arxiv.org/abs/1702.04404 by Will Sawin (Proposition 3):
The claim is that for a finite, dominant map $f:X \to Y$ between varieties $X,Y$ ...
- 6,028
6
votes
0
answers
103
views
Is the derived category of sheaves localised at pointwise homotopy equivalences locally small?
In order to define the cup and cross products in sheaf cohomology, Iversen makes computations in an intermediate derived category. If $K(X;k)$ is the triangulated category of cochain complexes of ...
- 1,021
4
votes
1
answer
335
views
Gluing objects of derived category of sheaves
Let $X$ be a locally compact topological space (may be assumed to be a stratified space with finite stratification).
Let $\{U_i\}$ be an open finite covering. Assume that over each $U_i$ we are given ...
- 21.8k
2
votes
1
answer
242
views
Derived category of local systems of finite type on a $K(\pi,1)$ space: an explicit counterexample
Let $X$ be a nice enough topological space. I am mostly interested in smooth complex algebraic varieties. One may ask whether the bounded derived category of the category $\mathrm{Loc}(X)$ of local ...
- 1,071
2
votes
1
answer
446
views
Hypersheaves vs derived category of sheaves
This question arose from Peter Scholze's notes on six functor formalisms, specifically lecture VII in the proof of proposition 7.1.
We fix a LCH space $X$ and consider the functor $D(\mathrm{Ab}(X)) \...
- 121
-1
votes
1
answer
177
views
When morphism of complexes is homotopic to 0?
Let $f\colon A^\bullet\to I^\bullet$ be a morphism of bounded below complexes in an abelian category. Assume all $I^i$ are injective objects. Assume also that $f$ induces the zero map on cohomology.
...
- 21.8k
2
votes
0
answers
148
views
Push-forward of a locally constant sheaf using two homotopic maps
Let $X,Y$ be compact smooth manifolds. Let $f,g\colon X\to Y$ be smooth submersions
(in particular, locally trivial bundles) which are homotopic to each other (in the class of smooth maps, not ...
- 21.8k
3
votes
1
answer
147
views
What do we know about a sheaf $M$ if we know its derived fibers $\mathsf{L}x^* M$, for $x\in X(k)$?
Let $X$ be a scheme over a field $k$. (Feel free to assume that $X$ is an algebraic variety, if needed.) Also, let $M^\bullet$ be a complex in the derived category of quasi-coherent sheaves $\mathsf{D}...
- 711
2
votes
1
answer
226
views
Dualizing complex of the cone over a manifold
Let $M$ be a smooth (or just topological) closed manifold. Let $C(M)$ denote the cone over $M$, i.e.
$C(M)$ equals to $M\times [0,\infty)$ with $M\times \{0\}$ contracted to a point. The image of $M\...
- 21.8k
0
votes
1
answer
175
views
Fourier transform for constructible sheaves on spheres
Let $S_1 = S_2 = S^d$ be two copies of the $d$-dimensional sphere. Let $p_i : S_1 \times S_2 \to S_i$ be the projection, $j : U \to S_1 \times S_2$ the inclusion of the complement of the diagonal and $...
5
votes
0
answers
250
views
Formality of a category of constructible sheaves
Let $X= S^1 \wedge S^1$ be a wedge of circles. Then $X$ admits a natural stratification $\mathcal{S}$ as a union of two disjoint open intervals $I_1, I_2$ and a point $\{*\}$.
Let $D_{\mathcal{S}}(X)$ ...
- 373
8
votes
0
answers
750
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
1
vote
0
answers
103
views
$L^r_M = i_* \circ \hat{L}^{r-1}_M \circ i^*$ by the projection formula and the Poincare duality
This is a question arising when I am reading
M. A. A. de Cataldo, L. Migliorini - The Hard Lefschetz Theorem and the topology of semismall maps, Ann. sci. École Norm. Sup., Serie 4 35 (2002) 759-772.
...
- 1,168
2
votes
0
answers
92
views
Cone of morphism in families
I am working in derived category $D^b(X)$ of coherent sheaves on a smooth projective varitey.
Let $E,F$ be two sheaves on $X$, with $\mathrm{R}Hom(E,F)=k\oplus k[-1]$, I consider the following ...
- 1,982
4
votes
0
answers
120
views
Understanding a step in proof of sheaf version Verdier duality
Warning: This question is likely low-level for MathOverflow. My apology that there is almost surely something basic I miss.
So all proofs I can find factors through a particular statement, which goes ...
- 1,856
3
votes
0
answers
70
views
Characterization of degeneracy of spectral sequence of a fiber bundle at the second term
Let $f\colon E\to B$ be a fiber bundle of compact manifolds with fiber $F$. Assume that the push-forward $Rf_*(\underline{\mathbb{F}})$ in the derived category of the constant sheaf with coefficients ...
- 21.8k
1
vote
1
answer
130
views
Relative version of the cohomology product
Let $f\colon X\to Y$ be a continuous map of 'nice' topological spaces (e.g. $f$ is a smooth map of smooth manifolds; $f$ might be assumed to be proper although I am not sure it is relevant). Let $\...
- 21.8k
3
votes
0
answers
202
views
What's wrong with higher dimensional nearby cycles?
Suppose we have a complex algebraic variety $X$ with a map $f: X \to \mathbb{C}$ with $Y=f^{-1}(0)$. Let $\overset{\sim}{\mathbb{C}}$ be the universal cover of $\mathbb{C}-\{0\}$ and consider the ...
- 3,019
5
votes
0
answers
346
views
Properties of microlocalization
Let $i: M\hookrightarrow X$ be the inclusion of a closed submanifold in a smooth manifold $X$. I denote by $T_MX$ the normal bundle to $M$ in $X$, by $T^{\ast}_MX$ its dual bundle, and by $D^b(X)$ the ...
- 303
6
votes
1
answer
2k
views
How to understand the Fourier-Sato transform and microlocalization functors?
Given a smooth real vector bundle $\pi: E \to M$ I can look at the (bounded from below) derived category of sheaves on $E$. Since $E$ admits a very natural action of $\mathbb{R}^{\geq 0}$ by scaling, ...
- 272
1
vote
0
answers
120
views
Six Functor Formalism for Closed Inclusion
Let $X$ be a (finite-dimensional) topological manifold and suppose $i: Z \to X$ is the inclusion of a closed subspace. Then there are several derived functors on derived categories of sheaves of ...
- 51
6
votes
1
answer
221
views
When is derived category of ringed space perfectly generated?
Let $(X,\mathcal{O})$ be a ringed space. Also assume that $X$ is nice, e.g. locally compact, Hausdorff, some type of finite dimension, ...
We can then consider $\mathcal{D}(\mathcal{O}\text{-}Mod)$. ...
- 501
4
votes
0
answers
205
views
Sheaf-type property for Derived Categories?
Suppose $X$ is a finite dimensional complex space (I'm happy to restrict to $X$ being a scheme of finite type over $\mathbb C$ as well). I'm wondering if the following sheaf-like properties hold for ...
- 1,761
1
vote
0
answers
170
views
Espace étalé for derived category
It is known that for a sheaf $\mathcal{F}$ on $X$, we can associate $X_\mathcal{F}$, the étalé space of $\mathcal{F}$ over $X$ such that section of $X_\mathcal{F}$ coincides with section of $\mathcal{...
- 677
3
votes
0
answers
100
views
Relation between the orientation sheaves of the interior and the boundary of a topological manifold
Let $(M, \partial M)$ be an $n$-dimensional topological manifold with boundary. Let $\mathcal{O}_{M \setminus \partial M}$ and $\mathcal{O}_{\partial M}$ denote the orientation sheaves of $M \setminus ...
- 165
12
votes
2
answers
1k
views
How to visualize the Microsupport of a Sheaf?
I am looking through Persistent homology and microlocal sheaf theory to learn a bit on barcodes. They are require the notion of a microsupport of a sheaf, looks like it could be a rather concrete ...
- 22.8k
9
votes
1
answer
1k
views
Splitting of exact triangles in derived category
Let $A\to B\to C\to A[1]$ be a distinguished triangle in a (bounded below) derived category of an abelian category.
Is there a necessary and sufficient condition that it splits, namely $B\simeq A\...
- 21.8k
2
votes
0
answers
143
views
Computing derived functor of a complex with non-acyclic terms
Let $A^\bullet =(\dots\to A^i\to A^{i+1}\to\dots)$ be a bounded below complex in an abelian category $\mathcal{A}$ with sufficiently many injectives. Let $F\colon \mathcal{A}\to \mathcal{B}$ be an ...
- 21.8k
17
votes
0
answers
648
views
Is there an Infinite dimensional sheaf theory for analysis on manifolds?
I apologize if this question is slightly vague but I don't know how to ask it non-vaguely. Moreover, my question is about an ideal situation. If there's a close answer which doesn't satisfy all the ...
- 7,789
2
votes
0
answers
169
views
Restriction of scalars from an Azumaya algebra and preservation of perfect/compact objects of the derived categories
An Azumaya variety over a field is by definition a pair $(X,\mathcal A_X)$, where $X$ is an algebraic variety of finite type over that field and $\mathcal A_X$ is a sheaf of Azumaya algebras, namely ...
- 2,079
9
votes
1
answer
413
views
Stable homotopy category of complexes of sheaves
Let $X$ be an Hausdorff space, which is locally compact and locally connected. Let $R$ be a commutative and unitary ring and let $D(X)$ be the derived category of unbounded complexes of sheaves of $R$-...
- 9,870
3
votes
1
answer
479
views
K-injective (also known as hoinjective) complexes of sheaves of modules
Let $(X,\mathcal O_X)$ be a ringed space (if necessary, assume that it is a scheme with suitable hypotheses). Given two complexes of sheaves $\mathcal F$ and $\mathcal G$ of $\mathcal O_X$-modules, ...
- 2,079
1
vote
1
answer
507
views
Relation between local cohomology and open immersions
Let $X$ be a noetherian scheme $U \subset X$ an open subset with complement $Z = X- U$. Assume $Z$ is cut out by the ideal sheaf $\mathcal{I} \subset \mathcal{O}_X$. We have exact sequences:
$$0 \to \...
- 7,789
5
votes
0
answers
189
views
Constructible sheaves on general stratified spaces
I am not an expert in the field, so my question might be rather standard. Let $X$ be a compact metric space. Assume that $X=\cup_{i=1}^NS_i$ is a finite disjoint union of locally closed topological ...
- 21.8k
11
votes
2
answers
413
views
Homotopy property of constructible sheaves on stratified spaces
Let $X$ be a stratified topological space (in my case $X$ is a compact space presented as a finite union of locally closed topological manifolds of finite dimension (strata) such that the closure of ...
- 21.8k
4
votes
1
answer
1k
views
On push-forward of the constant sheaf for fibrations
Let $f\colon E\to B$ be a fiber bundle with a connected fiber $F$, $f$ is proper. Let $\underline{\mathbb{C}}_E$ be the constant sheaf on $E$. Let $f_*(\underline{\mathbb{C}}_E)$ denote its direct ...
- 21.8k
0
votes
1
answer
519
views
A functorial isomorphism in derived category
This question is a direct continuation of Question 1 in this post: Two basic questions on derived categories
Let $f\colon \mathcal{A}\to\mathcal{B}$ be a left exact functor between two abelian ...
- 21.8k
4
votes
2
answers
809
views
Two basic questions on derived categories
Let $\mathcal{A}, \mathcal{B}$ be two abelian categories with sufficiently many injective objects (in my case these are categories of sheaves of vector spaces on a manifold).
Let $f_*\colon \mathcal{A}...
- 21.8k
4
votes
1
answer
373
views
flat descent for perverse sheaves
Let $E \in D^{b}_{c}(X,\overline{\mathbb{Q}}_{l})$ where $X$ is a $k$ scheme of finite type for a field $k$.
Let $Y\rightarrow X$ a finite flat surjective morphism such that $f^{*}E$ is perverse and ...
- 3,472
3
votes
0
answers
384
views
Definition of derived category of a stack
In their book, Bernstein an Lunts define the equivariant derived category in several ways. One can be expressed as follows:
Let $X$ be a say complex variety with an action by an algebraic group $G$.
...
- 13.2k
7
votes
1
answer
467
views
Are constructible derived categories invariant up to weak homotopy equivalence?
Let $X$ and $Y$ be two topological spaces and $R$ be commutative ring. Let $D_c^b(X, R)$ and $D_c^b(Y,R)$ be their respective bounded derived categories of constructible sheaves of $R$-modules. I ...
- 121
3
votes
1
answer
418
views
Showing morphism of sheaves is zero
I work in derived category $D^b(X)$ of constructible sheaves on a reasonable space $X$. Let $j\colon U\to X$ be an open inclusion and $i\colon Y\to X$ the closed complement. Let $M,N\in D^b(X)$ and ...
- 1,595
3
votes
1
answer
463
views
For an l-adic sheaf (F_n), why is the complex F_n of finite Tor dimension?
Let $X$ be a variety and let $\mathcal{F}=(\mathcal{F}_n)_{n\geq 0}$ be a (constructible) $\ell$-adic sheaf on $X$. Let $K_n$ be the object in the derived category $D(X,\mathbf{Z}/\ell^{n+1})$ of ...
- 9,497
5
votes
2
answers
830
views
Closed monoidal structure on the derived category of sheaves
Given a topological space X, i'd like to find Der X - the derived category of sheaves of abelian groups on X - to be a closed monoidal category. Hom should be cohomological and the internal-hom should ...
- 3,249
52
votes
7
answers
5k
views
What does a projective resolution mean geometrically?
For R a commutative ring and M an R-module, we can always find a projective resolution of M which replaces M by a sequence of projective R-modules. But as R is commutative, we can consider the affine ...
- 1,056