# Questions tagged [sheaf-cohomology]

The sheaf-cohomology tag has no usage guidance.

216
questions

**7**

votes

**0**answers

96 views

### Global functions on a product of schemes over artinian ring

For a morphism of schemes $f:X\to S$ with $S=\text{Spec}(R)$ affine, let's write $A(X)=H^0(X,\mathcal{O}_X)$. I'm interested in the morphism of $R$-algebras
$$
c:A(X)\otimes_R A(Y)\to A(X\times_SY)
$$
...

**3**

votes

**0**answers

136 views

### Sheaf cohomology of the complement of a schubert variety

Let $k$ be a field, $d,n \in \mathbb{N}$ and denote by $Gr(d,n)$ the Grassmannian, which parameterizes the $d$-dimensional linear subspaces of $n$-dimensional $k$-vector space, considered as a ...

**10**

votes

**3**answers

691 views

### How to compute the cohomology of a local system?

Suppose we have a reasonable topological space $X$ (i.e. a complex algebraic variety or a manifold) whose integral singular cohomology and fundamental group we understand well.
Suppose that we are ...

**2**

votes

**1**answer

137 views

### Pushforward in Compactly Supported Cohomology

Suppose $X,Y$ are locally compact Hausdorff spaces and $f:X\to Y$ is a topological submersion of relative dimension $n$. By this we mean that for all points $x\in X$, there exists an open neighborhood ...

**5**

votes

**0**answers

147 views

### Does the sheaf $\mathcal{O}^*$ on a complex manifold have an acyclic cover?

Let $X$ be a complex manifold and let $\mathcal{O}^*$ be the sheaf nonvanishing holomorphic functions on it. Does it have an acyclic cover? That is, a cover for which all open sets and all ...

**1**

vote

**1**answer

199 views

### Multiplicative structure for sheaf cohomology of flag varieties

Let $F,F'$ be two locally free sheaves on a smooth complex algebraic variety. There is a cup-product $H^i(X, F) \otimes H^j(X,F') \to H^{i+j}(X,F \otimes F')$. In particular if $F$ is the sheaf of ...

**7**

votes

**1**answer

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

**5**

votes

**0**answers

151 views

### Coherent cohomological dimension and affine morphisms

For simplicity, all varieties in this question are quasiprojective varieties over an algebraically closed field of characteristic $0$.
The coherent cohomological dimension $cd(X)$ of a variety $X$ is ...

**4**

votes

**1**answer

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

**1**

vote

**0**answers

149 views

### What is the smallest number $d$ such that $H^1(X,\pi^*\mathcal{O}_{\mathbb{P}_k^1}(d))$ vanishes?

Let $X$ be a reduced projective scheme of pure dimension 1 over the field $k$. Let $\pi: X \to \mathbb{P}_k^1$ be a finite, flat and surjective morphism onto the projective line.
What is the ...

**4**

votes

**0**answers

206 views

### Exact sequence in example in Grothendieck's Tohoku paper resulting from the Cech-to-derived-functor spectral sequence

Grothendieck gives in his Tohoku paper in example 3.8.3 an example for that $\check{\mathrm{H}}^{2}(X,\mathcal{F}) \neq \mathrm{H}^{2}(X,\mathcal{F})$.
In the beginning he states that there exisits ...

**4**

votes

**0**answers

90 views

### Formal character of local cohomology groups with support in Schubert cells

Let $k$ be a field of characteristic zero, $G$ a connected semi-simple algebraic group over $k$ and $B$ a fixed Borel subgroup of $G$ with maximal torus $T$. Also denote by $W$ the Weyl-group of $G$. ...

**1**

vote

**0**answers

92 views

### Iitaka dimension of a $\mathbb{Q}$-Cartier Prime divisor

Let $X$ be a normal projective variety and $D$ a prime divisor such that $mD$ is Cartier for some integer $m>0$.
Suppose $H^1(X,\mathcal{O}_X)=0$ and $mD|_D\sim 0$.
My questions are the following:
...

**1**

vote

**0**answers

146 views

### Compute $H^i(S,\underline{\text{Hom}}(A,\mathbb G_m))$ for a semi-abelian scheme $A$

How can I compute $H^i(S,\underline{\text{Hom}}(A,\mathbb G_m))$ (where $A$ denotes a semi-abelian scheme over $S$, $\mathbb G_m$ denotes the multiplicative group over $S$ and $\underline{\text{Hom}}$ ...

**6**

votes

**1**answer

151 views

### When is derived category of ringed space perfectly generated?

Let $(X,\mathcal{O})$ be a ringed space. Also assume that $X$ is nice, e.g. locally compact, Hausdorff, some type of finite dimension, ...
We can then consider $\mathcal{D}(\mathcal{O}\text{-}Mod)$. ...

**1**

vote

**0**answers

106 views

### Cohomological criterion for being projectively normal

Let $X$ be a smooth projective variety over some algebraically closed field $K$ and let $\mathcal{L}$ be a line bundle that is generated by global sections. I want to know whether the ring $\sum_{n\in\...

**3**

votes

**2**answers

252 views

### Obstructions to abelian sheaf being quasi-coherent

Let $X$ be a Noetherian spectral topological space. A necessary condition for an abelian sheaf on $X$ to be quasi-coherent with respect to some affine scheme structure on $X$ is that its higher ...

**1**

vote

**0**answers

173 views

### Cohomology of the pullback of a coherent sheaf (considered as an abelian sheaf)

Let $X$ be an affine Noetherian scheme, $Y$ a separated Noetherian scheme, $f:X\rightarrow Y$ a morphism of schemes inducing a homeomorphism on the underlying topological spaces.
Let $F$ be a ...

**1**

vote

**0**answers

56 views

### Identities for beta functions and twisted cohomology

This is a question about notation, I apologize if it is too basic. In the paper
Cho, Koji; Matsumoto, Keiji, Intersection theory for twisted cohomologies and twisted Riemann’s period relations. I, ...

**1**

vote

**0**answers

72 views

### Sections of nodal curves

We work over an algebraically closed field. Suppose $X\subset \mathbf{P}^n$ is an integral projective curve and $\pi:X\to Y$ is a linear projection that identifies two distinct points $p,q\in X$ to a ...

**-2**

votes

**1**answer

118 views

### Flat cohomology and finite direct sum

Let $X$ be a scheme (we can assume $X$ is smooth over a field $k$). Let $\mathcal F_1$ and $\mathcal F_2$ be two sheaves of abelian groups on $X$.
Is it always true that $H^i_{\text{flat}}(X, \...

**6**

votes

**1**answer

483 views

### Poincare duality on the level of complexes

The classical Poincare duality is formulated in terms of cohomology groups. I am wondering if we can also formulate it in terms of complexes.
In particular, suppose $\mathcal{C}^*$ is a complex of $...

**3**

votes

**1**answer

298 views

### Cohomology of tangent sheaf of a hypersurface

Let $X\subset\mathbb{P}^n$ be an irreducible and reduced hypersurface of degree $d$. How can one explicitly compute the dimension of the vector spaces $H^0(X,T_X),H^1(X,T_X),H^2(X,T_X)$? Here $T_X$ is ...

**6**

votes

**0**answers

132 views

### Sheaves on Rectifiable Sets

Basic question: are there (co)homological or sheaf-based tools which might be useful in geometric measure theory?
Background: The jumping off point here is a simple analogy - geometric measure ...

**2**

votes

**0**answers

209 views

### Is there a by-hand prove that $\Gamma(\mathbb{C}P^n,E)$ is finite dimensional for a holomorphic vector bundle $E$?

Please let me know whether this question is suitable for Mathoverflow.
Let $E$ be a finite holomorphic vector bundle (or more generally a coherent analytic sheaf) on a compact complex manifold $X$. ...

**1**

vote

**0**answers

169 views

### Cohomology of constant sheaves

Let $X= spec(k)$ where $k$ is an algebraically closed field. Consider the constant sheaf $\mathbb{Z}$ on the fppf site of $X$. I'm interested in computing $H^1_{fppf}(X, \mathbb{Z})$. I know that $H^...

**2**

votes

**1**answer

117 views

### is the induced map of an embedding an Iso on Ext-groups?

I am sorry, but I am quite new to Ext groups of sheaves. However, I have a closed embedding of projective $\mathbb{C}$-schemes $\iota : X \hookrightarrow Y$ and was wondering if
$$\iota_*:\mathrm{Ext}^...

**1**

vote

**0**answers

100 views

### A sheaf for factorization

Let $R$ be a commutative ring with $1$ and let $X$ be the space of connected componens of $Spec (R) $ with Zariski topology ( The boolean spectrum of $R $ )and let for each $x\in X$ there exists a ...

**13**

votes

**1**answer

845 views

### Does every sheaf embed into a quasicoherent sheaf?

Question. Let $X$ be a scheme. Let $\mathcal{E}$ be a sheaf of $\mathcal{O}_X$-modules. Is there always a quasicoherent sheaf $\mathcal{E}'$ together with a monomorphism $\mathcal{E} \to \mathcal{E}'$?...

**1**

vote

**1**answer

286 views

### Computation of cohomology of ideal sheaves

Let $j: X \to Y$ be a closed embedding. Let $I_{X/Y}$ be the ideal sheaf of this closed embedding. Then there is a exact sequence
$$ I_{X/Y} \to \mathcal{O}_Y \to j_{*}\mathcal{O}_X \to 0$$
One use ...

**1**

vote

**1**answer

172 views

### What is the hypercohomology of the push-forward of the intersection chain complex of an open cone to its closure?

Let $X = \left(L \times [0, 1]\right) / \left(L \times \{0\}\right)$ be the closed cone over a closed smooth $d$-dimensional manifold $L^{d}$. Let $i \colon Y \hookrightarrow X$ denote the inclusion ...

**2**

votes

**0**answers

123 views

### Defineing a Sheaf of rings over a topological space

Let $X$ be a topological space and let $R$ be a commutative ring with $1$ such that for each $x\in X$ there exists a multiplicatively closed subset $S_x$ of $R$ such that for each $a\in R$ if $\frac{a}...

**3**

votes

**0**answers

93 views

### Semicontinuity of cohomology of torsion-free sheaves restricted to divisors

Let $X$ be a smooth projective variety, $\mathcal{E}$ a torsion-free coherent sheaf on $X$ and $\mathfrak{d}$ a linear system of divisors in $X$.
I would like to show (at least when $X$ is a surface) ...

**1**

vote

**1**answer

292 views

### Reformulation of Grothendieck vanishing theorem

Let $X$ be a smooth, projective variety, ${F}$ a quasi-coherent $\mathcal{O}_X$-module on $X$ supported on a closed subscheme, say $Z \subset X$. Is it true that $H^i(X,F)=0$ for all $i>\dim Z$?
...

**1**

vote

**1**answer

147 views

### Sheaf cohomology of a complement of finitely many points

Let $X$ be a smooth, projective surface in $\mathbb{P}^3$ and $p \subset X$ a closed point in $X$. How do I compute $H^1(\mathcal{O}_{X\backslash p})$?
Any reference/idea will be most welcome.

**1**

vote

**0**answers

72 views

### Thom-type isomorphism on sheaf cohomology

Let $X$ be a smooth, projective surface and $T$ a finite set of points in $X$ i.e., of codimension $2$ in $X$. Is it true that $H^i(\mathcal{O}_X)=H^i(\mathcal{O}_{X\backslash T})$ for $i \ge 1$?

**0**

votes

**1**answer

184 views

### Dual of a stable locally free subsheaf is a locally free quotient sheaf

Let $X$ be a compact connected Kähler manifold, of dimension $d\geq3$, with Hermitian metric $\omega$; let $E$ be a vector bundle on $X$ of rank $r\geq2$.
By [1] definition 1.2:
A line bundle $L$ ...

**5**

votes

**1**answer

233 views

### Naive question on local cohomology

Let $X$ be a smooth, projective variety and $Z_1, Z_2$ two smooth, projective subvarieties in $X$ of the same dimension. Let $E$ be a locally free sheaf on $X$. Recall, there are natural morphims:
$$...

**3**

votes

**0**answers

216 views

### What is the filtration in Leray's spectral sequence?

Leray's theory of spectral sequences considers a continuous map $f : X \to Y$ between topological spaces. The statement is that there exists a filtration
$$H^n(X,k) = F^0H^n(X,k) \supseteq ... \...

**1**

vote

**0**answers

57 views

### Continuous maps vs filtrations construction of the Leray spectral sequence

The Leray spectral sequence of a continuous map $f : X \to Y$ between two topological spaces can be constructed, as far as I understand, in two ways, one very general, and the other a bit more ...

**0**

votes

**1**answer

212 views

### Sheaf cohomology relative to a closed subspace

Let $i : A \hookrightarrow X$ be a closed subspace of a topological space $X$, and $j : Z := X \setminus A \hookrightarrow X$ denote its open complement. Given a sheaf $F$ of abelian groups on $X$, ...

**1**

vote

**1**answer

165 views

### Commutativity between functors on sheaves of abelian groups

I am trying to understand certain properties of sheaf theory, but I'm having trouble finding the notions to answer my questions. I'd be really glad if someone could help me with the following. Let $f :...

**1**

vote

**0**answers

174 views

### How to calculate : $ \mathrm{Hdg}^{ 2 \bullet } ( \mathcal{H}\mathrm{ilb} ( \mathbb{P}^n ),\mathbb{Q} ) $?

I try to calculate the rational cohomology algebra $ \mathrm{Hdg}^{ 2 \bullet } ( \mathcal{H}\mathrm{ilb} ( \mathbb{P}^n ),\mathbb{Q} ) = \displaystyle \bigoplus_{k=0}^{+ \infty} \mathrm{Hdg}^{ 2 k } (...

**3**

votes

**0**answers

105 views

### Convolution of sheaves on R

I am trying to understand a basic computation of convolution. Throughout, $R$ is the real line as a topological group and $k$ is some base field. I would like to understand the computation of the ...

**2**

votes

**1**answer

420 views

### sheaf cohomology and deRham cohomology of a stack

I am reading https://arxiv.org/pdf/math/0605694.pdf to understand about (hyper)cohomology groups of stack $\mathcal{X}$ with valued in a complex of abelian sheaves $\mathcal{M}$.
Let $\mathcal{F}$ be ...

**1**

vote

**0**answers

86 views

### maps between two Leray spectral sequences based on maps on cochain complexes

Let $f_1:X_1 \to Y_1$ and $f_2:X_2 \to Y_2$ be two continuous maps between topological spaces. I am trying to understand under what condition there could be a map relating the Leray spectral sequences ...

**2**

votes

**0**answers

122 views

### Maps between Leray spectral sequences

Let $f_1 : X_1 \to Y_1$ and $f_2 : X_2 \to Y_2$ be two continuous maps between topological spaces. Suppose that there exists a commutative diagram of singular cohomology groups (say with coefficients ...

**2**

votes

**1**answer

119 views

### Leray spectral sequence for continuous functions on pairs of topological spaces

Let $A \subset X$ and $B \subset Y$ be topological spaces, with $A$ and $B$ closed, and $f: X \to Y$ be a continuous functions such that $f(A) \subset B$.
The Leray spectral sequence (with complex ...

**4**

votes

**1**answer

268 views

### On the Leray spectral sequence and sheaf cohomology

I'm having trouble understanding the construction of the Leray spectral sequence for continuous maps (not necessarily fibrations). More precisely, given a continuous map $f : X \to Y$ between two ...

**3**

votes

**0**answers

78 views

### exact sequence of fundamental groups associated to “almost” smooth families of curves

Suppose I have a proper, flat family of curves $X \to S$ that has a section. Fix a basepoint $s \in S$ and let $X_s$ denote the corresponding fiber. Let $\mathbb{L}$ be a set of primes which does not ...