Skip to main content

All Questions

4 questions with no upvoted or accepted answers
Filter by
Sorted by
Tagged with
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$ ...
Saal Hardali's user avatar
  • 7,799
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 ...
ಠ_ಠ's user avatar
  • 6,025
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 ...
asv's user avatar
  • 21.8k
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 ...
Arrow's user avatar
  • 10.5k