The sheaf-cohomology tag has no wiki summary.

**23**

votes

**3**answers

2k views

### How should a homotopy theorist think about sheaf cohomology?

As a student of homotopy theory or algebraic topology, I have a certain outlook as to how one ought to think of a cohomology theory. There are axioms that help us with rudimentary computations, there ...

**18**

votes

**2**answers

546 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 all $i>0$. ...

**18**

votes

**2**answers

930 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
I am considering ...

**9**

votes

**1**answer

443 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 would return group ...

**8**

votes

**2**answers

709 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$ the canonical map
...

**8**

votes

**1**answer

508 views

### When does the sheaf cohomology of a topological space vanish?

The question is in the title. A more precise formulation is:
Let $X$ be a topological space. When does $H^i(X,F) = 0$ for all $i > 0$ and all abelian sheaves $F$ on $X$?
The obvious example is a ...

**8**

votes

**0**answers

349 views

### Deducing properness from H^i(X,F) finitely generated over \Gamma(O_X)

Suppose that $X$ is a quasi-projective variety over a field $k$ and that we further know that for every coherent sheaf $\mathcal{F}$, $H^i(X,\mathcal{F})$ is finitely generated over $\Gamma(O_X)$. Is ...

**7**

votes

**2**answers

431 views

### Is $H^i(X,F)$ finitely generated over $\Gamma(O_X)$ if $F$ is coherent?

Suppose $\mathcal{X}$ is a smooth quasi-projective variety over $\mathbb{C}$ (I apologize if these hypotheses have little to do with the question at hand). Let $\mathcal{F}$ be a coherent sheaf on ...

**7**

votes

**1**answer

696 views

### Sheaf cohomology with compact supports (and Verdier duality?)

Consider a manifold and a complex where cochains are sections of vector bundles and coboundary maps are differential operators, which are locally exact except in lowest degree (think de Rham complex). ...

**7**

votes

**0**answers

269 views

### Dualizing complex of the product of two locally compact spaces

Hello!
In the setting of locally compact Hausdorff spaces, I would like to understand the relation between the exterior product ${\mathbb D}_X\boxtimes{\mathbb D}_Y$ of the dualizing complexes of two ...

**6**

votes

**4**answers

861 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$. Let $A_i$ be the ...

**6**

votes

**1**answer

445 views

### Basic properties of Nisnevich cohomology; $l'$-topology?

I would like to know more about Nisnevich cohomology (especially, on its properties that could be easily formulated). In particular, I would like to know which of the following statements are true, ...

**6**

votes

**0**answers

406 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 similar ...

**5**

votes

**4**answers

1k views

### Non-cohomological proof that the pullback of an ample bundle by a finite morphism is ample

It is a standard fact that for any finite morphism of proper Noetherian $A$-schemes ($A$ being Noetherian), the pullback of an ample line bundle is ample. The usual proof of this fact is via Serre's ...

**5**

votes

**2**answers

246 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 relationship between ...

**5**

votes

**1**answer

249 views

### infinite grassmannian in algebraic geometry

Geometric realization of $B{\mathbb G}_{\mathfrak m}({\mathbb C})$ is ${\mathbb C}{\mathbb P}^\infty=\varinjlim_n~ {\mathbb C}{\mathbb P}^n_k$; what if one considers a separable field $k\neq ...

**4**

votes

**2**answers

556 views

### Why Cech cohomology does not compute sheaf cohomology on an open annulus

Let $A=\{z\in\mathbf{C}:1/2<|z|<1\}$ be an open annulus. Let us cover $A$ by 3 open sets:
$U_0,U_1$ and $U_2$ which we assume to be all homeomorphic to a 2 dimensional open disc. Moreover, we ...

**4**

votes

**1**answer

321 views

### Derived Equivalence of Sheaves and Homotopy

This question loosely elaborates on an earlier question. It is pretty silly, but I'd like to hear some authoritative answers.
Recall that if $f:S^{\bullet}\to T^{\bullet}$ is a quasi-isomorphism of ...

**4**

votes

**1**answer

303 views

### The Gauss-Bonnet theorem for Sheaves

