1
vote
2answers
90 views
Terminology: complex of sheaves with cohomology sheaves concentrated in degree zero
What is the proper terminology for a complex of sheaves $\mathcal F^\bullet$ whose homology sheaves $\mathcal H^i\mathcal F^\bullet$ vanish for $i\ne 0$?
0
votes
0answers
46 views
Equivariant and compactly supported version of a theorem of Leray
In "Théorie des Faisceaux", Godement states the following theorem due to Leray (Theorem 5.2.5, page 209).
Let ${\mathcal M}=(M_i )_{i\in I}$ be a locally finite closed covering o …
0
votes
0answers
98 views
Global sections of twisting ideal sheaf of a smooth closed point on a projective space
Let $X = \mathbb{P}^n_k$ be a projective space over an algebraically closed field $k$ and $x$ be a closed point.
Given an integer $m$ and a positive integer $r$.
What are the glo …
9
votes
1answer
348 views
Etale homology via étale cosheaves
Can one develop a theory of étale homology via étale cosheaves? The hope is that this would, for example, return the Tate module (and not its dual) for an elliptic curve, and it wo …
7
votes
2answers
368 views
When does sheaf cohomology commute with arbitrary direct sums?
It is well known and more or less proven in Hartshorne's 'Algebraic Geometry' (p. 209) that for every noetherian scheme $X$ and every collection of abelian sheaves $\mathcal{F}_i$ …
1
vote
2answers
201 views
Leray spectral sequence of the inclusion of an open subvariety
Let $X$ be a smooth variety over a field $k \subset \mathbb{C}$ and $Z$ a smooth subvariety. Let $U=X-Z$. I'm trying to understand what information do the Leray spectral sequences …
18
votes
2answers
466 views
Cohomologically trivial stacks
The following theorem of Serre is well-known:
A noetherian scheme $X$ is affine if and only if $H^i(X; \mathcal{F}) = 0$ for all quasi-coherent sheaves $\mathcal{F}$ on $X$ and …
6
votes
0answers
303 views
Eilenberg-Steenrod axioms of sheaf cohomology
Cohomology of a space is often defined axiomatically: a cohomology theory is a functor
from pairs of spaces to abelian groups
satisfying the Eilenberg-Steenrod axioms. Is there a …
6
votes
4answers
638 views
Cohomology of line bundles
For sure answers to my questions are well known - but I never saw them anywhere.
Let $X$ be a smooth projective (or just proper) variety over an algebraically closed field $k$. Le …
2
votes
2answers
236 views
Vanishing of Ext group
Let $C$ be a cartier divisor on a smooth projective surface in $\mathbb{P}^3$. Then we get the short exact sequence $$0 \to \mathcal{O}_X(-C) \to \mathcal{O}_X(-C_{red}) \to F \to …
16
votes
2answers
703 views
How to Draw Complex Line Bundles
I am giving a presentation soon on the Classification of Complex Line Bundles and I would like to have some very "basic" visualizations to use as examples.
Background and Context
…
5
votes
2answers
217 views
cohomology and $j_!$
I have a projective variety $X$ and an open immersion $j : U \to X$.
Say I have a sheaf, locally free in my case of interest, $\mathcal{S}$ on $U$. Is there any reasonable relatio …
4
votes
0answers
246 views
Cohomology of a sheaf with only one stalk
Let $X$ be a proper scheme over a henselian discrete valation ring. I have a Nisnevich sheaf $F$ of which has only one stalk at the generic point of $X$ (and all other stalks vanis …
2
votes
2answers
402 views
Top cohomology detecting compactness
I am looking for a reference for the fact that the top cohomology $H^n(X;A)$ of an $n$-dimensional manifold $X$ is non-trivial precisely when $X$ is compact.
I tried to ask this q …
1
vote
0answers
57 views
How can one compute the cohomology of $i'^*C$, for $i':\mathbb{A}^{N-1}\setminus \{0\}\to \mathbb{A}^{N}\setminus \{0\} $?
For an (etale or 'topological', constructible bounded) complex of sheaves $C$ on $X'=\mathbb{A}^{N}\setminus {0} $, $i'$ being the embedding $\mathbb{A}^{N-1}\setminus {0}\to \mat …

