Failure of Brown representability in derived categories

DOI10.1016/S0040-9383(00)00015-XMaRDI QIDQ5956083zbMATH OpenOpenAlexWikidataFDO

Authors J. Daniel Christensen, Bernhard Keller, Amnon Neeman

Publication date 14 May 2002

Published in Topology (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/math/0001056

zbMATH Keywords

Brown representabilityderived categoryhereditary ringpure global dimension

Mathematics Subject Classification ID

Homotopy functors in algebraic topology (55P65)

Abstract: Let T be a triangulated category with coproducts, C the full subcategory of compact objects in T. If T is the homotopy category of spectra, Adams proved the following in [Adams71]: All contravariant homological functors C --> Ab are the restrictions of representable functors on T, and all natural transformations are the restrictions of morphisms in T. It has been something of a mystery, to what extent this generalises to other triangulated categories. In [Neeman97], it was proved that Adams' theorem remains true as long as C is countable, but can fail in general. The failure exhibited was that there can be natural transformations not arising from maps in T. A puzzling open problem remained: Is every homological functor the restriction of a representable functor on T? In a recent paper, Beligiannis made some progress. But in this article, we settle the problem. The answer is no. There are examples of derived categories T = D(R) of rings, and contravariant homological functors C --> Ab which are not restrictions of representables.

Review text

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.

Recommendations

• Brown representability often fails for homotopy categories of complexes
• On the Brown representability theorem for triangulated categories
• Brown representability does not come for free
• Transfinite Adams representability
• The Brown representability theorem and phantomless triangulated categories

Cited in

(20)

• Homology and cohomology of \(E_\infty\) ring spectra
• Relative homological algebra and purity in triangulated categories
• Triangulated categories and the Ziegler spectrum
• Brown representability for triangulated categories with a linear action by a graded ring
• Classifying subcategories of modules
• Powers of the phantom ideal
• Brown representability for exterior cohomology and cohomology with compact supports
• Brown representability often fails for homotopy categories of complexes
• Realizability of modules over Tate cohomology
• On the abelianization of derived categories and a negative solution to Rosický's problem
• Representability and autoequivalence groups
• Brown representability and the Eilenberg-Watts theorem in homotopical algebra
• The ghost and weak dimensions of rings and ring spectra
• Derived categories of sheaves on singular schemes with an application to reconstruction
• Cohen-Macaulay modules, (co)torsion pairs and virtually Gorenstein algebras.
• Transfinite Adams representability
• Silting, cosilting and extensions of commutative rings
• Representability theorems for presheaves of spectra
• Triangulated categories with a single compact generator, and two Brown representability theorems
• A generalized Bondal-Orlov full faithfulness criterion for Deligne-Mumford stacks

This page was built for publication: Failure of Brown representability in derived categories

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