# Questions tagged [cech-cohomology]

The cech-cohomology tag has no usage guidance.

37
questions

**0**

votes

**0**answers

86 views

### Question regarding the necessity of Cech cohomology in the proof of a paper

I tried asking the question before, but was perhaps not entirely clear about what I meant. I have a specific question regarding the understanding of a section of a paper by Wan. The link to the paper ...

**4**

votes

**0**answers

117 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 ...

**5**

votes

**1**answer

387 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 ...

**3**

votes

**0**answers

109 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$-...

**3**

votes

**0**answers

341 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 ...

**5**

votes

**1**answer

160 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]$-...

**5**

votes

**0**answers

170 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 ...

**7**

votes

**0**answers

217 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 ...

**4**

votes

**1**answer

257 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 $\...

**0**

votes

**0**answers

92 views

### The isomorphism classes of lifts of a $\operatorname{PGL}_r$-bundle to $\operatorname{GL}_r$

I want to show the following Lemma,
The set of algebraic isomorphism classes of lifts to $\operatorname{GL}_r$ of an algebraic principal $\operatorname{PGL}_r$ -bundle $P$ on a smooth projective ...

**0**

votes

**0**answers

45 views

### Image of first group of Cech cohomology in the second group of De Rham cohomology

Let $M$ be a smooth manifold and $\mathcal{U}$ an open good cover of $M$. If $\underline{\mathbb{Z}}$ denotes sheaf of locally constant functions, $C^{\infty}(U) := C^{\infty}(U, \mathbb{R})$ and $\...

**4**

votes

**1**answer

107 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$-...

**3**

votes

**0**answers

167 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_{...

**0**

votes

**1**answer

131 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 \...

**1**

vote

**0**answers

106 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}'$ ...

**11**

votes

**2**answers

658 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 ...

**1**

vote

**0**answers

66 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 $\...

**2**

votes

**1**answer

148 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$-...

**5**

votes

**1**answer

403 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 ...

**5**

votes

**3**answers

321 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 ...

**2**

votes

**1**answer

224 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 ...

**0**

votes

**1**answer

220 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)$ ...

**8**

votes

**3**answers

1k 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 ...

**1**

vote

**0**answers

80 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 ...

**3**

votes

**1**answer

280 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 ...

**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 ...

**10**

votes

**0**answers

149 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....

**7**

votes

**1**answer

333 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 ...

**29**

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,\...

**1**

vote

**0**answers

228 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^...

**3**

votes

**0**answers

109 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 ...

**6**

votes

**0**answers

489 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 ...

**2**

votes

**1**answer

292 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 ...

**1**

vote

**0**answers

164 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 ...

**1**

vote

**2**answers

424 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 ...

**2**

votes

**0**answers

507 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$ ...

**4**

votes

**0**answers

291 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$...