All Questions
Tagged with homotopy-theory sheaf-cohomology
8 questions
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} \...
1
vote
1
answer
454
views
Relationship between $H^1(X, \mathbb{T})$ and complex line bundles
Let $X$ be a compact metric space and consider the sheaf cohomology group $H^1(X, \mathbb{T})$. From a class in $H^1(X, \mathbb{T})$, I can get a principal $\mathbb{T}$-bundle over $X$ and from this, ...
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 ...
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 ...
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$ ...
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 ...
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(...
32
votes
3
answers
4k
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 ...