The sheaf-cohomology tag has no wiki summary.

**0**

votes

**0**answers

43 views

### Picard sequence for sujective morphisms

Given $\phi:X\rightarrow Y$ a surjective morphism of $k$-algebraic varieties ($k$ separably closed), I wanted to find how the write an exact sequence involving Pic(X) and Pic(Y). We can use the long ...

**6**

votes

**4**answers

653 views

### Is there a (satisfying) proof that cellular cohomology is isomorphic to simplicial cohomology that doesn't use relative cohomlogy?

That singular and de Rham cohomologies of a smooth manifold are isomorphic has two proofs that I know of. The classical one uses Stokes' theorem to give the isomorphism explicitly. The second proof ...

**0**

votes

**0**answers

42 views

### constructibility for pushforward

Let consider a quasicompact open $j:U\rightarrow\mathbb{A}^{\mathbb{N}}$ over a field $k$, Is there an example where $Rj_{*}\mathbb{Z}/n\mathbb{Z}$ is not constructible, where $n$ is prime to the ...

**0**

votes

**0**answers

33 views

### Applicability of Scheja's theorem

First, let me begin by recalling Scheja's (cohomology extension) theorem. Let $X$ be a complex manifold of dimension $n$ and $Z\subset X$ a complex submanifold of dimension $d.$ Let $\mathcal{F}$ be ...

**3**

votes

**0**answers

93 views

### Action of automorphisms on cohomology with supports

