Questions tagged [cech-cohomology]

The tag has no usage guidance.

Filter by
Sorted by
Tagged with
1 vote
0 answers
82 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? ...
user avatar
  • 931
4 votes
1 answer
354 views

Relationship between Dolbeault and de Rham cohomology on Riemann surface

A lecturer of mine once ``proved'' the existence of non-constant meromorphic functions on a compact Riemann surface $X$ by using analysis of the Laplacian to decompose the de Rham cohomology group as $...
user avatar
4 votes
0 answers
133 views

When is Cech cohomology with compact support isomorphic to Singular cohomology with compact support?

This is a specific question regarding the understanding of a section of a paper. Having never posted here before I'm not sure that this is the right forum for this sort of question, but I hope someone ...
user avatar
  • 41
5 votes
1 answer
418 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 ...
user avatar
  • 1,614
3 votes
0 answers
113 views

On the construction of principal $S^1$-bundles with prescribed characteristic form

I am trying to understand an argument made by Kobayashi (https://projecteuclid.org/download/pdf_1/euclid.tmj/1178245006, page 35) in his construction of a principal $S^1$-bundle with connection $1$-...
user avatar
  • 1,157
3 votes
0 answers
360 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 ...
user avatar
  • 1,325
5 votes
1 answer
204 views

Finding the right map between cohomology with local coefficients and Čech cohomology

Let $X$ be a space which is paracompact, Hausdorff, and sufficiently nice that it has a universal covering space (and map) $p:\tilde{X}\to X$. Also, let $\pi:=\pi_1(X)$ and $A$ some $\mathbb{Z}[\pi]$-...
user avatar
  • 255
5 votes
0 answers
211 views

Čech nerve $C(U)$ corresponds to $BG$ in same manner as a hypercover $\mathcal{H}(U)$ to

We can via the bar construction canonically associate to a monoid $A$ the nerve $N(B A)$, a simplicial set with $N(\mathbf{B}A)_k := \times^{k+1} A $ and canonical face maps and degeneracy maps ...
user avatar
  • 1,015
7 votes
0 answers
242 views

Triviality of holomorphic vector bundles over $\mathbb{C}$

Let $E\longrightarrow\mathbb{C}$ be a holomorphic vector bundle. I found two proofs that $E$ is trivial: one follows from Oka-Grauer principle (Theorem 5.3.1 in F. Forstneric, Stein Manifolds and ...
user avatar
  • 71
5 votes
1 answer
284 views

Is there a notion of Čech groupoid of a cover of an object in a Grothendieck site?

Given a topological space $X$, and a cover $\mathcal{U} :=\cup_{\alpha \in I}U_{\alpha}$ of $X$, one can define a groupoid called Čech groupoid $C(\mathcal{U})$ of the cover $\mathcal{U}$ by $\...
user avatar
4 votes
1 answer
129 views

Computing cohomology using bounded hypercovers

Let $G$ be a Lie group (paracompact, not necessarily compact), and $A$ an abelian Lie group. I want to write down cocycles in $\mathrm{H^n}(\mathbf{B}G,A)$, the cohomology in the cohesive $\infty$-...
user avatar
3 votes
0 answers
174 views

Can we recover $\pi_2(S^2)$ from this simplicial set?

Let $S^3 \rightarrow S^2$ be the Hopf fibration. Can we recover $\pi_2(S^2)$ of $S^2$ from the simplicial set $X : \Delta^{op} \rightarrow \text{Set}$, $$ X(n) = \pi_0 (S^3 \times_{S^2} \cdots \times_{...
user avatar
  • 4,293
0 votes
1 answer
228 views

Connecting homomorphism in Cech cohomology

Let $M$ be a smooth manifold and $\mathcal{U}$ be a good open cover of $M$. If I have an exact sequence of sheaves $$0 \longrightarrow A \stackrel{f}\longrightarrow B \stackrel{g}\longrightarrow C \...
user avatar
1 vote
0 answers
129 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}'$ ...
user avatar
  • 1,325
12 votes
2 answers
934 views

Different definitions for integral de Rham cohomology classes

Suppose that $S$ is a compact orientable surface. In this case, the top de Rham cohomology space $H^2(S)\cong \mathbb{R}$, with the isomorphism given by integration on $2$-forms along $S$. Now, one ...
user avatar
1 vote
0 answers
71 views

Compute Cech cohomology with two open sets

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}$ be a sheaf of $\...
user avatar
  • 1,325
2 votes
1 answer
173 views

Čech cocycles and monodromy

It is well known that over a topological space $X$ (and choosing an open cover $\mathfrak{U}$) every locally constant Cech cocycle $g$ on $\mathfrak{U}$ with coefficients in a group $G$ yields a $G$-...
user avatar
5 votes
1 answer
506 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 ...
user avatar
  • 284
6 votes
3 answers
365 views

Why the third stage of Cech nerve a Lie 2-groupoid?

In the page https://ncatlab.org/nlab/show/Lie+2-groupoid the Lie 2-groupoid is defined as the 2 truncated $\infty$-Lie groupoid. I am not much comfortable with the language of higher category theory ...
user avatar
2 votes
1 answer
249 views

Čech complex of rigid $K$-space - Closed image of boundary maps

Let $(X,\mathcal{O}_X)$ be a rigid $K$-space with a finite affinoid covering $(U_i)_{i\in I}$ such that any intersection of the $U_i$ is affinoid too. Equipping the direct products with the maximum ...
user avatar
  • 913
0 votes
1 answer
236 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)$ ...
user avatar
  • 1,940
9 votes
3 answers
2k views

Outline of the proof that Cech cohomology and singular cohomology coincide on any locally contractible space

If $X$ is paracompact and locally contractible, then singular cohomology and Cech cohomology of $X$ coincide, with coefficients in any abelian group. I hear that this is a classical result but I fail ...
user avatar
1 vote
0 answers
101 views

Comparing Different Notions of Unicoherence in the Plane

Unicoherence is a generalization of simple connectedness that has been useful in topology in one and two dimensions. It is also a fundamental concept in shape theory, and thus has relations to Cech ...
user avatar
3 votes
1 answer
300 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
17 votes
2 answers
1k views

Is there a complex which computes Cech cohomology?

Suppose $X$ is a (paracompact, Hausdorff) topological space and we want to define its Cech cohomology with coefficients in $\mathbb Z$. Here is the way I have seen this constructed. For each open ...
user avatar
10 votes
0 answers
158 views

Countability assumption for good covers in Bott-Tu

In chapter II of their text Differential Forms in Algebraic Topology, Bott and Tu construct the Čech-De Rham complex with regards to an open covering indexed by some ordered and countable indexing set....
user avatar
  • 253
8 votes
1 answer
367 views

How does Cech cohomology get around computing a delooping?

I'm trying to understand how the nlab's definition of cohomology works concretely. There, it is (very convincingly) claimed that every incarnation of "cohomology" in mathematics is a special case of ...
user avatar
  • 366
30 votes
2 answers
1k 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,\...
user avatar
  • 6,517
1 vote
0 answers
229 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^...
user avatar
3 votes
0 answers
111 views

Characterization of global sections (which are not products) of a sheaf which is locally a product

In order to compute certain group cohomology sets I have come upon a construction which seems rather general concerning sheaves which are locally products. So I will state the problem here in a ...
user avatar
6 votes
0 answers
513 views

Principal bundles and Čech cohomology with non-good open covers

I'm trying to compute characteristic classes of principal bundles by defining transition functions and computing them in Čech cohomology. However, it seems all the constructions are defined in terms ...
user avatar
  • 61
2 votes
1 answer
337 views

Vanishing Cech cohomology

Let $X$ be a manifold such that $dim(X)=n$. It is well-know that if $\mathcal{F}$ is a coherent sheaf $H^m(X,\mathcal{F})=0$ for all $m >n$ (where I denote with $H(-)$ Cech cohomology). But is ...
user avatar
  • 243
1 vote
0 answers
167 views

The Abelian Group of Equivalence Classes of Gerbes

Are there any good references/explanations for understanding the "contracted product" (as Brylinski calls it) of a gerbe with abelian band? I am finding it difficult, using Brylisnki's definition. to ...
user avatar
  • 1,171
1 vote
2 answers
455 views

Cech cohomology as a colimit over maps to a CW complex

Given a topological space $X$, we consider the following category $\mathsf{CW}_{X\to}$. The objects are finite CW complexes $Y$ equipped with a continuous map $X\to Y$. The morphisms are continuous ...
user avatar
  • 17.5k
2 votes
0 answers
508 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$ ...
user avatar
4 votes
0 answers
331 views

cech cohomology in topos

Hi, The following result seems to be well known, but I can't come up with a proof. Suppose that $C$ is a topos and that $F\to G$ is an effective epimorphism in $C$. If $P$ is any abelian sheaf on $C$...
user avatar
  • 2,732