arXiv subjects

Mark Hovey

Publications and source records attributed to Mark Hovey.

23 records · Page 2Linked to original sources

arXiv1999

Model category structures on chain complexes of sheaves

In this paper, we try to realize the unbounded derived category of an abelian category as the homotopy category of a Quillen model structure on the category of unbounded chain complexes. We construct such a model structure based on injective resolutions for an arbitrary Grothendieck category, as has apparently also been done by Morel. In particular, this works for sheaves on a ringed space, and for quasi-coherent sheaves on a quasi-compact, quasi-separated scheme. However, this injective model structure is not well suited to studying the derived tensor product, so we investigate other model structures. The most successful of these is the flat model structure on complexes of sheaves over a ringed space. This is based on flat resolutions, and is compatible with the tensor product. As a corollary, we get model categories of differential graded algebras of sheaves and differential graded modules over a given differential graded algebra of sheaves. This is the author's first attempt to understand sheaves, so comments from those more experienced with the subject are welcome.

math.AG↗

arXiv1998

Phantom maps and chromatic phantom maps

In the first part, we determine conditions on spectra X and Y under which either every map from X to Y is phantom, or no nonzero maps are. We also address the question of whether such all or nothing behaviour is preserved when X is replaced with V smash X for V finite. In the second part, we introduce chromatic phantom maps. A map is n-phantom if it is null when restricted to finite spectra of type at least n. We define divisibility and finite type conditions which are suitable for studying n-phantom maps. We show that the duality functor W_{n-1} defined by Mahowald and Rezk is the analog of Brown-Comenetz duality for chromatic phantom maps, and give conditions under which the natural map Y --> W_{n-1}^2 Y is an isomorphism.

math.AT↗

arXiv1998

Symmetric spectra

The long hunt for a symmetric monoidal category of spectra finally ended in success with the simultaneous discovery of the third author's discovery of symmetric spectra and the Elmendorf-Kriz-Mandell-May category of S-modules. In this paper we define and study the model category of symmetric spectra, based on simplicial sets and topological spaces. We prove that the category of symmetric spectra is closed symmetric monoidal and that the symmetric monoidal structure is compatible with the model structure. We prove that the model category of symmetric spectra is Quillen equivalent to Bousfield and Friedlander's category of spectra. We show that the monoidal axiom holds, so that we get model categories of ring spectra and modules over a given ring spectrum.

math.AT↗

arXiv1998

Monoidal model categories

A monoidal model category is a model category with a compatible closed monoidal structure. Such things abound in nature; simplicial sets and chain complexes of abelian groups are examples. Given a monoidal model category, one can consider monoids and modules over a given monoid. We would like to be able to study the homotopy theory of these monoids and modules. This question was first addressed by Stefan Schwede and Brooke Shipley in "Algebras and modules in monoidal model categories", who showed that under certain conditions, there are model categories of monoids and of modules over a given monoid. This paper is a follow-up to that one. We study what happens when the conditions of Schwede-Shipley do not hold. This will happen in any topological situation, and in particular, in topological symmetric spectra. We find that, with no conditions on our monoidal model category except that it be cofibrantly generated and that the unit be cofibrant, we still obtain a homotopy category of monoids, and that this homotopy category is homotopy invariant in an appropriate sense.

math.AT↗

arXiv1998

The structure of the Bousfield lattice

Using Ohkawa's theorem that the collection of Bousfield classes is a set, we perform a number of constructions with Bousfield classes. In particular, we describe a greatest lower bound operator; we also note that a certain subset DL of the Bousfield lattice is a frame, and we examine some consequences of this observation. We make several conjectures about the structure of the Bousfield lattice and DL. In particular, we conjecture that DL is obtained by killing "strange" spectra, such as the Brown-Comenetz dual of the sphere. We introduce a new "Boolean algebra of spectra" cBA, which contains Bousfield's BA and is complete. Our conjectures allow us to identify cBA as being isomorphic to the complete atomic Boolean algebra on {K(n) : n>= 0}, {A(n) : n>= 2}, and HF_p. Our conjectures imply that BA is the subBoolean algebra consisting of finite wedges of the K(n) and A(n), and their complements.

math.AT↗