User:Hillgentleman/triangulated category

http://en.wikipedia.org/w/index.php?title=Triangulated_category&oldid=176132318

A triangulated category is a mathematical category satisfying some axioms that are based on the properties of the homotopy category of spectra, and the derived category of an abelian category. A t-category, though similarly named, refers to a more specific concept.

史

導範疇(en:derived category)呢樣概念係 Jean-LouisVerdier 喺佢1963年篇論文度、基於Grothendieck 嘅一啲諗頭上提出。佢亦睇到：每一導範疇硬係有啲特別嘅「三角形」，所以又定義三角咗嘅範疇呢樣概念，來幫佢用公理來寫低呢啲三角形嘅性質。差唔多同時，A. Dold 同 D. Puppe喺佢哋篇 《Homologie nicht-additiver Funktoren》 （Ann. Inst. Fourier Grenoble 11 (1961), 201--312），亦寫低咗一套好似嘅公理。

Definition

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 $X[n]=T^{n}X\$ and likewise for morphisms from X to Y.

A triangle (X, Y, Z, u, v, w) is a set of 3 objects X, Y, and Z, together with morphisms u from X to Y, v from Y to Z and w from Z to X[1]. Triangles are generally written in the unravelled form:

$X{\xrightarrow {u}}Y{\xrightarrow {v}}Z{\xrightarrow {w}}.$

There are two ways to rotate the above triangle:

$Y{\xrightarrow {v}}Z{\xrightarrow {w}}X[1]{\xrightarrow {-u[1]}}$   or   $Z[-1]{\xrightarrow {-w[-1]}}X{\xrightarrow {u}}Y{\xrightarrow {v}}.\$

The minus signs in the rotations are important!

A triangulated category is an additive category D with a translation functor and a class of triangles, called distinguished triangles, satisfying the following properties:

1. (TR 1) 有呢啲別三角形:
   • 每一物X，有:

     $X{\overset {\text{id}}{\to }}X\to 0\to .$

   • 每一由X 去 Y 嘅箭嘴，有物Z (叫影射錐(mapping cone))，可以裝入特別三角形:

     $X\to Y\to Z\to .\$

   • Any triangle isomorphic to a distinguished triangle is distinguished.
2. (TR 2) The rotations of any distinguished triangle are distinguished.
3. (TR 3) Given a map between two morphisms, there is a morphism between their mapping cones (which exist by axiom (TR 1)), that makes everything commute. This means that in the following diagram (where f and g form the map of morphisms) there exists some map h (not necessarily unique) making all the squares commute:

   File:Triangle diagram.jpg

4. (TR 4) This is called The octahedral axiom. Suppose we have morphisms from X to Y and Y to Z, so that we also have a composed morphism from X to Z. Form distinguished triangles for each of these three morphisms. The octahedral axiom states (roughly) that the three mapping cones can be made into the vertices of a distinguished triangle so that "everything commutes".

These axioms are not entirely independent, since (TR 3) can be derived from the others.

八面體公理 / The octahedral axiom

最後一條公理 (TR 4) 又叫「八面體公理」("octahedral axiom")，因為啲嘢可擺嚮隻八面體上：其中每隻角放一件物件(objects)，每條邊放支箭嘴(arrows, morphisms)，而其中四塊面就係特別三角形。There seems to be no really satisfactory way to draw everything in two dimensions (see the book of Kashiwara and Schapira for details). The presentation here is Verdier's own, and appears (complete with octahedral diagram) in Hartshorne's Residues and Duality. 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 $[1]$ 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 which contain them:

Two different pictures appear in Faisceaux pervers by Beilinson et al. (the first of which is also in Methods of Homological Algebra by Gelfand and Manin). 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 $Z'=Y/X,Y'=Z/X\$ in which case the existence of the last triangle expresses on the one hand

$X'=Z/Y\$ (looking at the triangle $Y\to Z\to X'\to$ ), and

$X'=Y'/Z'\$ (looking at the triangle $Z'\to Y'\to X'\to$ ).

Putting these together, the octahedral axiom asserts the "third isomorphism theorem":

$(Z/X)/(Y/X)=Z/Y.\$

When the triangulated category is K(A) 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\to Y,Y\to Z$ are injections in A, then the cones are literally the above quotients, and the pretense becomes truth.

Finally, Neeman's Triangulated Categories gives a way of expressing the octahedral axiom using a two dimensional commutative diagram with 4 rows and 4 columns. Deligne also gives generalizations of the octahedral axiom in "Faisceaux pervers". (See the References below.)

Are there better axioms?

