arXiv subjects
Publications and source records attributed to Maria J. Vale.
Let $\mathbf{X}$ be an Adams geometric stack. We show that $D(A_{qc}(\mathbf{X}))$, its derived category of quasi-coherent sheaves, satisfies the axioms of a stable homotopy category defined by Hovey, Palmieri and Strickland. Moreover we show how this structure relates to the derived category of comodules over a Hopf algebroid that determines $\mathbf{X}$.
A geometric stack is a quasi-compact and semi-separated algebraic stack. We prove that the quasi-coherent sheaves on the small flat topology, Cartesian presheaves on the underlying category, and comodules over a Hopf algebroid associated to a presentation of a geometric stack are equivalent categories. As a consequence, we show that the category of quasi-coherent sheaves on a geometric stack is a Grothendieck category. We associate, in a 2-functorial way, to a 1-morphism of geometric stacks $f$, an adjunction $(f^*, f_*)$ for the corresponding categories of quasi-coherent sheaves that agrees with the classical one defined for schemes. This construction is described both geometrically in terms of the small flat site and algebraically in terms of the Hopf algebroid.
In this paper, we prove that for a noetherian formal scheme X, its derived category of sheaves of modules with quasi-coherent torsion homologies D_qct(X) is generated by a single compact object. In an appendix we prove that the category of compact objects in D_qct(X) is skeletally small.
We prove in this paper that for a quasi-compact and semi-separated (non necessarily noetherian) scheme X, the derived category of quasi-coherent sheaves over X, D(A_qc(X)), is a stable homotopy category in the sense of Hovey, Palmieri and Strickland, answering a question posed by Strickland. Moreover we show that it is unital and algebraic. We also prove that for a noetherian semi-separated formal scheme X, its derived category of sheaves of modules with quasi-coherent torsion homologies D_qct(X) is a stable homotopy category. It is algebraic but if the formal scheme is not a usual scheme, it is not unital, therefore its abstract nature differs essentially from that of the derived category of a usual scheme.