Euler Characteristic of Sheaves and the Generalized Gauss-Bonnet Theorem
Consider a sheaf $\mathscr{F}$ over a site $\mathscr{(C,J)}$, where $\mathscr{C}$ is a small category with a coverage ...

**4**

votes

**1**answer

414 views

### Are injective quasi-coherent modules acyclic?

Let $X$ be a scheme and $F$ be an injective object of $\mathrm{Qcoh}(X)$. Is it true that $F$ is acyclic with respect to the usual sheaf cohomology?
For noetherian schemes $X$ this is well-known; ...

**4**

votes

**1**answer

170 views

### Surjectivity of certain cohomology groups on hypersurfaces of high degree

I had been reading an article by Spencer Bloch. There is a remark in this text which states the surjectivity of a particular map between cohomology groups without explaining further. I had been trying ...

**4**

votes

**1**answer

493 views

### Sheaves with isomorphic cohomology, but not quasi-isomorphic

Suppose I have two (constructible) sheaves of vector spaces $F$ and $G$ over the same base space that have isomorphic cohomology (degree by degree), but no sheaf map inducing this isomorphism (i.e. ...

**4**

votes

**1**answer

191 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})$. ...

**4**

votes

**0**answers

314 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 vanish).
I believe that ...

**3**

votes

**4**answers

542 views

### Sheaves with no cohomology

Let $X$ be a smooth projective variety of dimension $d$ over a field $k$. Suppose $\mathcal F$ is a coherent sheaf on $X$ such that $H^i(X,\mathcal F) = 0$, for all $i$. What can one say about ...

**3**

votes

**1**answer

245 views

### Explicit examples presheaves associated to higher direct images which fail to be sheaves

So I would like to have a few simple examples where the presheaf associated to higher direct image of sheaf fails to be sheaf. So I'm looking for two (natural and simple) topological spaces $X$ and ...

**3**

votes

**2**answers

438 views

### If $f: X \to Y$ is a finite flat morphism of schemes, $g: Y \to Z$ is a proper morphism of relative dimension one, $Z$ is affine and $E$ is a vector bundle on $Y$ with $R^1g_*E=0$ then $H^1(X,f^*E)=0$?

Let $f: X \to Y$ and $g: Y \to Z$ be morphisms of schemes* such that f is flat and finite, g is proper and $R^{> 1}g_*E=0$ for all sheaves and Z is affine.
Let E be a vector bundle on Y such that ...

**3**

votes

**1**answer

173 views

### Euler Characteristic of Coverings via Sheaf Theory

Let $X$ be a nice space (compact $CW$-complex or triangulated space, compact manifold, whatever works),
$f:Y\to X$ be a finite covering of degree $n$, and $\chi(X)$ be the euler characteristic.
By the ...

**3**

votes

**1**answer

286 views

### Sheaf cohomology invariant of weak homotopy type?

Is sheaf cohomology an invariant of the weak homotopy type? More precisely let $R$ be a commutative ring and $f:X\rightarrow Y$ a weak homotopy equivalence. Does it follow, that the induced maps ...

**3**

votes

**1**answer

272 views

### Cohomology and proper base change

Let $\pi:\mathcal{X} \to B$ be a flat, projective surjective morphism over $\mathbb{C}$. Assume that $B$ is a smooth quasi-projective curve. Let $\mathcal{F}$ be a coherent sheaf on $\mathcal{X}$, ...

**3**

votes

**0**answers

42 views

### Convolution of DQ-Modules

On page 92 of Deformation Quantization Modules Kashiwara and Schapira define two different convolution products for DQ-modules that differ by whether one uses $Rp_{13*}$ or $Rp_{13!}$ to push ...

**2**

votes

**1**answer

390 views

### Is the higher direct image sheaf of a locally free sheaf over $\mathbb{P}^1$ locally free?

Let $f:X \to \mathbb{P}^1$ be a projective flat morphism, $X$ is a projective scheme. Let $\mathcal{F}$ be a locally free sheaf on $X$. Are the higher direct image sheaves $R^if_*\mathcal{F}$ locally ...

**2**

votes

**2**answers

286 views

### Topological information via cohomology of sheaves

On a projective smooth variety $X$ over complex numbers (or rather compact Kahler) we have a specific set of sheaves, namely sheaves of holomorphic forms ${\mathcal \Omega}^p$ of various degrees. The ...