These axioms seem rather artificial. It is strongly suspected by experts (see, for example, the cited chapter in Gelfand and Manin's book below, as well as the preface and introduction) 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, among other things preventing in many cases a triangulated category from being the derived category of its core (with respect to a particular t-structure). The axioms do however seem to work adequately in practice, and there is currently no convincing replacement. A few proposals have been developed, however, such as derivators that Grothendieck has developed in his long, unfinished and unpublished manuscript from 1991.

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

$X{\xrightarrow {u}}Y{\xrightarrow {v}}Z{\xrightarrow {w}}$

we obtain a long exact sequence of elements of A:

$\cdots \to F(X[i])\to F(Y[i])\to F(Z[i])\to F(X[i+1])\to \cdots .\$

The maps in this sequence are none other than the values of F on the maps in the triangle, suitably shifted. The sequence is in fact obtained by pasting together the four-term sequences obtained by applying F to the rotated triangles:

${\begin{array}{ccc}\vdots \\Z[-1]{\xrightarrow {-w[-1]}}X{\xrightarrow {u}}Y{\xrightarrow {v}}Z\\X{\xrightarrow {u}}Y{\xrightarrow {v}}Z{\xrightarrow {w}}X[1]\\Y{\xrightarrow {v}}Z{\xrightarrow {w}}X[1]{\xrightarrow {-u[1]}}Y[1]\\\vdots \end{array}}$

In a general triangulated category we are guaranteed that the functors $\operatorname {Hom} (A,{\text{--}}),\operatorname {Hom} ({\text{--}},A),$ 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)

$\cdots \to \operatorname {Hom} (A,X[i])\to \operatorname {Hom} (A,Y[i])\to \operatorname {Hom} (A,Z[i])\to \operatorname {Hom} (A,X[i+1])\to \cdots .\$

The functors are also written

$\operatorname {Ext} ^{i}(A,X)=\operatorname {Hom} (A,X[i])$

in analogy with the Ext functors in derived categories. Thus we have the familiar sequence

$\cdots \to \operatorname {Ext} ^{i}(A,X)\to \operatorname {Ext} ^{i}(A,Y)\to \operatorname {Ext} ^{i}(A,Z)\to \operatorname {Ext} ^{i+1}(A,X)\to \cdots .\$

Examples

1. Vector spaces (over a field) form an elementary triangulated category in which X[1]=X for all X. A distinguished triangle is a sequence $X\to Y\to Z\to X\to Y$ which is exact at X, Y and Z.

2. If A is an abelian category, then the homotopy category K(A) has as objects all complexes of objects of A, and as morphisms the homotopy classes of morphisms of complexes. Then K(A) 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.

3. The derived category of A is also a triangulated category; it is created from K(A) 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 $X\to Y\to Z\to X[1],$ $X'\to Y'\to Z'\to X'[1]$ and arrows $X\to X',Y\to Y'$ as in the axioms, if these arrows are both in S then the promised arrow $Z\to Z'$ completing the map of triangles is also in S.

S is then said to be "compatible with the triangulation". It is not hard to see that this is the case when S is the class of quasi-isomorphisms in K(A), so in particular the derived category of A, which is the localization of K(A) with respect to quasi-isomorphisms, is triangulated.

4. 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.

t-structures

Verdier 發明三角範疇，來理解導範疇嘅涵義：每一阿貝爾範疇 A 都有個三角範疇 D(A)，其中 A 係D(A)嘅全子範疇(en:full subcategory) －即係所謂 "0-complexes"，集中喺上同調階(en:cohomological degree)零嘅序列 － 而我哋可以嚮入面砌導函子。但係，唔同嘅阿貝爾範疇可以畀出等價嘅導範疇，所以就咁由 A 砌唔返 D(A)。

一種解決就係喺三角範疇D加入種t-結構( en:t-structure) 。D上唔同嘅 t-結構會畀返唔同嘅阿貝爾子範疇。呢隻概念喺 Beilinson、Bernstein 同 Deligne 寫嘅

《Faisceaux pervers》上有講。

The prototype is the t-structure on the derived category D of an abelian category A. For each n there are natural full subcategories $D^{\geq n}$ and $D^{\leq n}$ consisting of complexes whose cohomology is "bounded below" or "bounded above" n, respectively. Since for any complex X, we have $H^{n}(X)=H^{0}(X[n])$, these are related to each other:

$D^{\leq n}=D^{\leq 0}[-n],D^{\geq n}=D^{\geq 0}[-n].$

These subcategories also have the following properties:

