23
votes
4answers
1k views

What (if anything) unifies stable homotopy theory and Grothendieck's six functors formalism?

I know of two very general frameworks for describing generalizations of what a "cohomology theory" should be: Grothendieck's "six functors", and the theory of spectra. In the former, one assigns to ...
13
votes
1answer
517 views

How can one interpret homology and Stokes' Theorem via derived categories?

I am very far removed from being an expert on derived categories. Every few months, however, I read a different introductory text with the hope that eventually I will have some basic grasp on this ...
2
votes
5answers
396 views

A statement for a triangulated category generated by a subset

Let $D$ be a triangulated category (the triangulated category in my mind is $D^{b}(X)$, that is the derived category of bounded complex of coherent sheaves on a smooth projective variety), $A \subset ...
6
votes
1answer
255 views

Are constructible derived categories invariant up to weak homotopy equivalence?

Let $X$ and $Y$ be two topological spaces and $R$ be commutative ring. Let $D_c^b(X, R)$ and $D_c^b(Y,R)$ be their respective bounded derived categories of constructible sheaves of $R$-modules. I ...
0
votes
1answer
177 views

Recovering torsion in singular homology from cplx of singular chains

For a simply connected simplicial complex, a theorem of Whitehead (Derived categories for the working mathematician, bottom of page 2) explains that the associated chain complexes with coefficients in ...
5
votes
1answer
447 views

More questions about Verdier duality (and related math)

The first set of questions can be found here: Understanding (the wiki page on) Verdier duality I'm fairly confident that I understand something wrong, so I'll write down here clearly what my set of ...
6
votes
2answers
1k views

Understanding (the wiki page on) Verdier duality

My familiarity with concepts related to derived categories is only tangential, and little by little I intend to get more comfortable with them. I was playing around with Caldararu's introduction to ...
6
votes
1answer
575 views

Do I need to know what an infinity-Gerstenhaber algebra is, and if so, what is it?

I am in the following situation. I have two (rather explicit and specific) dg commutative algebras $R,S$ over a field of characteristic $0$. In fact, $S$ is an $R$-algebra, in that I have a map $R ...
11
votes
1answer
632 views

Analytic Torsion in the Derived Category

I recently learned about analytic torsion and about the amazing Cheeger-Muller theorem identifying analytic and Reidemeister torsion for compact Riemannian manifolds. Now analytic torsion is defined ...
5
votes
2answers
652 views

Topological homotopy category as derived category

In the Introduction of his Derived Categories for the working mathematician Richard Thomas mentions the following theorem of Whitehead. Suppose that $X,Y$ are simplicial complexes, then the ...
24
votes
7answers
2k views

Simplicial objects

How should one think about simplicial objects in a category versus actual objects in that category? For example, both for intuition and for practical purposes, what's the difference between a ...