Questions tagged [sheaf-cohomology]
The sheaf-cohomology tag has no usage guidance.
166 questions with no upvoted or accepted answers
3
votes
0
answers
133
views
Grothendieck spectral sequence (cohomology version) for posets with functor coefficient
In this paper, Quillen mentioned a spectral sequence as follows.
Let $f:X\to Y$ is a poset map and $\mathcal{F}:X\to Ab$, where $Ab$ is the category of abelian groups, a functor which is contravariant ...
- 139
3
votes
0
answers
250
views
Is pullback map on sheaf cohomology injective for surjective morphisms?
Consider a surjective map $f\colon X\to Y$ of smooth projective varieties. It is well known (see e.g. Voisin's Hodge theory I, Lemma 7.28) that the map $H^i(Y,\mathbb Q)\to H^i(X,\mathbb Q)$ is ...
- 2,305
3
votes
0
answers
67
views
On the exactness of the restriction to small etale site in the case of differentiable stacks
Let $X$ be a manifold considered as a stack on the big etale site of manifolds. Consider the functor $$ F \mapsto F_X$$ which sends a sheaf on the stack $X$ to the sheaf on the manifold $X$.
In Lemma ...
- 313
3
votes
0
answers
227
views
Long exact sequence in Borel-Moore homology
The Wikipedia page for Borel-Moore homology states that for a locally compact set $X$ and a closed subset $Z$, if we write $U = X \setminus Z$ we have the following long exact sequence
$$\cdots \to H^{...
3
votes
0
answers
175
views
Deligne's integrality theorem in the setting of $ \mathbb{F}_{\ell}((t)) $-adic cohomology
Let $ \mathbb{F}_{q} $ be a finite field of characteristic $ p $ and $ \overline{\mathbb{F}_{q}} $ be an algebraic closure of $ \mathbb{F}_{q} $. Let $ X $ be a smooth projective variety over $ \...
- 863
3
votes
0
answers
195
views
Hypercovers with sieves
Consider a covering family $\{Y_i \to X\}$ and the induced sieve $R \subseteq X$, the subpresheaf of all maps to $X$ that factor through some $Y_i$. The family gives me an induced Cech nerve $C_\...
- 1,104
3
votes
0
answers
122
views
Is the cohomology $H^1(X, \mathcal{E}^\nabla)$ trivial, for the sheaf of constants of an algebraic connection $\nabla$?
Suppose that $\pi:X\to S$ is a flat morphism between Noetherian, integral schemes (of characteristic zero, if need be).
Let $\mathcal{E}$ be a locally free sheaf on $X$, and
$$\nabla:\mathcal{E} \to \...
- 1,338
3
votes
0
answers
126
views
Poincare polynomials for Borel Moore homology and fibrations
For an algebraic variety $X$ over $\mathbb{C}$, we denote $H_k(X)$ as its Borel-Moore homology of degree $k$. Let us define the Poincare polynomial associated it by
$$P(X)=\sum_{k\in \mathbb{N}}dim ...
- 71
3
votes
0
answers
641
views
fppf/ etale Cohomology calculate with Cech cohomology
Let $R$ be a commutative ring with one and $S$ commutative faithfully flat $R$-algebra (that is there is a faithfully flat ring map
let $\phi: R \to S$). Then the so called Amitsur complex
$R \to S^{\...
- 5,986
3
votes
0
answers
314
views
Sheaf cohomology of Grassmannian G(2,4) with values in twisted tautological bundles over an arbitrary field
Let k be an arbitrary field. Let $G(2,4)_k$ be the Grassmannian of 2-planes in 4-space over that field. Let $\mathcal{E}$ be the tautological quotient bundle on the Grassmannian. I am trying to ...
- 31
3
votes
0
answers
387
views
Spectral sequence from resolution of condensed abelian groups
I am watching Scholze's and Clausen's masterclass on Condensed Mathematics and I don't understand or can find any references on something they said.
You have a resolution
$$ \dots \to \mathbb{Z}[\...
3
votes
0
answers
446
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 ...
- 1,479
3
votes
0
answers
671
views
Elementary reference for Borel-Moore/locally finite homology
There is a homology theory called "Borel-Moore" or "locally finite" homology, which can either be constructed by using locally-finite chains or by more advanced sheaf-theoretic ...
- 2,533
3
votes
0
answers
195
views
Conceptual definition of derived functors allowing for quick proof of comparison theorems for sheaf cohomology
There are several approaches of increasing sophistication and simplicity to defining derived functors. I know of universal $\delta$-functors and Kan extensions along localizations. More definitions ...
- 10.5k
3
votes
0
answers
188
views
Sheaf cohomology of the complement of a schubert variety
Let $k$ be a field, $d,n \in \mathbb{N}$ and denote by $Gr(d,n)$ the Grassmannian, which parameterizes the $d$-dimensional linear subspaces of $n$-dimensional $k$-vector space, considered as a ...
- 473
3
votes
0
answers
155
views
Semicontinuity of cohomology of torsion-free sheaves restricted to divisors
Let $X$ be a smooth projective variety, $\mathcal{E}$ a torsion-free coherent sheaf on $X$ and $\mathfrak{d}$ a linear system of divisors in $X$.
I would like to show (at least when $X$ is a surface) ...
- 263
3
votes
0
answers
256
views
Convolution of sheaves on R
I am trying to understand a basic computation of convolution. Throughout, $R$ is the real line as a topological group and $k$ is some base field. I would like to understand the computation of the ...
3
votes
0
answers
152
views
exact sequence of fundamental groups associated to "almost" smooth families of curves
Suppose I have a proper, flat family of curves $X \to S$ that has a section. Fix a basepoint $s \in S$ and let $X_s$ denote the corresponding fiber. Let $\mathbb{L}$ be a set of primes which does not ...
- 1,298
3
votes
0
answers
64
views
Canonical map in the direct image of $\mathscr{D}_X$
Let $f : X \to Y$ be a proper holomorphic map between holomorphic manifolds. We work with $\mathscr{D}$-modules. Consider the transfer bi-modules $\mathscr{D}_{Y\leftarrow X}.$ Can one find a ...
- 193
3
votes
0
answers
285
views
Reference for the Koszul--Malgrange Theorem
The Koszul--Malgrange theorem, roughly, identifies holomorphic vectors bundles over a complex manifold, as those finitely generated projective modules admitting a flat $(0,1)$-connection. The ...
- 31
3
votes
0
answers
94
views
Cohomology of boundary of locally symmetric space
Let $S$ be a locally symmetric space, not necessarily compact, and $\overline{S}$ be its Borel-Serre compactification. Let $\partial S$ be the boundary of $S$. Let $\widetilde{\mathbb{C}}$ be the ...
- 601
3
votes
0
answers
154
views
$\operatorname{Ext}^2(O,\omega)$ as a higher extension on $\mathbb{P}^1 \times \mathbb{P}^1$
Let $X = \mathbb{P}^1 \times \mathbb{P}^1$ over a field $k$ and consider $Ext^2(\mathcal{O}_X,\omega_X)\cong H^2(\omega_X) = H^2(\mathcal{O}_X(-2,-2)) = k$
Let $C = \mathbb{P}^1$.
By Kunneth $H^2(\...
- 3,968
3
votes
0
answers
163
views
Question about the precise statement of Leray spectral sequences and a simple example
On Bott's paper "Homogeneous vector bundles" there is the following statement of Leray spectral sequence:
Let $X$ and $Y$ be paracompact and locally compact spaces and $f : Y \to X$ be a proper map....
3
votes
0
answers
76
views
$H^{1}(C, N_{C/X}(-m)) = 0$, for $C$ a irreducible curve on $X$ through $m$ general points
I was reading A. de Jong and J. Starr's paper "Low degree complete intersections are rationally simply connected", which can be found at http://www.math.stonybrook.edu/~jstarr/papers/nk1006g.pdf, and ...
- 283
3
votes
0
answers
130
views
Action of automorphisms on cohomology with supports
Let $x$ be the closed point of an $n$-dimensional local scheme $X$, essentially smooth over a field $k$. Let $M$ be a sheaf on the category of smooth $k$-varieties (in either Zariski or Nisnevich ...
- 525
3
votes
0
answers
277
views
Deformation of vector bundle on projective space with same Hilbert polynomial as multiple of structure sheaf
Let $E$ be a vector bundle on projective space ${\bf P}^n$ whose Hilbert polynomial is the same as $\mathcal{O}^{{\rm rank}(E)}$.
Does there exist a vector bundle over ${\bf P}^n \times {\rm Spec}(R)$...
- 10.7k
2
votes
0
answers
49
views
Are maps between cohomology of homogeneous vector bundles morphisms of representations?
Let $X = G/P$ a rational homogeneous variety, e.g. a grassmannian. Consider a short exact sequence $$ 0 \longrightarrow E_1 \longrightarrow E_2 \longrightarrow E_3 \longrightarrow 0$$
where $E_i$ are ...
- 41
2
votes
0
answers
62
views
Base change for finding fibers of the pushforward of a line bundle along a proper non-flat morphism
Let $f: X \to Y$ be a proper morphism whose fibers have different dimensions, in particular $f$ is not flat. Let $L$ be a line bundle on $X$. What conditions would be sufficient to be able to conclude ...
- 2,974
2
votes
0
answers
60
views
Relative Dolbeault cohomology using currents
I need to compute the cohomology groups of some relative holomorphic $i$-forms $H^\bullet(X, \Omega^i_{X/Y})$ for a fibration of complex manifolds $X\to Y$, using a kind of distributional de Rham ...
- 2,054
2
votes
0
answers
142
views
Computing the coherent cohomology of a quasiprojective variety
I have a quasiprojective variety given by some explicit quations. How do I compute its coherent cohomology (with coefficients in the structure sheaf)? Do I use the Cech complex for an open affine ...
- 2,974
2
votes
0
answers
181
views
Proposition 6.2.3 from Goss "Basic Structures of Function Field Arithmetic"
I'm studying Proposition 6.2.3 from Goss "Basic Structures of Function Field Arithmetic", page 184:
Let $F$ be the sheaf of Data A (a torsion-free coherent $O_{\bar{X}}$-module on $\bar{X}$ ...
- 69
2
votes
0
answers
148
views
Equivalence of cohomology with compact support
Let $𝑋$ be a connected CW complex, $𝜌:\pi_1(𝑋)→\mathrm{Aut}(G)$ a representation, and $G_\rho$ the associated sheaf. It follows from here, that the following two cohomologies are isomorphic.
(1)The ...
- 241
2
votes
0
answers
143
views
Cohomology of equivariant toric vector bundles using Klyachko's filtration
I am trying to understand Klyachko's following description of the cohomology groups of locally free (hopefully more generally of reflexive) sheaves on toric varieties.
Whereas detailed literature ...
- 455
2
votes
0
answers
241
views
Action of algebraic group in cohomology of equivariant algebraic vector bundle
Let $X$ be a projective algebraic variety over an algebraically closed field. Let an algebraic group $G$ act algebraically on $X$. Let $\mathcal{F}$ be a $G$-equivariant vector bundle (or, more ...
- 21.8k
2
votes
0
answers
78
views
How to estimate the locus of non-zero cohomology for a equivariant toric reflexive sheaf, with a Klyachko description
I am trying to analyze Macaulay2 package "ToricVectorBundles". The package deals with equivariant reflexive sheaves on complete toric varieties. Such a sheaf is described by a set of ...
2
votes
0
answers
109
views
Homotopy invariant Bloch-Ogus cohomologies with a vanishing property
I am looking for examples (in any characteristic) of homotopy invariant Bloch-Ogus cohomology theories given by Zariski sheaves $\Gamma(n)$, such that $\Gamma(0) = \mathbb{Z}$ is the constant sheaf. ...
- 5,901
2
votes
0
answers
60
views
Isomorphism of cohomology bundles for smooth homotopic fibrations
Let $M,N$ be closed smooth manifolds. Let $f_0,f_1\colon M\to N$ be two smooth fibrations which are homotopic to each other in the class of smooth (equivalently, continuous) maps. Let $E^i_0, E^i_1$ ...
- 21.8k
2
votes
0
answers
56
views
Conditions for long exact sequence for line bundles on curve to degenerate?
Let $\varphi:X\to Y$ be a morphism of schemes of relative dimension 1, and $\mathcal{L}' \xrightarrow{g} \mathcal{L}$ an injection of line bundles on $X$.
The sequence
$$0\to \mathcal{L}' \xrightarrow{...
- 1,338
2
votes
0
answers
90
views
$\bigoplus_{k=0}^{\infty}H^n(X,I^k\mathcal{F})$ is a finitely-generated $\bigoplus_{k=0}^nI^k-$graded module
Does anyone know where I can find a proof of the following result ?
Given a Noetherian ring $A$, a proper morphism of schemes $X\rightarrow \operatorname{Spec}A$, a coherent $O_X-$module $\mathcal{F}$ ...
- 121
2
votes
0
answers
124
views
The cohomology groups corresponding to a modified global sections functor
Let $\mathcal{F}$ be a sheaf on the big etale site of $Sm_k$. I am looking for a way to calculate a modified version of sheaf cohomology. Let $X$ be a smooth scheme and $Z$ a closed sub-scheme. After ...
- 5,901
2
votes
0
answers
201
views
Higher cohomology of projective bundles
Let $C$ be a curve and $L$ be a line bundle with sufficiently large degree. Let $C_p$ denote the $p$-th symmetric product of $C$, which consists of all the effective divisors of degree $p$ on $C$. Let ...
- 439
2
votes
0
answers
156
views
Are flasque sheaves exactly the retracts of "canonically" flasque sheaves?
Let $X$ be a topological space. Let $X^\delta$ denote the space whose elements are the points of $X$, and which is equipped with the discrete topology. There is a continuous map $i : X^\delta\to X$ ...
2
votes
0
answers
405
views
Cohomology of a family of twisted cubic curves (Hartshorne III, 12.9.2)
I'm trying to understand following Example in Hartshorne (Chapter III, Example 9.8.2
& Example 12.9.2):
Let $X_1 \subset \mathbb{P}^{3}$ be a twisted cubic curve not containing the point
$(0:...:1)...
- 5,986
2
votes
0
answers
136
views
A infinity structure on Yoneda Ext group
I am currently trying to control an $A_\infty$-algebra of the form $\mathrm{Ext}_X(F\oplus F'[2n-2],F\oplus F'[2n-2])$ where $X$ is a nice enough scheme and $F,F'$ are sheaves that are NOT locally ...
- 213
2
votes
0
answers
670
views
Čech-Alexander complex in computing (crystalline/prismatic) cohomology
I have a naive question about Čech-Alexander complexes in prismatic cohomology (although I suspect that the situation is similar for crystalline cohomology).
They seemed to be introduced as a method ...
- 21
2
votes
0
answers
251
views
Is there a by-hand prove that $\Gamma(\mathbb{C}P^n,E)$ is finite dimensional for a holomorphic vector bundle $E$?
Please let me know whether this question is suitable for Mathoverflow.
Let $E$ be a finite holomorphic vector bundle (or more generally a coherent analytic sheaf) on a compact complex manifold $X$. ...
- 9,019
2
votes
0
answers
139
views
Defineing a Sheaf of rings over a topological space
Let $X$ be a topological space and let $R$ be a commutative ring with $1$ such that for each $x\in X$ there exists a multiplicatively closed subset $S_x$ of $R$ such that for each $a\in R$ if $\frac{a}...
- 31
2
votes
0
answers
143
views
Maps between Leray spectral sequences
Let $f_1 : X_1 \to Y_1$ and $f_2 : X_2 \to Y_2$ be two continuous maps between topological spaces. Suppose that there exists a commutative diagram of singular cohomology groups (say with coefficients ...
- 1,227
2
votes
0
answers
126
views
Local cohomology with supports in a constructible set
Let $X$ be a topological space (I'm interested in the case of $X$ being a complex algebraic variety with the Zariski topology) and $Z$ a constructible subset (i.e. a finite union of locally closed ...
- 3,079
2
votes
0
answers
202
views
Cohomology of adelic locally symmetric spaces
I am most probably wrong in asserting as follows.
Let $G$ be a connected reductive group over $\mathbb{Q}$, and $S_{K_f} = G(\mathbb{Q}) \backslash G(\mathbb{A}/K_\infty Z(\mathbb{A}) \cdot K_f $ be ...
- 601