The generating hypothesis in the derived category of a ring

We show that a strong form (the fully faithful version) of the generating hypothesis, introduced by Freyd in algebraic topology, holds in the derived category of a ring R if and only if R is von Neumann regular. This extends results of the second author (J. Pure Appl. Algebra 208(2), 2007). We also characterize rings for which the original form (the faithful version) of the generating hypothesis holds in the derived category of R. These must be close to von Neumann regular in a precise sense, and, given any of a number of finiteness hypotheses, must be von Neumann regular. However, we construct an example of such a ring that is not von Neumann regular and therefore does not satisfy the strong form of the generating hypothesis.     

Comodules and Landweber exact homology theories

We show that, if E is a commutative MU-algebra spectrum such that is Landweber exact over , then the category of -comodules is equivalent to a localization of the category of -comodules. This localization depends only on the heights of E at the integer primes p. It follows, for example, that the category of -comodules is equivalent to the category of -comodules. These equivalences give simple proofs and generalizations of the Miller-Ravenel and Morava change of rings theorems. We also deduce structural results about the category of -comodules. We prove that every -comodule has a primitive, we give a classification of invariant prime ideals in , and we give a version of the Landweber filtration theorem.     

Morava -theory of filtered colimits

Morava -theory is a much-studied theory in algebraic topology, but it is not a homology theory in the usual sense, because it fails to preserve coproducts (resp. filtered homotopy colimits). The object of this paper is to construct a spectral sequence to compute the Morava -theory of a coproduct (resp. filtered homotopy colimit). The -term of this spectral sequence involves the derived functors of direct sum (resp. filtered colimit) in an appropriate abelian category. We show that there are at most (resp. ) of these derived functors. When , we recover the known result that homotopy commutes with an appropriate version of direct sum in the -local stable homotopy category.

     

Model category structures on chain complexes of sheaves

The unbounded derived category of a Grothendieck abelian category is the homotopy category of a Quillen model structure on the category of unbounded chain complexes, where the cofibrations are the injections. This folk theorem is apparently due to Joyal, and has been generalized recently by Beke. However, in most cases of interest, such as the category of sheaves on a ringed space or the category of quasi-coherent sheaves on a nice enough scheme, the abelian category in question also has a tensor product. The injective model structure is not well-suited to the tensor product. In this paper, we consider another method for constructing a model structure. We apply it to the category of sheaves on a well-behaved ringed space. The resulting flat model structure is compatible with the tensor product and all homomorphisms of ringed spaces.

     

Tate cohomology lowers chromatic Bousfield classes

Let be a finite group. We use recent results of J. P. C. Greenlees and H. Sadofsky to show that the Tate homology of local spectra with respect to produces local spectra. We also show that the Bousfield class of the Tate homology of (for finite) is the same as that of . To be precise, recall that Tate homology is a functor from -spectra to -spectra. To produce a functor from spectra to spectra, we look at a spectrum as a naive -spectrum on which acts trivially, apply Tate homology, and take -fixed points. This composite is the functor we shall actually study, and we'll prove that when is finite. When , the symmetric group on letters, this is related to a conjecture of Hopkins and Mahowald (usually framed in terms of Mahowald's functor ).