**2**

votes

**2**answers

493 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 question on ...

**2**

votes

**2**answers

337 views

### sheaves for which the derived (compact or not) pushforward is zero

Conventions: sheaf = complex of constructible sheaves (in the l-adic setup with etale tplg or in the complex coefficients setup with analytical tplg).
I would like to understand if there is an ...

**2**

votes

**1**answer

222 views

### Compare global sections of restriction and pullback of sheaves

Let $X$ be a projective scheme and $X \subset \mathbb{P}^n$ for some positive integer $n$. Let $j:Z \hookrightarrow X$ be a closed subscheme. Is it true that $H^0(j^*\mathcal{N}_{X|\mathbb{P}^n}) ...

**2**

votes

**2**answers

295 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 0$$
for some sheaf ...

**2**

votes

**0**answers

50 views

### Cohomology and quotients for the canonical topology

Recall that for any category $\mathcal C$, there is a unique finest topology, the canonical topology on $\mathcal C$ for which all representable functors are sheaves. I am interested in the example ...

**2**

votes

**0**answers

202 views

### Cech cohomology.

Let us consider the scheme $X$ and the coherent sheaf $\cal F$ on it. We consider finitely many affine open covers $U_{\lambda}$ with $\lambda \in \Lambda$. When I calculate Cech cohomology with ...

**2**

votes

**2**answers

246 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 attached to the ...

**2**

votes

**0**answers

295 views

### Weil Kostant Integrality Result as Stated by Brylisnki

I'm reading through Brylinski's "Loop Spaces, Characteristic Classes and Geometric Quantization" and I am stuck on a piece of Theorem 2.2.15, which asserts that If $K$ is a closed complex-valued ...

**2**

votes

**0**answers

125 views

### Intersections of components of 'simple' ('local") Zariski coverings

I would like to study the ordered Cech cohomology with respect to a Zariski covering of a variety. I can pass to the limit with respect to refinements; the components of the 'limit covering' will be ...

**2**

votes

**0**answers

127 views

### orientations on a stratified space

For this question let $k$ be any field of characteristic not equal to $2$ and $X$ a stratified space whose strata are topological manifolds. I'm not sure what the definition of "stratified space" ...

**2**

votes

**0**answers

306 views

### Sheaf Cohomology on Zariski-Riemann Spaces

Can sheaf cohomology on the Zariski-Riemann spaces give some sort of classification for field extensions (even just for function fields)? If not, are there any significant or useful results (e.g. for ...

**1**

vote

**2**answers

232 views

### Cohomology of sheaf extended by zero

Let $X$ be a projective scheme of pure dimension $1$. Let $U$ be a open subscheme and $j:U \to X$ the open immersion. Let $\mathcal{F}$ be a coherent sheaf on $U$.
Denote by $j_!(\mathcal{F})$ the ...

**1**

vote

**1**answer

250 views

### Cohomology of tangent bundles

Let $X$ be a smooth scheme and $Z\subset X$ a smooth subscheme. Consider the blow-up
$$\pi:\widetilde{X}:=Bl_{Z}X\rightarrow X$$
of $X$ along $Z$.
What is the relation between the cohomology of the ...

**1**

vote

**1**answer

298 views

### Is this Sequences of Complexes of Sheaves Exact?

So in another question of mine there is a sequence of complexes of sheaves which the author asserts is exact.
Let $K^{\bullet} = \underline{\mathbb{C}}^* \ \underrightarrow{d\ log} \ ...

**1**

vote

**2**answers

260 views

### Cohomology of a cochain complex of acyclic sheaves

Ok, sort of as a follow up to my previous question, let's recall the de Rham-Weil theorem:
Let $F$ be a sheaf on a topological space $X$ and let $\mathcal{L}^{\bullet}$ be an acyclic resolution of ...

**1**

vote

**1**answer

206 views

### A functorial property of higher right derived functors

Let $f:X \to Y$ be a projective morphism of complex Noetherian schemes. Assume $Y$ is smooth and for all $y \in Y$, $f^{-1}(y)$ is of pure dimension $1$. Let $\mathcal{F}_1, \mathcal{F}_2$ and ...

**1**

vote

**2**answers

123 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$?