The tag has no wiki summary.

learn more… | top users | synonyms

1
vote
1answer
132 views

global sections of higher direct images of étale sheaves

Is there a useful criterion for when $\Gamma(X, R^qf_*F) = H^q(X',F)$, $f: X' \to X$, $F$ an étale sheaf on $X'$?
7
votes
1answer
780 views

Sheaf cohomology with compact supports (and Verdier duality?)

Consider a manifold and a complex where cochains are sections of vector bundles and coboundary maps are differential operators, which are locally exact except in lowest degree (think de Rham complex). ...
3
votes
1answer
194 views

Euler Characteristic of Coverings via Sheaf Theory

Let $X$ be a nice space (compact $CW$-complex or triangulated space, compact manifold, whatever works), $f:Y\to X$ be a finite covering of degree $n$, and $\chi(X)$ be the euler characteristic. By the ...
1
vote
2answers
141 views

Terminology: complex of sheaves with cohomology sheaves concentrated in degree zero

What is the proper terminology for a complex of sheaves $\mathcal F^\bullet$ whose homology sheaves $\mathcal H^i\mathcal F^\bullet$ vanish for $i\ne 0$?
0
votes
0answers
312 views

Global sections of twisting ideal sheaf of a smooth closed point on a projective space

Let $X = \mathbb{P}^n_k$ be a projective space over an algebraically closed field $k$ and $x$ be a closed point. Given an integer $m$ and a positive integer $r$. What are the global sections of ...
8
votes
1answer
568 views

When does the sheaf cohomology of a topological space vanish?

The question is in the title. A more precise formulation is: Let $X$ be a topological space. When does $H^i(X,F) = 0$ for all $i > 0$ and all abelian sheaves $F$ on $X$? The obvious example is a ...
2
votes
2answers
277 views

Leray spectral sequence of the inclusion of an open subvariety

Let $X$ be a smooth variety over a field $k \subset \mathbb{C}$ and $Z$ a smooth subvariety. Let $U=X-Z$. I'm trying to understand what information do the Leray spectral sequences attached to the ...
9
votes
1answer
519 views

Etale homology via étale cosheaves

Can one develop a theory of étale homology via étale cosheaves? The hope is that this would, for example, return the Tate module (and not its dual) for an elliptic curve, and it would return group ...
10
votes
2answers
1k views

When does sheaf cohomology commute with arbitrary direct sums?

It is well known and more or less proven in Hartshorne's 'Algebraic Geometry' (p. 209) that for every noetherian scheme $X$ and every collection of abelian sheaves $\mathcal{F}_i$ the canonical map ...
18
votes
2answers
596 views

Cohomologically trivial stacks

The following theorem of Serre is well-known: A noetherian scheme $X$ is affine if and only if $H^i(X; \mathcal{F}) = 0$ for all quasi-coherent sheaves $\mathcal{F}$ on $X$ and all $i>0$. ...
8
votes
0answers
492 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 ...
1
vote
0answers
70 views

How can one compute the cohomology of $i'^*C$, for $i':\mathbb{A}^{N-1}\setminus \{0\}\to \mathbb{A}^{N}\setminus \{0\} $?

For an (etale or 'topological', constructible bounded) complex of sheaves $C$ on $X'=\mathbb{A}^{N}\setminus \{0\} $, $i'$ being the embedding $\mathbb{A}^{N-1}\setminus \{0\}\to ...
2
votes
2answers
349 views

Vanishing of Ext group

Let $C$ be a cartier divisor on a smooth projective surface in $\mathbb{P}^3$. Then we get the short exact sequence $$0 \to \mathcal{O}_X(-C) \to \mathcal{O}_X(-C_{red}) \to F \to 0$$ for some sheaf ...
4
votes
0answers
340 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 ...
6
votes
4answers
1k views

Cohomology of line bundles

For sure answers to my questions are well known - but I never saw them anywhere. Let $X$ be a smooth projective (or just proper) variety over an algebraically closed field $k$. Let $A_i$ be the ...
5
votes
2answers
269 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 ...
0
votes
2answers
264 views

Cohomology groups interpreted as sheafs

Hi Folks, I just came across a few lines where a (sheaf-)cohomology group of a scheme is treated as a sheaf. I've never seen this in Hartshorne. Could you give any reference for this? Thanks Steven ...
2
votes
2answers
604 views

Top cohomology detecting compactness

I am looking for a reference for the fact that the top cohomology $H^n(X;A)$ of an $n$-dimensional manifold $X$ is non-trivial precisely when $X$ is compact. I tried to ask this question on ...
18
votes
2answers
1k views

How to Draw Complex Line Bundles

I am giving a presentation soon on the Classification of Complex Line Bundles and I would like to have some very "basic" visualizations to use as examples. Background and Context I am considering ...
1
vote
0answers
196 views

why is the local field Q_l not an etale sheaf over a scheme X?

I would like to know the reason why the local field Q_l is not an etale sheaf over a scheme X while its ring of integers Z_l can be regarded as a constant etale sheaf?
1
vote
1answer
305 views

Is this Sequences of Complexes of Sheaves Exact?

So in another question of mine there is a sequence of complexes of sheaves which the author asserts is exact. Let $K^{\bullet} = \underline{\mathbb{C}}^* \ \underrightarrow{d\ log} \ ...
2
votes
0answers
306 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 ...
1
vote
2answers
270 views

Cohomology of a cochain complex of acyclic sheaves

Ok, sort of as a follow up to my previous question, let's recall the de Rham-Weil theorem: Let $F$ be a sheaf on a topological space $X$ and let $\mathcal{L}^{\bullet}$ be an acyclic resolution of ...
3
votes
1answer
328 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 ...
8
votes
0answers
373 views

Deducing properness from H^i(X,F) finitely generated over \Gamma(O_X)

Suppose that $X$ is a quasi-projective variety over a field $k$ and that we further know that for every coherent sheaf $\mathcal{F}$, $H^i(X,\mathcal{F})$ is finitely generated over $\Gamma(O_X)$. Is ...
7
votes
2answers
449 views

Is $H^i(X,F)$ finitely generated over $\Gamma(O_X)$ if $F$ is coherent?

Suppose $\mathcal{X}$ is a smooth quasi-projective variety over $\mathbb{C}$ (I apologize if these hypotheses have little to do with the question at hand). Let $\mathcal{F}$ be a coherent sheaf on ...
4
votes
1answer
470 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; ...
2
votes
2answers
370 views

sheaves for which the derived (compact or not) pushforward is zero

Conventions: sheaf = complex of constructible sheaves (in the l-adic setup with etale tplg or in the complex coefficients setup with analytical tplg). I would like to understand if there is an ...
3
votes
2answers
447 views

If $f: X \to Y$ is a finite flat morphism of schemes, $g: Y \to Z$ is a proper morphism of relative dimension one, $Z$ is affine and $E$ is a vector bundle on $Y$ with $R^1g_*E=0$ then $H^1(X,f^*E)=0$?

Let $f: X \to Y$ and $g: Y \to Z$ be morphisms of schemes* such that f is flat and finite, g is proper and $R^{> 1}g_*E=0$ for all sheaves and Z is affine. Let E be a vector bundle on Y such that ...
2
votes
0answers
127 views

Intersections of components of 'simple' ('local") Zariski coverings

I would like to study the ordered Cech cohomology with respect to a Zariski covering of a variety. I can pass to the limit with respect to refinements; the components of the 'limit covering' will be ...
4
votes
1answer
328 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 ...
6
votes
1answer
490 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, ...
0
votes
0answers
166 views

Do infinitesimal neighbourhoods help to compute the inverse images of coherent sheaves?

Let $i:Z\to X$ be a closed embedding of (projective) varieties; $S$ is a coherent sheaf on $X$. How could one compute $H^*(Z,i^\ast S)$ (I don't know whether I should write $H^\ast (Z,i^{-1}S)$ ...
1
vote
0answers
200 views

On inverse images with respect to Zariski-etale topology.

For a variety $X$ I define its Zariski-etale site as follows: the category is the category of etale $X$-schemes, and the coverings are Zariski ones. Note that this topology is more coarse than the ...
1
vote
0answers
209 views

Non-realizable CR structures?

Hill, Penrose, and Sparling have an example of a non-realizable CR structure, a 5-manifold $M^5$ that comes equipped with a "twisted version" of the Lewy operator for the quadric $Q^2$, $v = ...
2
votes
0answers
133 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" ...
4
votes
1answer
520 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. ...
0
votes
1answer
247 views

The behavior of pure sheaves under functor Hom( F, -)

We know that a submodule A of B is pure if and only if the functor $Hom(M, -)$ is exact on the sequence $ 0 \rightarrow A \rightarrow B \rightarrow C \rightarrow 0$ for every finitely presented module ...
8
votes
0answers
288 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 ...
7
votes
5answers
1k views

Non-cohomological proof that the pullback of an ample bundle by a finite morphism is ample

It is a standard fact that for any finite morphism of proper Noetherian $A$-schemes ($A$ being Noetherian), the pullback of an ample line bundle is ample. The usual proof of this fact is via Serre's ...
3
votes
0answers
312 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 ...
25
votes
3answers
2k views

How should a homotopy theorist think about sheaf cohomology?

As a student of homotopy theory or algebraic topology, I have a certain outlook as to how one ought to think of a cohomology theory. There are axioms that help us with rudimentary computations, there ...