Questions tagged [sheaf-cohomology]
The sheaf-cohomology tag has no usage guidance.
364 questions
7
votes
1
answer
607
views
Converses to Cartan's Theorem B
Here is a phrasing of some Cartan Theorem B statements:
Consider the following conditions:
$X$ is a {Stein manifold, affine scheme, coherent analytic subvariety of $\mathbb{R}^n$, contractible ...
- 1,129
7
votes
1
answer
431
views
Smooth analogue of Cartan's Theorem B
Cartan's Theorem B can be stated as follows:
Let $X$ be a space let $\mathcal{F}$ be a sheaf on $X$.
Consider the following three conditions:
$X$ is "simple";
$\mathcal{F}$ is "nice&...
- 1,129
7
votes
1
answer
1k
views
Are injective quasi-coherent modules acyclic?
Let $X$ be a scheme and $F$ be an injective object of $\mathrm{Qcoh}(X)$. Is it true that $F$ is acyclic with respect to the usual sheaf cohomology?
For noetherian schemes $X$ this is well-known; ...
- 63.1k
7
votes
1
answer
559
views
Local cohomology groups and linearity
I am reading local cohomology and am confused on a silly point. Let $U$ be an affine, non-singular variety and $Z \subset U$ a hypersurface section on $U$ (i.e., complete intersection in $U$ of ...
- 2,323
7
votes
1
answer
334
views
Extending $G$-torsors on open subsets of affine space
Let $k$ be a characteristic zero field, $V \subset \mathbb{A}^n_k$ an open subscheme, $G$ a split reductive group over $k$ and $T$ a $G$-torsor over $V$ (in the etale, equivalently fppf topology). ...
- 984
7
votes
1
answer
1k
views
Basic properties of Nisnevich cohomology; $l'$-topology?
I would like to know more about Nisnevich cohomology (especially, on its properties that could be easily formulated). In particular, I would like to know which of the following statements are true, ...
- 16.9k
7
votes
1
answer
642
views
Coverings/Cech cohomology of totally disconnected spaces
For any topological space $X$ we have a natural functor
$\text{Cov}_X \rightarrow \text{Fun}(\pi_1(X),\text{Set})$
from the category of coverings of $X$ to the category of functors $\pi_1(X) \...
- 1,704
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
1
answer
1k
views
Poincare duality on the level of complexes
The classical Poincare duality is formulated in terms of cohomology groups. I am wondering if we can also formulate it in terms of complexes.
In particular, suppose $\mathcal{C}^*$ is a complex of $...
- 69
6
votes
2
answers
789
views
Reference request: Kleiman's proof of Snapper's Lemma
On page 4 of Nitin Nitsure's paper Construction of Hilbert and Quot Schemes, the author refers to the fact that Hilbert polynomials are indeed polynomials as
a special case of Snapper's Lemma, see &...
- 1,805
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
2
answers
524
views
Global sections of multiples of a divisor
Let $D$ be an integral divisor on a smooth projective variety $X$. Consider the multiples $mD$ of $D$ for $m\geq 0$. Clearly, $h^0(X,mD) = 1$ for $m = 0$.
Is there any example where $h^0(X,mD) = 0$ ...
- 8,998
6
votes
2
answers
632
views
Geometric meaning of coherent sheaves $\mathcal{F} \otimes \mathcal{O}_{\mathbb{P}^n}(d)$ over $\mathbb{P}^n$
Maybe it sounds like a silly question but I'm not able to figure out in my head the geometric meaning of "twisting" vector bundles (or more generaly coherent sheaf) over $\mathbb{P}^n$.
I ...
- 1,343
6
votes
1
answer
480
views
Unbounded acyclic resolutions
Let $\mathscr A$ be a Grothendieck abelian category. Then every object in $\operatorname{Ch}(\mathscr A)$ is quasi-isomorphic to a $K$-injective object [Stacks, Tag 079P]. In particular, for any left ...
- 28.8k
6
votes
1
answer
443
views
Where can I find a definition of $\underline{H}^p(X, \mathscr{F})$?
Let $X$ be a topological space and $\mathscr{F}$ a sheaf on $X$. In the paper Tropical cycle classes for non-archimedean spaces and weight decomposition of de Rham cohomology sheaves by Yifeng Liu, ...
- 1,153
6
votes
1
answer
328
views
Topology on cohomology of a sheaf of topological groups
Let $X$ be a topological space and $\mathcal{F}$ be a sheaf of commutative topological groups on $X$. I am interested in the following question:
Is there a natural way to introduce topology on $H^i(X,...
- 1,170
6
votes
1
answer
753
views
Sections of the conormal bundle
Let $X\subset\mathbb{P}^N$ be a quadratic manifold. That is $I(X)$ is generated by quadratic polynomials $Q_1,...,Q_m$.
Let $\mathcal{I}_X$ be the ideal sheaf of $X$ and $\mathcal{I}_X/\mathcal{I}_X^...
user82886
6
votes
1
answer
328
views
Spectral sequence generalizing Čech cohomology
Let $X$ be a 'nice' topological space. Let $\left(U_i\right)_{i\in I}$ be a finite open covering of $X$. Let $\mathcal{F}$ be a sheaf of abelian groups.
For a subset $A\subset I$ denote $$U_A:=\cap_{...
- 21.8k
6
votes
1
answer
557
views
Cohomology and base change without Noetherian assumption
In the "The Rising Sea" by Vakil one can find the base change theorem for proper morphisms over a locally Noetherian base (28.1.6). He later indicates (28.2.M) how one could exchange the ...
- 445
6
votes
1
answer
728
views
Sheaf cohomology with support vanishes
I am trying to solve the exercise 2.4 chapter III in Hartshorne's "Algebraic Geometry". For this I would like to prove for a sheaf $F$ of Abelian groups on a topological space $X$ and $U$ open subset ...
- 233
6
votes
1
answer
479
views
A mysterious quasi-isomorphism in Kashiwara-Schapira's proof of HKR
On p. 127 of Kashiwara-Schapira's paper "Deformation Quantization Modules", there is the following situation: $X$ is a smooth complex (quasi?)projective variety and $\delta\colon X\to X\times X$ is ...
- 2,011
6
votes
1
answer
512
views
infinite grassmannian in algebraic geometry
Geometric realization of $B{\mathbb G}_{\mathfrak m}({\mathbb C})$ is ${\mathbb C}{\mathbb P}^\infty=\varinjlim_n~ {\mathbb C}{\mathbb P}^n_k$; what if one considers a separable field $k\neq {\...
- 193
6
votes
1
answer
954
views
Sheaves with isomorphic cohomology, but not quasi-isomorphic
Suppose I have two (constructible) sheaves of vector spaces $F$ and $G$ over the same base space that have isomorphic cohomology (degree by degree), but no sheaf map inducing this isomorphism (i.e. ...
- 2,684
6
votes
1
answer
386
views
Elementary proof of the exactness of Čech complex associated to a hypercovering ("Illusie's Conjecture")
Let $\mathcal{E}$ be a sheaf of abelian groups on a topological space (or a site). For an open covering $\mathfrak{U} = (U_i)_i$, it is well known that the augmented Čech complex $0 \to \mathcal{E} \...
- 3,312
6
votes
1
answer
334
views
Naive question on local cohomology
Let $X$ be a smooth, projective variety and $Z_1, Z_2$ two smooth, projective subvarieties in $X$ of the same dimension. Let $E$ be a locally free sheaf on $X$. Recall, there are natural morphims:
$$...
- 1,593
6
votes
1
answer
761
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 ...
- 294
6
votes
1
answer
284
views
Formal character of local cohomology groups with support in Schubert cells
Let $k$ be a field of characteristic zero, $G$ a connected semi-simple algebraic group over $k$ and $B$ a fixed Borel subgroup of $G$ with maximal torus $T$. Also denote by $W$ the Weyl-group of $G$. ...
- 473
6
votes
1
answer
294
views
When does isomorphism on singular cohomology imply isomorphism on Picard and Brauer groups?
Assume that $f:X\to Y$ is a morphism of complex varieties, and the homomorphisms $H^i_\text{sing}(f)$ are bijective for $0\le i\le 3$ (though possibly $3$ is too much here:)). Under which ...
- 16.9k
6
votes
1
answer
261
views
Do general sheaves on P^2 have cohomology governed by their Euler characteristic?
Suppose $\xi$ is chern character on $\mathbb P^2$. Then there is a moduli space $M(\xi)$ of semistable sheaves of chern character $\xi$.
If $\xi$ has Euler characteristic 0, then apparently there is ...
- 1,509
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
2
answers
445
views
Representability of flat cohomology by a group scheme
In his paper "Supersingular K3 surfaces", Artin states the following theorem (Theorem 3.1) without proof:
Let $\pi:X \to S = \mathrm{Spec}(k)$ be a smooth proper surface with $k$ an ...
- 10.5k
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
1
answer
221
views
When is derived category of ringed space perfectly generated?
Let $(X,\mathcal{O})$ be a ringed space. Also assume that $X$ is nice, e.g. locally compact, Hausdorff, some type of finite dimension, ...
We can then consider $\mathcal{D}(\mathcal{O}\text{-}Mod)$. ...
- 501
6
votes
0
answers
240
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
2
answers
527
views
Divisors whose restriction is big
Let $f:X\rightarrow Y$ be a flat morphism of smooth projective varieties, and $\mathcal{L}$ an effective and ample line bundle on $Y$. For a divisor $A\in H^0(Y,\mathcal{L})$ set $X_A := f^{-1}(A)$.
...
user329228
5
votes
1
answer
983
views
The Gauss-Bonnet theorem for Sheaves
Euler Characteristic of Sheaves and the Generalized Gauss-Bonnet Theorem
Consider a sheaf $\mathscr{F}$ over a site $\mathscr{(C,J)}$, where $\mathscr{C}$ is a small category with a coverage $\mathscr{...
user62675
5
votes
1
answer
299
views
First cohomology of tangent sheaf of rational curve
Let $C$ be a reduced, connected, projective and purely one-dimensional scheme of finite type over a field $k$.
Suppose that $C$ is rational, i.e. that the normalisation of $C$ is a disjoint union of ...
- 984
5
votes
2
answers
676
views
Log canonical counterexample to Kawamata-Viehweg vanishing
I found in the literature that, in characteristic 0, Kodaira vanishing holds for log-canonical pairs. On the other hand, the usual statement for Kawamata-Viehweg vanishing talks about a klt pair $(X,\...
- 625
5
votes
2
answers
825
views
Exact sequence of groups to exact sequence of sheaves
Disclaimer: This is a cross-listing of a math.stackexchange post. While not research level, after a week of no response, I figured I would ask it here.
For a topological group $G$ and a topological ...
- 1,270
5
votes
1
answer
583
views
$H^1(X, GL(n, \mathcal{O}_X))$ and Vector Bundles
Let $X$ be a nice space: a manifold, a variety over a field, or so on. We know that line bundles on $X$ up to isomorphisms are given by $H^1(X,\mathcal{O}_X^*)$.
Can it be generalized to higher rankal ...
- 485
5
votes
1
answer
468
views
Derived Equivalence of Sheaves and Homotopy
This question loosely elaborates on an earlier question. It is pretty silly, but I'd like to hear some authoritative answers.
Recall that if $f:S^{\bullet}\to T^{\bullet}$ is a quasi-isomorphism of ...
- 2,684
5
votes
1
answer
654
views
First Chern class of torsion sheaves
Let $X$ be a smooth projective variety, $\mathscr T$ a torsion sheaf with irreducible support of codimension $1$, say $Z$. Then the first Chern class $c_1(\mathscr T)$ is of form $r[Z]$. Is there ...
- 113
5
votes
1
answer
623
views
Sheaf cohomology invariant of weak homotopy type?
Is sheaf cohomology an invariant of the weak homotopy type? More precisely let $R$ be a commutative ring and $f:X\rightarrow Y$ a weak homotopy equivalence. Does it follow, that the induced maps $H^n(...
- 13.2k