In mathematics, a triangulated category is a category together with the additional structure of a "translation functor" and a class of "distinguished triangles". Prominent examples are the derived category of an abelian category and the stable homotopy category of spectra (more generally, the homotopy category of a stable ∞-category), both of which carry the structure of a triangulated category in a natural fashion. The distinguished triangles generate the long exact sequences of homology; they play a role akin to that of short exact sequences in abelian categories.
A t-category is a triangulated category with a t-structure.
The notion of a derived category was introduced by Jean-Louis Verdier (1963) in his Ph.D. thesis, based on the ideas of Grothendieck. He also defined the notion of a triangulated category, based upon the observation that a derived category had some special "triangles", by writing down axioms for the basic properties of these triangles. A very similar set of axioms was written down at about the same time by Dold and Puppe (1961).
A translation functor on a category D is an automorphism (or for some authors, an auto-equivalence) T from D to D. One usually uses the notation and likewise for morphisms from X to Y.
A triangle (X, Y, Z, u, v, w) consists of 3 objects X, Y, and Z, together with morphisms u : X → Y, v : Y → Z and w : Z → X. Triangles are generally written in the unravelled form:
A triangulated category is an additive category D with a translation functor and a class of triangles, called distinguished triangles, satisfying the following properties (TR 1), (TR 2), (TR 3) and (TR 4). (These axioms are not entirely independent, since (TR 3) can be derived from the others.)
- For any object X, the following triangle is distinguished:
- For any morphism u : X → Y, there is an object Z (called a mapping cone of the morphism u) fitting into a distinguished triangle
- Any triangle isomorphic to a distinguished triangle is distinguished. This means that if
- is a distinguished triangle, and f : X → X′, g : Y → Y′, and h : Z → Z′ are isomorphisms, then
- is also a distinguished triangle.
is a distinguished triangle, then so are the two rotated triangles
The second rotated triangle has a more complex form when and are not isomorphisms but only mutually inverse equivalences since is a morphism from to and to obtain a morphism to one must compose with the component of the natural transformation . This leads to complex questions about possible axioms one has to impose on the natural transformations making and into a pair of inverse equivalences. Due to this issue the assumption that and are mutually inverse isomorphisms is the usual choice in the definition of a triangulated structure.
Given two distinguished triangles and a map between the first morphisms in each triangle, there exists a morphism between the third objects in each of the two triangles that makes everything commute. This means that in the following diagram (where the two rows are distinguished triangles and f and g form the map of morphisms such that gu = u′f) there exists some map h (not necessarily unique) making all the squares commute:
TR 4: The octahedral axiom
Suppose we have morphisms u : X → Y and v : Y → Z, so that we also have a composed morphism vu : X → Z. Form distinguished triangles for each of these three morphisms according to TR 1. The octahedral axiom states (roughly) that the three mapping cones can be made into the vertices of a distinguished triangle so that "everything commutes".
More formally, given distinguished triangles
there exists a distinguished triangle
This axiom is called the "octahedral axiom" because drawing all the objects and morphisms gives the skeleton of an octahedron, four of whose faces are distinguished triangles. The presentation here is Verdier's own, and appears, complete with octahedral diagram, in (Hartshorne 1966). In the following diagram, u and v are the given morphisms, and the primed letters are the cones of various maps (chosen so that every distinguished triangle has an X, a Y, and a Z letter). Various arrows have been marked with  to indicate that they are of "degree 1"; e.g. the map from Z′ to X is in fact from Z′ to T(X). The octahedral axiom then asserts the existence of maps f and g forming a distinguished triangle, and so that f and g form commutative triangles in the other faces that contain them:
Two different pictures appear in (Beilinson, Bernstein & Deligne 1982) (Gelfand and Manin (2006) also present the first one). The first presents the upper and lower pyramids of the above octahedron and asserts that given a lower pyramid, we can fill in an upper pyramid so that the two paths from Y to Y′, and from Y′ to Y, are equal (this condition is omitted, perhaps erroneously, from Hartshorne's presentation). The triangles marked + are commutative and those marked "d" are distinguished:
The second diagram is a more innovative presentation. Distinguished triangles are presented linearly, and the diagram emphasizes the fact that the four triangles in the "octahedron" are connected by a series of maps of triangles, where three triangles (namely, those completing the morphisms from X to Y, from Y to Z, and from X to Z) are given and the existence of the fourth is claimed. We pass between the first two by "pivoting" about X, to the third by pivoting about Z, and to the fourth by pivoting about X′. All enclosures in this diagram are commutative (both trigons and the square) but the other commutative square, expressing the equality of the two paths from Y′ to Y, is not evident. All the arrows pointing "off the edge" are degree 1:
This last diagram also illustrates a useful intuitive interpretation of the octahedral axiom. Since in triangulated categories, triangles play the role of exact sequences, we can pretend that in which case the existence of the last triangle expresses on the one hand
- (looking at the triangle ), and
- (looking at the triangle ).
Putting these together, the octahedral axiom asserts the "third isomorphism theorem":
When the triangulated category is for some abelian category A, and when X, Y, Z are objects of A placed in degree 0 in their eponymous complexes, and when the maps X → Y, Y → Z are injections in A, then the cones are literally the above quotients, and the pretense becomes truth.
Finally, Neeman (2001) gives a way of expressing the octahedral axiom using a two dimensional commutative diagram with 4 rows and 4 columns. Beilinson, Bernstein, and Deligne (1982) also give generalizations of the octahedral axiom.
Are there better axioms?
Some experts suspect (see, for example, (Gelfand & Manin 2006, Introduction, Chapter IV)) that triangulated categories are not really the "correct" concept. The essential reason is that the mapping cone of a morphism is unique only up to a non-unique isomorphism. In particular the mapping cone of a morphism does not in general depend functorially on the morphism (note the non-uniqueness in axiom (TR 3), for example). This non-uniqueness is a potential source of errors. The axioms do however seem to work adequately in practice, and there is a great deal of literature devoted to their study.
One alternative proposal that has been developed is the theory of derivators that Grothendieck described in his long, unfinished and unpublished manuscript from 1991. Another is that of stable ∞-categories. The homotopy category of a stable ∞-category is canonically triangulated, and moreover mapping cones become essentially unique (in a precise homotopical sense). Moreover, a stable ∞-category naturally encodes a whole hierarchy of compatibilities for its homotopy category, at the bottom of which sits the octahedral axiom (see Lurie, Higher Algebra, Ch. 1). Thus, it is strictly stronger to give the data of a stable ∞-category than to give the data of a triangulation of its homotopy category; however, in practice nearly all triangulated categories that arise are essentially given by definition as stable ∞-categories.
Some consider stable ∞-categories as a substitute for triangulated categories. However, the theory of triangulated categories is much simpler than the theory of stable ∞-categories, and in many applications the triangulated structure is sufficient. A good example is the proof of the Bloch–Kato conjecture where a lot of non-trivial computations are done at the level of triangulated categories and where the additional structures of ∞-categories are not required.
- Vector spaces (over a field) form an elementary triangulated category in which X=X for all X.
A distinguished triangle is a sequence which isexact at X, Y and Z.
- If A is an additive category (e.g. an abelian one), then the homotopy category has as objects all complexes of objects of A, and as morphisms the homotopy classes of morphisms of complexes. Then is a triangulated category; the distinguished triangles consist of triangles isomorphic to a morphism with its mapping cone (in the sense of chain complexes). It is possible to create variations, using complexes that are bounded on the left, or on the right, or on both sides.
- The derived category of an abelian category A is also a triangulated category; it is created from
by localizing at the class of quasi-isomorphisms, a process we now describe.
Under some reasonable conditions on the localizing set S, a localization of a triangulated category is also triangulated. In particular, these conditions are:
- S is closed under all translations, and
- For any two triangles and arrows as in the axioms, if these arrows are both in S then the promised arrow completing the map of triangles is also in S.
- The topologist's stable homotopy category is another example of a triangulated category. The objects are spectra, the suspension is the translation functor, and the cofibration sequences are the distinguished triangles.
- In modular representation theory of a finite group G, the stable module category is yet another example. Its objects are the representations of G and the morphisms are the usual ones modulo those that factor via projective (injective) objects. More generally, such construction is possible for any Frobenius algebra.
Suppose D is a triangulated category.
Given a distinguished triangle
in D, the composition of any two of the involved morphisms is 0, i.e. vu=0, wv=0, uw=0, etc.
Given a morphism u:X→Y, TR 1 guarantees the existence of a mapping cone Z completing a distinguished triangle. Any two mapping cones of u are isomorphic, however the isomorphism is not unique.
Cohomology in triangulated categories
Triangulated categories admit a notion of cohomology and every triangulated category includes a large number of cohomological functors. By definition, a functor F from a triangulated category D into an abelian category A is a cohomological functor if for every distinguished triangle
which can be written as the doubly infinite sequence of morphisms
the following sequence (obtained by applying F to this one) is a long exact sequence:
In a general triangulated category we are guaranteed that the functors for any object A, are cohomological, with values in the category of abelian groups (the latter is a contravariant functor, which we view as taking values in the opposite category, also abelian). That is, we have for example an exact sequence (for the above triangle)
The functors are also written
in analogy with the Ext functors in derived categories. Thus we have the familiar sequence
Exact functors and equivalences
An exact functor (also called triangulated functor) from a triangulated category D to a triangulated category E is an additive functor F : D → E which, loosely speaking, commutes with translation and maps distinguished triangles to distinguished triangles.
Specifically, the exact functor comes with a natural isomorphism η : FT → TF (where the first T denotes the translation functor of D and the second T denotes the translation functor of E), such that whenever
is a distinguished triangle in D,
is a distinguished triangle in E.
An exact equivalence is an exact functor F : D → E that is also an equivalence of categories; in this case there exists an exact functor G : E → D such that FG and GF are naturally isomorphic to the respective identify functors. D and E are called equivalent as triangulated categories; for most practical purposes they are identical.
Compactly generated triangulated categories
Let D be a triangulated category such all infinite direct sums exist in D. An object X ∈ D is called compact if the functor HomD(X, -) commutes with direct sums. Explicitly, this means that for any infinite cardinal α and any set of objects indexed by it, the natural map of abelian groups is an isomorphism. Note that this definition is different from a categorical notion of a compact object, which uses all colimits instead of only coproducts.
A triangulated category D is compactly generated if
- D has all infinite direct sums;
- There is a set S of compact objects such that for any nonzero object X ∈ D there exists a compact object Y ∈ S ⊆ D, an integer n, and a nonzero map Y[n] → X.
This notion provides a generalization of the Brown representability theorem from homotopy theory. Let D be a compactly generated triangulated category, H: Dop → Ab a cohomological functor which takes coproducts to products. Then H is representable. More generally, let D be a compactly generated triangulated category, T any triangulated category. If a triangulated functor F:D → T maps coproducts to coproducts, then F has a right adjoint.
Many naturally occurring "large" triangulated categories are compactly generated:
Verdier introduced triangulated categories in order to place derived categories in a category-theoretic context: for every abelian category A there exists a triangulated category , containing A as a full subcategory (the "0-complexes" concentrated in cohomological degree 0), and in which we can construct derived functors. Different abelian categories can give rise to equivalent derived categories, so that it is impossible to reconstruct A from the triangulated category .
A partial solution to this problem, is to impose a t-structure on the triangulated category D. Different t-structures on D will give rise to different abelian categories inside it. This notion was presented in (Beilinson, Bernstein & Deligne 1982).
- derivator (roughly it fixes the failure of functionality of cone construction).
- J. Peter May, The axioms for triangulated categories
- Neeman, Amnon (1996). "The Grothendieck duality theorem via Bousfield's techniques and Brown representability" (PDF). Journal of the American Mathematical Society. 9 (1): 205–236.
Part of Verdier's 1963 thesis is reprinted in "SGA 4 1/2" :
and the entire thesis was published in Astérisque and is distributed by the American Mathematical Society in North America as
- Verdier, Jean-Louis (1963), "Des Catégories Dérivées des Catégories Abéliennes", Astérisque, Société Mathématique de France, Marseilles (published 1996), 239
The material is also presented in English in
- Hartshorne, Robin (1966), "Chapter I. The Derived Category", Residues and Duality, Lecture Notes in Mathematics 20, Springer-Verlag, pp. 20–48
Axioms similar to Verdier's were presented in:
- Dold, A.; Puppe, D. (1961), "Homologie nicht-additiver Funktoren", Annales de l'Institut Fourier, Université de Grenoble, 11: 201–312, doi:10.5802/aif.114, ISSN 0373-0956
Some textbooks that discuss triangulated categories are:
- Weibel, Charles A. (1994). An introduction to homological algebra. Cambridge Studies in Advanced Mathematics. 38. Cambridge University Press. ISBN 978-0-521-55987-4. MR 1269324. OCLC 36131259.
- Gelfand, S. I.; Manin, Yu. (2006), "IV. Triangulated Categories", Methods of Homological Algebra, Springer Monographs in Mathematics (2nd ed.), Springer-Verlag, ISBN 978-3540435839
- Neeman, A. (2001), Triangulated Categories, Annals of Mathematics Studies, Princeton University Press, ISBN 978-0691086866
The first section of the following paper discusses (but assumes familiarity with) the axioms of a triangulated category and introduces the notion of a t-structure:
- Beilinson, A.A.; Bernstein, J.; Deligne, P. (1982), "Faisceaux pervers", Astérisque (in French), Société Mathématique de France, Paris, 100
Herein is a concise introduction with applications: