# Questions tagged [sheaf-cohomology]

The sheaf-cohomology tag has no usage guidance.

293
questions

**2**

votes

**0**answers

78 views

### Cohomology with coefficient in sheaf of morphisms of an algebraic group

Let $G$ be an affine algebraic group over ${\mathbb C}$. We denote the sheaf of morphisms from ${\mathbb A}^1$ to $G$ by $\bf G$. Then $H^1({\mathbb A}^1,\bf G)=0$ (Cech cohomlogy). Is this fact true? ...

**2**

votes

**0**answers

107 views

### Link of local cohomology groups via morphism of topological spaces

Let $f:X \rightarrow Y$ be a continuous morphism of topological spaces, $Z \subset Y$ a (locally) closed subset and $\mathcal{E}$ an abelian sheaf on $Y$.
Is there a link between the local cohomology ...

**2**

votes

**2**answers

207 views

### Extensions for a short exact sequence on Grassmannians

$\DeclareMathOperator\Sym{Sym}\DeclareMathOperator\Ext{Ext}$Let us consider a $n$-dimensional complex vector space $V$ and denote by $G(k,n)$ the Grassmannian of $k$-planes in $V$. We use the ...

**0**

votes

**0**answers

74 views

### Extension of short exact sequence on orthogonal Grassmannians

We work over $\mathbb C$. Let $X=OG(k,V)$ be the orthogonal Grassmannian parametrizing the $k$-dimensional subspaces of $V$, isotropic with respect to a non-degenerate bilinear symmetric form $q$.
As ...

**1**

vote

**0**answers

104 views

### Base change of cohomology when the cohomology is a torsion

