Questions tagged [sheaf-cohomology]
The sheaf-cohomology tag has no usage guidance.
166 questions with no upvoted or accepted answers
27
votes
0
answers
470
views
Are these comparison morphisms between Čech and Grothendieck cohomology the same?
For better or for worse, there is more than one approach to comparing Čech cohomology $\smash{\check{H}}^\bullet(\mathfrak{U},X;\mathscr{F})$ of a sheaf $\mathscr{F}$ on a space $X$ w.r.t the cover $\...
- 1,020
13
votes
0
answers
281
views
Kakuro puzzles and sheaf cohomology
This is a recreational, summer question and could be more well-suited for mathstackexchange. However, some of you on holiday could appreciate the topic. I recently came across Kakuro Puzzles, similar ...
- 2,152
12
votes
0
answers
1k
views
Eilenberg-Steenrod axioms of sheaf cohomology
Cohomology of a space is often defined axiomatically: a cohomology theory is a functor
from pairs of spaces to abelian groups
satisfying the Eilenberg-Steenrod axioms. Is there a similar ...
- 40.3k
10
votes
0
answers
963
views
intuition about perverse sheaves
firstly, I would know if my very basic intuition on perverse sheaves is correct .
secondly, I would have some clarification in what perverse sheaves behaves better than regular sheaves .
my intuition ...
- 546
10
votes
0
answers
186
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....
- 253
9
votes
0
answers
475
views
Using higher topos theory to study Cech cohomology
It seems to me that many classical statements about Cech cohomology should without much effort follow from Lurie's HTT, but I am struggling to fill out the details. I want to show that, given an ...
- 898
9
votes
0
answers
571
views
In terms of sheaf cohomology, what does Bott & Tu's relative de Rham cohomology $H^\bullet(f)$ compute for $f: S \to M$ a smooth map?
Given a map $f: S \to M$ of smooth manifolds, Bott & Tu define on page 78 a complex by $\Omega^q(f)=\Omega^q(M) \oplus \Omega^{q-1}(S)$ and $d(\omega, \theta)=(d\omega, f^*\omega - d\theta)$ where ...
- 6,025
8
votes
0
answers
646
views
Trying to understand "Shtukas"
I'm studying Goss' Basic structures of function field Arithmetic, chapter 6 about Shtukas. I'm trying to understand some details about some concepts. This chapter is based on a Mumford's paper An ...
- 69
8
votes
0
answers
257
views
Global functions on a product of schemes over artinian ring
For a morphism of schemes $f:X\to S$ with $S=\text{Spec}(R)$ affine, let's write $A(X)=H^0(X,\mathcal{O}_X)$. I'm interested in the morphism of $R$-algebras
$$
c:A(X)\otimes_R A(Y)\to A(X\times_SY)
$$
...
- 4,492
8
votes
0
answers
588
views
Can we use sheaf cohomology to say anything interesting for vector bundles with non-flat connections?
Given a vector bundle $E \to M$ with connection $\nabla$, we get a twisted de Rham sequence using the exterior covariant derivative:
$$0 \to \mathcal{E} \xrightarrow{d^\nabla} \Omega^1_M \otimes \...
- 6,025
8
votes
0
answers
370
views
Dualizing complex of the product of two locally compact spaces
Hello!
In the setting of locally compact Hausdorff spaces, I would like to understand the relation between the exterior product ${\mathbb D}_X\boxtimes{\mathbb D}_Y$ of the dualizing complexes of two ...
- 2,756
7
votes
0
answers
724
views
Defining the Euler class in different ways
Let $\pi: E\to M$ be a rank two real vector bundle over a manifold $M$. Bott and Tu defines the Euler class by:
giving $M$ a Riemannian structure,
taking a trivializing chart $U_\alpha$ of $M$,
...
- 7,746
7
votes
0
answers
574
views
What is the geometric intuition for the sheaf-theoretic terms "soft", "fine", and "flabby"?
The sheaf-theoretic terms "soft", "flabby", and "fine" are of an obviously geometric character, and suggest opposition with "hard", "rigid", and "coarse" sheaves (I'm just inventing these terms here).
...
- 6,025
7
votes
0
answers
407
views
Generalities on sheaves - Where can I find the technology that can make this "proof" of Atiyah duality precise?
Fix $R$ an $E_{\infty}$ ring spectrum which admits a "six functor formalism" over a suitable class of spaces (by which I mean a context in which what I'm about to say can be made correct).
Let $X$ ...
- 7,799
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
104
views
Is the derived category of sheaves localised at pointwise homotopy equivalences locally small?
In order to define the cup and cross products in sheaf cohomology, Iversen makes computations in an intermediate derived category. If $K(X;k)$ is the triangulated category of cochain complexes of ...
- 1,020
6
votes
0
answers
226
views
Is the right adjoint to presheaf direct image interesting?
Let $X\overset{f}{\to}Y$
be a continuous map. It induces on presheaves a classical adjunction inverse image ⊣ direct image. However, the direct image functor has a further right adjoint, defined by ...
- 10.5k
6
votes
0
answers
322
views
What's the point of fine sheaves? (As opposed to soft ones)
Why do people care to define fine sheaves? What useful property do they have for which softness is not sufficient?
some observations (because I feel guilty about a the one-line question):
The point ...
- 1,141
6
votes
0
answers
1k
views
Intuition behind exceptional inverse image?
The story is probably well-known: given a map $f:X\to Y$ of spaces (say schemes, but there are many other contexts), we have two classical operations between sheaves on $X$ and those on $Y$: the ...
- 28.2k
6
votes
0
answers
637
views
Calculation in prismatic cohomology
In the standard references for prismatic cohomology, most theorems are proved in a local context (i.e. with completeness assumptions), and the devissage to the global case (i.e. smooth proper ...
- 91
6
votes
0
answers
239
views
Sheaves on Rectifiable Sets
Basic question: are there (co)homological or sheaf-based tools which might be useful in geometric measure theory?
Background: The jumping off point here is a simple analogy - geometric measure ...
6
votes
0
answers
511
views
de Rham isomorphism with holomorphic forms
For a non-compact Riemann surface $X$ there is an isomorphism:
$$\Omega(X)/\mathrm d \mathcal O(X)\simeq H^1(X,\mathbb C)$$
where $\Omega$ is the sheaf of holomorphic forms on $X$. The group on the ...
- 81
5
votes
0
answers
305
views
Cohomology of coherent sheaves on Deligne Mumford stacks
Suppose that $\cal X$ is tame Deligne Mumford stack with generic trivial inertia. Let $X$ be its muduli space and $f:{\cal X}\to X$ the projection.
Let $\cal F$ be a coherent sheaf on $\cal X$.
Is it ...
- 388
5
votes
0
answers
370
views
Continuity property for Čech cohomology
Suppose we have an inverse system of compact Hausdorff spaces $\lbrace X_i , \varphi_{ij} \rbrace_{i\in I}$ and that each space has a presheaf $\Gamma_i$ assigned to it in such a way that $\Gamma_i(\...
- 275
5
votes
0
answers
268
views
Coherent cohomological dimension and affine morphisms
For simplicity, all varieties in this question are quasiprojective varieties over an algebraically closed field of characteristic $0$.
The coherent cohomological dimension $cd(X)$ of a variety $X$ is ...
- 59
5
votes
0
answers
722
views
What is the filtration in Leray's spectral sequence?
Leray's theory of spectral sequences considers a continuous map $f : X \to Y$ between topological spaces. The statement is that there exists a filtration
$$H^n(X,k) = F^0H^n(X,k) \supseteq ... \...
- 1,227
5
votes
0
answers
380
views
Does the de Rham complex induce a functorial soft resolution of the category of cochain complexes of sheaves of vector spaces on a smooth manifold?
I apologize in advance if this is pretty straightforward; I'm a differential geometer and physicist by training so my homological algebra and homotopy theory are a bit weak.
Question: Let $M$ be a ...
- 6,025
5
votes
0
answers
377
views
Push forward of the constant sheaf for a Serre's fibration
Let $f\colon X\to Y$ be a proper continuous map of topological spaces which is a Serre's fibration. $X$ and $Y$ may be assumed to be locally compact, $Y$ is connected topological manifold of finite ...
- 21.8k
5
votes
0
answers
1k
views
Importance and intuition of global sections in sheaf cohomology
I am trying to understand why global sections of a sheaf are "important" or interesting objects of study. Perhaps I have too weak of a background to appreciate it (and that is certainly an acceptable ...
- 615
5
votes
0
answers
614
views
Does the higher cohomology of a quasi-coherent sheaf on a Stein manifold vanish?
It is a well-known result in algebraic geometry that if $X$ is an affine scheme and $\mathcal{F}$ is a quasi-coherent sheaf on $X$, then the higher cohomologies of $\mathcal{F}$ vanish, i.e.
$$
H^i(X,\...
- 9,019
5
votes
0
answers
151
views
$A_\infty$ structure on sum of twists of structure sheaf
Fix $n$ and let $P^n$ be projective $n$-space. Let $S = k[x_0, \dots, x_n]$. Set $A^0 = \bigoplus_{d \ge 0} H^0(P^n, \mathcal{O}(d))$ and $A^n = \bigoplus_{d < -n} H^n(P^n, \mathcal{O}(d))$.
I ...
- 10.7k
5
votes
0
answers
374
views
Sheaf Cohomology on Zariski-Riemann Spaces
Can sheaf cohomology on the Zariski-Riemann spaces give some sort of classification for field extensions (even just for function fields)? If not, are there any significant or useful results (e.g. for ...
- 468
4
votes
0
answers
48
views
Resolution of constant sheaf by $L^2$ function sheaves
Let $X$ be a compact Hausdorff space equipped with a Radon measure of full support.
Then $U\mapsto L^2(U)$ is a fine sheaf, hence can be taken for a first step in an acyclic resolution of the constant ...
- 492
4
votes
0
answers
583
views
Etale cohomology of a nodal (cuspidal) curve
Let $k$ be a separably closed field, and $X/k$ be a curve (not necessarily complete) with a single singularity, a simple node $x$. Suppose $\ell$ is a prime number invertible in $k$, how do we compute ...
- 547
4
votes
0
answers
211
views
Does cohomology and base change hold if supported at a point?
I have a flat, quasicompact, and separated map $p : X \to \mathbb{A}^1$ and I know that $R^i p_* \mathcal{O}_X$ vanishes everywhere except possibly $0 \in \mathbb{A}^1$.
Q1: Does "cohomology and ...
- 1,104
4
votes
0
answers
101
views
Serre vanishing on one-point blow-ups
This is basically the last step of problem 5.3.7 in Huybrechts' Complex Geometry.
Let $X$ be a complex manifold, $x \in X$, $E$ a holomorphic vector bundle on $X$ and $L$ a positive line bundle. ...
- 1,141
4
votes
0
answers
120
views
Understanding a step in proof of sheaf version Verdier duality
Warning: This question is likely low-level for MathOverflow. My apology that there is almost surely something basic I miss.
So all proofs I can find factors through a particular statement, which goes ...
- 1,856
4
votes
0
answers
240
views
Exact sequence in example in Grothendieck's Tohoku paper resulting from the Cech-to-derived-functor spectral sequence
Grothendieck gives in his Tohoku paper in example 3.8.3 an example for that $\check{\mathrm{H}}^{2}(X,\mathcal{F}) \neq \mathrm{H}^{2}(X,\mathcal{F})$.
In the beginning he states that there exisits ...
- 141
4
votes
0
answers
195
views
Question on de Rham complex with distributional coefficients
Let $X$ be a smooth manifold (usually assumed to be paracompact). Let us denote by $\underline{\Omega}^{p,-\infty}_X$ the sheaf of real valued $p$-forms with distributional coefficients in the ...
- 21.8k
4
votes
0
answers
133
views
Theta divisor on compactified jacobian of nodal curve
Let $X$ be a Nodal curve. Let $\bar{J}(X)$ be compactified Jacobian (rank one torsion free sheaf of degree one) and $\Theta$ denote the theta divisor in $J$.
How to compute $H^0(\bar{J}(X);\Theta^k)$, ...
- 137
4
votes
0
answers
275
views
Dolbeault cohomology of $\text{sl}(2,\mathbb{C})$
Consider the complex Lie group $G=\text{SL}(2,\mathbb{C})$ and let us denote $\Omega$ the sheaf of top holomorphic forms of this group. Are the cohomology spaces $H^{*}(G,\Omega)$ known ? I am ...
- 1,017
4
votes
0
answers
343
views
Does hypercohomology of the Koszul complex compute sheaf cohomology?
Let $i:X \to \mathbb{P}^n$ be a smooth projective variety defined by the vanishing locus of polynomials $(\underline{f}) = (f_1,\ldots,f_k)$ which have degrees $>0$ and are pairwise coprime, ...
- 1,716
4
votes
0
answers
575
views
Sheaf Cohomology as Glueing of Local Data
For some time I've been trying to find an answer to the question "why do we care about or compute sheaf cohomology". As far as I can tell books like Hartshorne treat this as something we already want ...
- 901
4
votes
0
answers
177
views
Reference request: local cohomology in disjoint union
I have a topological space $X$ and two disjoint, closed subspaces $Y$ and $Z$ of $X$. I believe that in this situation, for any abelian sheaf $\mathcal{F}$ on $X$ and any $p \in \mathbb{N}$, there is ...
- 41
4
votes
0
answers
239
views
Proper base change for non-quasicoherent sheaves
For a proper flat map $f: X \to Y$ (of reasonable schemes) and a closed embedding $i: Y' \to Y$, we know by EGA the base change quasi-isomorphism, where $f'$ and $i'$ are the pullbacks of $f$ and $i$:
...
- 2,040
4
votes
0
answers
137
views
Cohomology of $Sym^m Q \otimes Sym^k Q \otimes L^p$
Let $V$ be a complex vector space. Let $L=\mathcal{O}(-1)$ and $Q=V/L$ be the quotient bundle over $\mathbb{P}V$.
I'm trying to compute the cohomologies with coefficients in $Sym^m Q \otimes Sym^k Q \...
- 371
4
votes
0
answers
110
views
Convolution of DQ-Modules
On page 92 of Deformation Quantization Modules Kashiwara and Schapira define two different convolution products for DQ-modules that differ by whether one uses $Rp_{13*}$ or $Rp_{13!}$ to push forward....
- 41
4
votes
0
answers
447
views
Cohomology of a sheaf with only one stalk
Let $X$ be a proper scheme over a henselian discrete valation ring. I have a Nisnevich sheaf $F$ of which has only one stalk at the generic point of $X$ (and all other stalks vanish).
I believe that ...
- 1,553
4
votes
0
answers
362
views
Weil Kostant Integrality Result as Stated by Brylisnki
I'm reading through Brylinski's "Loop Spaces, Characteristic Classes and Geometric Quantization" and I am stuck on a piece of Theorem 2.2.15, which asserts that If $K$ is a closed complex-valued 2-...
- 1,611
4
votes
0
answers
166
views
orientations on a stratified space
For this question let $k$ be any field of characteristic not equal to $2$ and $X$ a stratified space whose strata are topological manifolds. I'm not sure what the definition of "stratified space" ...
- 3,605