All Questions
Tagged with sheaf-cohomology derived-functors
9 questions
2
votes
0
answers
62
views
Base change for finding fibers of the pushforward of a line bundle along a proper non-flat morphism
Let $f: X \to Y$ be a proper morphism whose fibers have different dimensions, in particular $f$ is not flat. Let $L$ be a line bundle on $X$. What conditions would be sufficient to be able to conclude ...
- 2,974
2
votes
1
answer
504
views
Does anyone have a good example of an injective resolution?
I'm learning about injective resolutions and derived functor sheaf cohomology, and it seems that every source on injective resolutions gives no examples. I feel like just one good example would make ...
- 137
2
votes
0
answers
124
views
The cohomology groups corresponding to a modified global sections functor
Let $\mathcal{F}$ be a sheaf on the big etale site of $Sm_k$. I am looking for a way to calculate a modified version of sheaf cohomology. Let $X$ be a smooth scheme and $Z$ a closed sub-scheme. After ...
- 5,901
3
votes
1
answer
225
views
Subspace inclusion with non-vanishing higher direct images
I'm looking for concrete topological intuition for the derived pushforward.
Let $f:X\to Y$ be a continuous map. The derived pushforward $\mathbf Rf_\ast$ takes a sheaf $F$ to the sheafification of ...
- 10.5k
3
votes
0
answers
195
views
Conceptual definition of derived functors allowing for quick proof of comparison theorems for sheaf cohomology
There are several approaches of increasing sophistication and simplicity to defining derived functors. I know of universal $\delta$-functors and Kan extensions along localizations. More definitions ...
- 10.5k
1
vote
1
answer
283
views
Commutativity between functors on sheaves of abelian groups
I am trying to understand certain properties of sheaf theory, but I'm having trouble finding the notions to answer my questions. I'd be really glad if someone could help me with the following. Let $f :...
- 1,227
3
votes
2
answers
905
views
Hartshorne Proposition III 8.1
In the proposition mentioned in the title, Hartshorne states that for each $i\geq 0$ the higher direct image sheaf $R^if_*\mathcal F$ is exactly the sheafification of the presheaf given by
$V \mapsto ...
- 41
2
votes
0
answers
287
views
$\delta$-functor and commutativity of pull-back with right derivation
Let $f:X \to Y$ be a faithfully flat projective morphism of noetherial $\mathbb{C}$-schemes. Assume that $Y$ is affine, smooth over $\mathbb{C}$. Let $y \in Y$ be a closed point with residue field, ...
- 833
4
votes
1
answer
263
views
Relating deformations of a scheme to deformations of its singular locus
Let $X$ be a normal scheme with quotient singularities and $Y\subset X$ its singular locus. The first order deformations of $X$ are parametrized by $\mathcal{E}xt^{1}(\Omega_{X},\mathcal{O}_{X})$. ...
- 8,998