Questions tagged [sheaf-cohomology]
The sheaf-cohomology tag has no usage guidance.
166 questions with no upvoted or accepted answers
1
vote
0
answers
101
views
How can one compute the cohomology of $i'^*C$, for $i':\mathbb{A}^{N-1}\setminus \{0\}\to \mathbb{A}^{N}\setminus \{0\} $?
For an (etale or 'topological', constructible bounded) complex of sheaves $C$ on $X'=\mathbb{A}^{N}\setminus \{0\} $, $i'$ being the embedding $\mathbb{A}^{N-1}\setminus \{0\}\to \mathbb{A}^{N}\...
- 16.9k
1
vote
0
answers
238
views
why is the local field Q_l not an etale sheaf over a scheme X?
I would like to know the reason why the local field Q_l is not an etale sheaf over a scheme X while its ring of integers Z_l can be regarded as a constant etale sheaf?
- 11
1
vote
0
answers
249
views
On inverse images with respect to Zariski-etale topology.
For a variety $X$ I define its Zariski-etale site as follows: the category is the category of etale $X$-schemes, and the coverings are Zariski ones. Note that this topology is more coarse than the ...
- 16.9k
0
votes
0
answers
116
views
How can I calculate $\chi(\mathscr{O}(P))$
Let be X a reduced and irreducible curve over a field $L_0$. Let $L$ an extension of $L_0$ and set
\begin{gather*}
\overline{X}=L \otimes X.
\end{gather*}
Assume $\overline{X}$ also irreducible. Now, ...
- 69
0
votes
0
answers
125
views
Serre duality for non-compact Riemann surfaces
Suppose $X$ is a Riemann surface. If $X$ is compact, then Serre duality tells us that we have an isomorphism in sheaf cohomology
$$ H^1(X,E) \cong H^0(X,\Omega\otimes E^\ast)^\ast $$
Can we say ...
- 518
0
votes
0
answers
57
views
Lifting of quadrics containing hyperplane section for projectively normal curves
Let $C \subset \mathbb{P}^r$ be a projective curve (over $k=\mathbb{C}$), smooth, irreducible and nondegenerate of degree $d$, ie the embedding line bundle $\mathcal{O}_C(1)=(\mathcal{O}_{\mathbb{P}^r}...
- 5,986
0
votes
0
answers
91
views
Why does the associated sheaf vanish?
I am learning local cohomology from Hartshorne’s book Local Cohomology.
My question is about understanding a line in the proof of proposition 1.11 in this book.
The set-up for proposition 1.11 is that ...
- 639
0
votes
0
answers
215
views
Singular cohomology to cohomology of quasi-coherent sheaf
Let $X$ be a projective nonsingular variety (integral Noetherian scheme of finite type that is proper over a field $k=\overline{k}$ such that $\Omega^1_X$ is locally free). Suppose one knows the ...
- 511
0
votes
0
answers
248
views
Is $\mathbb{C}^*$ not irreducible, or is every locally constant sheaf on $\mathbb{C}^*$ constant?
I am running into contradiction from the following set of definitions, propositions, and assumptions. Can anyone spot where I'm off?
Definition A sheaf $\mathcal{F}$ on a topological space $X$ is ...
- 511
0
votes
0
answers
308
views
Generalising the Mayer-Vietoris principle
My understanding of the general Mayer-Vietoris principle is as follows. We want to compute the cohomology of some sheaf $\mathscr{F}$. We start by taking a resolution $$\mathscr{F}_0 \rightarrow \...
user81684
0
votes
0
answers
191
views
First sheaf cohomology $H^1(\mathscr{O}_D, \mathbb{D})=0$
Given a finite divisor$$D=p_1+\dots +p_m -q_1 -\dots -q_n$$on the unit disk $\mathbb{D}$, does it necessarily follow that the first sheaf cohomology group equals zero, i.e.$$H^1(\mathscr{O}_D, \mathbb{...
user76513
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
0
votes
0
answers
276
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 topology....
- 23
0
votes
0
answers
239
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 $$\mathcal{H}^p(X,F)$...
- 401
0
votes
0
answers
1k
views
Global sections of twisting ideal sheaf of a smooth closed point on a projective space
Let $X = \mathbb{P}^n_k$ be a projective space over an algebraically closed field $k$ and $x$ be a closed point.
Given an integer $m$ and a positive integer $r$.
What are the global sections of $\...
- 1
0
votes
0
answers
186
views
Do infinitesimal neighbourhoods help to compute the inverse images of coherent sheaves?
Let $i:Z\to X$ be a closed embedding of (projective) varieties; $S$ is a coherent sheaf on $X$. How could one compute $H^*(Z,i^\ast S)$ (I don't know whether I should write $H^\ast (Z,i^{-1}S)$ ...
- 16.9k