• $D^{\leq 0}\subset D^{\leq 1}$, $D^{\geq 1}\subset D^{\geq 0};$
• $\operatorname {Hom} (D^{\leq 0},D^{\geq 1})=0;$
• Every object Y can be embedded in a distinguished triangle $X\to Y\to Z\to \$ with $X\in D^{\leq 0}$, $Z\in D^{\geq 1}.$

A t-structure on a triangulated category consists of full subcategories $D^{\leq n}$ and $D^{\geq m}$ satisfying the conditions above. In Faisceaux pervers a triangulated category equipped with a t-structure is called a t-category.

The core or heart (the original French word is "coeur") of a t-structure is the category $D^{\leq 0}\cap D^{\geq 0}$. It is an abelian category, whereas a triangulated category is additive but almost never abelian. The core of a t-structure on the derived category of A can be thought of as a sort of twisted version of A, which sometimes has better properties. For example, the category of perverse sheaves is the core of a certain (quite complicated) t-structure on the derived category of the category of sheaves. Over a space with singularities, the category of perverse sheaves is similar to the category of sheaves but behaves better.

A basic example of a t-structure is the "natural" one on the derived category D of some abelian category, where $D^{\geq 0},D^{\leq 0}$ are the full subcategories of complexes whose cohomologies vanish in degrees less than or greater than 0. This t-structure has the following features:

• The truncation functors $\tau _{\geq 0},\tau _{\leq 0}$, or in fact $\tau _{\geq n},\tau _{\leq n}$ for any n, which are obtained by translating the argument of the original two functors. Abstractly, these are the left adjoint and right adjoint, respectively, to the inclusion functors of $D^{\geq 0},D^{\leq 0}$ in D. In addition, the truncation functors fit into a triangle, and this is in fact the unique triangle satisfying the third axiom above:

$\tau _{\leq 0}A\to A\to \tau _{\geq 1}A\to .\$

• The cohomology functor $H^{0}$, or in fact $H^{n}$, which is obtained by translating its argument: $H^{n}(A)=H^{0}(A[n])$. Its relationship to the truncation functors is that they are defined so that for any complex A, $H^{i}(\tau _{\geq 0}A)=0$ for $i<0$ and is unchanged for $i\geq 0$; likewise for $\tau _{\leq 0}$; in particular, $H^{0}$ is not independent of them, but in fact $H^{0}=\tau _{\leq 0}\tau _{\geq 0}=\tau _{\geq 0}\tau _{\leq 0}$. Furthermore, the cohomology is a cohomological functor: for any triangle $X\to Y\to Z\to$ we obtain a long exact sequence

$\cdots \to H^{i}(X)\to H^{i}(Y)\to H^{i}(Z)\to H^{i+1}(X)\to \cdots .\$

These properties carry over without change to any t-structure, in that if D is a t-category, then there exist truncation functors into its core, from which we obtain a cohomology functor taking values in the core, and the above properties are satisfied for both.

References

Part of Verdier's 1963 thesis is reprinted in "SGA 4 1/2" :

• Jean-Louis Verdier. "Catégories dérivées (état 0) in SGA 4½" (PDF). {{cite journal}}: Cite journal requires |journal= (help) (in French)

and the entire thesis was published in Astérisque and is distributed by the American Mathematical Society in North America as

• Verdier, Jean-Louis (1996). "Des Catégories Dérivées des Catégories Abéliennes". Astérisque (French). Société Mathématique de France, Marseilles. 239.{{cite journal}}: CS1 maint: unrecognized language (link)

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. pp. 20-48. {{cite book}}: |pages= has extra text (help)

Some textbooks that discuss triangulated categories are:

• Weibel, Charles A. (1994), An introduction to homological algebra, Cambridge University Press, ISBN 978-0-521-55987-4

• Gelfand, S. I. (2006). "IV. Triangulated Categories". Methods of Homological Algebra. Springer Monographs in Mathematics (第2nd edition版). Springer-Verlag. ISBN 978-3540435839. {{cite book}}: |edition= has extra text (help); Unknown parameter |coauthors= ignored (|author= suggested) (help)

• 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. (1982). "Faisceaux pervers". Astérisque (French). Société Mathématique de France, Paris. 100. {{cite journal}}: Unknown parameter |coauthors= ignored (|author= suggested) (help)CS1 maint: unrecognized language (link)

Herein is a concise introduction with applications:

• Kashiwara, M. (2002). "I. Homological Algebra". Sheaves on Manifolds. Grundlehren der mathematischen Wissenschaften. Springer-Verlag. ISBN 978-3540518617. {{cite book}}: Unknown parameter |coauthors= ignored (|author= suggested) (help)