nLab
triangulated category

Skip the Navigation Links | Home Page | All Pages | Recently Revised | Authors | Feeds | Export |

Context

Homological algebra

homological algebra

and

nonabelian homological algebra

Context

Basic definitions

Stable homotopy theory notions

Constructions

Lemmas

diagram chasing

Homology theories

Theorems

Stable homotopy theory

stable homotopy theory

Ingredients

Contents

Contents

Idea

Triangulated categories were introduced by Jean-Louis Verdier under the supervision of Grothendieck, motivated by the triangulated structure on derived categories.

A triangulated category is a category equipped with a notion of suspension objects/loop space objects for all of its objects such that in terms of these every morphism fits into a sequence that behaves like a homotopy fiber sequence.

More precisely, a triangulated category is a category that behaves like the homotopy category of a stable (∞,1)-category. Indeed, most examples of triangulated categories that arise in practice appear this way, and in fact often from stable model categories. Notice that the definition of stable (∞,1)-category is very simple and much simpler than the definition of triangulated category, def. 1 below.

Therefore, all the structure and properties of a triangulated category is best understood as a 1-categorical shadow (the decategorification) of the corresponding properties of stable (∞,1)-categories.

A central class of examples of triangulated categories are the derived categories D(𝒜) of abelian categories 𝒜. These are the homotopy categories of the (∞,1)-categories of chain complexes in 𝒜.

Triangulated categories are sufficient for some purposes, and can be easier to work with than the stable (∞,1)-categories that they come from, but – as with every quotient construction – often one needs more information than is present in the triangulated category, especially concerning the computation of homotopy limits and homotopy colimits: the ordinary limits and colimits and other universal constructions in a triangulated category generally have no useful interpretation.

Accordingly, there is a series on notions that refine that of a triangulated category, approximating more and more of the full structure of a stable (∞,1)-category:

Definition

The traditional definition of triangulated category is the following. But see remark 1 below.

Definition

A triangulated category is

TR0: every triangle isomorphic to a distinguished triangle is itself a distinguished triangle;

TR1: the triangle

X→Id XX→0→TXX \stackrel{Id_X}{\to} X \to 0 \to T X

is a distinguished triangle;

TR2: for all f:X→Y, there exists a distinguished triangle

X→fY→Z→TX;X \stackrel{f}{\to} Y \to Z \to TX \,;

TR3: a triangle

X→fY→gZ→hTXX \stackrel{f}{\to} Y \stackrel{g}{\to} Z \stackrel{h}{\to} T X

is a distinguished triangle precisely if

Y→−gZ→−hTX→−T(f)TYY \stackrel{-g}{\to} Z \stackrel{-h}{\to} T X \stackrel{-T(f)}{\to} T Y

is a distinguished triangle;

TR4: given two distinguished triangles

X→fY→gZ→hTXX \stackrel{f}{\to} Y \stackrel{g}{\to} Z \stackrel{h}{\to} T X

and

X′→f′Y′→g′Z′→h′TX′X' \stackrel{f'}{\to} Y' \stackrel{g'}{\to} Z' \stackrel{h'}{\to} T X'

and given morphisms α and β in

X →f Y ↓ α ↓ β X′ →f′ Y′\array{ X &\stackrel{f}{\to}& Y \\ \downarrow^\alpha && \downarrow^\beta \\ X' &\stackrel{f'}{\to}& Y' }

there exists a morphism γ:Z→Z′ extending this to a morphism of distinguished triangles in that the diagram

X →f Y →g Z →h TX ↓ α ↓ β ↓ ∃γ ↓ T(α) X′ →f′ Y′ →g′ Z′ →h′ TX′\array{ X &\stackrel{f}{\to}& Y &\stackrel{g}{\to}& Z &\stackrel{h}{\to}& T X \\ \downarrow^\alpha && \downarrow^\beta && \downarrow^{\exists \gamma} && \downarrow^{T(\alpha)} \\ X' &\stackrel{f'}{\to}& Y' &\stackrel{g'}{\to}& Z' &\stackrel{h'}{\to}& T X' }

commutes;

TR5: given three distinguished triangles of the form

