Skip to main content

All Questions

Filter by
Sorted by
Tagged with
3 votes
0 answers
227 views

Is it possible to use the Cech complex to compute coherent cohomology in practice?

Suppose I have a closed subvariety $V$ of $\mathbb P^n \times \mathbb A^m$ given by explicit equations. Is it possible in practice to compute the coherent cohomology of $V$ with coefficients in a line ...
Yellow Pig's user avatar
  • 2,964
2 votes
0 answers
141 views

Computing the coherent cohomology of a quasiprojective variety

I have a quasiprojective variety given by some explicit quations. How do I compute its coherent cohomology (with coefficients in the structure sheaf)? Do I use the Cech complex for an open affine ...
Yellow Pig's user avatar
  • 2,964
1 vote
0 answers
98 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? ...
piper1967's user avatar
  • 1,177
5 votes
1 answer
478 views

About an argument in Olsson's book

The following picture is from Algebraic spaces and stacks (p.54) by Martin Olsson. I don't understand how to conclude that $\alpha$ is induced by a nonzero class in the end. It seems that there might ...
Lao-tzu's user avatar
  • 1,906
3 votes
0 answers
446 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 ...
Stabilo's user avatar
  • 1,479
1 vote
0 answers
160 views

Can morphisms of Mayer-Vietoris triangles be completed into a $3\times 3$ square?

Let $(X,\mathcal{O}_X)$ be a topological ringed space and $(U,V)$ be an open covering of $X$ (i.e. $U$ and $V$ are two open subsets of $X$ such that $U\cup V=X$). Let $\mathcal{F}$ and $\mathcal{F}'$ ...
Stabilo's user avatar
  • 1,479
6 votes
1 answer
757 views

The Yoneda pairing, hypercohomology, and cup product

Let $\mathcal{F}$ and $\mathcal{G}$ be coherent analytic sheaves on $\mathbb{P}^n$. Let $\mathcal{F}_\bullet$ be a locally free resolution of $\mathcal{F}$. In Principles of Algebraic Geometry by ...
Svinto's user avatar
  • 294
0 votes
1 answer
301 views

Naive question in Cech cohomology

Let $X$ be a smooth, projective variety and $F$ a coherent sheaf on $X$. Let $\{U_i\}_{i \in I}$ be an open affine covering of $X$ and $\{f_{ij}\}_{i<j}$ with $f_{ij} \in \Gamma(U_{ij},F)$ ...
Jana's user avatar
  • 2,022
3 votes
1 answer
356 views

Étale hypercohomology of complexes

Let $K^{\bullet}$ be a bounded complex of abelian étale sheaves on a quasi-compact and quasi-separated scheme $X$. For any étale cover $\mathcal{U} :=\{ U_i\to X\}_{i\in I}$, can we find a refinement ...
user avatar
32 votes
2 answers
2k views

Etale cohomology can not be computed by Cech

It can be proven that if in a quasicompact scheme $X$ any finite subset is contained in an affine open subset then for any sheaf $\mathcal{F}$ on $X$ its Cech cohomology $\hat{H_{et}^{\bullet}}(X,\...
SashaP's user avatar
  • 7,367
1 vote
0 answers
236 views

Canonicity of Čech cohomology

For a topological space $X$, consider the Leray covering $U_\lambda$ (i.e. $\cap U_\lambda$ is sufficiently fine, e.g. affine for Zariski topology) of $X$. For a sheaf $F$ on $X,$ the cohomology $H^...
Pierre MATSUMI's user avatar
2 votes
0 answers
517 views

An example where Čech and derived functor cohomologies don't agree. [duplicate]

Possible Duplicate: Example Wanted: When Does Cech Cohomology Fail to be the same as Derived Functor Cohomology? Is there a simple example of a topological space $X$ with a sheaf $\mathcal F$ ...
user31624's user avatar