Let $(R,m,k)$ be a discrete valuation ring, where $k=R/m$. Let $X\rightarrow \mathrm{Spec}R$ be a projective, integral and flat $R$-scheme. Let $\mathscr F$ be a coherent sheaf such that $H^i(X,\...

**1**

vote

**2**answers

186 views

### Pushforward of structure sheaf along a torsor for a finite group

Let $\pi : P \to X$ be a torsor for a discrete, finite group $G$ of size $\#G = N$ on a scheme $X$. I want to compare $\pi_* \mathcal O_P$ with $\mathcal{O}_X$. Locally but not globally, $\pi_* \...

**5**

votes

**1**answer

217 views

### First cohomology of tangent sheaf of rational curve

Let $C$ be a reduced, connected, projective and purely one-dimensional scheme of finite type over a field $k$.
Suppose that $C$ is rational, i.e. that the normalisation of $C$ is a disjoint union of ...

**6**

votes

**0**answers

92 views

### Cech cohomology on product covers & Fréchet sheaves

My question is about the paper [Ka67].
Let $S, T$ be sheaves of nuclear Fréchet spaces over paracompact topological spaces $X, Y$, respectively; in particular, if $V \subset U$ are open subsets in $X$,...

**2**

votes

**0**answers

39 views

### Canonical coresolutions of cosheaves

Let $M$ be a sufficiently nice topological space (e.g. smooth manifold).
Recall that a (pre-)cosheaf in a category $\mathcal{C}$ over a topological space $M$ is essentially a $\mathcal{C}^\mathrm{op}$-...

**5**

votes

**1**answer

269 views

### First Chern class of torsion sheaves

Let $X$ be a smooth projective variety, $\mathscr T$ a torsion sheaf with irreducible support of codimension $1$, say $Z$. Then the first Chern class $c_1(\mathscr T)$ is of form $r[Z]$. Is there ...

**3**

votes

**0**answers

65 views

### Poincare polynomials for Borel Moore homology and fibrations

For an algebraic variety $X$ over $\mathbb{C}$, we denote $H_k(X)$ as its Borel-Moore homology of degree $k$. Let us define the Poincare polynomial associated it by
$$P(X)=\sum_{k\in \mathbb{N}}dim ...

**1**

vote

**0**answers

112 views

### understanding higher direct images of $\mathbb{G}_m$ for a finite Galois map

Let $X$ be a smooth quasi-projective variety over $\mathbb{C}$, and let $\mu_r$ denote the group of $r$-th roots of unity, and moreover suppose $\mu_r$ (algebraically) acts on $X$ freely. Then $Y:= X/\...

**2**

votes

**0**answers

78 views

### $\bigoplus_{k=0}^{\infty}H^n(X,I^k\mathcal{F})$ is a finitely-generated $\bigoplus_{k=0}^nI^k-$graded module

Does anyone know where I can find a proof of the following result ?
Given a Noetherian ring $A$, a proper morphism of schemes $X\rightarrow \operatorname{Spec}A$, a coherent $O_X-$module $\mathcal{F}$ ...

**5**

votes

**1**answer

203 views

### Cohomology of divisors on Hirzebruch surfaces

Consider the Hirzebruch surface $\mathbb{F}_n = \mathbb{P}(\mathcal{O}_{\mathbb{P}^1}\oplus \mathcal{O}_{\mathbb{P}^1}(n))\rightarrow\mathbb{P}^1$. The Picard group of $\mathbb{F}_n$ is generated by ...

**6**

votes

**1**answer

227 views

### Topology on cohomology of a sheaf of topological groups

Let $X$ be a topological space and $\mathcal{F}$ be a sheaf of commutative topological groups on $X$. I am interested in the following question:
Is there a natural way to introduce topology on $H^i(X,...

**2**

votes

**0**answers

98 views

### The cohomology groups corresponding to a modified global sections functor

Let $\mathcal{F}$ be a sheaf on the big etale site of $Sm_k$. I am looking for a way to calculate a modified version of sheaf cohomology. Let $X$ be a smooth scheme and $Z$ a closed sub-scheme. After ...

**1**

vote

**0**answers

63 views

### Continuity of motivic cohomology under direct limit

Given the motivic complexes $\mathbb{Z}(n)$ on the big Zariski site of finite type smooth $k$-schemes denoted by $FinSm_k$, we pullback it to the smooth $k$-schemes i.e. $Sm_k$. For example for a ...

**1**

vote

**0**answers

134 views

### Künneth formula for local cohomology with support

In "Differential operators on the flag varieties" (http://www.numdam.org/article/AST_1981__87-88__43_0.pdf) by Brylinski, he uses on page 53 a Künneth formula for local cohomology with ...

**8**

votes

**2**answers

392 views

### Divisors whose restriction is big

Let $f:X\rightarrow Y$ be a flat morphism of smooth projective varieties, and $\mathcal{L}$ an effective and ample line bundle on $Y$. For a divisor $A\in H^0(Y,\mathcal{L})$ set $X_A := f^{-1}(A)$.
...

**2**

votes

**1**answer

141 views

### Higher direct image with compact support of a constant sheaf

Let $f: X \to Y$ be a locally trivial fibration between locally compact spaces with fiber $F$. It is well known that for a constant sheaf $A_X$ on $X$, the higher direct images $R^n f_* A_X$ are ...

**7**

votes

**2**answers

395 views

### Global sections of multiples of a divisor

Let $D$ be an integral divisor on a smooth projective variety $X$. Consider the multiples $mD$ of $D$ for $m\geq 0$. Clearly, $h^0(X,mD) = 1$ for $m = 0$.
Is there any example where $h^0(X,mD) = 0$ ...

**6**

votes

**1**answer

175 views

### Extending $G$-torsors on open subsets of affine space

Let $k$ be a characteristic zero field, $V \subset \mathbb{A}^n_k$ an open subscheme, $G$ a split reductive group over $k$ and $T$ a $G$-torsor over $V$ (in the etale, equivalently fppf topology). ...

**7**

votes

**1**answer

1k views

### Cohomology of Grothendieck topology

My naïve cartoon picture of the construction of étale cohomology is this:
start with a scheme, associate to it a Grothendieck topology (making a site).
A functor from the Grothendieck topology to ...

**6**

votes

**2**answers

463 views

### Geometric meaning of coherent sheaves $\mathcal{F} \otimes \mathcal{O}_{\mathbb{P}^n}(d)$ over $\mathbb{P}^n$

Maybe it sounds like a silly question but I'm not able to figure out in my head the geometric meaning of "twisting" vector bundles (or more generaly coherent sheaf) over $\mathbb{P}^n$.
I ...

**5**

votes

**0**answers

326 views

### Intuition behind exceptional inverse image?

The story is probably well-known: given a map $f:X\to Y$ of spaces (say schemes, but there are many other contexts), we have two classical operations between sheaves on $X$ and those on $Y$: the ...

**2**

votes

**0**answers

234 views

### Etale cohomology of a nodal (cuspidal) curve

Let $k$ be a separably closed field, and $X/k$ be a curve (not necessarily complete) with a single singularity, a simple node $x$. Suppose $\ell$ is a prime number invertible in $k$, how do we compute ...

**2**

votes

**0**answers

138 views

### Higher cohomology of projective bundles

Let $C$ be a curve and $L$ be a line bundle with sufficiently large degree. Let $C_p$ denote the $p$-th symmetric product of $C$, which consists of all the effective divisors of degree $p$ on $C$. Let ...

**4**

votes

**1**answer

187 views

### Removing Noetherian condition from cohomology and base change

This question is related to a question I asked a few days ago. Since there seems to be no (at least for me) satisfying reference for cohomology and base change as stated by Vakil in his script in ...

**6**

votes

**1**answer

319 views

### Cohomology and base change without Noetherian assumption

In the "The Rising Sea" by Vakil one can find the base change theorem for proper morphisms over a locally Noetherian base (28.1.6). He later indicates (28.2.M) how one could exchange the ...

**1**

vote

**0**answers

242 views

### fppf/ etale Cohomology calculate with Cech cohomology

Let $R$ be a commutative ring with one and $S$ commutative faithfully flat $R$-algebra (that is there is a faithfully flat ring map
let $\phi: R \to S$). Then the so called Amitsur complex
$R \to S^{\...

**6**

votes

**2**answers

326 views

### Representability of flat cohomology by a group scheme

In his paper "Supersingular K3 surfaces", Artin states the following theorem (Theorem 3.1) without proof:
Let $\pi:X \to S = \mathrm{Spec}(k)$ be a smooth proper surface with $k$ an ...

**3**

votes

**2**answers

293 views

### Extension between vector bundles inducing non-zero map on cohomology

Let $X$ be a projective variety over a field $k$ equipped with a very ample line bundle $\mathcal{O}_X(1)$. Suppose that $E, F$ are locally free sheaves of finite rank on $X$ and $c\in \mathrm{Ext}^i(...

**5**

votes

**2**answers

510 views

### Reference request: Kleiman's proof of Snapper's Lemma

On page 4 of Nitin Nitsure's paper Construction of Hilbert and Quot Schemes, the author refers to the fact that Hilbert polynomials are indeed polynomials as
a special case of Snapper's Lemma, see &...

**3**

votes

**1**answer

214 views

### $H^1(X, GL(n, \mathcal{O}_X))$ and Vector Bundles

Let $X$ be a nice space: a manifold, a variety over a field, or so on. We know that line bundles on $X$ up to isomorphisms are given by $H^1(X,\mathcal{O}_X^*)$.
Can it be generalized to higher rankal ...

**3**

votes

**1**answer

213 views

### Automorphisms of Frobenius liftings and degeneration of the Hodge-de Rham spectral sequence

I am still studying Deligne and Illusie's paper (https://eudml.org/doc/143480), and I am again stuck, this time on pages 262/263.
Assume $X\longrightarrow S$ is a smooth morphism of $\mathbb{F}_{p}$-...

**3**

votes

**1**answer

224 views

### Degeneration of Hodge-de Rham spectral sequence, exactness of a pairing and the trace morphism

If $X\longrightarrow S$, where $S=\operatorname{Spec}(k)$, is a proper smooth morphism of dimension $p$ between $\mathbb{F}_{p}$ schemes with Frobenius $F$, then there is an exact pairing $\wedge:\...

**5**

votes

**1**answer

229 views

### Elementary proof of the exactness of Čech complex associated to a hypercovering ("Illusie's Conjecture")

Let $\mathcal{E}$ be a sheaf of abelian groups on a topological space (or a site). For an open covering $\mathfrak{U} = (U_i)_i$, it is well known that the augmented Čech complex $0 \to \mathcal{E} \...

**3**

votes

**0**answers

137 views

### Sheaf cohomology of Grassmannian G(2,4) with values in twisted tautological bundles over an arbitrary field

Let k be an arbitrary field. Let $G(2,4)_k$ be the Grassmannian of 2-planes in 4-space over that field. Let $\mathcal{E}$ be the tautological quotient bundle on the Grassmannian. I am trying to ...

**13**

votes

**0**answers

522 views

### Is there a concrete application of topos theory?

The notion of topos was originally formulated in SGA 4 in the context of attacking the Weil conjectures. This formalism turned out to be unnecessary for the purposes of proving those conjectures. But ...

**2**

votes

**1**answer

215 views

### Help about "Varieties with small Dual Varieties" by L.Ein

I'm studying the paper "Varieties with small Dual Varieties" by L.Ein and in the construction he gives about the $10-$dimensional spinor variety $S_4 \subset \mathbb{P}^{15}$ I'm finding ...

**5**

votes

**1**answer

146 views

### Cohomology of doubly pinched torus via spectral sequences

Let $f:T^2\to Y$ be a resolution of singularities where $Y$ is a torus with two "pinched" points (or, if you prefer, two copies of $\mathbb{P}^1$ meeting at two points). I'm interested in ...

**3**

votes

**0**answers

243 views

### Spectral sequence from resolution of condensed abelian groups

I am watching Scholze's and Clausen's masterclass on Condensed Mathematics and I don't understand or can find any references on something they said.
You have a resolution
$$ \dots \to \mathbb{Z}[\...

**1**

vote

**1**answer

260 views

### Relationship between $H^1(X, \mathbb{T})$ and complex line bundles

Let $X$ be a compact metric space and consider the sheaf cohomology group $H^1(X, \mathbb{T})$. From a class in $H^1(X, \mathbb{T})$, I can get a principal $\mathbb{T}$-bundle over $X$ and from this, ...

**3**

votes

**0**answers

351 views

### Sheaf cohomology on the formal completion of $\mathbb{P}^1_k$ at its north pole

Let $k$ be a field and let $\mathbb{P}^1_k$ be the projective line over $k$. Let $\mathcal{F}$ be a coherent sheaf on $\mathbb{P}^1_k$. The curve $\mathbb{P}^1_k$ is recovered by the two affine ...

**0**

votes

**0**answers

175 views

### Dimension of global holomorphic sections of a line bundle

Let $K$ be the canonical line bundle of a compact Riemann surface $M$ of genus $g$. Consider the pull back of $K$ on $M \times M$ via projection on the first factor. What is the dimension of the space ...

**3**

votes

**0**answers

219 views

### Elementary reference for Borel-Moore/locally finite homology

There is a homology theory called "Borel-Moore" or "locally finite" homology, which can either be constructed by using locally-finite chains or by more advanced sheaf-theoretic ...

**1**

vote

**0**answers

69 views

### $L^r_M = i_* \circ \hat{L}^{r-1}_M \circ i^*$ by the projection formula and the Poincare duality

This is a question arising when I am reading
M. A. A. de Cataldo, L. Migliorini - The Hard Lefschetz Theorem and the topology of semismall maps, Ann. sci. École Norm. Sup., Serie 4 35 (2002) 759-772.
...

**1**

vote

**0**answers

114 views

### Sections of the structure sheaf of a partial flag variety on big cell

Let $G$ be a connected split reductive group over a (non-archimedean) field $K$ of char 0 with split maximal torus $T$ and a standard parabolic $P$. Denote by $W$ the Weyl group of $G$ and by $W_P$ ...

**4**

votes

**0**answers

164 views

### Continuity property for Čech cohomology

Suppose we have an inverse system of compact Hausdorff spaces $\lbrace X_i , \varphi_{ij} \rbrace_{i\in I}$ and that each space has a presheaf $\Gamma_i$ assigned to it in such a way that $\Gamma_i(\...

**2**

votes

**0**answers

114 views

### Are flasque sheaves exactly the retracts of "canonically" flasque sheaves?

Let $X$ be a topological space. Let $X^\delta$ denote the space whose elements are the points of $X$, and which is equipped with the discrete topology. There is a continuous map $i : X^\delta\to X$ ...