X→fY→hY/X→TX Y→gZ→kZ/Y→TY X→g∘fZ→lZ/X→TX\begin{aligned} & X \stackrel{f}{\to} Y \stackrel{h}{\to} Y/X \stackrel{}{\to} T X \\ & Y \stackrel{g}{\to} Z \stackrel{k}{\to} Z/Y \stackrel{}{\to} T Y \\ & X \stackrel{g \circ f}{\to} Z \stackrel{l}{\to} Z/X \stackrel{}{\to} T X \end{aligned}

there exists a distinguished triangle

Y/X→uZ/X→vZ/Y→wT(Y/X)Y/X \stackrel{u}{\to} Z/X \stackrel{v}{\to} Z/Y \stackrel{w}{\to} T (Y/X)

such that the following big diagram commutes

X →g∘f Z →k Z/Y →k T(Y/X) f↘ ↗ g ↘ l ↗ v ↘ ↗ T(h) Y Z/X TY ↘ h ↗ u ↘ ↗ T(f) Y/X → TX\array{ X &&\stackrel{g \circ f}{\to}&& Z &&\stackrel{k}{\to}&& Z/Y &&\stackrel{k}{\to}&& T (Y/X) \\ & {}_{f}\searrow && \nearrow_{g} && \searrow^{l} && \nearrow_{v} && \searrow^{} && \nearrow_{T(h)} \\ && Y &&&& Z/X &&&& T Y \\ &&& \searrow^{h} && \nearrow_{u} && \searrow^{} && \nearrow_{T(f)} \\ &&&& Y/X &&\stackrel{}{\to}&& T X }
Remark

This classical definition is actually redundant; TR4 and one direction of TR3 follow from the remaining axioms. See (May).

Remark

In the context of triangulated categories the translation functor T:C→C is often called the suspension functor and denoted (−)[1]:X↦X[1] (in an algebraic context) or S or Σ (in a topological context). However unlike “translation functor”, suspension functor is also the term used when the invertibility is not assumed, cf. suspended category.

Remark

If (f,g,h) is a distinguished triangle, then (f,g,−h) is not generally distinguished, although it is “exact” (induces long exact sequences in homology and cohomology). However, (f,−g,−h) is always distinguished, since it is isomorphic to (f,g,h):

X →f Y →g Z →h TX id↓ id↓ −1↓ ↓ id X →f Y →−g Z →−h TX\array{ X & \xrightarrow{f} & Y & \xrightarrow{g} & Z & \xrightarrow{h} & T X\\ ^{id}\downarrow && ^{id} \downarrow && ^{-1} \downarrow && \downarrow^{id}\\ X & \xrightarrow{f} & Y & \xrightarrow{-g} & Z & \xrightarrow{-h} & T X}

Examples

References

The original reference is the thesis of Verdier:

  • Verdier, Jean-Louis, Des Catégories Dérivées des Catégories Abéliennes, Astérisque (Paris: Société Mathématique de France) 239. Available in electronic format courtesy of Georges Maltsiniotis.

A comprehensive monograph is

  • Amnon Neeman, Triangulated Categories , Princeton University Press (2001)

and a survey is in section 10 of

section 3 of

A survey of formalisms used in stable homotopy theory to present the triangulated homotopy category of a stable (∞,1)-category is in

Discussion of the redundancy in the traditional definition of triangulated category is in

  • Peter May, The additivity of traces in triangulated categories, (pdf)

There was also some discussion at the nForum.

category: triangulated categories

