Grothendieck duality under Spec Z
Abstract
We define the derived category of a concrete category in a way which extends the usual definition of the derived category of a ring, and we prove that the bounded-below derived category of $\Spec \mathbb{M}_0$ (an approximation, used by e.g. Connes and Consani, to "$\Spec$ of the field with one element") is the stable homotopy category of connective spectra. We also describe some basic features of Grothendieck duality for the map from $\Spec \mathbb{Z}$ to $\Spec \mathbb{M}_0$, or, what comes to the same thing, the map from $\Spec \mathbb{Z}$ to $\Spec$ of the sphere spectrum; these basic features include a computation of the homology of the dualizing complex $f^!(S)$ of abelian groups associated to the sphere spectrum.
- Publication:
-
arXiv e-prints
- Pub Date:
- December 2010
- DOI:
- 10.48550/arXiv.1012.0110
- arXiv:
- arXiv:1012.0110
- Bibcode:
- 2010arXiv1012.0110S
- Keywords:
-
- Mathematics - Algebraic Topology;
- Mathematics - Algebraic Geometry