All Questions
32 questions
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
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.
...
- 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
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
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
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,038
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
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
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 ...
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
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
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
6
votes
1
answer
2k
views
Information and intuition packed in the Chern character for coherent sheaves
even after quite some time learning it, I still get somehow puzzled by the Chern character. Let me recall some stuff to get notation and setting.
Let us consider a smooth projective algebraic variety ...
- 155
3
votes
1
answer
515
views
For what kind of sheaves can we always extend a sheaf map from a closed subset to the whole space?
Let $X$ be a topological space. We know that a sheaf on $X$ is call soft if for any closed subset $Z$ of $X$, a section on $Z$ can be always extend to a section on $X$.
Now we consider a similar ...
- 9,019
3
votes
0
answers
422
views
What kind of ringed space $X$ has the property that a locally free sheaf is projective in Qcoh$(X)$?
It is well known that for an affine scheme $X$, every finitely generated locally free sheaf $\mathcal{E}$ is projective in the category Qcoh$(X)$. i.e. the functor $\text{Hom}_{\text{Qcoh}(X)}(\...
- 9,019
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
1
vote
1
answer
1k
views
Sheaf Hom and the functor Hom
Let $\varepsilon: 0\to A\to B \to C\to 0$ be an exact sequence of ${\cal O}_X$-modules with $X$ a quasi-compact space. $\varepsilon$ is called pure if the induced sequence
$0\rightarrow Hom(F,A)\...
- 11
20
votes
0
answers
3k
views
Idea of presheaf cohomology vs. sheaf cohomology
Let $X$ be a topological space and $U$ an open cover of $X$.
In this thread Angelo explained beautifully how presheaf cohomology (Cech cohomology) relates to sheaf cohomology:
The zeroth Cech ...
- 319
5
votes
1
answer
3k
views
Question about hypercohomology / spectral sequence of a complex of "almost-acyclic" sheaves
I have a very particular situation involving a (non-exact) complex $K$ of coherent sheaves on a nonsingular projective variety $X$, and I need to compute the hypercohomology of the complex. The ...
- 545
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 ...
- 4,842
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 ...
- 65.4k
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 ...
user709