Revised on May 9, 2013 19:25:49 by Zoran Škoda (161.53.130.104)
Edit | Back in time (32 revisions) | See changes | History | Views: Print | TeX | Source | Linked from: Timeline of category theory and related mathematics, vertical categorification, higher category theory, omega-category, oriental, globe, globular set, groupoid cardinality, Simpson's conjecture, (-1)-category, infinity-groupoid, semi-strict infinity-category, Cat, graded vector space, vector space, double category, bicategory, geometric definition of higher categories, geometric shape for higher structures, omega-groupoid, crossed complex, Nonabelian Algebraic Topology, (infinity,1)-category, 0-category, strict 2-category, periodic table, (n,r)-category, infinity-category, n-category, Kan complex, n-groupoid, k-tuply monoidal n-category, graded algebra, Gray-category, quasi-isomorphism, zero object, strict omega-category, Crans-Gray tensor product, strict omega-groupoid, projective object, algebraic definition of higher categories, n-fold category, crossed module, regular epimorphism, tricategory, (-1)-groupoid, spectrum, generalized universal bundle, k-surjective functor, simplicial T-complex, strict n-category, A-infinity-category, 2-group, homotopy hypothesis, pseudofunctor, (infinity,n)-category, regular monomorphism, (infinity,n)-category of cobordisms, Trimble n-category, simplicial object in Cat, simplicial groupoid, reflective subcategory, Moore complex, string diagram, cat-n-group, 2-vector space, 2-crossed module, crossed square, double groupoid, Dold-Kan correspondence, loop space object, delooping hypothesis, Pursuing Stacks, k-tuply monoidal (n,r)-category, dg-category, 3-category, Euler characteristic, connection on a cubical set, n-fibration, (-2)-groupoid, 1-category, 2-groupoid, 2-poset, n-poset, 3-groupoid, T-complex, cubical T-complex, full subcategory, Categories and Sheaves, dense subcategory, stable (infinity,1)-category, noncommutative algebraic geometry, compact object, kernel, cokernel, additive category, Stable Infinity-Categories, contractible space, abelian category, exact functor, pre-additive category, pre-abelian category, additive and abelian categories, homological algebra, chain complex, category with translation, derived category, cohomological functor, abelian sheaf, triangulated category, homology, differential, category of chain complexes, mapping cone, null system, differential graded vector space, suspended category, Quillen exact category, differential graded algebra, 2009 March changes, wide subcategory, Grothendieck category, complex, injective object, differential graded coalgebra, semi-abelian category, double complex, combinatorial spectrum, bar and cobar construction, satellite, Godement product, why (infinity,1)-categories?, additive functor, geometric infinity-function theory, Frobenius category, homological perturbation theory, Karoubian category, Voevodsky motive, exact sequence, element in an abelian category, flat module, coreflective subcategory, Gabriel multiplication, thick subcategory, Serre subcategory, Eckmann-Hilton argument, differential forms on simplices, calculus of fractions, complicial set, weak complicial set, enhanced triangulated category, pretriangulated dg-category, twisted complex, (infinity,1)-category of (infinity,1)-categories, stable (infinity,1)-category of spectra, spectrum object, strict 2-functor, E-infinity-ring, commutative ring spectrum, A-infinity-ring, microcosm principle, higher category theory and physics, negative thinking, (2,1)-category, (n,1)-category, replete subcategory, tetracategory, omega-nerve, computad, Eilenberg-Mac Lane spectrum, K-theory spectrum, Grothendieck spectral sequence, spectral sequence, Hochschild-Serre spectral sequence, n-group, transfor, k-morphism, n-functor, (infinity,2)-category, n-fold complete Segal space, opetope, weak inverse, delooping, exchange law, snake lemma, algebraic K-theory, model structure on chain complexes, essential image, Postnikov system in a triangulated category, chain homology and cohomology, semifree dga, Gray-groupoid, lax functor, decategorification, simplicial resolution, 2009 August changes, property sup, Batanin omega-category, monoidal Dold-Kan correspondence, cluster algebra, Rouquier's cocovering, cosimplicial algebra, 2009 September changes, differential crossed module, stable homotopy theory, symmetric smash product of spectra, derivator, higher category theory - contents, ring spectrum, coordinate-free spectrum, stable homotopy theory - contents, de Rham theorem, Brown representability theorem, derived noncommutative geometry, cellular set, Eilenberg-Zilber theorem, motive, suspension object, Theta-space, Theta category, Bousfield localization of model categories, Bousfield localization of triangulated categories, nPOV, homotopically injective object, companion pair, stabilization, coherence theorem for monoidal categories, free module, higher monadic descent, Verdier's abelianization functor, covering, stable category, Grothendieck-Maltsiniotis infinity-category, Thom spectrum, (infinity,n)-module, reflective sub-(infinity,1)-category, equivariant stable homotopy theory, applications of (higher) category theory, 2Cat, five lemma, finite type, stable derivator, stable model category, Homotopy Theory of Higher Categories, free loop space object, semicategory, (infinity,1)-category theory, homotopy coherent diagram, Goodwillie calculus, An Introduction to Homological Algebra, hypergroupoid, coherence theorem, module spectrum, Koszul complex, hypercrossed complex, vertical composition, globular operad, pasting diagram, associator, unitor, dgAlg, algebraic Kan complex, algebraic quasi-category, 2-category theory, nonabelian homological algebra, automorphism 2-group, split exact sequence, connective spectrum, embedding, projective module, effective monomorphism, Duskin nerve, cosmic cube, universal coefficient theorem, symmetric monoidal (infinity,n)-category, Ext, Tor, Gray group, homological algebra - contents, Freyd-Mitchell embedding theorem, hom-groupoid, connecting homomorphism, horizontal composition, holographic principle of higher category theory, infinity-anafunctor, 3-morphism, coherence law, associativity, 1-morphism, (1,1)-category, pentagonator, hexagonator, strict 2-groupoid, bigroupoid, chain homotopy, nGrpd, (infinity,n)-presheaf, perfect chain complex, algebra spectrum, blob n-category, model structure on operator algebras, parametrized spectrum, Alexander-Whitney map, spectral sequence of a filtered complex, sphere spectrum, Eilenberg-Zilber map, operadic Dold-Kan correspondence, (infinity,n)Cat, model structure on spectra, hyper-derived functor, integral transforms on sheaves, integral transform, (infinity,n)-category of spans, acyclic object, singular homology, localizing subcategory, curved dg-algebra, fully dualizable object, bounded chain complex, KK-theory, Betti number, (infinity,2)-sheaf, dense sub-site, natural equivalence, Higher Algebra, model structure on dg-modules, full sub-2-category, (infinity,n)-category with duals, Koszul-Tate resolution, Deligne conjecture, suspension spectrum, Spanier-Whitehead duality, (infinity,1)-vector bundle, looping, Stab(infinity,1)Cat, delta-functor, truncated object, model structure on cosimplicial simplicial sets, dual vector space, contents of contents, Bondal-Orlov reconstruction theorem, Bridgeland stability condition, global dimension theorem, suspension of a chain complex, well-generated triangulated category, outer automorphism infinity-group, Bockstein homomorphism, notions of subcategory, (infinity,2)-topos, 0-morphism, sub-(infinity,1)-category - internal formulation, 3x3 lemma, diagram chasing, Leray spectral sequence, reflective sub-(infinity,1)-category - internal formulation, Bousfield lattice, model structure on presheaves of spectra, Deligne tensor product of abelian categories, model structure on cellular sets, parity complex, relative homology, higher Segal space, Cartesian fibration of dendroidal sets, symplectic duality, (n,r)-congruence, Segal n-category, derived functor in homological algebra, homotopy 2-category, sheaf of spectra, syzygy, projective resolution, (infinity,n)-sheaf, Serre functor, n-angulated category, reduced homology, exact couple, coherence theorem for symmetric monoidal categories, null homotopy, ordinary homology, interval object in chain complexes, abelian subcategory, t-structure, internal hom of chain complexes, additive and abelian categories - contents, Baer's criterion, tensr product of chain complexes, tensor product of chain complexes, horseshoe lemma, associated graded object, filtered chain complex, chain map, Adams spectral sequence, Serre spectral sequence, Bockstein spectral sequence, (infinity,n)-category with adjoints, truncation of a chain complex, simplicial homology, (infinity,1)-category of chain complexes, exact triangle, sheaf of abelian groups, total derived functor, flat resolution lemma, flat resolution, salamander lemma, compactly generated triangulated category, spectral sequence of a double complex, function spectrum, injective module, abelianization, cellular homology, total complex, homotopy category of chain complexes, free resolution, homotopical structure on C*-algebras, elliptic chain complex, long exact sequence in homology, four lemma, TwoVect, coherence theorem for braided monoidal categories, coherence theorem for monoidal bicategories, coherence theorem for braided monoidal bicategories, coherence theorem for symmetric monoidal bicategories, (infinity,n)-topos, Lazard's criterion, symmetric monoidal 2-category, globular theory, projector, connective chain complex, spectrum of a triangulated category, double Lie groupoid, Lie algebroid-groupoid, noncommutative stable homotopy theory