# Questions tagged [sheaf-cohomology]

The tag has no usage guidance.

212 questions
Filter by
Sorted by
Tagged with
9k views

### Sheaf cohomology and injective resolutions

In defining sheaf cohomology (say in Hartshorne), a common approach seems to be defining the cohomology functors as derived functors. Is there any conceptual reason for injective resolution to come ...
3k 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 ...
2k views

### Classification of rings satisfying $a^4=a$

We have the famous classification of rings satisfying $a^2=a$ (for each element $a$) in terms of Stone spaces, via $X \mapsto C(X,\mathbb{F}_2)$. Similarly, rings satisfying $a^3=a$ are classified by ...
1k views

### Two points of view about Borel-moore homology

They are several ways to define the Borel-Moore homology on a locally compact space $X$. The first one is by analogy with the singular homology but instead of using finite chains, we use locally ...
824 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$. (...
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 ...
864 views

### Is there a complex which computes Cech cohomology?

Suppose $X$ is a (paracompact, Hausdorff) topological space and we want to define its Cech cohomology with coefficients in $\mathbb Z$. Here is the way I have seen this constructed. For each open ...
1k views

### Where am I suppose to actually learn how to compute hypercohomology?

I'm reading about algebraic de Rham cohomology over characteristic zero which is constructed using hypercohomology. Already, constructing injective resolutions is difficult, and coupling this with ...
834 views

### Does every sheaf embed into a quasicoherent sheaf?

Question. Let $X$ be a scheme. Let $\mathcal{E}$ be a sheaf of $\mathcal{O}_X$-modules. Is there always a quasicoherent sheaf $\mathcal{E}'$ together with a monomorphism $\mathcal{E} \to \mathcal{E}'$?...
3k views

344 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 ...
305 views

### Can one determine the trace map for a nonsingular projective variety explicitly?

I've never understood how one would actually go about computing a trace map associated with the canonical sheaf on a smooth projective variety, if it's even possible. Hartshorne proves that the ...
468 views

350 views

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,... 1answer 600 views ### difference between the small and big étale/flat/… site What is the difference between the small and the big étale (or flat or syntomic or ...) site? How does the cohomology vary? When should I use which one? Up to now, I have always used the small sites. 1answer 838 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; ... 1answer 319 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 ... 1answer 445 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 {\...
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. ...