All Questions
Tagged with sheaf-theory homological-algebra
77 questions
1
vote
0
answers
58
views
Which sheaves are good for calculating extraordinary restriction?
Let $X$ be a sufficiently nice locally compact Hausdorff space and let $i:Y\subset X$ be the inclusion map of a sufficiently nice closed subspace. For example, one could take $X$ to be a locally ...
- 23.5k
2
votes
0
answers
137
views
details of a dévissage argument for constructible sheaves
I am working on the following Künneth-type isomorphism from [SGA5, exposé III, 2,3]:
$\mathrm{Settings}.$ Let $X_1, X_2$ be separated finite type schemes over the spectrum of a field $S=\mathrm{Spec}...
- 375
6
votes
1
answer
326
views
Spectral sequence generalizing Čech cohomology
Let $X$ be a 'nice' topological space. Let $\left(U_i\right)_{i\in I}$ be a finite open covering of $X$. Let $\mathcal{F}$ be a sheaf of abelian groups.
For a subset $A\subset I$ denote $$U_A:=\cap_{...
- 21.8k
27
votes
0
answers
469
views
Are these comparison morphisms between Čech and Grothendieck cohomology the same?
For better or for worse, there is more than one approach to comparing Čech cohomology $\smash{\check{H}}^\bullet(\mathfrak{U},X;\mathscr{F})$ of a sheaf $\mathscr{F}$ on a space $X$ w.r.t the cover $\...
- 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
0
answers
239
views
Do we have $\underline{\operatorname{Ext}}^i_\text{fppf}(\widehat{\mathbb{G}}_a,\mathbb{G}_m)=0$ for $i>0$?
Let $k$ be a characteristic zero field and consider the category $(\mathsf{Sch}/k)_\text{fppf}$ of schemes over $k$ with the fppf topology. I know that $\underline{\operatorname{Hom}}(\mathbb{G}_a,\...
- 711
5
votes
1
answer
512
views
Do we have $\underline{\operatorname{Ext}}^i_\text{fppf}(\mathbb{G}_a,\mathbb{G}_m)=0$ for $i>0$?
Let $k$ be a characteristic zero field and consider the category $(\mathsf{Sch}/k)_\text{fppf}$ of schemes over $k$ with the fppf topology. I know that $\underline{\operatorname{Hom}}(\mathbb{G}_a,\...
- 711
4
votes
4
answers
696
views
Canonical product in sheaf cohomology
EDIT: Let $\mathcal{F},\mathcal{G}$ be sheaves of abelian groups on a topological space $X$. Then there exists a canonical cup product
$$H^i(X,\mathcal{F})\otimes_\mathbb{Z}H^j(X,\mathcal{G})\to H^{i+...
- 21.8k
-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
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
11
votes
1
answer
406
views
Resolutions of unbounded complexes: Condition ($\ast$) in Spaltenstein's paper
In the paper "Resolutions of unbounded complexes" (Compositio Math., vol. 65, no. 2, pp. 121-154) N. Spaltenstein generalizes the 6 functor formalism to unbounded complexes of sheaves over ...
- 23.5k
2
votes
0
answers
128
views
On the generalization of a Cech-to-sheaf type spectral sequence
Let $(X,O_{X})$ be a ringed space and $\mathcal{F^{\bullet}}$ be a bounded below complex of $O_{X}$-modules on $(X,O_{X})$. On [Stacks Project 20.25.1][1] it is shown that there is a weakly convergent ...
- 541
4
votes
2
answers
228
views
Is there a Čech-like way of computing $H^\bullet(X,M^\bullet)$ or even $\mathsf{R}f_* M^\bullet$?
Let $X$ be a topological space (or a site) and let $M$ be a sheaf on $X$. If $X$ is paracompact, or if $X$ is a noetherian separated scheme and $M$ is quasi-coherent, or if $X$ is quasi-projective ...
- 711
6
votes
1
answer
441
views
Where can I find a definition of $\underline{H}^p(X, \mathscr{F})$?
Let $X$ be a topological space and $\mathscr{F}$ a sheaf on $X$. In the paper Tropical cycle classes for non-archimedean spaces and weight decomposition of de Rham cohomology sheaves by Yifeng Liu, ...
- 1,153
7
votes
1
answer
353
views
Does the category of cosheaves have enough projectives?
Given a general topological space $X$ does the category $\mathbf{coShv}(X,\mathbf{Mod}_R)$ have enough projectives ? I know that under some conditions this is true, for example if $X$ is a cell ...
- 183
5
votes
0
answers
290
views
About the left adjoint of $f^*$
In lots of different cases (Verdier duality, Grothendieck duality, étale cohomology, ...) the very existence of a (right) adjoint to the sheaf functor $f_!$ gives useful information. (I'm going to ...
- 711
2
votes
0
answers
372
views
How to deduce Künneth from its relative version (in cohomology of sheaves)
Let $p:X\to S$ and $q:Y\to S$ be morphisms of "spaces" over $S$. We have an isomorphism
$$f_!(M\boxtimes N)=p_! M\otimes q_!N$$
in the derived category of "sheaves" over $S$, where ...
- 711
1
vote
1
answer
749
views
Computing Ext sheaves over complex projective plane
Let $X:=\mathbb{P}^2_K$ with $K$ algebraically closed field. Take $p\in X$ a point and $\mathcal{I}_p$ its ideal sheaf. One can prove (using Serre Duality and the exact sequence defining $\mathcal{I}...
- 395
6
votes
0
answers
452
views
Yoneda product on Ext
Let $M$ be a closed manifold and consider the constant sheaf $\mathbb{R}_M$. I have heard that the Yoneda product on $\operatorname{Ext}(\mathbb{R}_M, \mathbb{R}_M)= H^*(M; \mathbb{R})$ coincides with ...
- 177
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
1
vote
2
answers
431
views
Action on group $\operatorname{Ext}^i(\mathcal{L}, \mathcal{M})$ by scalar multiplication
Let $X$ be a proper scheme over field $k$ and $\mathcal{L}, \mathcal{M}$ two invertible $\mathcal{O}_X$-modules. Then $Hom_{\mathcal{O}_X}(\mathcal{L}, \mathcal{M}) \cong Hom_{\mathcal{O}_X}(\mathcal{...
- 6,028
1
vote
0
answers
213
views
Zero in colimit of sheaves category
This question is motivated by showing that the category $\mathbf{Sheaves} (X)$ from the open subset excluding the empty set category to the category of abelian group $\mathbf{Ab}$ has enough injective ...
- 1,168
3
votes
0
answers
81
views
Image of Obstruction Map for Relative Quot-scheme
Let $f: X \to S$ be a projective morphisms between finite-type projective schemes, and $\mathcal{O}_{X}(1)$ an $f$-ample line bundle. Given an $S$-flat coherent $\mathcal{O}_{X}$-module $\mathcal{H}$ ...
- 1,701
1
vote
0
answers
42
views
Checking $\mathbb{K}_{U\times(a,b)}\ast\mathbb{K}_{[0,\infty)}\simeq \mathbb{K}_{U\times[a,\infty)}[-1]$ in derived category $D(X\times\mathbb{R})$
Let $D(X\times\mathbb{R})$ be the derived category of sheaves of $\mathbb{K}$-vector spaces on a smooth manifold $X\times\mathbb{R}$ where $\mathbb{K}$ is a ground field. Let $p_1:X\times\mathbb{R}\...
- 213
3
votes
0
answers
430
views
Computing injective resolution of some constant sheaves
I follow the notations on "Sheaves on manifolds" written by Kashiwara-Schapira. Let $\mathbb{K}$ be a ground field and $X$ be a smooth manifold. Let $D(X)$ be the derived category of sheaves of $\...
- 213
3
votes
1
answer
638
views
Can not tell colimits from limits
Proposition 71 here reads:
Let $X$ be a concentrated scheme and $F$ a quasi-coherent sheaf of modules. The
following are equivalent:
(a) The functor $\mathrm{Hom}(F, −):Qco(X)\rightarrow Ab$ ...
user139957
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
3
votes
1
answer
363
views
Why isn't the localization $C[W^{-1}]$ (locally) small when $C$ is small and $W$ admits a calculus of (right) fractions?
In the presence of a calculus of (right) fractions, one may prove that every equivalence class of the general localization---the quotient of $F(UC +_{obj W} W^{op})$, the free category on the ...
- 352
10
votes
0
answers
212
views
Does the category of $G$-equivariant sheaves have enough injectives?
The question is related to this one.
Let $k$ be a field and $X$ be a topological space. We consider Sh$(X)$, the category of sheaves of $k$-vector spaces on $X$.
Let $G$ be a topological group which ...
- 9,019
6
votes
0
answers
171
views
Could we characterize injective objects in the category of $G$-equivariant sheaves?
Let $k$ be a field and $X$ be a topological space. We consider Sh$(X)$, the category of sheaves of $k$-vector spaces on $X$.
Let $G$ be a topological group which act on $X$ continuously from the left....
- 9,019
11
votes
1
answer
866
views
Serre spectral sequence for de Rham cohomology
Suppose we a given a fibration of manifolds $p\colon E\to M$ with a path connected fiber $F$ and simply connected $M$, then we have the Serre spectral sequence with
$$
E_2^{p,q} = H^p(M,\underline{H^...
- 2,305
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
5
votes
1
answer
331
views
Is the sheaf associated to a differential structure of a specific type?
On a set $X$, let us define a set $\mathcal{D}$ of functions from $X$ to $\mathbb{R}$. Consider first the initial topology $\tau_\mathcal{D}$ on $X$ with respect to $\mathcal{D}$, i.e. the coarsest ...
5
votes
0
answers
113
views
How "commutative" are Cech cochains of a sheaf of commutative (dg) algebras?
Let $X$ be a topological space and $\mathcal{F}$ be a sheaf of commutative dg-algebras over $X$. Let $\mathfrak{U}$ be a fixed open covering of $X$ and $C^\bullet(\mathfrak{U},\mathcal{F})$ be the ...
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
14
votes
3
answers
1k
views
Counterexamples to gluing complexes of sheaves
Note: I asked the question below last week on MathSE but received no answer.
Background:
I have read the claim that perverse sheaves behave more like sheaves than like complexes of sheaves. This ...
- 937
4
votes
0
answers
432
views
Reference request: sheaf-theoretic operations in the classical topology?
Like many graduate students before trying to learn something about étale cohomology and Deligne's proof(s) of the Riemann hypothesis part of the Weil conjectures, I am hunting for references detailing ...
- 273
5
votes
0
answers
271
views
K-flat, K-flabby resolution
Let $X$ be a topological space and $F$ a flat sheaf of abelian groups. It is well known that taking the Godement resolution of $F$ gives rise to a "flabbyflat" or "flasqueflat" resolution, in the ...
- 501
18
votes
2
answers
1k
views
Measuring a presheaf's failure to be a sheaf?
Apologies for the vagueness of question.
Background
this thread has some nice examples of presheaves failing to be sheaves.
Question
Is there a generic way to measure "how badly" a presheaf fails ...
- 928
93
votes
3
answers
11k
views
What is homology anyway?
Disclaimer: I don't feel qualified to ask this question and yet it's been troubling me for some time now and I lost my patience and decided to ask to get some kind of answer. If there are any stupid ...
- 7,789
5
votes
0
answers
380
views
Does the de Rham complex induce a functorial soft resolution of the category of cochain complexes of sheaves of vector spaces on a smooth manifold?
I apologize in advance if this is pretty straightforward; I'm a differential geometer and physicist by training so my homological algebra and homotopy theory are a bit weak.
Question: Let $M$ be a ...
- 6,025
4
votes
1
answer
291
views
Exactness of $j_!$ in abelian category recollement
Consider a recollement situation, with notation the same as on the nLab page. That is, we have adjunctions $i^* \dashv i_* \dashv i^!$ and $j_! \dashv j^* \dashv j_*$ between the abelian categories $\...
- 6,025
4
votes
1
answer
895
views
When does derived pullback commute with infinite products?
Let $f:X \to Y$ be a morphism of reasonable schemes (qcqs). Let $f^*: D(Y) \to D(X)$ be the pullback defined on the derived unbounded categories of quasi-coherent sheaves.
Question: When does $f^*$...
- 7,789
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
3
votes
1
answer
459
views
Help understand a calculation involving RHom of sheaves on manifolds
I am reading a paper and there is some computation of RHom of sheaves that I don't understand. I hope this is the right place to ask.
It is this paper, example 3.10 , page 25
arxiv.org/pdf/1005.1517v4....
- 1,893
28
votes
1
answer
3k
views
Two points of view about Borel-moore homology
They are several ways to define the Borel-Moore homology on a locally compact space $X$.
The first one is by analogy with the singular homology but instead of using finite chains, we use locally ...
- 1,017
11
votes
1
answer
812
views
Understanding the purely formal part of the sheaf theoretic (cohomological) framework for representation theory
By now I have the impression that many statements in representation theory can be phrased a lot more elegantly using cohomological language. Therefore I'm trying to understand a bit better the sheaf ...
- 7,789
7
votes
1
answer
310
views
On the ordered set of real numbers, does sheaf+cosheaf imply constant?
I have a technical question about unbounded chain complexes. I couldn't think of a descriptive title for it.
Let $P$ be a chain complex of contravariant functors on $\mathbf{R}$ (the real numbers ...
- 4,949