Grothendieck duality under Spec Z

From MaRDI portal




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 SpecmathbbM0 (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 SpecmathbbZ to SpecmathbbM0, or, what comes to the same thing, the map from SpecmathbbZ 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.














This page was built for publication: Grothendieck duality under Spec Z

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6222128)