Let $x$ be the closed point of an $n$-dimensional local scheme $X$, essentially smooth over a field $k$. Let $M$ be a sheaf on the category of smooth $k$-varieties (in either Zariski or Nisnevich ...

**1**

vote

**1**answer

118 views

### Is there a nonzero sheaf with all cohomologies vanish?

Is there a topological space $X$ with a nonzero sheaf $\mathcal{F}$ of abelian groups such that $H^i(X,\mathcal{F})=0$ for all $i=0,1,2...$?

**3**

votes

**0**answers

103 views

### Deformation of vector bundle on projective space with same Hilbert polynomial as multiple of structure sheaf

Let $E$ be a vector bundle on projective space ${\bf P}^n$ whose Hilbert polynomial is the same as $\mathcal{O}^{{\rm rank}(E)}$.
Does there exist a vector bundle over ${\bf P}^n \times {\rm ...

**5**

votes

**1**answer

129 views

### Coverings/Cech cohomology of totally disconnected spaces

For any topological space $X$ we have a natural functor
$\text{Cov}_X \rightarrow \text{Fun}(\pi_1(X),\text{Set})$
from the category of coverings of $X$ to the category of functors $\pi_1(X) ...

**3**

votes

**0**answers

172 views

### Does the higher cohomology of a quasi-coherent sheaf on a Stein manifold vanish?

It is a well-known result in algebraic geometry that if $X$ is an affine scheme and $\mathcal{F}$ is a quasi-coherent sheaf on $X$, then the higher cohomologies of $\mathcal{F}$ vanish, i.e.
$$
...

**0**

votes

**1**answer

372 views

### Axioms for sheaf cohomology

Let $R$ be a commutative ring and $X$ a topological space. Define a sheafy cohomology theory (see here) to be a collection of functors $\mathrm{H}^q:\mathrm{Sh}(X;R\mathrm{Mod})\to R\mathrm{Mod}$ such ...

**3**

votes

**2**answers

228 views

### Exact sequence of groups to exact sequence of sheaves

Disclaimer: This is a cross-listing of a math.stackexchange post. While not research level, after a week of no response, I figured I would ask it here.
For a topological group $G$ and a topological ...

**1**

vote

**0**answers

212 views

### Intuitive Approach to Sheaf and Cech Cohomology [closed]

Sheaf and Cech cohomology $H^*(X,\mathcal{F})$ (which give the same result when applied to good enough topological spaces) are a useful generalisation of the concepts of de Rham and Dolbeault ...

**0**

votes

**0**answers

109 views

### Cohomology of pushforward under the double cover

Given a double cover $\pi: C \to \mathbb P^1$, where $C$ is a genus $g$ curve over algebraically closed field, I want to compute the group $\mathrm H^1(\mathbb P^1, \pi_*\mathbb G_m)$ in flat ...

**3**

votes

**1**answer

367 views

### What is $h^0(\mathcal O_F)$ where $F$ is a fiber of a normal surface over a smooth curve?

Lately I am studying the bend-and-break, and I follow the proof in the following note written by Olivier Debarre:
http://www.math.ens.fr/~debarre/M2.pdf
There is a detail that I just cannot go ...

**4**

votes

**1**answer

275 views

### Leray's theorem up to some degree

I am interested in the proof of Leray's theorem that relates Čech cohomology and sheaf cohomology.
The theorem states that if we have a space $X$, a sheaf $\mathcal{F}$ and a covering of $X$ such ...

**2**

votes

**1**answer

123 views

### Proving the Eichler-Shimura Isomorphism defines a global section

Let $ f \in S_k(\Gamma)$ be a weight k modular cusp form of level $\Gamma$, with modular curve $Y_{\Gamma}$. Let $V^{k-2}$ be the homogenous polynomials in X and Y of degree k-2 with complex ...

**0**

votes

**1**answer

124 views

### cohomology of an intermediate extension of a local system

Let $V$ be affine $n$-space over a field $k$; and $j \colon U \to V$ an open subscheme of $V$. Let $L$ be an $\ell$-adic local system on $U$.
Suppose the cohomology of $H^{\bullet}(U,L)$ does not ...

**1**

vote

**0**answers

99 views

### Help understanding the proof of a theorem about Cohomology of vector Bundles

I am trying to understand a paper called Betti tables of graded modules and cohomology of vector bundles, but i am stuck in Proposition 6.8 which states:
Let $\mathcal{E}$ be a vector bundle on ...

**4**

votes

**0**answers

98 views

### $A_\infty$ structure on sum of twists of structure sheaf

Fix $n$ and let $P^n$ be projective $n$-space. Let $S = k[x_0, \dots, x_n]$. Set $A^0 = \bigoplus_{d \ge 0} H^0(P^n, \mathcal{O}(d))$ and $A^n = \bigoplus_{d < -n} H^n(P^n, \mathcal{O}(d))$.
I ...

**3**

votes

**2**answers

617 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 ...

**1**

vote

**2**answers

193 views

### Sheaf cohomology on non paracompact topological spaces

I have some confusion on the subject of sheaf cohomology on non-paracompact topological spaces, i hope you can help me.
My reference is Godement's book "Topologie algebrique et theorie dex ...

**16**

votes

**3**answers

1k views

### Classification of rings satisfying $a^4=a$

We have the famous classification of rings satisfying $a^2=a$ (for each element $a$) in terms of Stone spaces, via $X \mapsto C(X,\mathbb{F}_2)$. Similarly, rings satisfying $a^3=a$ are classified by ...

**2**

votes

**0**answers

181 views

### l-adic cohomology and perverse sheaves

Let consider the map $tr:\mathbb{G}_{m}^{n}\rightarrow\mathbb{A}^{1}_{\mathbb{F}_{q}}$ given by the sum of the coordinates and let $\psi:\mathbb{F}_{q}\rightarrow\mathbb{Q}_{l}^{*}$ a non trivial ...

**4**

votes

**1**answer

331 views

### Construction of generalized Eilenberg-MacLane spaces

The Eilenberg-MacLane spaces $K(G,q)$ are readily generalized to study cohomology with local coefficients.The generalized Eilenberg-MacLane space $K_{\pi}(G,q)$ are spaces with only two nnvanishing ...

**2**

votes

**0**answers

132 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, ...

**0**

votes

**0**answers

130 views

### Cohomology group vs sheaf of cohomology group

Suppose $F$ is a coherent sheaf on a smooth (algebraic or complex) variety $X$. Then we can consider the cohomology groups $$H^p(X,F)$$ for all $i$. Now, let we consider the sheaf ...

**4**

votes

**1**answer

187 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 ...

**2**

votes

**0**answers

62 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 ...

**4**

votes

**1**answer

396 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 ...

**0**

votes

**0**answers

103 views

### Equivariant Sheaves, Local system

Let $(G,m)$ be a group scheme unipotent, and $L$ a local system of rank 1 on $G$ such that:
$m^*(L) \simeq L \boxtimes L $.
Then why is $L$ an equivariant sheaf on $G$ with the action the ...

**0**

votes

**3**answers

330 views

### Higher cohomology of sheaves on a projective space

Let $S\subset\mathbb{P}^n$ be a finite set of $s$ reduced points. Let $\mathcal{I}$ be the ideal sheaf of $S$ in $\mathbb{P}^n$. We consider the sheaf
...

**5**

votes

**1**answer

305 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 ...

**3**

votes

**1**answer

286 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}$, ...

**4**

votes

**2**answers

651 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 ...

**2**

votes

**0**answers

227 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 ...

**3**

votes

**4**answers

619 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 ...

**2**

votes

**1**answer

221 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

**0**answers

188 views

### Pull-back of globally generated sheaves

Let $X$ be a smooth projective surface in $\mathbb{P}^3$, $D=\sum_i n_iD_i$ an effective Cartier divisor. Let $C$ be a smooth irreducible curve on $X$. Denote by $i:C \hookrightarrow X$ is the closed ...

**1**

vote

**2**answers

259 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

124 views

### Restriction of sheaves on curves

Let $C$ be a scheme of pure dimension $1$. Let $C_1$ be a closed subscheme of $C$ of pure dimension $1$. Denote by $i:C_1 \hookrightarrow C$ a closed immersion. Given a sheaf $\mathcal{F}$ on $C$, ...

**0**

votes

**1**answer

113 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 ...

**0**

votes

**1**answer

257 views

### Example of non-vanishing of first cohomology of a torsion coherent sheaf on a curve

By a curve we mean a projective scheme of pure dimension one. Can some one give an example of a curve $C$ and a torsion coherent sheaf on $C$ such that its first cohomology group does not vanish?
...

**2**

votes

**1**answer

332 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}) ...

**4**

votes

**1**answer

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

**3**

votes

**0**answers

53 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 ...

**3**

votes

**1**answer

280 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 ...

**2**

votes

**1**answer

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

**1**

vote

**1**answer

413 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 ...

**2**

votes

**2**answers

296 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 ...

**1**

vote

**1**answer

132 views

### global sections of higher direct images of étale sheaves

Is there a useful criterion for when $\Gamma(X, R^qf_*F) = H^q(X',F)$, $f: X' \to X$, $F$ an étale sheaf on $X'$?