All Questions
13 questions
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
16
votes
1
answer
2k
views
Where am I suppose to actually learn how to compute hypercohomology?
I'm reading about algebraic de Rham cohomology over characteristic zero which is constructed using hypercohomology. Already, constructing injective resolutions is difficult, and coupling this with ...
- 1,716
8
votes
1
answer
622
views
Can one determine the trace map for a nonsingular projective variety explicitly?
I've never understood how one would actually go about computing a trace map associated with the canonical sheaf on a smooth projective variety, if it's even possible. Hartshorne proves that the ...
- 615
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
4
votes
1
answer
244
views
Boundness of torsion in $R^i\pi_*\mathcal F$ for a smooth $\pi:X\rightarrow S$
Let $\pi:X\rightarrow S$ be a smooth scheme over $S$ and let's assume for simplicity that $S=\mathrm{Spec} R$ is affine, Noetherian and regular. Let $\mathcal F$ be a coherent sheaf on $X$ and let's ...
- 790
4
votes
0
answers
137
views
Cohomology of $Sym^m Q \otimes Sym^k Q \otimes L^p$
Let $V$ be a complex vector space. Let $L=\mathcal{O}(-1)$ and $Q=V/L$ be the quotient bundle over $\mathbb{P}V$.
I'm trying to compute the cohomologies with coefficients in $Sym^m Q \otimes Sym^k Q \...
- 371
3
votes
2
answers
371
views
Extension between vector bundles inducing non-zero map on cohomology
Let $X$ be a projective variety over a field $k$ equipped with a very ample line bundle $\mathcal{O}_X(1)$. Suppose that $E, F$ are locally free sheaves of finite rank on $X$ and $c\in \mathrm{Ext}^i(...
- 7,377
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
154
views
$\operatorname{Ext}^2(O,\omega)$ as a higher extension on $\mathbb{P}^1 \times \mathbb{P}^1$
Let $X = \mathbb{P}^1 \times \mathbb{P}^1$ over a field $k$ and consider $Ext^2(\mathcal{O}_X,\omega_X)\cong H^2(\omega_X) = H^2(\mathcal{O}_X(-2,-2)) = k$
Let $C = \mathbb{P}^1$.
By Kunneth $H^2(\...
- 3,968
2
votes
1
answer
210
views
Making a map in sheaf cohomology involving a theta characteristic explicit
Motivation:
For a given rank 2 vector bundle we want to know how many theta-characteristic valued twisted endomorphisms it has.
Setting:
Let $C$ be a smooth algebraic curve over a field of ...
2
votes
0
answers
136
views
A infinity structure on Yoneda Ext group
I am currently trying to control an $A_\infty$-algebra of the form $\mathrm{Ext}_X(F\oplus F'[2n-2],F\oplus F'[2n-2])$ where $X$ is a nice enough scheme and $F,F'$ are sheaves that are NOT locally ...
- 213
1
vote
0
answers
199
views
Künneth formula for local cohomology with support
In "Differential operators on the flag varieties" (http://www.numdam.org/article/AST_1981__87-88__43_0.pdf) by Brylinski, he uses on page 53 a Künneth formula for local cohomology with ...
- 473
0
votes
1
answer
156
views
The Existence of Pure Resolutions, Given a Degree Sequence?
I have been trying to understand the proof of the following theorem for the last month, I read some basics of sheaves theory and their cohomology, but still can't get the idea of this important ...
user24421