Questions tagged [cech-cohomology]
The cech-cohomology tag has no usage guidance.
36
questions
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? ...
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 $...
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 ...
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 ...
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$-...
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 ...
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]$-...
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 ...
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 ...
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 $\...
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$-...
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_{...
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 \...
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}'$ ...
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 ...
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 $\...
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$-...
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 ...
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 ...
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 ...
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)$ ...
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 ...
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 ...
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 ...
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
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....
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 ...
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,\...
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^...
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 ...
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 ...
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 ...
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 ...
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 ...
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$ ...
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$...