All Questions
Tagged with sheaf-theory cohomology
51 questions
98
votes
10
answers
14k
views
equivalence of Grothendieck-style versus Cech-style sheaf cohomology
Given a topological space $X$, we can define the sheaf cohomology of $X$ in
I. the Grothendieck style (as the right derived functor of the global sections functor $\Gamma(X,-)$)
or
II. the Čech ...
- 1,871
93
votes
3
answers
11k
views
What is homology anyway?
Disclaimer: I don't feel qualified to ask this question and yet it's been troubling me for some time now and I lost my patience and decided to ask to get some kind of answer. If there are any stupid ...
- 7,789
89
votes
5
answers
18k
views
What is sheaf cohomology intuitively?
What is sheaf cohomology intuitively?
For local systems it is ordinary cohomology with twisted coefficients. But what
if the sheaf in question is far from being constant?
Can one still understand ...
- 13.2k
36
votes
3
answers
4k
views
What is the right version of "partitions of unity implies vanishing sheaf cohomology"
There are several theorems I know of the form "Let $X$ be a locally ringed space obeying some condition like existence of partitions of unity. Let $E$ be a sheaf of $\mathcal{O}_X$ modules obeying ...
- 156k
20
votes
5
answers
2k
views
Equivalence of ordered and unordered cech cohomology.
Given a topological space X and a finite cover X = $\cup X_i$, one can define Cech cohomology of a sheaf of abelian groups F with respect to the cover $\{X_i\}$ in two different ways:
(Ordered): ...
- 10.5k
18
votes
4
answers
1k
views
Cohomology of a sheaf of functions locally constant along a foliation
Take a smooth manifold $M^n$ with a smooth foliation $F$. Consider the sheaf $\cal F$ of $C^{\infty}$ functions on $M^n$, locally constant along the foliation $F$. What is known about Chech cohomology ...
- 28.9k
15
votes
2
answers
2k
views
Meaning of the determinant of cohomology
The Arakelov intersection number on arithmetic surfaces is defined as an "extension" of the classical intersection number on algebraic surfaces. It was introduced to get a nice intersection theory ...
- 321
14
votes
1
answer
457
views
References regarding a connection between recursion theory and sheaves
In Manin's A Course in Mathematical Logic for Mathematicians, he defines (p.201) a structure $(\mathcal{E},R)$ given an enumerable set $E \subset (\mathbb{Z}^+)^n$ by:
$\mathcal{E}$ is the set of all ...
user2028
11
votes
2
answers
2k
views
Finiteness conditions on simplicial sheaves/presheaves
Could someone give an overview, or just some examples, of "finiteness conditions" for simplicial sheaves/presheaves and/or simplicial schemes? Any answer or comment about this would be interesting, ...
- 5,637
10
votes
2
answers
2k
views
Geometric interpretation of sheaf cohomology
Please forgive me for the informal and naïve nature of my question, as I am a beginner in algebraic geometry.
In the famous book by Hartshorne, sheaf cohomology is defined as a certain derived functor....
- 328
9
votes
4
answers
3k
views
Relative version of sheaf cohomology?
Is there a relative version of sheaf cohomology?
EDIT: I rather mean the cohomology of pairs.
- 93
8
votes
2
answers
2k
views
Can we relate Cech cohomology and derived functor cohomology even when the cover we choose isn't nice?
In my algebraic geometry class this semester, we've learned about Leray's Theorem, which states that for a sheaf $\mathcal{F}$ on a topological space $X$, and $\mathcal{U}$ a countable cover of $X$, ...
- 6,792
8
votes
0
answers
303
views
Examples of locally-but-not-globally (pre)sheaf toposes?
Re-reading my own recently posted question What is the total space of a stack after all? I realized that I don't know something more simple and presumably more basic.
Are there (bounded if you like) ...
- 18.4k
7
votes
3
answers
2k
views
Cohomology with compact support for coherent sheaves on a scheme
Is there a notion (for schemes or just locally ringed spaces) of cohomology with compact support? I guess there is for algebraic schemes over $\mathbf{C}$, but what about schemes in general? Does ...
- 163
7
votes
2
answers
1k
views
Non-zero sheaf cohomology
Let $\mathbb{R}$ denote the real line with its usual topology. Does there exist a sheaf $F$ of abelian groups on $\mathbb{R}$ whose second cohomology group $H^{2}\left(\mathbb{R},F\right)$ is non-zero?...
- 47.5k
6
votes
2
answers
385
views
cohomology and $j_!$
I have a projective variety $X$ and an open immersion $j : U \to X$.
Say I have a sheaf, locally free in my case of interest, $\mathcal{S}$ on $U$. Is there any reasonable relationship between $H^i(X,...
- 758
6
votes
1
answer
474
views
Category of spaces/sheaves
Consider the following category $\mathcal C$:
An object of $\mathcal C$ is a pair $(X,\mathcal F)$ where $X$ is a space and $\mathcal F$ is a sheaf on $X$.
A morphism $(X,\mathcal F)\to(Y,\mathcal G)$...
- 18.7k
6
votes
0
answers
223
views
Under what generality are the compactly supported singular and sheaf cohomologies equal?
Edit: I have since resolved my question.
If X is locally compact Hausdorff in addition to being cohomologically locally contractible with coefficients in $A$ - eg it is a manifold or an open subset of ...
- 1,020
6
votes
0
answers
452
views
Yoneda product on Ext
Let $M$ be a closed manifold and consider the constant sheaf $\mathbb{R}_M$. I have heard that the Yoneda product on $\operatorname{Ext}(\mathbb{R}_M, \mathbb{R}_M)= H^*(M; \mathbb{R})$ coincides with ...
- 177
6
votes
0
answers
2k
views
group cohomology and cohomology of classifying space [closed]
Let $G$ be a discrete group, and $BG$ is the classifying space.
It is well-known that the group cohomology of $G$-module M, is the same as the cohomology on $BG$ with coefficient in $\tilde{M}$, which ...
- 1,457
5
votes
1
answer
1k
views
"Role" of cohomology of coherent sheaves in SGA 4.5, étale cohomology
As the question title suggests, what is the role cohomology of coherent sheaves plays for SGA 4.5, étale cohomology? Why are they so important for the construction and establishing properties of étale ...
user97565
5
votes
1
answer
1k
views
How to compute cohomology groups of a closed subscheme Z of projective space, defined by a homogeneous polynomial of degree d?
Let $Z = \mathrm{Proj}\,k[x_{0},x_{1},\ldots,x_{r}]/f$ be a closed subscheme of degree $d$, i.e., $f$ is a homogeneous polynomial of degree $d$, and $\mathcal{O}_{Z}(1)=i^{*}\mathcal{O}_\mathbb{P}(1)$....
- 63
5
votes
1
answer
3k
views
Question about hypercohomology / spectral sequence of a complex of "almost-acyclic" sheaves
I have a very particular situation involving a (non-exact) complex $K$ of coherent sheaves on a nonsingular projective variety $X$, and I need to compute the hypercohomology of the complex. The ...
- 545
5
votes
1
answer
487
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]$-...
- 275
5
votes
1
answer
209
views
Cohomology of doubly pinched torus via spectral sequences
Let $f:T^2\to Y$ be a resolution of singularities where $Y$ is a torus with two "pinched" points (or, if you prefer, two copies of $\mathbb{P}^1$ meeting at two points). I'm interested in ...
- 191
5
votes
1
answer
2k
views
Natural morphism appearing in Grothendieck spectral sequence
Assume we are in the setting of the Grothendieck spectral sequence (Weibel, 5.8): $G : A \to B, F : B \to C$ are left exact functors such that $G$ sends injective objects to $F$-acyclic objects. Now ...
- 63.1k
4
votes
2
answers
315
views
Equivalence of different cohomology groups
Let $X$ be a topological space (may be assumed to be locally compact). Let $A$ be either a field or $\mathbb{Z}$. One can consider various cohomology groups:
(1) singular cohomology $H_{sing}^*(X,A)$;...
- 21.8k
4
votes
2
answers
825
views
finite-dimensionality of cohomology groups on compact riemann surfaces
does the finite dimensionlity of the first cohomology group ($ H^1 $) of the sheaf of meromorphic sections of a holomorphic line bundle on a compact riemann surface follow easily from the finite ...
- 73
4
votes
4
answers
696
views
Canonical product in sheaf cohomology
EDIT: Let $\mathcal{F},\mathcal{G}$ be sheaves of abelian groups on a topological space $X$. Then there exists a canonical cup product
$$H^i(X,\mathcal{F})\otimes_\mathbb{Z}H^j(X,\mathcal{G})\to H^{i+...
- 21.8k
4
votes
1
answer
895
views
When does derived pullback commute with infinite products?
Let $f:X \to Y$ be a morphism of reasonable schemes (qcqs). Let $f^*: D(Y) \to D(X)$ be the pullback defined on the derived unbounded categories of quasi-coherent sheaves.
Question: When does $f^*$...
- 7,789
3
votes
1
answer
893
views
system of local coefficients on X, locally constant sheaves and orientation sheaves
Hi,
I try to understand the orientation sheaves. When searching it in the google, i meet new areas such as local coefficient system and locally constant sheaves. I realize that any system of local ...
- 225
3
votes
1
answer
747
views
Are cohomology functors sheaves?
Question is the following:
Is the functor $H^n_{dR}:\text{Man}\rightarrow \text{Set}$ a sheaf with respect to open cover topology on $\text{Man}$?
More generally, are cohomology functors sheaves in ...
- 6,023
3
votes
1
answer
844
views
A form of cohomology and base change
Let $f \colon X \to Y$ be a proper morphism of (Noetherian) schemes, $\mathcal{F} \in \mathop{Coh}(X)$. Let $i_Z \colon Z \hookrightarrow Y$ be a closed subscheme and take the inverse image $W := X \...
- 14.7k
3
votes
1
answer
480
views
Sequences of groups, exact not just in étale but also in the Zariski topology
Let $A=k[[x,y]]$, with say $k=\mathbb{C}$ and $X = \operatorname{Spec}(A)$. Let $B$ denote a free $A$-algebra of rank $e^2$; actually, we have $B=A[u,v]$ with $u^e=x$, $v^e=y$ and $uv = \xi_e vu$, ...
- 1,391
3
votes
1
answer
89
views
The sheaf propagation is open in the zero section
Let $X$ a smooth manifold and $F$ a sheaf (let's say of abelian groups) on $X$. We will say that $F$ propagates at $x\in X$ in the (co)-direction $p \in T_x^*X$ if for all $C^1$-function $\phi$ ...
- 1,017
3
votes
1
answer
226
views
Čech cohomology refinement mapping
Let us consider the map $t_{AB}^*:H^1(A,F)\to H^1(B,F)$ between the cohomology groups, induced by the refinement map $t_{AB}:J\to I$, where $F$ is a sheaf of abelian groups on $X$, $A$ and $B$ are ...
3
votes
0
answers
411
views
Two definitions of Čech cohomology
Hello,
I have found different definitions of Čech complex for sheaf $F$ od abelian groups on topological space $X$ with respect to the cover $\mathcal U$. One in Gelfand-Manin says to take product of ...
- 1,368
2
votes
2
answers
219
views
Continuous map with homeomorphic fibers whose associated $H^{k}_c$ sheaf is not a local system?
Let $ f: X \to Y$ be a continuous map between connected manifolds s.t. for all $y \in Y$ the fiber $f^{-1}(y)$ is homeomorphic to some fixed connected manifold $Z$.
Let $k$ be a ring and for every $...
- 7,789
2
votes
1
answer
2k
views
Does the Čech cohomology always yield long exact sequences from short ones?
Does the Čech cohomology always give rise to a long exact sequences given a short exact sequence of sheaves?
Clearly that cannot occur for sheaves on a paracomact (perhaps also Hausdorff, I'm not ...
- 329
2
votes
1
answer
600
views
Pushforward in Compactly Supported Cohomology
Suppose $X,Y$ are locally compact Hausdorff spaces and $f:X\to Y$ is a topological submersion of relative dimension $n$. By this we mean that for all points $x\in X$, there exists an open neighborhood ...
- 1,761
2
votes
1
answer
672
views
vanishing theorems
I would be glad to know about possible generalizations of the following results:
1) (Grothendieck) Let $X$ be a noetherian topological space of dimension $n$. Then for all $i>n$ and all sheaves of ...
- 1,975
2
votes
1
answer
202
views
How to compute cup product of derived limits / presheaf cohomology
I have a finite category $\mathcal{C}$, along with a functor $F \colon \mathcal{C}^{\mathrm{op}} \to \mathsf{GradedCommRings}$. If $F_j$ is $j$-th graded piece of $F$, then I write $H^i(\mathcal{C},...
- 317
2
votes
0
answers
121
views
Singular cohomology as a sheaf of $\infty$-categories
In several expositions of $\infty$-categories, I read that singular cohomology of a topological space with integral coefficients is a sheaf valued in $D(\mathbb{Z})$, if we consider Top and $D(\mathbb{...
2
votes
0
answers
306
views
Cech cohomology.
Let us consider the scheme $X$ and the coherent sheaf $\cal F$ on it. We consider finitely many affine open covers $U_{\lambda}$ with $\lambda \in \Lambda$. When I calculate Cech cohomology with $U_{\...
- 181
2
votes
0
answers
228
views
The Mayer-Viertoris exact sequence as a (Zariski) descent spectral sequence.
For certain 'spaces' $U,V$ (they are certain Henselizations of subvarieties) I would like to compute (certain etale) cohomology of $U\cup V$ in terms of the corresponding cohomology of the diagram $U\...
- 16.9k
1
vote
1
answer
283
views
Commutativity between functors on sheaves of abelian groups
I am trying to understand certain properties of sheaf theory, but I'm having trouble finding the notions to answer my questions. I'd be really glad if someone could help me with the following. Let $f :...
- 1,227
1
vote
0
answers
215
views
Artin-Winters proof of semi-stable reduction theorem: details
I've been reading through Artin-Winters proof of the semi-stable reduction theorem (Degenerate fibers and stable reduction of curves) and found myself confused about the following detail—
Let $\...
1
vote
0
answers
343
views
Cokernel of section of a general coherent sheaf
Given a scheme $X$ and an $\mathcal{O}_{X}$-module $\mathscr{E}$, we know that a section $s \in H^{0}(X, \mathscr{E})$ is equivalent to a morphism $s :\mathcal{O}_{X} \to \mathscr{E}$. It is the ...
- 1,701
1
vote
0
answers
333
views
Does n-multiplication maps of cohomology groups vanish if it vanishes at the 0th cohomology?
In general, we know that a morphism $f=(f ^ {q})$ between universal (cohomological) $\delta$ functors $S=(S ^ {q}),T=(T ^ {q})\ $vanishes if and only if $f ^ {0} \ \colon \ S^{0} \to T^{0}$ vanishes....
- 945
0
votes
3
answers
400
views
Cohomology of complexes
I sometimes see cohomologies of complexes of sheaves. What is the definition of these? Say if $\mathcal F^* $ is a complex of sheaves on $C$, what is $H^i(C,\mathcal F^*) $?
- 147