Failure of Brown representability in derived categories (Q5956083)

From MaRDI portal

!

This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:

scientific article; zbMATH DE number 1708464
Language Label Description Also known as
default for all languages
No label defined
    English
    Failure of Brown representability in derived categories
    scientific article; zbMATH DE number 1708464

      Statements

      Failure of Brown representability in derived categories (English)
      0 references
      0 references
      0 references
      0 references
      0 references
      14 May 2002
      0 references
      Let \({\mathcal T}\) be a triangulated category with coproducts. An object \(c\) is called compact if the functor \({\mathcal T}(c,-)\) preserves coproducts. For example \({\mathcal T}\) could be \({\mathcal S}\), the homotopy category of spectra, in which case the compact objects are the finite spectra. Alternatively, \({\mathcal T}\) could be \(D(R)\), the derived category of a ring \(R\), in which case the compact objects are complexes isomorphic to finite complexes of finitely generated projective modules. The original Brown representability theorem for homology says that homological functors on compact objects in \({\mathcal S}\) are representable, and that natural transformations between such functors are induced by morphisms in \({\mathcal S}\). It is known that the analogous result for natural transformations can fail for \(D(R)\). The authors now find rings \(R\) such that the analogous result for functors also fails in \(D(R)\). The results are related to the projective global dimensions \(\text{pgldim}R\) and \(\text{pgldim}D(R)\); the authors show that \(\text{pgldim}R\leq\text{pgldim}D(R)\) in many cases, and they give examples in which the inequality is strict.
      0 references
      Brown representability
      0 references
      derived category
      0 references
      pure global dimension
      0 references
      hereditary ring
      0 references

      Identifiers