All Questions
Tagged with schemes sheaf-cohomology
12 questions
4
votes
1
answer
445
views
Exact functor in syntomic cohomology
By Tag 04C4 of the Stacks Project, for $f:X\rightarrow Y$ a closed immersion of schemes, the pushforward $f_*$ is exact for abelian sheaves on the big syntomic site.
Is it also true for a finite flat ...
- 3,472
3
votes
0
answers
122
views
Is the cohomology $H^1(X, \mathcal{E}^\nabla)$ trivial, for the sheaf of constants of an algebraic connection $\nabla$?
Suppose that $\pi:X\to S$ is a flat morphism between Noetherian, integral schemes (of characteristic zero, if need be).
Let $\mathcal{E}$ be a locally free sheaf on $X$, and
$$\nabla:\mathcal{E} \to \...
- 1,338
2
votes
0
answers
55
views
Conditions for long exact sequence for line bundles on curve to degenerate?
Let $\varphi:X\to Y$ be a morphism of schemes of relative dimension 1, and $\mathcal{L}' \xrightarrow{g} \mathcal{L}$ an injection of line bundles on $X$.
The sequence
$$0\to \mathcal{L}' \xrightarrow{...
- 1,338
5
votes
1
answer
580
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 ...
- 485
2
votes
0
answers
403
views
Cohomology of a family of twisted cubic curves (Hartshorne III, 12.9.2)
I'm trying to understand following Example in Hartshorne (Chapter III, Example 9.8.2
& Example 12.9.2):
Let $X_1 \subset \mathbb{P}^{3}$ be a twisted cubic curve not containing the point
$(0:...:1)...
- 6,028
1
vote
1
answer
165
views
Does a morphism of etale sheaves restricting to a closed subscheme $Z$ induce a morphism of their subsheaves of sections supported on $Z$?
Let $X$ be a locally Noetherian scheme and $i:Z\to X$ be an immersion of closed subschemes.
Let $\mathcal{F},\mathcal{G}$ be two etale abelian sheaves over $X_{et}$.
We can define the subsheaf $\...
- 452
1
vote
0
answers
56
views
local acyclicity when restricting to an hypersurface
Let $X$ be a smooth scheme over $\mathbb{C}$ and a constructible sheaf $K$ of complex vector spaces on $X\times\mathbb{A}^1$ and a function $g:X\rightarrow \mathbb{A}^1$.
Suppose that $K$ is locally ...
- 3,472
1
vote
1
answer
1k
views
Injectivity of the cohomology map associated to the pullback of line bundles
Let $f:X\to Y$ be a flat, surjective, smooth morphism between smooth algebraic varieties (over $\mathbb C$). We assume that $f$ has relative dimension $n$ and we assume also that $\dim Y\ge 2$ (just ...
- 321
1
vote
1
answer
2k
views
Pullback map on global sections surjective
Let $X,Y$ be two irreducible, projective $k$-schemes. $k$ is assumed to be algeraically closed. Consider a dominant morphism $f: X \to Y$ between them which is not an isomorphism!
Let $\mathcal{L}$ ...
- 6,028
5
votes
2
answers
382
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 ...
user137767
1
vote
0
answers
888
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 ...
user137767
0
votes
0
answers
188
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 ...
- 3,472