Skip to main content

All Questions

Filter by
Sorted by
Tagged with
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 ...
prochet's user avatar
  • 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 \...
PrimeRibeyeDeal's user avatar
2 votes
0 answers
56 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{...
PrimeRibeyeDeal's user avatar
5 votes
1 answer
582 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 ...
P. Grabowski's user avatar
2 votes
0 answers
405 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)...
user267839's user avatar
  • 5,966
1 vote
1 answer
166 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 $\...
Z Wu's user avatar
  • 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 ...
prochet's user avatar
  • 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 ...
manifold's user avatar
  • 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}$ ...
user267839's user avatar
  • 5,966
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 ...
user avatar
1 vote
0 answers
889 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 ...
user avatar
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 ...
prochet's user avatar
  • 3,472