All Questions
Tagged with sheaf-theory homological-algebra
77 questions
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,020
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_{...
- 16.2k
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+...
- 1,020
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 ...
- 28.7k
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 ...
- 148k
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
-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.
...
- 38k
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 ...
- 28.7k
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}...
- 39.3k
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 ...
- 12.9k
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, ...
- 37.8k
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 ...
- 30.3k
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 ...
CommunityBot
- 1
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}...
- 2,607
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 ...
- 12.9k
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
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
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,038
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 ...
CommunityBot
- 1
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 ...
- 370
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
20
votes
5
answers
2k
views
Equivalence of ordered and unordered cech cohomology.
Given a topological space X and a finite cover X = $\cup X_i$, one can define Cech cohomology of a sheaf of abelian groups F with respect to the cover $\{X_i\}$ in two different ways:
(Ordered): ...
- 27.2k
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$ ...
- 15.9k
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 ...
- 356
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 ...
- 19.6k
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
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
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
5
votes
2
answers
3k
views
Are presheaves of constant functions sheaves?
I was reading 'An introduction to homological algebra' by Rotman, and on page 279 in the section about sheaves, example 5.64, Rotman gives an example of a constant presheaf $\mathcal{P}$ that's not ...
- 32.5k
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 ...
- 9,019
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 ...
62
votes
8
answers
14k
views
Sheaf cohomology and injective resolutions
In defining sheaf cohomology (say in Hartshorne), a common approach seems to be defining the cohomology functors as derived functors. Is there any conceptual reason for injective resolution to come ...
- 6,025
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\...
- 15.6k
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 ...
- 16.5k
48
votes
8
answers
8k
views
When are there enough projective sheaves on a space X?
This question is being asked on behalf of a colleague of mine.
Let $X$ be a topological space. It is well known that the abelian category of sheaves on $X$ has enough injectives: that is, every ...
- 148k
35
votes
5
answers
4k
views
Heuristic explanation of why we lose projectives in sheaves.
We know that presheaves of any category have enough projectives and that sheaves do not, why is this, and how does it effect our thinking?
This question was asked(and I found it very helpful) but I ...
- 118k
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 ...
- 10.9k
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 ...
CommunityBot
- 1
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 $\...
CommunityBot
- 1
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^*$...
- 8,972