The sheaf-cohomology tag has no usage guidance.

**0**

votes

**0**answers

50 views

### Cohomology adding the infinite point

Let $F$ be a closed subset of $\mathbb{C}$. (We assume $F \neq \emptyset, F \neq \mathbb{C},$ and $0 \notin F$.)
Of course $F$ is not a closed subset of $\overline{\mathbb{C}}$ in general but it ...

**0**

votes

**0**answers

109 views

### Canonicity of Cech cohomology

For a topological space X, consider the
Leray covering U_λ(i.e. ∩U_λ is sufficiently fine, e.g. affine for Zariski topology) of X.
For a sheaf F on X, the cohomology H^i(X,F) is calculated via Cech ...

**4**

votes

**1**answer

159 views

### Does the nearby cycle functor commute with the Verdier duality?

I would be interested to know the answer to the above question for the constructible bounded derived category on complex analytic or complex algebraic manifolds (or some other context). A reference ...

**6**

votes

**1**answer

156 views

### Sections of the conormal bundle

Let $X\subset\mathbb{P}^N$ be a quadratic manifold. That is $I(X)$ is generated by quadratic polynomials $Q_1,...,Q_m$.
Let $\mathcal{I}_X$ be the ideal sheaf of $X$ and ...

**3**

votes

**2**answers

339 views

### Application of sheaves theory in ring theory

Is there any text that gives some applications of sheaves theory in commutative ring theory? In the other word, is any results in commutative ring theory that be verified by sheaves method?

**5**

votes

**1**answer

200 views

### Birational Invariants

Let $X$ be a smooth rational variety of dimension $n$. We have $\dim H^0(X,\Omega_X^p) = \dim H^0(\mathbb{P}^n,\Omega_{\mathbb{P}^n}^p)$ for any $p$. These are Hodge numbers. I know that we can not ...

**2**

votes

**2**answers

281 views

### H. Cartan's “Variétés analytiques complexes et cohomologie”?

Does anyone know where I might find an online version (for free or purchase, translated or in french) of this paper by Henri Cartan from 1953? I know it was published in Colloque sur les fonctions de ...

**2**

votes

**1**answer

94 views

### Sections of a sheaf of differentials on a weighted complete intersection

Let $X\subset\mathbb{P}(a_0,...,a_N)$ be a smooth $n$-dimensional weighted complete intersection in a weighted projective space $\mathbb{P}(a_0,...,a_N)$.
Is it true that if $q\geq 1$ then ...

**4**

votes

**0**answers

133 views

### Proper base change for non-quasicoherent sheaves

For a proper flat map $f: X \to Y$ (of reasonable schemes) and a closed embedding $i: Y' \to Y$, we know by EGA the base change quasi-isomorphism, where $f'$ and $i'$ are the pullbacks of $f$ and $i$:
...

**4**

votes

**0**answers

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

**3**

votes

**1**answer

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

**11**

votes

**1**answer

299 views

### Hodge to de Rham spectal sequence with twisted coefficients

Let $M$ be a smooth compact Kahler manifold and let $\mathcal{F}$ be a local system on $M$.
Question 1: I assume that there exists a twisted Hodge to de Rham spectral sequence converging to ...

**7**

votes

**1**answer

334 views

### Local cohomology groups and linearity

I am reading local cohomology and am confused on a silly point. Let $U$ be an affine, non-singular variety and $Z \subset U$ a hypersurface section on $U$ (i.e., complete intersection in $U$ of ...

**5**

votes

**1**answer

79 views

### Injective model structure on sheaves of bounded complexes of $A$-modules

The following might be very well known for people who works with model categories, but I do not find the answer.
Let $A$-be a ring. Denote $\mathbf{Ch}_+(A)$ the category of positive degree cochain ...

**3**

votes

**2**answers

154 views

### Vanishing of sheaf cohomology with compact support

Let $X$ be a smooth manifold. Let $F$ be a sheaf of $\mathbb{R}$-vector spaces on $X$. I have three closely related questions.
1) Under what sufficient conditions on $F$ for any compact subset ...

**1**

vote

**0**answers

128 views

### Importance and intuition of global sections in sheaf cohomology

I am trying to understand why global sections of a sheaf are "important" or interesting objects of study. Perhaps I have too weak of a background to appreciate it (and that is certainly an acceptable ...

**6**

votes

**1**answer

191 views

### Do general sheaves on P^2 have cohomology governed by their Euler characteristic?

Suppose $\xi$ is chern character on $\mathbb P^2$. Then there is a moduli space $M(\xi)$ of semistable sheaves of chern character $\xi$.
If $\xi$ has Euler characteristic 0, then apparently there is ...

**3**

votes

**0**answers

68 views

### $H^{1}(C, N_{C/X}(-m)) = 0$, for $C$ a irreducible curve on $X$ through $m$ general points

I was reading A. de Jong and J. Starr's paper "Low degree complete intersections are rationally simply connected", which can be found at http://www.math.stonybrook.edu/~jstarr/papers/nk1006g.pdf, and ...

**1**

vote

**0**answers

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

**8**

votes

**4**answers

861 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

50 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

55 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

94 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

134 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

124 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

144 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

203 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

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

**4**

votes

**2**answers

271 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

257 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

127 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

372 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

306 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

166 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

134 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

106 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

112 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

631 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

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

**17**

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

217 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

377 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

151 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

138 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

203 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

64 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

443 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

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

**1**

vote

**3**answers

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

**6**

votes

**1**answer

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