MathOverflow

Questions tagged [cech-cohomology]

Ask Question

The tag has no usage guidance.

37 questions
Newest
Active
Bountied
Unanswered
Filter by
Sorted by
Tagged with
0
votes
0answers
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
0answers
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
1answer
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
0answers
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
0answers
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
1answer
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
0answers
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
0answers
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
1answer
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
0answers
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
0answers
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
1answer
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
0answers
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
1answer
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
0answers
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
2answers
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
0answers
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
1answer
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
1answer
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
3answers
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
1answer
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
1answer
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
3answers
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
0answers
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
1answer
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
2answers
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
0answers
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
1answer
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
2answers
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
0answers
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
0answers
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
0answers
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
1answer
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
0answers
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
2answers
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
0answers
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
0answers
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$...

Your privacy

By clicking “Accept all cookies”, you agree Stack Exchange can store cookies on your device and disclose information in accordance with our Cookie Policy.