Fernando Muro - Universidad de Sevillapersonal.us.es/fmuro/files/slides/htag.pdfFernando Muro...
Transcript of Fernando Muro - Universidad de Sevillapersonal.us.es/fmuro/files/slides/htag.pdfFernando Muro...
![Page 1: Fernando Muro - Universidad de Sevillapersonal.us.es/fmuro/files/slides/htag.pdfFernando Muro Triangulated categories. The homotopy category Definition A morphism f : X !Y in C(A)](https://reader035.fdocuments.in/reader035/viewer/2022071218/60534e7bad558358dd567583/html5/thumbnails/1.jpg)
Triangulated categories
Fernando Muro
Universidad de SevillaDeptartamento de Álgebra
Advanced School on Homotopy Theory and Algebraic GeometrySeville, September 2009
Fernando Muro Triangulated categories
![Page 2: Fernando Muro - Universidad de Sevillapersonal.us.es/fmuro/files/slides/htag.pdfFernando Muro Triangulated categories. The homotopy category Definition A morphism f : X !Y in C(A)](https://reader035.fdocuments.in/reader035/viewer/2022071218/60534e7bad558358dd567583/html5/thumbnails/2.jpg)
The derived category
Let A be an abelian category, e.g. A = Mod-R, right modules over aring R.
The category C(A) of complexes in A,
X = {· · · → Xn−1d−→ Xn
d−→ Xn+1 → · · · } (d2 = 0),
is also abelian.
DefinitionA morphism f : X ∼→ Y in C(A) is a quasi-isomorphism if it inducesisomorphisms in cohomology,
Hn(f ) : Hn(X )∼=−→ Hn(Y ), n ∈ Z.
Fernando Muro Triangulated categories
![Page 3: Fernando Muro - Universidad de Sevillapersonal.us.es/fmuro/files/slides/htag.pdfFernando Muro Triangulated categories. The homotopy category Definition A morphism f : X !Y in C(A)](https://reader035.fdocuments.in/reader035/viewer/2022071218/60534e7bad558358dd567583/html5/thumbnails/3.jpg)
The derived category
Let A be an abelian category, e.g. A = Mod-R, right modules over aring R.
The category C(A) of complexes in A,
X = {· · · → Xn−1d−→ Xn
d−→ Xn+1 → · · · } (d2 = 0),
is also abelian.
DefinitionA morphism f : X ∼→ Y in C(A) is a quasi-isomorphism if it inducesisomorphisms in cohomology,
Hn(f ) : Hn(X )∼=−→ Hn(Y ), n ∈ Z.
Fernando Muro Triangulated categories
![Page 4: Fernando Muro - Universidad de Sevillapersonal.us.es/fmuro/files/slides/htag.pdfFernando Muro Triangulated categories. The homotopy category Definition A morphism f : X !Y in C(A)](https://reader035.fdocuments.in/reader035/viewer/2022071218/60534e7bad558358dd567583/html5/thumbnails/4.jpg)
The derived category
ExampleIf P and I are a projective and an injective resolution of M in A,respectively, then we have quasi-isomorphisms,
P
∼��
· · · // P−2 //
��
P−1 //
��
P0 //
����
0 //
��
0
��
// · · ·
M
∼��
· · · // 0 //
��
0 //
��
M //� _
��
0 //
��
0
��
// · · ·
I · · · // 0 // 0 // I0 // I1 // I2 // · · ·
Fernando Muro Triangulated categories
![Page 5: Fernando Muro - Universidad de Sevillapersonal.us.es/fmuro/files/slides/htag.pdfFernando Muro Triangulated categories. The homotopy category Definition A morphism f : X !Y in C(A)](https://reader035.fdocuments.in/reader035/viewer/2022071218/60534e7bad558358dd567583/html5/thumbnails/5.jpg)
The derived category
DefinitionThe derived category D(A) is a category equipped with a functor
p : C(A) −→ D(A)
such that:p takes quasi-isomorphisms to isomorphisms,p is universal among the functors satisfying this property, i.e. ifp′ : C(A)→ B takes quasi-isomorphisms to isomorphisms thenthere exists a unique functor p′′ : D(A)→ B such that p′ = p′′p,
C(A)p//
p′##HHHHHHHHH
D(A)
p′′∃ !��
B
Fernando Muro Triangulated categories
![Page 6: Fernando Muro - Universidad de Sevillapersonal.us.es/fmuro/files/slides/htag.pdfFernando Muro Triangulated categories. The homotopy category Definition A morphism f : X !Y in C(A)](https://reader035.fdocuments.in/reader035/viewer/2022071218/60534e7bad558358dd567583/html5/thumbnails/6.jpg)
The derived category
DefinitionThe derived category D(A) is a category equipped with a functor
p : C(A) −→ D(A)
such that:p takes quasi-isomorphisms to isomorphisms,p is universal among the functors satisfying this property, i.e. ifp′ : C(A)→ B takes quasi-isomorphisms to isomorphisms thenthere exists a unique functor p′′ : D(A)→ B such that p′ = p′′p,
C(A)p//
p′##HHHHHHHHH
D(A)
p′′∃ !��
B
Fernando Muro Triangulated categories
![Page 7: Fernando Muro - Universidad de Sevillapersonal.us.es/fmuro/files/slides/htag.pdfFernando Muro Triangulated categories. The homotopy category Definition A morphism f : X !Y in C(A)](https://reader035.fdocuments.in/reader035/viewer/2022071218/60534e7bad558358dd567583/html5/thumbnails/7.jpg)
The derived category
DefinitionThe derived category D(A) is a category equipped with a functor
p : C(A) −→ D(A)
such that:p takes quasi-isomorphisms to isomorphisms,p is universal among the functors satisfying this property, i.e. ifp′ : C(A)→ B takes quasi-isomorphisms to isomorphisms thenthere exists a unique functor p′′ : D(A)→ B such that p′ = p′′p,
C(A)p//
p′##HHHHHHHHH
D(A)
p′′∃ !��
B
Fernando Muro Triangulated categories
![Page 8: Fernando Muro - Universidad de Sevillapersonal.us.es/fmuro/files/slides/htag.pdfFernando Muro Triangulated categories. The homotopy category Definition A morphism f : X !Y in C(A)](https://reader035.fdocuments.in/reader035/viewer/2022071218/60534e7bad558358dd567583/html5/thumbnails/8.jpg)
The derived category
DefinitionThe derived category D(A) is a category equipped with a functor
p : C(A) −→ D(A)
such that:p takes quasi-isomorphisms to isomorphisms,p is universal among the functors satisfying this property, i.e. ifp′ : C(A)→ B takes quasi-isomorphisms to isomorphisms thenthere exists a unique functor p′′ : D(A)→ B such that p′ = p′′p,
C(A)p//
p′##HHHHHHHHH
D(A)
p′′∃ !��
B
Fernando Muro Triangulated categories
![Page 9: Fernando Muro - Universidad de Sevillapersonal.us.es/fmuro/files/slides/htag.pdfFernando Muro Triangulated categories. The homotopy category Definition A morphism f : X !Y in C(A)](https://reader035.fdocuments.in/reader035/viewer/2022071218/60534e7bad558358dd567583/html5/thumbnails/9.jpg)
The derived category
Question: What’s the algebraic structure of D(A)?
Answer: Triangulated category!
RemarkThe derived category need not exist [Freyd’64].If it exists then it is uniquely defined up to isomorphism.An object M in A becomes isomorphic to any projective resolutionin D(A), and also to any injective resolution.The cohomology functor factors through the derived category,
C(A)p//
H∗##GGGGGGGGGD(A)
∃ !�����
AZ
skip example
Fernando Muro Triangulated categories
![Page 10: Fernando Muro - Universidad de Sevillapersonal.us.es/fmuro/files/slides/htag.pdfFernando Muro Triangulated categories. The homotopy category Definition A morphism f : X !Y in C(A)](https://reader035.fdocuments.in/reader035/viewer/2022071218/60534e7bad558358dd567583/html5/thumbnails/10.jpg)
The derived category
Question: What’s the algebraic structure of D(A)?
Answer: Triangulated category!
RemarkThe derived category need not exist [Freyd’64].If it exists then it is uniquely defined up to isomorphism.An object M in A becomes isomorphic to any projective resolutionin D(A), and also to any injective resolution.The cohomology functor factors through the derived category,
C(A)p//
H∗##GGGGGGGGGD(A)
∃ !�����
AZ
skip example
Fernando Muro Triangulated categories
![Page 11: Fernando Muro - Universidad de Sevillapersonal.us.es/fmuro/files/slides/htag.pdfFernando Muro Triangulated categories. The homotopy category Definition A morphism f : X !Y in C(A)](https://reader035.fdocuments.in/reader035/viewer/2022071218/60534e7bad558358dd567583/html5/thumbnails/11.jpg)
The derived category
Question: What’s the algebraic structure of D(A)?
Answer: Triangulated category!
RemarkThe derived category need not exist [Freyd’64].If it exists then it is uniquely defined up to isomorphism.An object M in A becomes isomorphic to any projective resolutionin D(A), and also to any injective resolution.The cohomology functor factors through the derived category,
C(A)p//
H∗##GGGGGGGGGD(A)
∃ !�����
AZ
skip example
Fernando Muro Triangulated categories
![Page 12: Fernando Muro - Universidad de Sevillapersonal.us.es/fmuro/files/slides/htag.pdfFernando Muro Triangulated categories. The homotopy category Definition A morphism f : X !Y in C(A)](https://reader035.fdocuments.in/reader035/viewer/2022071218/60534e7bad558358dd567583/html5/thumbnails/12.jpg)
The derived category
Question: What’s the algebraic structure of D(A)?
Answer: Triangulated category!
RemarkThe derived category need not exist [Freyd’64].If it exists then it is uniquely defined up to isomorphism.An object M in A becomes isomorphic to any projective resolutionin D(A), and also to any injective resolution.The cohomology functor factors through the derived category,
C(A)p//
H∗##GGGGGGGGGD(A)
∃ !�����
AZ
skip example
Fernando Muro Triangulated categories
![Page 13: Fernando Muro - Universidad de Sevillapersonal.us.es/fmuro/files/slides/htag.pdfFernando Muro Triangulated categories. The homotopy category Definition A morphism f : X !Y in C(A)](https://reader035.fdocuments.in/reader035/viewer/2022071218/60534e7bad558358dd567583/html5/thumbnails/13.jpg)
The derived category
Question: What’s the algebraic structure of D(A)?
Answer: Triangulated category!
RemarkThe derived category need not exist [Freyd’64].If it exists then it is uniquely defined up to isomorphism.An object M in A becomes isomorphic to any projective resolutionin D(A), and also to any injective resolution.The cohomology functor factors through the derived category,
C(A)p//
H∗##GGGGGGGGGD(A)
∃ !�����
AZ
skip example
Fernando Muro Triangulated categories
![Page 14: Fernando Muro - Universidad de Sevillapersonal.us.es/fmuro/files/slides/htag.pdfFernando Muro Triangulated categories. The homotopy category Definition A morphism f : X !Y in C(A)](https://reader035.fdocuments.in/reader035/viewer/2022071218/60534e7bad558358dd567583/html5/thumbnails/14.jpg)
The derived category
Question: What’s the algebraic structure of D(A)?
Answer: Triangulated category!
RemarkThe derived category need not exist [Freyd’64].If it exists then it is uniquely defined up to isomorphism.An object M in A becomes isomorphic to any projective resolutionin D(A), and also to any injective resolution.The cohomology functor factors through the derived category,
C(A)p//
H∗##GGGGGGGGGD(A)
∃ !�����
AZ
skip example
Fernando Muro Triangulated categories
![Page 15: Fernando Muro - Universidad de Sevillapersonal.us.es/fmuro/files/slides/htag.pdfFernando Muro Triangulated categories. The homotopy category Definition A morphism f : X !Y in C(A)](https://reader035.fdocuments.in/reader035/viewer/2022071218/60534e7bad558358dd567583/html5/thumbnails/15.jpg)
The derived category
ExampleIf k is a field, the previous cohomology functor
H∗ : D(Mod-k)'−→ (Mod-k)Z
is an equivalence of categories.
If R is a hereditary ring, such as Z, k [X ], or the path algebra of aquiver, then the functor
H∗ : D(Mod-R) −→ (Mod-R)Z
is full and induces a bijection on isomorphism classes of objects,but it is not an equivalence.
Fernando Muro Triangulated categories
![Page 16: Fernando Muro - Universidad de Sevillapersonal.us.es/fmuro/files/slides/htag.pdfFernando Muro Triangulated categories. The homotopy category Definition A morphism f : X !Y in C(A)](https://reader035.fdocuments.in/reader035/viewer/2022071218/60534e7bad558358dd567583/html5/thumbnails/16.jpg)
The derived category
ExampleIf k is a field, the previous cohomology functor
H∗ : D(Mod-k)'−→ (Mod-k)Z
is an equivalence of categories.
If R is a hereditary ring, such as Z, k [X ], or the path algebra of aquiver, then the functor
H∗ : D(Mod-R) −→ (Mod-R)Z
is full and induces a bijection on isomorphism classes of objects,but it is not an equivalence.
Fernando Muro Triangulated categories
![Page 17: Fernando Muro - Universidad de Sevillapersonal.us.es/fmuro/files/slides/htag.pdfFernando Muro Triangulated categories. The homotopy category Definition A morphism f : X !Y in C(A)](https://reader035.fdocuments.in/reader035/viewer/2022071218/60534e7bad558358dd567583/html5/thumbnails/17.jpg)
The derived category
RemarkOne can similarly define the derived category D(E) of an exactcategory E ⊂ A, in this case cohomology is a functor
H∗ : C(E) −→ AZ.
One can also define the derived category of a differential gradedalgebra A, denoted by D(A), replacing the category of complexeswith Mod-A, for which the cohomology functor is
H∗ : Mod-A −→ Mod-H∗(A).
One can more generally consider differential graded categories,a.k.a. DGAs with several objects.
Fernando Muro Triangulated categories
![Page 18: Fernando Muro - Universidad de Sevillapersonal.us.es/fmuro/files/slides/htag.pdfFernando Muro Triangulated categories. The homotopy category Definition A morphism f : X !Y in C(A)](https://reader035.fdocuments.in/reader035/viewer/2022071218/60534e7bad558358dd567583/html5/thumbnails/18.jpg)
The derived category
RemarkOne can similarly define the derived category D(E) of an exactcategory E ⊂ A, in this case cohomology is a functor
H∗ : C(E) −→ AZ.
One can also define the derived category of a differential gradedalgebra A, denoted by D(A), replacing the category of complexeswith Mod-A, for which the cohomology functor is
H∗ : Mod-A −→ Mod-H∗(A).
One can more generally consider differential graded categories,a.k.a. DGAs with several objects.
Fernando Muro Triangulated categories
![Page 19: Fernando Muro - Universidad de Sevillapersonal.us.es/fmuro/files/slides/htag.pdfFernando Muro Triangulated categories. The homotopy category Definition A morphism f : X !Y in C(A)](https://reader035.fdocuments.in/reader035/viewer/2022071218/60534e7bad558358dd567583/html5/thumbnails/19.jpg)
The derived category
RemarkOne can similarly define the derived category D(E) of an exactcategory E ⊂ A, in this case cohomology is a functor
H∗ : C(E) −→ AZ.
One can also define the derived category of a differential gradedalgebra A, denoted by D(A), replacing the category of complexeswith Mod-A, for which the cohomology functor is
H∗ : Mod-A −→ Mod-H∗(A).
One can more generally consider differential graded categories,a.k.a. DGAs with several objects.
Fernando Muro Triangulated categories
![Page 20: Fernando Muro - Universidad de Sevillapersonal.us.es/fmuro/files/slides/htag.pdfFernando Muro Triangulated categories. The homotopy category Definition A morphism f : X !Y in C(A)](https://reader035.fdocuments.in/reader035/viewer/2022071218/60534e7bad558358dd567583/html5/thumbnails/20.jpg)
The homotopy category
DefinitionA morphism f : X → Y in C(A) is nullhomotopic f ' 0 if there existmorphisms, called the homotopy,
h : Xn −→ Yn−1, n ∈ Z,
such thatf = hd + dh.
The homotopy category K(A) is the quotient of C(A) by the ideal ofnullhomotopic morphisms.
Two morphisms f ,g : X → Y in C(A) are homotopic f ' g if f − g isnullhomotopic.
Fernando Muro Triangulated categories
![Page 21: Fernando Muro - Universidad de Sevillapersonal.us.es/fmuro/files/slides/htag.pdfFernando Muro Triangulated categories. The homotopy category Definition A morphism f : X !Y in C(A)](https://reader035.fdocuments.in/reader035/viewer/2022071218/60534e7bad558358dd567583/html5/thumbnails/21.jpg)
The homotopy category
DefinitionA morphism f : X → Y in C(A) is nullhomotopic f ' 0 if there existmorphisms, called the homotopy,
h : Xn −→ Yn−1, n ∈ Z,
such thatf = hd + dh.
The homotopy category K(A) is the quotient of C(A) by the ideal ofnullhomotopic morphisms.
Two morphisms f ,g : X → Y in C(A) are homotopic f ' g if f − g isnullhomotopic.
Fernando Muro Triangulated categories
![Page 22: Fernando Muro - Universidad de Sevillapersonal.us.es/fmuro/files/slides/htag.pdfFernando Muro Triangulated categories. The homotopy category Definition A morphism f : X !Y in C(A)](https://reader035.fdocuments.in/reader035/viewer/2022071218/60534e7bad558358dd567583/html5/thumbnails/22.jpg)
The homotopy category
DefinitionA morphism f : X → Y in C(A) is nullhomotopic f ' 0 if there existmorphisms, called the homotopy,
h : Xn −→ Yn−1, n ∈ Z,
such thatf = hd + dh.
The homotopy category K(A) is the quotient of C(A) by the ideal ofnullhomotopic morphisms.
Two morphisms f ,g : X → Y in C(A) are homotopic f ' g if f − g isnullhomotopic.
Fernando Muro Triangulated categories
![Page 23: Fernando Muro - Universidad de Sevillapersonal.us.es/fmuro/files/slides/htag.pdfFernando Muro Triangulated categories. The homotopy category Definition A morphism f : X !Y in C(A)](https://reader035.fdocuments.in/reader035/viewer/2022071218/60534e7bad558358dd567583/html5/thumbnails/23.jpg)
The homotopy category
The homotopy category approaches the derived category.
PropositionTwo homotopic morphisms in C(A) map to the same morphism in thederived category D(A). In particular there is a factorization
C(A) // //
p##GGGGGGGGK(A)
∃ !�����
D(A)
The algebraic structure of K(A) is also that of a triangulated category.We will construct D(A) from K(A).
Fernando Muro Triangulated categories
![Page 24: Fernando Muro - Universidad de Sevillapersonal.us.es/fmuro/files/slides/htag.pdfFernando Muro Triangulated categories. The homotopy category Definition A morphism f : X !Y in C(A)](https://reader035.fdocuments.in/reader035/viewer/2022071218/60534e7bad558358dd567583/html5/thumbnails/24.jpg)
The homotopy category
The homotopy category approaches the derived category.
PropositionTwo homotopic morphisms in C(A) map to the same morphism in thederived category D(A). In particular there is a factorization
C(A) // //
p##GGGGGGGGK(A)
∃ !�����
D(A)
The algebraic structure of K(A) is also that of a triangulated category.We will construct D(A) from K(A).
Fernando Muro Triangulated categories
![Page 25: Fernando Muro - Universidad de Sevillapersonal.us.es/fmuro/files/slides/htag.pdfFernando Muro Triangulated categories. The homotopy category Definition A morphism f : X !Y in C(A)](https://reader035.fdocuments.in/reader035/viewer/2022071218/60534e7bad558358dd567583/html5/thumbnails/25.jpg)
The homotopy category
The homotopy category approaches the derived category.
PropositionTwo homotopic morphisms in C(A) map to the same morphism in thederived category D(A). In particular there is a factorization
C(A) // //
p##GGGGGGGGK(A)
∃ !�����
D(A)
The algebraic structure of K(A) is also that of a triangulated category.We will construct D(A) from K(A).
Fernando Muro Triangulated categories
![Page 26: Fernando Muro - Universidad de Sevillapersonal.us.es/fmuro/files/slides/htag.pdfFernando Muro Triangulated categories. The homotopy category Definition A morphism f : X !Y in C(A)](https://reader035.fdocuments.in/reader035/viewer/2022071218/60534e7bad558358dd567583/html5/thumbnails/26.jpg)
Exact triangles
DefinitionThe mapping cone of a morphism f : X → Y in C(A) is the complex Cfwith
(Cf )n = Yn ⊕ Xn+1
and differential
dCf: (Cf )n−1 = Yn−1 ⊕ Xn
( dY f0 −dX
)−→ Yn ⊕ Xn+1 = (Cf )n.
The suspension or shift ΣX of X in C(A) is the mapping cone of thetrivial morphism 0→ X, i.e. (ΣX )n = Xn+1, dΣX = −dX .
The obvious sequence of morphisms in C(A),
X f→ Y i→ Cfq→ ΣX ,
is called an exact triangle when mapped to K(A) or D(A).
Fernando Muro Triangulated categories
![Page 27: Fernando Muro - Universidad de Sevillapersonal.us.es/fmuro/files/slides/htag.pdfFernando Muro Triangulated categories. The homotopy category Definition A morphism f : X !Y in C(A)](https://reader035.fdocuments.in/reader035/viewer/2022071218/60534e7bad558358dd567583/html5/thumbnails/27.jpg)
Exact triangles
DefinitionThe mapping cone of a morphism f : X → Y in C(A) is the complex Cfwith
(Cf )n = Yn ⊕ Xn+1
and differential
dCf: (Cf )n−1 = Yn−1 ⊕ Xn
( dY f0 −dX
)−→ Yn ⊕ Xn+1 = (Cf )n.
The suspension or shift ΣX of X in C(A) is the mapping cone of thetrivial morphism 0→ X, i.e. (ΣX )n = Xn+1, dΣX = −dX .
The obvious sequence of morphisms in C(A),
X f→ Y i→ Cfq→ ΣX ,
is called an exact triangle when mapped to K(A) or D(A).
Fernando Muro Triangulated categories
![Page 28: Fernando Muro - Universidad de Sevillapersonal.us.es/fmuro/files/slides/htag.pdfFernando Muro Triangulated categories. The homotopy category Definition A morphism f : X !Y in C(A)](https://reader035.fdocuments.in/reader035/viewer/2022071218/60534e7bad558358dd567583/html5/thumbnails/28.jpg)
Exact triangles
DefinitionThe mapping cone of a morphism f : X → Y in C(A) is the complex Cfwith
(Cf )n = Yn ⊕ Xn+1
and differential
dCf: (Cf )n−1 = Yn−1 ⊕ Xn
( dY f0 −dX
)−→ Yn ⊕ Xn+1 = (Cf )n.
The suspension or shift ΣX of X in C(A) is the mapping cone of thetrivial morphism 0→ X, i.e. (ΣX )n = Xn+1, dΣX = −dX .
The obvious sequence of morphisms in C(A),
X f→ Y i→ Cfq→ ΣX ,
is called an exact triangle when mapped to K(A) or D(A).
Fernando Muro Triangulated categories
![Page 29: Fernando Muro - Universidad de Sevillapersonal.us.es/fmuro/files/slides/htag.pdfFernando Muro Triangulated categories. The homotopy category Definition A morphism f : X !Y in C(A)](https://reader035.fdocuments.in/reader035/viewer/2022071218/60534e7bad558358dd567583/html5/thumbnails/29.jpg)
Exact triangles
Question: Where do short exact sequences in C(A) go in D(A)?
Proposition
Given a short exact sequence Xf↪→ Y
g� Z in C(A) there is a
quasi-isomorphism Cf∼→ Z defined by
(Cf )n = Yn ⊕ Xn+1(g
0)−→ Zn, n ∈ Z,
and the following diagram commutes in C(A),
Xf // Y
i //
g
@@@@@@@@ Cf
∼��
q// ΣX
Z
Fernando Muro Triangulated categories
![Page 30: Fernando Muro - Universidad de Sevillapersonal.us.es/fmuro/files/slides/htag.pdfFernando Muro Triangulated categories. The homotopy category Definition A morphism f : X !Y in C(A)](https://reader035.fdocuments.in/reader035/viewer/2022071218/60534e7bad558358dd567583/html5/thumbnails/30.jpg)
Exact triangles
Question: Where do short exact sequences in C(A) go in D(A)?
Proposition
Given a short exact sequence Xf↪→ Y
g� Z in C(A) there is a
quasi-isomorphism Cf∼→ Z defined by
(Cf )n = Yn ⊕ Xn+1(g
0)−→ Zn, n ∈ Z,
and the following diagram commutes in C(A),
Xf // Y
i //
g
@@@@@@@@ Cf
∼��
q// ΣX
Z
Fernando Muro Triangulated categories
![Page 31: Fernando Muro - Universidad de Sevillapersonal.us.es/fmuro/files/slides/htag.pdfFernando Muro Triangulated categories. The homotopy category Definition A morphism f : X !Y in C(A)](https://reader035.fdocuments.in/reader035/viewer/2022071218/60534e7bad558358dd567583/html5/thumbnails/31.jpg)
Triangulated categories
DefinitionA suspended category is a pair (T,Σ) given by:
An additive category T.
A self-equivalence Σ: T '→ T called suspension or shift.
A triangle in (T,Σ) is a diagram of the form
X f−→ Y i−→ Cq−→ ΣX .
Here f is called the base. This diagram can also be depicted as
Xf // Y
i��~~~~~~~
Cq
+1__???????
Fernando Muro Triangulated categories
![Page 32: Fernando Muro - Universidad de Sevillapersonal.us.es/fmuro/files/slides/htag.pdfFernando Muro Triangulated categories. The homotopy category Definition A morphism f : X !Y in C(A)](https://reader035.fdocuments.in/reader035/viewer/2022071218/60534e7bad558358dd567583/html5/thumbnails/32.jpg)
Triangulated categories
DefinitionA suspended category is a pair (T,Σ) given by:
An additive category T.
A self-equivalence Σ: T '→ T called suspension or shift.
A triangle in (T,Σ) is a diagram of the form
X f−→ Y i−→ Cq−→ ΣX .
Here f is called the base. This diagram can also be depicted as
Xf // Y
i��~~~~~~~
Cq
+1__???????
Fernando Muro Triangulated categories
![Page 33: Fernando Muro - Universidad de Sevillapersonal.us.es/fmuro/files/slides/htag.pdfFernando Muro Triangulated categories. The homotopy category Definition A morphism f : X !Y in C(A)](https://reader035.fdocuments.in/reader035/viewer/2022071218/60534e7bad558358dd567583/html5/thumbnails/33.jpg)
Triangulated categories
DefinitionA suspended category is a pair (T,Σ) given by:
An additive category T.
A self-equivalence Σ: T '→ T called suspension or shift.
A triangle in (T,Σ) is a diagram of the form
X f−→ Y i−→ Cq−→ ΣX .
Here f is called the base. This diagram can also be depicted as
Xf // Y
i��~~~~~~~
Cq
+1__???????
Fernando Muro Triangulated categories
![Page 34: Fernando Muro - Universidad de Sevillapersonal.us.es/fmuro/files/slides/htag.pdfFernando Muro Triangulated categories. The homotopy category Definition A morphism f : X !Y in C(A)](https://reader035.fdocuments.in/reader035/viewer/2022071218/60534e7bad558358dd567583/html5/thumbnails/34.jpg)
Triangulated categories
DefinitionA morphism of triangles in (T,Σ) is a commutative diagram
Xf //
α
��
Yi //
β
��
Cq//
γ
��
ΣX
Σα��
X ′f ′ // Y ′
i ′ // C′q′// ΣX ′
Fernando Muro Triangulated categories
![Page 35: Fernando Muro - Universidad de Sevillapersonal.us.es/fmuro/files/slides/htag.pdfFernando Muro Triangulated categories. The homotopy category Definition A morphism f : X !Y in C(A)](https://reader035.fdocuments.in/reader035/viewer/2022071218/60534e7bad558358dd567583/html5/thumbnails/35.jpg)
Triangulated categories
Definition (Puppe, Verdier’60s)A triangulated category is a triple (T,Σ,4) consisting of a suspendedcategory (T,Σ) and a class of triangles 4, called exact triangles,satisfying the following four axioms:
TR1 The class 4 is closed by isomorphisms, every morphismf : X → Y in T is the base of an exact triangle
X f−→ Y i−→ Cq−→ ΣX ,
and the trivial triangle
X 1X−→ X −→ 0 −→ ΣX
is always exact.
Fernando Muro Triangulated categories
![Page 36: Fernando Muro - Universidad de Sevillapersonal.us.es/fmuro/files/slides/htag.pdfFernando Muro Triangulated categories. The homotopy category Definition A morphism f : X !Y in C(A)](https://reader035.fdocuments.in/reader035/viewer/2022071218/60534e7bad558358dd567583/html5/thumbnails/36.jpg)
Triangulated categories
Definition (Puppe, Verdier’60s)A triangulated category is a triple (T,Σ,4) consisting of a suspendedcategory (T,Σ) and a class of triangles 4, called exact triangles,satisfying the following four axioms:
TR1 The class 4 is closed by isomorphisms, every morphismf : X → Y in T is the base of an exact triangle
X f−→ Y i−→ Cq−→ ΣX ,
and the trivial triangle
X 1X−→ X −→ 0 −→ ΣX
is always exact.
Fernando Muro Triangulated categories
![Page 37: Fernando Muro - Universidad de Sevillapersonal.us.es/fmuro/files/slides/htag.pdfFernando Muro Triangulated categories. The homotopy category Definition A morphism f : X !Y in C(A)](https://reader035.fdocuments.in/reader035/viewer/2022071218/60534e7bad558358dd567583/html5/thumbnails/37.jpg)
Triangulated categories
DefinitionTR2 A triangle
X f−→ Y i−→ Cq−→ ΣX
is exact if and only if its translation
Y i−→ Cq−→ ΣX −Σf−→ ΣY
is exact.
Fernando Muro Triangulated categories
![Page 38: Fernando Muro - Universidad de Sevillapersonal.us.es/fmuro/files/slides/htag.pdfFernando Muro Triangulated categories. The homotopy category Definition A morphism f : X !Y in C(A)](https://reader035.fdocuments.in/reader035/viewer/2022071218/60534e7bad558358dd567583/html5/thumbnails/38.jpg)
Triangulated categories
DefinitionTR3 Any commutative square between the bases of two exact triangles
can be completed to a morphism of triangles
Xf //
α
��
Yi //
β
��
Cq//
γ
��
ΣX
Σα��
X ′f ′ // Y ′
i ′ // C′q′// ΣX ′
If (T,Σ,4) satisfies just these three axioms we say that it is a Puppetriangulated category.
skip example
Fernando Muro Triangulated categories
![Page 39: Fernando Muro - Universidad de Sevillapersonal.us.es/fmuro/files/slides/htag.pdfFernando Muro Triangulated categories. The homotopy category Definition A morphism f : X !Y in C(A)](https://reader035.fdocuments.in/reader035/viewer/2022071218/60534e7bad558358dd567583/html5/thumbnails/39.jpg)
Triangulated categories
DefinitionTR3 Any commutative square between the bases of two exact triangles
can be completed to a morphism of triangles
Xf //
α
��
Yi //
β
��
Cq//
γ
��
ΣX
Σα��
X ′f ′ // Y ′
i ′ // C′q′// ΣX ′
If (T,Σ,4) satisfies just these three axioms we say that it is a Puppetriangulated category.
skip example
Fernando Muro Triangulated categories
![Page 40: Fernando Muro - Universidad de Sevillapersonal.us.es/fmuro/files/slides/htag.pdfFernando Muro Triangulated categories. The homotopy category Definition A morphism f : X !Y in C(A)](https://reader035.fdocuments.in/reader035/viewer/2022071218/60534e7bad558358dd567583/html5/thumbnails/40.jpg)
Triangulated categories
Example (TR3 for K(A))In the homotopy category K(A),
Xf //
α
��
Yi //
β
��
Cfq//
γ
��
ΣX
Σα��
X ′f ′ // Y ′
i ′ // Cf ′q′// ΣX ′
We choose representatives of these homotopy classes, that we denoteby the same name.
Let h : Xn+1 → Y ′n, n ∈ Z, be a homotopy βf ' f ′α. Define
γ : (Cf )n = Yn ⊕ Xn+1(β h
0 α)−→ Y ′n ⊕ X ′n+1 = (Cf ′)n.
Fernando Muro Triangulated categories
![Page 41: Fernando Muro - Universidad de Sevillapersonal.us.es/fmuro/files/slides/htag.pdfFernando Muro Triangulated categories. The homotopy category Definition A morphism f : X !Y in C(A)](https://reader035.fdocuments.in/reader035/viewer/2022071218/60534e7bad558358dd567583/html5/thumbnails/41.jpg)
Triangulated categories
Example (TR3 for K(A))In the homotopy category K(A),
Xf //
α
��
Yi //
β
��
Cfq//
γ
��
ΣX
Σα��
X ′f ′ // Y ′
i ′ // Cf ′q′// ΣX ′
We choose representatives of these homotopy classes, that we denoteby the same name.
Let h : Xn+1 → Y ′n, n ∈ Z, be a homotopy βf ' f ′α. Define
γ : (Cf )n = Yn ⊕ Xn+1(β h
0 α)−→ Y ′n ⊕ X ′n+1 = (Cf ′)n.
Fernando Muro Triangulated categories
![Page 42: Fernando Muro - Universidad de Sevillapersonal.us.es/fmuro/files/slides/htag.pdfFernando Muro Triangulated categories. The homotopy category Definition A morphism f : X !Y in C(A)](https://reader035.fdocuments.in/reader035/viewer/2022071218/60534e7bad558358dd567583/html5/thumbnails/42.jpg)
Triangulated categories
Example (TR3 for K(A))In the homotopy category K(A),
Xf //
α
��
Yi //
β
��
Cfq//
γ
��
ΣX
Σα��
X ′f ′ // Y ′
i ′ // Cf ′q′// ΣX ′
We choose representatives of these homotopy classes, that we denoteby the same name.
Let h : Xn+1 → Y ′n, n ∈ Z, be a homotopy βf ' f ′α. Define
γ : (Cf )n = Yn ⊕ Xn+1(β h
0 α)−→ Y ′n ⊕ X ′n+1 = (Cf ′)n.
Fernando Muro Triangulated categories
![Page 43: Fernando Muro - Universidad de Sevillapersonal.us.es/fmuro/files/slides/htag.pdfFernando Muro Triangulated categories. The homotopy category Definition A morphism f : X !Y in C(A)](https://reader035.fdocuments.in/reader035/viewer/2022071218/60534e7bad558358dd567583/html5/thumbnails/43.jpg)
Triangulated categories
Definition (Verdier’s octahedral axiom)
TR4 Given two composable morphisms X f→ Yg→ Z in T, and three
exact triangles with bases f , g and gf ,
X
Z
Cf
Cgf
Cg
Y
''
//
f
44
gf
OO
__?????????????
**TTTTTTTTTTTTTTTT 77ooooooooo
+1
��
+1oo
+1tttttttt
zzttttttttt
g
dd
+1
��
there are morphisms in red completing the diagram commutativelyin such a way that the front right triangle is exact.
Fernando Muro Triangulated categories
![Page 44: Fernando Muro - Universidad de Sevillapersonal.us.es/fmuro/files/slides/htag.pdfFernando Muro Triangulated categories. The homotopy category Definition A morphism f : X !Y in C(A)](https://reader035.fdocuments.in/reader035/viewer/2022071218/60534e7bad558358dd567583/html5/thumbnails/44.jpg)
Triangulated functors
DefinitionA triangulated functor
(F , φ) : (T,Σ,4) −→ (T′,Σ′,4′)
consists of an additive functor F : T→ T′ together with a naturalisomorphism φ : FΣ ∼= Σ′F such that for any exact triangle in thesource
X f−→ Y i−→ Cq−→ ΣX
the image triangle
F (X )F (f )−→ F (Y )
F (i)−→ F (C)φ(X)F (q)−→ Σ′F (X )
is exact in the target.
Fernando Muro Triangulated categories
![Page 45: Fernando Muro - Universidad de Sevillapersonal.us.es/fmuro/files/slides/htag.pdfFernando Muro Triangulated categories. The homotopy category Definition A morphism f : X !Y in C(A)](https://reader035.fdocuments.in/reader035/viewer/2022071218/60534e7bad558358dd567583/html5/thumbnails/45.jpg)
Triangulated categories
RemarkThere is no known Puppe triangulated category which does notsatisfy the octahedral axiom.Any triangulated structure on (T,Σ) induces a triangulatedstructure on (Top,Σ−1).
The third object C in an exact triangle X f→ Y i→ C → ΣX, whichis called the mapping cone of f , is well defined by f up tonon-canonical isomorphism.
DefinitionA full additive subcategory S ⊂ T is a triangulated subcategory if Σrestricts to a self-equivalence in S and the mapping cone in T of anymorphism in S lies in S.
skip example
Fernando Muro Triangulated categories
![Page 46: Fernando Muro - Universidad de Sevillapersonal.us.es/fmuro/files/slides/htag.pdfFernando Muro Triangulated categories. The homotopy category Definition A morphism f : X !Y in C(A)](https://reader035.fdocuments.in/reader035/viewer/2022071218/60534e7bad558358dd567583/html5/thumbnails/46.jpg)
Triangulated categories
RemarkThere is no known Puppe triangulated category which does notsatisfy the octahedral axiom.Any triangulated structure on (T,Σ) induces a triangulatedstructure on (Top,Σ−1).
The third object C in an exact triangle X f→ Y i→ C → ΣX, whichis called the mapping cone of f , is well defined by f up tonon-canonical isomorphism.
DefinitionA full additive subcategory S ⊂ T is a triangulated subcategory if Σrestricts to a self-equivalence in S and the mapping cone in T of anymorphism in S lies in S.
skip example
Fernando Muro Triangulated categories
![Page 47: Fernando Muro - Universidad de Sevillapersonal.us.es/fmuro/files/slides/htag.pdfFernando Muro Triangulated categories. The homotopy category Definition A morphism f : X !Y in C(A)](https://reader035.fdocuments.in/reader035/viewer/2022071218/60534e7bad558358dd567583/html5/thumbnails/47.jpg)
Triangulated categories
RemarkThere is no known Puppe triangulated category which does notsatisfy the octahedral axiom.Any triangulated structure on (T,Σ) induces a triangulatedstructure on (Top,Σ−1).
The third object C in an exact triangle X f→ Y i→ C → ΣX, whichis called the mapping cone of f , is well defined by f up tonon-canonical isomorphism.
DefinitionA full additive subcategory S ⊂ T is a triangulated subcategory if Σrestricts to a self-equivalence in S and the mapping cone in T of anymorphism in S lies in S.
skip example
Fernando Muro Triangulated categories
![Page 48: Fernando Muro - Universidad de Sevillapersonal.us.es/fmuro/files/slides/htag.pdfFernando Muro Triangulated categories. The homotopy category Definition A morphism f : X !Y in C(A)](https://reader035.fdocuments.in/reader035/viewer/2022071218/60534e7bad558358dd567583/html5/thumbnails/48.jpg)
Triangulated categories
RemarkThere is no known Puppe triangulated category which does notsatisfy the octahedral axiom.Any triangulated structure on (T,Σ) induces a triangulatedstructure on (Top,Σ−1).
The third object C in an exact triangle X f→ Y i→ C → ΣX, whichis called the mapping cone of f , is well defined by f up tonon-canonical isomorphism.
DefinitionA full additive subcategory S ⊂ T is a triangulated subcategory if Σrestricts to a self-equivalence in S and the mapping cone in T of anymorphism in S lies in S.
skip example
Fernando Muro Triangulated categories
![Page 49: Fernando Muro - Universidad de Sevillapersonal.us.es/fmuro/files/slides/htag.pdfFernando Muro Triangulated categories. The homotopy category Definition A morphism f : X !Y in C(A)](https://reader035.fdocuments.in/reader035/viewer/2022071218/60534e7bad558358dd567583/html5/thumbnails/49.jpg)
Triangulated categories
ExampleWe can consider the following triangulated subcategories of K(A):
K+(A), formed by bounded below complexes,
· · · → 0 −→ Xnd−→ Xn+1 → · · · .
K−(A), formed by bounded above complexes,
· · · → Xn−1d−→ Xn −→ 0→ · · · .
Kb(A), formed by bounded complexes,
· · · → 0 −→ Xn → · · · → Xn+m −→ 0→ · · · .
Fernando Muro Triangulated categories
![Page 50: Fernando Muro - Universidad de Sevillapersonal.us.es/fmuro/files/slides/htag.pdfFernando Muro Triangulated categories. The homotopy category Definition A morphism f : X !Y in C(A)](https://reader035.fdocuments.in/reader035/viewer/2022071218/60534e7bad558358dd567583/html5/thumbnails/50.jpg)
Verdier quotients
DefinitionLet T be a triangulated category. We say that a triangulatedsubcategory S ⊂ T is thick if it contains all the direct summands of itsobjects.
The Verdier quotient T/S is a triangulated category equipped with atriangulated functor
T −→ T/S
which is universal among those taking the objects in S to zero objects.
ExampleThe triangulated subcategory Ac(A) ⊂ K(A) formed by the complexesX with trivial cohomology H∗(X ) = 0, called acyclic, is thick.
Fernando Muro Triangulated categories
![Page 51: Fernando Muro - Universidad de Sevillapersonal.us.es/fmuro/files/slides/htag.pdfFernando Muro Triangulated categories. The homotopy category Definition A morphism f : X !Y in C(A)](https://reader035.fdocuments.in/reader035/viewer/2022071218/60534e7bad558358dd567583/html5/thumbnails/51.jpg)
Verdier quotients
DefinitionLet T be a triangulated category. We say that a triangulatedsubcategory S ⊂ T is thick if it contains all the direct summands of itsobjects.
The Verdier quotient T/S is a triangulated category equipped with atriangulated functor
T −→ T/S
which is universal among those taking the objects in S to zero objects.
ExampleThe triangulated subcategory Ac(A) ⊂ K(A) formed by the complexesX with trivial cohomology H∗(X ) = 0, called acyclic, is thick.
Fernando Muro Triangulated categories
![Page 52: Fernando Muro - Universidad de Sevillapersonal.us.es/fmuro/files/slides/htag.pdfFernando Muro Triangulated categories. The homotopy category Definition A morphism f : X !Y in C(A)](https://reader035.fdocuments.in/reader035/viewer/2022071218/60534e7bad558358dd567583/html5/thumbnails/52.jpg)
Verdier quotients
DefinitionLet T be a triangulated category. We say that a triangulatedsubcategory S ⊂ T is thick if it contains all the direct summands of itsobjects.
The Verdier quotient T/S is a triangulated category equipped with atriangulated functor
T −→ T/S
which is universal among those taking the objects in S to zero objects.
ExampleThe triangulated subcategory Ac(A) ⊂ K(A) formed by the complexesX with trivial cohomology H∗(X ) = 0, called acyclic, is thick.
Fernando Muro Triangulated categories
![Page 53: Fernando Muro - Universidad de Sevillapersonal.us.es/fmuro/files/slides/htag.pdfFernando Muro Triangulated categories. The homotopy category Definition A morphism f : X !Y in C(A)](https://reader035.fdocuments.in/reader035/viewer/2022071218/60534e7bad558358dd567583/html5/thumbnails/53.jpg)
Verdier quotients
TheoremThe functor
C(A)� K(A) −→ K(A)/Ac(A)
satisfies the universal property of the derived category, i.e.
D(A) = K(A)/Ac(A),
in particular the derived category is triangulated with the structuredefined above.
. . . and similarly for exact categories and DGAs (possibly with severalobjects).
Fernando Muro Triangulated categories
![Page 54: Fernando Muro - Universidad de Sevillapersonal.us.es/fmuro/files/slides/htag.pdfFernando Muro Triangulated categories. The homotopy category Definition A morphism f : X !Y in C(A)](https://reader035.fdocuments.in/reader035/viewer/2022071218/60534e7bad558358dd567583/html5/thumbnails/54.jpg)
Verdier quotients
The Verdier quotient T/S can be explicitly constructed as follows:Objects in T/S are the same as in T.A morphism in (T/S)(X ,Y ) is represented by a diagram in T
X f←− Ag−→ Y ,
where the mapping cone of f is in S.Another such diagram
X f ′←− A′g′−→ Y
represents the same morphism in T/S if there is a commutativediagram in T,
Afyyrrrrrr g
%%LLLLLL
��
X Y
A′f ′
eeKKKKKK g′
99ssssss
Fernando Muro Triangulated categories
![Page 55: Fernando Muro - Universidad de Sevillapersonal.us.es/fmuro/files/slides/htag.pdfFernando Muro Triangulated categories. The homotopy category Definition A morphism f : X !Y in C(A)](https://reader035.fdocuments.in/reader035/viewer/2022071218/60534e7bad558358dd567583/html5/thumbnails/55.jpg)
Verdier quotients
The Verdier quotient T/S can be explicitly constructed as follows:Objects in T/S are the same as in T.A morphism in (T/S)(X ,Y ) is represented by a diagram in T
X f←− Ag−→ Y ,
where the mapping cone of f is in S.Another such diagram
X f ′←− A′g′−→ Y
represents the same morphism in T/S if there is a commutativediagram in T,
Afyyrrrrrr g
%%LLLLLL
��
X Y
A′f ′
eeKKKKKK g′
99ssssss
Fernando Muro Triangulated categories
![Page 56: Fernando Muro - Universidad de Sevillapersonal.us.es/fmuro/files/slides/htag.pdfFernando Muro Triangulated categories. The homotopy category Definition A morphism f : X !Y in C(A)](https://reader035.fdocuments.in/reader035/viewer/2022071218/60534e7bad558358dd567583/html5/thumbnails/56.jpg)
Verdier quotients
The Verdier quotient T/S can be explicitly constructed as follows:Objects in T/S are the same as in T.A morphism in (T/S)(X ,Y ) is represented by a diagram in T
X f←− Ag−→ Y ,
where the mapping cone of f is in S.Another such diagram
X f ′←− A′g′−→ Y
represents the same morphism in T/S if there is a commutativediagram in T,
Afyyrrrrrr g
%%LLLLLL
��
X Y
A′f ′
eeKKKKKK g′
99ssssss
Fernando Muro Triangulated categories
![Page 57: Fernando Muro - Universidad de Sevillapersonal.us.es/fmuro/files/slides/htag.pdfFernando Muro Triangulated categories. The homotopy category Definition A morphism f : X !Y in C(A)](https://reader035.fdocuments.in/reader035/viewer/2022071218/60534e7bad558358dd567583/html5/thumbnails/57.jpg)
Verdier quotients
The Verdier quotient T/S can be explicitly constructed as follows:Objects in T/S are the same as in T.A morphism in (T/S)(X ,Y ) is represented by a diagram in T
X f←− Ag−→ Y ,
where the mapping cone of f is in S.Another such diagram
X f ′←− A′g′−→ Y
represents the same morphism in T/S if there is a commutativediagram in T,
Afyyrrrrrr g
%%LLLLLL
��
X Y
A′f ′
eeKKKKKK g′
99ssssss
Fernando Muro Triangulated categories
![Page 58: Fernando Muro - Universidad de Sevillapersonal.us.es/fmuro/files/slides/htag.pdfFernando Muro Triangulated categories. The homotopy category Definition A morphism f : X !Y in C(A)](https://reader035.fdocuments.in/reader035/viewer/2022071218/60534e7bad558358dd567583/html5/thumbnails/58.jpg)
Verdier quotients
The equivalence relation generated by the previous relationdefines morphism sets in T/S.The composition of two morphisms in T/S in terms ofrepresentatives is done as follows:
Lh′
%%KKKKKKhyyssssss
Af1yyssssss g1
%%KKKKKK Bf2yyssssss g2
%%KKKKKK
X Y Z
Lf1h
���������� g2h′
��>>>>>>>
X Z
such that there is an exact triangle in T,
L(−h
h′ )−→ A⊕ B(g1 f2)−→ Y −→ ΣL.
Fernando Muro Triangulated categories
![Page 59: Fernando Muro - Universidad de Sevillapersonal.us.es/fmuro/files/slides/htag.pdfFernando Muro Triangulated categories. The homotopy category Definition A morphism f : X !Y in C(A)](https://reader035.fdocuments.in/reader035/viewer/2022071218/60534e7bad558358dd567583/html5/thumbnails/59.jpg)
Verdier quotients
The suspension in T/S is defined by the suspension Σ in T onobjects and diagrams representing morphisms,
Σ(X f←− Ag−→ Y ) = ΣX Σf←− ΣA
Σg−→ ΣY .
The universal functor (F , φ) : T→ T/S is the identity on objectsF (X ) = X and it is defined on morphisms as follows:
F (f : X → Y ) = X 1X←− X f−→ Y .
The natural transformation φ : FΣ ∼= ΣF is the identity.
Exact triangles in T/S are defined so that they coincide with thetriangles isomorphic to the image of the exact triangles in T by theuniversal triangulated functor T→ T/S. skip remark
Fernando Muro Triangulated categories
![Page 60: Fernando Muro - Universidad de Sevillapersonal.us.es/fmuro/files/slides/htag.pdfFernando Muro Triangulated categories. The homotopy category Definition A morphism f : X !Y in C(A)](https://reader035.fdocuments.in/reader035/viewer/2022071218/60534e7bad558358dd567583/html5/thumbnails/60.jpg)
Verdier quotients
The suspension in T/S is defined by the suspension Σ in T onobjects and diagrams representing morphisms,
Σ(X f←− Ag−→ Y ) = ΣX Σf←− ΣA
Σg−→ ΣY .
The universal functor (F , φ) : T→ T/S is the identity on objectsF (X ) = X and it is defined on morphisms as follows:
F (f : X → Y ) = X 1X←− X f−→ Y .
The natural transformation φ : FΣ ∼= ΣF is the identity.
Exact triangles in T/S are defined so that they coincide with thetriangles isomorphic to the image of the exact triangles in T by theuniversal triangulated functor T→ T/S. skip remark
Fernando Muro Triangulated categories
![Page 61: Fernando Muro - Universidad de Sevillapersonal.us.es/fmuro/files/slides/htag.pdfFernando Muro Triangulated categories. The homotopy category Definition A morphism f : X !Y in C(A)](https://reader035.fdocuments.in/reader035/viewer/2022071218/60534e7bad558358dd567583/html5/thumbnails/61.jpg)
Verdier quotients
The suspension in T/S is defined by the suspension Σ in T onobjects and diagrams representing morphisms,
Σ(X f←− Ag−→ Y ) = ΣX Σf←− ΣA
Σg−→ ΣY .
The universal functor (F , φ) : T→ T/S is the identity on objectsF (X ) = X and it is defined on morphisms as follows:
F (f : X → Y ) = X 1X←− X f−→ Y .
The natural transformation φ : FΣ ∼= ΣF is the identity.
Exact triangles in T/S are defined so that they coincide with thetriangles isomorphic to the image of the exact triangles in T by theuniversal triangulated functor T→ T/S. skip remark
Fernando Muro Triangulated categories
![Page 62: Fernando Muro - Universidad de Sevillapersonal.us.es/fmuro/files/slides/htag.pdfFernando Muro Triangulated categories. The homotopy category Definition A morphism f : X !Y in C(A)](https://reader035.fdocuments.in/reader035/viewer/2022071218/60534e7bad558358dd567583/html5/thumbnails/62.jpg)
Verdier quotients
The suspension in T/S is defined by the suspension Σ in T onobjects and diagrams representing morphisms,
Σ(X f←− Ag−→ Y ) = ΣX Σf←− ΣA
Σg−→ ΣY .
The universal functor (F , φ) : T→ T/S is the identity on objectsF (X ) = X and it is defined on morphisms as follows:
F (f : X → Y ) = X 1X←− X f−→ Y .
The natural transformation φ : FΣ ∼= ΣF is the identity.
Exact triangles in T/S are defined so that they coincide with thetriangles isomorphic to the image of the exact triangles in T by theuniversal triangulated functor T→ T/S. skip remark
Fernando Muro Triangulated categories
![Page 63: Fernando Muro - Universidad de Sevillapersonal.us.es/fmuro/files/slides/htag.pdfFernando Muro Triangulated categories. The homotopy category Definition A morphism f : X !Y in C(A)](https://reader035.fdocuments.in/reader035/viewer/2022071218/60534e7bad558358dd567583/html5/thumbnails/63.jpg)
Verdier quotients
RemarkThere are triangulated subcategories
Db(A) ⊂ D+(A),D−(A) ⊂ D(A)
as in the homotopy category.A can be regarded as the full subcategory of complexesconcentrated in degree zero in D(A).Given X and Y in A,
D(A)(X ,ΣnY ) =
ExtnA(X ,Y ), n ≥ 0;
0, n < 0.
Fernando Muro Triangulated categories
![Page 64: Fernando Muro - Universidad de Sevillapersonal.us.es/fmuro/files/slides/htag.pdfFernando Muro Triangulated categories. The homotopy category Definition A morphism f : X !Y in C(A)](https://reader035.fdocuments.in/reader035/viewer/2022071218/60534e7bad558358dd567583/html5/thumbnails/64.jpg)
Verdier quotients
RemarkThere are triangulated subcategories
Db(A) ⊂ D+(A),D−(A) ⊂ D(A)
as in the homotopy category.A can be regarded as the full subcategory of complexesconcentrated in degree zero in D(A).Given X and Y in A,
D(A)(X ,ΣnY ) =
ExtnA(X ,Y ), n ≥ 0;
0, n < 0.
Fernando Muro Triangulated categories
![Page 65: Fernando Muro - Universidad de Sevillapersonal.us.es/fmuro/files/slides/htag.pdfFernando Muro Triangulated categories. The homotopy category Definition A morphism f : X !Y in C(A)](https://reader035.fdocuments.in/reader035/viewer/2022071218/60534e7bad558358dd567583/html5/thumbnails/65.jpg)
Verdier quotients
RemarkThere are triangulated subcategories
Db(A) ⊂ D+(A),D−(A) ⊂ D(A)
as in the homotopy category.A can be regarded as the full subcategory of complexesconcentrated in degree zero in D(A).Given X and Y in A,
D(A)(X ,ΣnY ) =
ExtnA(X ,Y ), n ≥ 0;
0, n < 0.
Fernando Muro Triangulated categories
![Page 66: Fernando Muro - Universidad de Sevillapersonal.us.es/fmuro/files/slides/htag.pdfFernando Muro Triangulated categories. The homotopy category Definition A morphism f : X !Y in C(A)](https://reader035.fdocuments.in/reader035/viewer/2022071218/60534e7bad558358dd567583/html5/thumbnails/66.jpg)
Cohomological functors
DefinitionLet T be a triangulated category and A an abelian category. A functorH : T→ A is cohomological if it takes an exact triangle in T,
X f−→ Y i−→ Cq−→ ΣX ,
to an exact sequence in A,
H(X )H(f )−→ H(Y )
H(i)−→ H(C).
Fernando Muro Triangulated categories
![Page 67: Fernando Muro - Universidad de Sevillapersonal.us.es/fmuro/files/slides/htag.pdfFernando Muro Triangulated categories. The homotopy category Definition A morphism f : X !Y in C(A)](https://reader035.fdocuments.in/reader035/viewer/2022071218/60534e7bad558358dd567583/html5/thumbnails/67.jpg)
Cohomological functors
RemarkActually, H takes exact triangles to long exact sequences
· · · → H(X )H(f )−→ H(Y )
H(i)−→ H(C)H(q)−→ H(ΣX )
H(Σf )−→ H(ΣY )→ · · · .
The functors
H0 : K(A) −→ A, H0 : D(A) −→ A,
are cohomological.For any object X in a triangulated category T, the representablefunctor
T(X ,−) : T −→ Ab
is cohomological.
Fernando Muro Triangulated categories
![Page 68: Fernando Muro - Universidad de Sevillapersonal.us.es/fmuro/files/slides/htag.pdfFernando Muro Triangulated categories. The homotopy category Definition A morphism f : X !Y in C(A)](https://reader035.fdocuments.in/reader035/viewer/2022071218/60534e7bad558358dd567583/html5/thumbnails/68.jpg)
Cohomological functors
RemarkActually, H takes exact triangles to long exact sequences
· · · → H(X )H(f )−→ H(Y )
H(i)−→ H(C)H(q)−→ H(ΣX )
H(Σf )−→ H(ΣY )→ · · · .
The functors
H0 : K(A) −→ A, H0 : D(A) −→ A,
are cohomological.For any object X in a triangulated category T, the representablefunctor
T(X ,−) : T −→ Ab
is cohomological.
Fernando Muro Triangulated categories
![Page 69: Fernando Muro - Universidad de Sevillapersonal.us.es/fmuro/files/slides/htag.pdfFernando Muro Triangulated categories. The homotopy category Definition A morphism f : X !Y in C(A)](https://reader035.fdocuments.in/reader035/viewer/2022071218/60534e7bad558358dd567583/html5/thumbnails/69.jpg)
Cohomological functors
RemarkActually, H takes exact triangles to long exact sequences
· · · → H(X )H(f )−→ H(Y )
H(i)−→ H(C)H(q)−→ H(ΣX )
H(Σf )−→ H(ΣY )→ · · · .
The functors
H0 : K(A) −→ A, H0 : D(A) −→ A,
are cohomological.For any object X in a triangulated category T, the representablefunctor
T(X ,−) : T −→ Ab
is cohomological.
Fernando Muro Triangulated categories
![Page 70: Fernando Muro - Universidad de Sevillapersonal.us.es/fmuro/files/slides/htag.pdfFernando Muro Triangulated categories. The homotopy category Definition A morphism f : X !Y in C(A)](https://reader035.fdocuments.in/reader035/viewer/2022071218/60534e7bad558358dd567583/html5/thumbnails/70.jpg)
Brown representability
DefinitionLet T be a triangulated category with coproducts. An object X in T iscompact if T(X ,−) preserves coproducts.
T is compactly generated if there is a set S of compact objects suchthat an object Y in T is trivial iff T(X ,Y ) = 0 for all X ∈ S.
Example (Neeman’96)If X is a quasi-compact separated scheme then D(Qcoh(X )) iscompactly generated.
Theorem (Brown’62, Neeman’96)If T is a compactly generated triangulated category, then anycohomological functor preserving products H : Top → Ab isrepresentable H = T(−,Y ).
Fernando Muro Triangulated categories
![Page 71: Fernando Muro - Universidad de Sevillapersonal.us.es/fmuro/files/slides/htag.pdfFernando Muro Triangulated categories. The homotopy category Definition A morphism f : X !Y in C(A)](https://reader035.fdocuments.in/reader035/viewer/2022071218/60534e7bad558358dd567583/html5/thumbnails/71.jpg)
Brown representability
DefinitionLet T be a triangulated category with coproducts. An object X in T iscompact if T(X ,−) preserves coproducts.
T is compactly generated if there is a set S of compact objects suchthat an object Y in T is trivial iff T(X ,Y ) = 0 for all X ∈ S.
Example (Neeman’96)If X is a quasi-compact separated scheme then D(Qcoh(X )) iscompactly generated.
Theorem (Brown’62, Neeman’96)If T is a compactly generated triangulated category, then anycohomological functor preserving products H : Top → Ab isrepresentable H = T(−,Y ).
Fernando Muro Triangulated categories
![Page 72: Fernando Muro - Universidad de Sevillapersonal.us.es/fmuro/files/slides/htag.pdfFernando Muro Triangulated categories. The homotopy category Definition A morphism f : X !Y in C(A)](https://reader035.fdocuments.in/reader035/viewer/2022071218/60534e7bad558358dd567583/html5/thumbnails/72.jpg)
Brown representability
DefinitionLet T be a triangulated category with coproducts. An object X in T iscompact if T(X ,−) preserves coproducts.
T is compactly generated if there is a set S of compact objects suchthat an object Y in T is trivial iff T(X ,Y ) = 0 for all X ∈ S.
Example (Neeman’96)If X is a quasi-compact separated scheme then D(Qcoh(X )) iscompactly generated.
Theorem (Brown’62, Neeman’96)If T is a compactly generated triangulated category, then anycohomological functor preserving products H : Top → Ab isrepresentable H = T(−,Y ).
Fernando Muro Triangulated categories
![Page 73: Fernando Muro - Universidad de Sevillapersonal.us.es/fmuro/files/slides/htag.pdfFernando Muro Triangulated categories. The homotopy category Definition A morphism f : X !Y in C(A)](https://reader035.fdocuments.in/reader035/viewer/2022071218/60534e7bad558358dd567583/html5/thumbnails/73.jpg)
Brown representability
DefinitionLet T be a triangulated category with coproducts. An object X in T iscompact if T(X ,−) preserves coproducts.
T is compactly generated if there is a set S of compact objects suchthat an object Y in T is trivial iff T(X ,Y ) = 0 for all X ∈ S.
Example (Neeman’96)If X is a quasi-compact separated scheme then D(Qcoh(X )) iscompactly generated.
Theorem (Brown’62, Neeman’96)If T is a compactly generated triangulated category, then anycohomological functor preserving products H : Top → Ab isrepresentable H = T(−,Y ).
Fernando Muro Triangulated categories
![Page 74: Fernando Muro - Universidad de Sevillapersonal.us.es/fmuro/files/slides/htag.pdfFernando Muro Triangulated categories. The homotopy category Definition A morphism f : X !Y in C(A)](https://reader035.fdocuments.in/reader035/viewer/2022071218/60534e7bad558358dd567583/html5/thumbnails/74.jpg)
Brown representability
CorollaryLet F : S→ T be a triangulated functor with compactly generatedsource. If F preserves coproducts then it has a right adjoint.
Proof.The right adjoint G must satisfy S(−,G(X )) = T(F (−),X ). This laterfunctor is well defined and representable by the previous theorem,hence G exists.
Example (Grothendieck duality)If f : X → Y is a separated morphism of quasi-compact separatedschemes, then the right derived functor of the direct image,
Rf∗ : D(Qcoh(X )) −→ D(Qcoh(Y )),
has a right adjoint. skip Adams
Fernando Muro Triangulated categories
![Page 75: Fernando Muro - Universidad de Sevillapersonal.us.es/fmuro/files/slides/htag.pdfFernando Muro Triangulated categories. The homotopy category Definition A morphism f : X !Y in C(A)](https://reader035.fdocuments.in/reader035/viewer/2022071218/60534e7bad558358dd567583/html5/thumbnails/75.jpg)
Brown representability
CorollaryLet F : S→ T be a triangulated functor with compactly generatedsource. If F preserves coproducts then it has a right adjoint.
Proof.The right adjoint G must satisfy S(−,G(X )) = T(F (−),X ). This laterfunctor is well defined and representable by the previous theorem,hence G exists.
Example (Grothendieck duality)If f : X → Y is a separated morphism of quasi-compact separatedschemes, then the right derived functor of the direct image,
Rf∗ : D(Qcoh(X )) −→ D(Qcoh(Y )),
has a right adjoint. skip Adams
Fernando Muro Triangulated categories
![Page 76: Fernando Muro - Universidad de Sevillapersonal.us.es/fmuro/files/slides/htag.pdfFernando Muro Triangulated categories. The homotopy category Definition A morphism f : X !Y in C(A)](https://reader035.fdocuments.in/reader035/viewer/2022071218/60534e7bad558358dd567583/html5/thumbnails/76.jpg)
Brown representability
CorollaryLet F : S→ T be a triangulated functor with compactly generatedsource. If F preserves coproducts then it has a right adjoint.
Proof.The right adjoint G must satisfy S(−,G(X )) = T(F (−),X ). This laterfunctor is well defined and representable by the previous theorem,hence G exists.
Example (Grothendieck duality)If f : X → Y is a separated morphism of quasi-compact separatedschemes, then the right derived functor of the direct image,
Rf∗ : D(Qcoh(X )) −→ D(Qcoh(Y )),
has a right adjoint. skip Adams
Fernando Muro Triangulated categories
![Page 77: Fernando Muro - Universidad de Sevillapersonal.us.es/fmuro/files/slides/htag.pdfFernando Muro Triangulated categories. The homotopy category Definition A morphism f : X !Y in C(A)](https://reader035.fdocuments.in/reader035/viewer/2022071218/60534e7bad558358dd567583/html5/thumbnails/77.jpg)
Adams representability
RemarkIf S ⊂ T is a triangulated subcategory. For any object X in T, therestriction of a representable functor in T is cohomological in S,
T(X ,−)|S : S −→ Ab.
Theorem (Adams representability theorem, Neeman’97)If T is compactly generated and card Tc is countable then:
1 Every cohomological functor H : (Tc)op → Ab is H = T(−,X )|S forsome X in T.
2 Any natural transformation T(−,X )|S ⇒ T(−,Y )|S is induced by amorphism f : X → Y in T.
RemarkFor instance, T = D(Z) or the stable homotopy category.
Fernando Muro Triangulated categories
![Page 78: Fernando Muro - Universidad de Sevillapersonal.us.es/fmuro/files/slides/htag.pdfFernando Muro Triangulated categories. The homotopy category Definition A morphism f : X !Y in C(A)](https://reader035.fdocuments.in/reader035/viewer/2022071218/60534e7bad558358dd567583/html5/thumbnails/78.jpg)
Adams representability
RemarkIf S ⊂ T is a triangulated subcategory. For any object X in T, therestriction of a representable functor in T is cohomological in S,
T(X ,−)|S : S −→ Ab.
Theorem (Adams representability theorem, Neeman’97)If T is compactly generated and card Tc is countable then:
1 Every cohomological functor H : (Tc)op → Ab is H = T(−,X )|S forsome X in T.
2 Any natural transformation T(−,X )|S ⇒ T(−,Y )|S is induced by amorphism f : X → Y in T.
RemarkFor instance, T = D(Z) or the stable homotopy category.
Fernando Muro Triangulated categories
![Page 79: Fernando Muro - Universidad de Sevillapersonal.us.es/fmuro/files/slides/htag.pdfFernando Muro Triangulated categories. The homotopy category Definition A morphism f : X !Y in C(A)](https://reader035.fdocuments.in/reader035/viewer/2022071218/60534e7bad558358dd567583/html5/thumbnails/79.jpg)
Adams representability
RemarkIf S ⊂ T is a triangulated subcategory. For any object X in T, therestriction of a representable functor in T is cohomological in S,
T(X ,−)|S : S −→ Ab.
Theorem (Adams representability theorem, Neeman’97)If T is compactly generated and card Tc is countable then:
1 Every cohomological functor H : (Tc)op → Ab is H = T(−,X )|S forsome X in T.
2 Any natural transformation T(−,X )|S ⇒ T(−,Y )|S is induced by amorphism f : X → Y in T.
RemarkFor instance, T = D(Z) or the stable homotopy category.
Fernando Muro Triangulated categories
![Page 80: Fernando Muro - Universidad de Sevillapersonal.us.es/fmuro/files/slides/htag.pdfFernando Muro Triangulated categories. The homotopy category Definition A morphism f : X !Y in C(A)](https://reader035.fdocuments.in/reader035/viewer/2022071218/60534e7bad558358dd567583/html5/thumbnails/80.jpg)
Adams representability
RemarkIf S ⊂ T is a triangulated subcategory. For any object X in T, therestriction of a representable functor in T is cohomological in S,
T(X ,−)|S : S −→ Ab.
Theorem (Adams representability theorem, Neeman’97)If T is compactly generated and card Tc is countable then:
1 Every cohomological functor H : (Tc)op → Ab is H = T(−,X )|S forsome X in T.
2 Any natural transformation T(−,X )|S ⇒ T(−,Y )|S is induced by amorphism f : X → Y in T.
RemarkFor instance, T = D(Z) or the stable homotopy category.
Fernando Muro Triangulated categories
![Page 81: Fernando Muro - Universidad de Sevillapersonal.us.es/fmuro/files/slides/htag.pdfFernando Muro Triangulated categories. The homotopy category Definition A morphism f : X !Y in C(A)](https://reader035.fdocuments.in/reader035/viewer/2022071218/60534e7bad558358dd567583/html5/thumbnails/81.jpg)
Adams representability
RemarkIf S ⊂ T is a triangulated subcategory. For any object X in T, therestriction of a representable functor in T is cohomological in S,
T(X ,−)|S : S −→ Ab.
Theorem (Adams representability theorem, Neeman’97)If T is compactly generated and card Tc is countable then:
1 Every cohomological functor H : (Tc)op → Ab is H = T(−,X )|S forsome X in T.
2 Any natural transformation T(−,X )|S ⇒ T(−,Y )|S is induced by amorphism f : X → Y in T.
RemarkFor instance, T = D(Z) or the stable homotopy category.
Fernando Muro Triangulated categories
![Page 82: Fernando Muro - Universidad de Sevillapersonal.us.es/fmuro/files/slides/htag.pdfFernando Muro Triangulated categories. The homotopy category Definition A morphism f : X !Y in C(A)](https://reader035.fdocuments.in/reader035/viewer/2022071218/60534e7bad558358dd567583/html5/thumbnails/82.jpg)
Adams representability
Theorem (Neeman’97)The Adams representability theorem holds in T iff the pure globaldimension of Mod-Tc is ≤ 1.
Example (Christensen-Keller-Neeman’01)For T = D(C[x , y ]), part 1 of Adams representability theorem holdsunder the continuum hypothesis.
[Beligiannis’00] computed using [Baer-Brune-Lenzing’82] the pureglobal dimension of Mod-D(Λ)c for Λ a finite dimensional hereditaryalgebra over an algebraically closed field k . It depends on therepresentation type of Λ and on card k .
skip derived functors
Fernando Muro Triangulated categories
![Page 83: Fernando Muro - Universidad de Sevillapersonal.us.es/fmuro/files/slides/htag.pdfFernando Muro Triangulated categories. The homotopy category Definition A morphism f : X !Y in C(A)](https://reader035.fdocuments.in/reader035/viewer/2022071218/60534e7bad558358dd567583/html5/thumbnails/83.jpg)
Adams representability
Theorem (Neeman’97)The Adams representability theorem holds in T iff the pure globaldimension of Mod-Tc is ≤ 1.
Example (Christensen-Keller-Neeman’01)For T = D(C[x , y ]), part 1 of Adams representability theorem holdsunder the continuum hypothesis.
[Beligiannis’00] computed using [Baer-Brune-Lenzing’82] the pureglobal dimension of Mod-D(Λ)c for Λ a finite dimensional hereditaryalgebra over an algebraically closed field k . It depends on therepresentation type of Λ and on card k .
skip derived functors
Fernando Muro Triangulated categories
![Page 84: Fernando Muro - Universidad de Sevillapersonal.us.es/fmuro/files/slides/htag.pdfFernando Muro Triangulated categories. The homotopy category Definition A morphism f : X !Y in C(A)](https://reader035.fdocuments.in/reader035/viewer/2022071218/60534e7bad558358dd567583/html5/thumbnails/84.jpg)
Adams representability
Theorem (Neeman’97)The Adams representability theorem holds in T iff the pure globaldimension of Mod-Tc is ≤ 1.
Example (Christensen-Keller-Neeman’01)For T = D(C[x , y ]), part 1 of Adams representability theorem holdsunder the continuum hypothesis.
[Beligiannis’00] computed using [Baer-Brune-Lenzing’82] the pureglobal dimension of Mod-D(Λ)c for Λ a finite dimensional hereditaryalgebra over an algebraically closed field k . It depends on therepresentation type of Λ and on card k .
skip derived functors
Fernando Muro Triangulated categories
![Page 85: Fernando Muro - Universidad de Sevillapersonal.us.es/fmuro/files/slides/htag.pdfFernando Muro Triangulated categories. The homotopy category Definition A morphism f : X !Y in C(A)](https://reader035.fdocuments.in/reader035/viewer/2022071218/60534e7bad558358dd567583/html5/thumbnails/85.jpg)
Derived functors
An additive functor F : A→ B induces an obvious triangulated functor
F : K(A)→ K(B).
If F is exact then it also induces a functor at the level of derivedcategories,
Ac(A) � � //
F��
K(A) // //
F��
D(A)
F��
Ac(B) � � // K(B) // // D(B)
Question: What can we do if F is not exact?
Fernando Muro Triangulated categories
![Page 86: Fernando Muro - Universidad de Sevillapersonal.us.es/fmuro/files/slides/htag.pdfFernando Muro Triangulated categories. The homotopy category Definition A morphism f : X !Y in C(A)](https://reader035.fdocuments.in/reader035/viewer/2022071218/60534e7bad558358dd567583/html5/thumbnails/86.jpg)
Derived functors
An additive functor F : A→ B induces an obvious triangulated functor
F : K(A)→ K(B).
If F is exact then it also induces a functor at the level of derivedcategories,
Ac(A) � � //
F��
K(A) // //
F��
D(A)
F��
Ac(B) � � // K(B) // // D(B)
Question: What can we do if F is not exact?
Fernando Muro Triangulated categories
![Page 87: Fernando Muro - Universidad de Sevillapersonal.us.es/fmuro/files/slides/htag.pdfFernando Muro Triangulated categories. The homotopy category Definition A morphism f : X !Y in C(A)](https://reader035.fdocuments.in/reader035/viewer/2022071218/60534e7bad558358dd567583/html5/thumbnails/87.jpg)
Derived functors
An additive functor F : A→ B induces an obvious triangulated functor
F : K(A)→ K(B).
If F is exact then it also induces a functor at the level of derivedcategories,
Ac(A) � � //
F��
K(A) // //
F��
D(A)
F��
Ac(B) � � // K(B) // // D(B)
Question: What can we do if F is not exact?
Fernando Muro Triangulated categories
![Page 88: Fernando Muro - Universidad de Sevillapersonal.us.es/fmuro/files/slides/htag.pdfFernando Muro Triangulated categories. The homotopy category Definition A morphism f : X !Y in C(A)](https://reader035.fdocuments.in/reader035/viewer/2022071218/60534e7bad558358dd567583/html5/thumbnails/88.jpg)
Derived functors
PropositionIf A has enough projectives then the following composite is atriangulated equivalence
ϕ : K−(Proj(A))incl.−→ K−(A) −→ D−(A).
DefinitionThe left derived functor of an additive functor F : A→ B is thecomposite
LF : D−(A)ϕ−1
−→ K−(Proj(A)) ⊂ K−(A)F−→ K−(B) −→ D−(B)
RemarkThe usual left derived functors LnF : A→ B are recovered as
LnF (M) = H−nLF (M), M in A,n ≥ 0.
Fernando Muro Triangulated categories
![Page 89: Fernando Muro - Universidad de Sevillapersonal.us.es/fmuro/files/slides/htag.pdfFernando Muro Triangulated categories. The homotopy category Definition A morphism f : X !Y in C(A)](https://reader035.fdocuments.in/reader035/viewer/2022071218/60534e7bad558358dd567583/html5/thumbnails/89.jpg)
Derived functors
PropositionIf A has enough projectives then the following composite is atriangulated equivalence
ϕ : K−(Proj(A))incl.−→ K−(A) −→ D−(A).
DefinitionThe left derived functor of an additive functor F : A→ B is thecomposite
LF : D−(A)ϕ−1
−→ K−(Proj(A)) ⊂ K−(A)F−→ K−(B) −→ D−(B)
RemarkThe usual left derived functors LnF : A→ B are recovered as
LnF (M) = H−nLF (M), M in A,n ≥ 0.
Fernando Muro Triangulated categories
![Page 90: Fernando Muro - Universidad de Sevillapersonal.us.es/fmuro/files/slides/htag.pdfFernando Muro Triangulated categories. The homotopy category Definition A morphism f : X !Y in C(A)](https://reader035.fdocuments.in/reader035/viewer/2022071218/60534e7bad558358dd567583/html5/thumbnails/90.jpg)
Derived functors
PropositionIf A has enough projectives then the following composite is atriangulated equivalence
ϕ : K−(Proj(A))incl.−→ K−(A) −→ D−(A).
DefinitionThe left derived functor of an additive functor F : A→ B is thecomposite
LF : D−(A)ϕ−1
−→ K−(Proj(A)) ⊂ K−(A)F−→ K−(B) −→ D−(B)
RemarkThe usual left derived functors LnF : A→ B are recovered as
LnF (M) = H−nLF (M), M in A,n ≥ 0.
Fernando Muro Triangulated categories
![Page 91: Fernando Muro - Universidad de Sevillapersonal.us.es/fmuro/files/slides/htag.pdfFernando Muro Triangulated categories. The homotopy category Definition A morphism f : X !Y in C(A)](https://reader035.fdocuments.in/reader035/viewer/2022071218/60534e7bad558358dd567583/html5/thumbnails/91.jpg)
Derived functors
PropositionIf A has enough injectives then the following composite is atriangulated equivalence
ψ : K+(Inj(A))incl.−→ K+(A) −→ D+(A).
DefinitionThe right derived functor of an additive functor F : A→ B is thecomposite
RF : D+(A)ψ−1
−→ K+(Inj(A)) ⊂ K+(A)F−→ K+(B) −→ D+(B)
RemarkThe usual right derived functors RnF : A→ B are recovered as
RnF (M) = HnRF (M), M in A,n ≥ 0.
Fernando Muro Triangulated categories
![Page 92: Fernando Muro - Universidad de Sevillapersonal.us.es/fmuro/files/slides/htag.pdfFernando Muro Triangulated categories. The homotopy category Definition A morphism f : X !Y in C(A)](https://reader035.fdocuments.in/reader035/viewer/2022071218/60534e7bad558358dd567583/html5/thumbnails/92.jpg)
Derived functors
Suppose that A has exact coproducts and a projective generator P,e.g. A = Mod-R and P = R. Let P ⊂ K(A) the smallest triangulatedsubcategory with coproducts containing P.
TheoremThe composite
ϕ̄ : P incl.−→ K(A) −→ D(A)
is a triangulated equivalence.
DefinitionThe left derived functor of an additive functor F : A→ B is thecomposite
LF : D(A)ϕ̄−1
−→ P ⊂ K(A)F−→ K(B) −→ D(B)
Fernando Muro Triangulated categories
![Page 93: Fernando Muro - Universidad de Sevillapersonal.us.es/fmuro/files/slides/htag.pdfFernando Muro Triangulated categories. The homotopy category Definition A morphism f : X !Y in C(A)](https://reader035.fdocuments.in/reader035/viewer/2022071218/60534e7bad558358dd567583/html5/thumbnails/93.jpg)
Derived functors
Suppose that A has exact coproducts and a projective generator P,e.g. A = Mod-R and P = R. Let P ⊂ K(A) the smallest triangulatedsubcategory with coproducts containing P.
TheoremThe composite
ϕ̄ : P incl.−→ K(A) −→ D(A)
is a triangulated equivalence.
DefinitionThe left derived functor of an additive functor F : A→ B is thecomposite
LF : D(A)ϕ̄−1
−→ P ⊂ K(A)F−→ K(B) −→ D(B)
Fernando Muro Triangulated categories
![Page 94: Fernando Muro - Universidad de Sevillapersonal.us.es/fmuro/files/slides/htag.pdfFernando Muro Triangulated categories. The homotopy category Definition A morphism f : X !Y in C(A)](https://reader035.fdocuments.in/reader035/viewer/2022071218/60534e7bad558358dd567583/html5/thumbnails/94.jpg)
Derived functors
Suppose that A has exact coproducts and a projective generator P,e.g. A = Mod-R and P = R. Let P ⊂ K(A) the smallest triangulatedsubcategory with coproducts containing P.
TheoremThe composite
ϕ̄ : P incl.−→ K(A) −→ D(A)
is a triangulated equivalence.
DefinitionThe left derived functor of an additive functor F : A→ B is thecomposite
LF : D(A)ϕ̄−1
−→ P ⊂ K(A)F−→ K(B) −→ D(B)
Fernando Muro Triangulated categories
![Page 95: Fernando Muro - Universidad de Sevillapersonal.us.es/fmuro/files/slides/htag.pdfFernando Muro Triangulated categories. The homotopy category Definition A morphism f : X !Y in C(A)](https://reader035.fdocuments.in/reader035/viewer/2022071218/60534e7bad558358dd567583/html5/thumbnails/95.jpg)
Derived functors
Suppose that A has exact coproducts and a projective generator P,e.g. A = Mod-R and P = R. Let P ⊂ K(A) the smallest triangulatedsubcategory with coproducts containing P.
TheoremThe composite
ϕ̄ : P incl.−→ K(A) −→ D(A)
is a triangulated equivalence.
DefinitionThe left derived functor of an additive functor F : A→ B is thecomposite
LF : D(A)ϕ̄−1
−→ P ⊂ K(A)F−→ K(B) −→ D(B)
Fernando Muro Triangulated categories
![Page 96: Fernando Muro - Universidad de Sevillapersonal.us.es/fmuro/files/slides/htag.pdfFernando Muro Triangulated categories. The homotopy category Definition A morphism f : X !Y in C(A)](https://reader035.fdocuments.in/reader035/viewer/2022071218/60534e7bad558358dd567583/html5/thumbnails/96.jpg)
Derived functors
Suppose that A has exact products and an injective cogenerator I,e.g. A = Mod-R and I = HomZ(R,Q/Z). Let I ⊂ K(A) be the smallesttriangulated subcategory with products containing I.
TheoremThe composite
ψ̄ : I incl.−→ K(A) −→ D(A)
is a triangulated equivalence.
DefinitionThe right derived functor of an additive functor F : A→ B is thecomposite
RF : D(A)ψ̄−1
−→ I ⊂ K(A)F−→ K(B) −→ D(B)
Fernando Muro Triangulated categories
![Page 97: Fernando Muro - Universidad de Sevillapersonal.us.es/fmuro/files/slides/htag.pdfFernando Muro Triangulated categories. The homotopy category Definition A morphism f : X !Y in C(A)](https://reader035.fdocuments.in/reader035/viewer/2022071218/60534e7bad558358dd567583/html5/thumbnails/97.jpg)
Algebraic triangulated categories
TheoremWith the suspension of complexes and the exact triangles indicatedabove, the homotopy category K(A) of an additive category A is atriangulated category.
RemarkThe same result holds for differential graded algebras (possibly withseveral objects).
Definition (Keller, Krause)A triangulated category is algebraic if it is triangulated equivalent to atriangulated subcategory of K(A) for some additive category A.
Fernando Muro Triangulated categories
![Page 98: Fernando Muro - Universidad de Sevillapersonal.us.es/fmuro/files/slides/htag.pdfFernando Muro Triangulated categories. The homotopy category Definition A morphism f : X !Y in C(A)](https://reader035.fdocuments.in/reader035/viewer/2022071218/60534e7bad558358dd567583/html5/thumbnails/98.jpg)
Algebraic triangulated categories
TheoremWith the suspension of complexes and the exact triangles indicatedabove, the homotopy category K(A) of an additive category A is atriangulated category.
RemarkThe same result holds for differential graded algebras (possibly withseveral objects).
Definition (Keller, Krause)A triangulated category is algebraic if it is triangulated equivalent to atriangulated subcategory of K(A) for some additive category A.
Fernando Muro Triangulated categories
![Page 99: Fernando Muro - Universidad de Sevillapersonal.us.es/fmuro/files/slides/htag.pdfFernando Muro Triangulated categories. The homotopy category Definition A morphism f : X !Y in C(A)](https://reader035.fdocuments.in/reader035/viewer/2022071218/60534e7bad558358dd567583/html5/thumbnails/99.jpg)
Algebraic triangulated categories
TheoremWith the suspension of complexes and the exact triangles indicatedabove, the homotopy category K(A) of an additive category A is atriangulated category.
RemarkThe same result holds for differential graded algebras (possibly withseveral objects).
Definition (Keller, Krause)A triangulated category is algebraic if it is triangulated equivalent to atriangulated subcategory of K(A) for some additive category A.
Fernando Muro Triangulated categories
![Page 100: Fernando Muro - Universidad de Sevillapersonal.us.es/fmuro/files/slides/htag.pdfFernando Muro Triangulated categories. The homotopy category Definition A morphism f : X !Y in C(A)](https://reader035.fdocuments.in/reader035/viewer/2022071218/60534e7bad558358dd567583/html5/thumbnails/100.jpg)
Algebraic triangulated categories
PropositionLet X be an object in an algebraic triangulated category T and let
X n·1X−→ X −→ X/n −→ ΣX
be an exact triangle, n ∈ Z. Then
n · 1X/n = 0 : X/n −→ X/n.
Proof.We can directly suppose T = K(A). If we take X/n to be the mappingcone of n · 1X : X → X then it is easy to check thatn · 1X/n : X/n→ X/n in C(A) is nullhomotopic.
Fernando Muro Triangulated categories
![Page 101: Fernando Muro - Universidad de Sevillapersonal.us.es/fmuro/files/slides/htag.pdfFernando Muro Triangulated categories. The homotopy category Definition A morphism f : X !Y in C(A)](https://reader035.fdocuments.in/reader035/viewer/2022071218/60534e7bad558358dd567583/html5/thumbnails/101.jpg)
Algebraic triangulated categories
PropositionLet X be an object in an algebraic triangulated category T and let
X n·1X−→ X −→ X/n −→ ΣX
be an exact triangle, n ∈ Z. Then
n · 1X/n = 0 : X/n −→ X/n.
Proof.We can directly suppose T = K(A). If we take X/n to be the mappingcone of n · 1X : X → X then it is easy to check thatn · 1X/n : X/n→ X/n in C(A) is nullhomotopic.
Fernando Muro Triangulated categories
![Page 102: Fernando Muro - Universidad de Sevillapersonal.us.es/fmuro/files/slides/htag.pdfFernando Muro Triangulated categories. The homotopy category Definition A morphism f : X !Y in C(A)](https://reader035.fdocuments.in/reader035/viewer/2022071218/60534e7bad558358dd567583/html5/thumbnails/102.jpg)
Stable categories
DefinitionAn abelian category A is Frobenius if it has enough injectives andprojectives, and injective and projective objects coincide.
ExampleMod-R for R a quasi-Frobenius ring, i.e. R is right noetherian andright self-injective.Also mod-R, the full subcategory of finitely presented modules.Examples of quasi-Frobenius rings are fields, division algebras,Z/n, k [X ]/(f ), and the group algebra kG of a finite group G.mod-T, where T is a triangulated category.
Fernando Muro Triangulated categories
![Page 103: Fernando Muro - Universidad de Sevillapersonal.us.es/fmuro/files/slides/htag.pdfFernando Muro Triangulated categories. The homotopy category Definition A morphism f : X !Y in C(A)](https://reader035.fdocuments.in/reader035/viewer/2022071218/60534e7bad558358dd567583/html5/thumbnails/103.jpg)
Stable categories
DefinitionAn abelian category A is Frobenius if it has enough injectives andprojectives, and injective and projective objects coincide.
ExampleMod-R for R a quasi-Frobenius ring, i.e. R is right noetherian andright self-injective.Also mod-R, the full subcategory of finitely presented modules.Examples of quasi-Frobenius rings are fields, division algebras,Z/n, k [X ]/(f ), and the group algebra kG of a finite group G.mod-T, where T is a triangulated category.
Fernando Muro Triangulated categories
![Page 104: Fernando Muro - Universidad de Sevillapersonal.us.es/fmuro/files/slides/htag.pdfFernando Muro Triangulated categories. The homotopy category Definition A morphism f : X !Y in C(A)](https://reader035.fdocuments.in/reader035/viewer/2022071218/60534e7bad558358dd567583/html5/thumbnails/104.jpg)
Stable categories
DefinitionAn abelian category A is Frobenius if it has enough injectives andprojectives, and injective and projective objects coincide.
ExampleMod-R for R a quasi-Frobenius ring, i.e. R is right noetherian andright self-injective.Also mod-R, the full subcategory of finitely presented modules.Examples of quasi-Frobenius rings are fields, division algebras,Z/n, k [X ]/(f ), and the group algebra kG of a finite group G.mod-T, where T is a triangulated category.
Fernando Muro Triangulated categories
![Page 105: Fernando Muro - Universidad de Sevillapersonal.us.es/fmuro/files/slides/htag.pdfFernando Muro Triangulated categories. The homotopy category Definition A morphism f : X !Y in C(A)](https://reader035.fdocuments.in/reader035/viewer/2022071218/60534e7bad558358dd567583/html5/thumbnails/105.jpg)
Stable categories
DefinitionAn abelian category A is Frobenius if it has enough injectives andprojectives, and injective and projective objects coincide.
ExampleMod-R for R a quasi-Frobenius ring, i.e. R is right noetherian andright self-injective.Also mod-R, the full subcategory of finitely presented modules.Examples of quasi-Frobenius rings are fields, division algebras,Z/n, k [X ]/(f ), and the group algebra kG of a finite group G.mod-T, where T is a triangulated category.
Fernando Muro Triangulated categories
![Page 106: Fernando Muro - Universidad de Sevillapersonal.us.es/fmuro/files/slides/htag.pdfFernando Muro Triangulated categories. The homotopy category Definition A morphism f : X !Y in C(A)](https://reader035.fdocuments.in/reader035/viewer/2022071218/60534e7bad558358dd567583/html5/thumbnails/106.jpg)
Stable categories
DefinitionAn abelian category A is Frobenius if it has enough injectives andprojectives, and injective and projective objects coincide.
ExampleMod-R for R a quasi-Frobenius ring, i.e. R is right noetherian andright self-injective.Also mod-R, the full subcategory of finitely presented modules.Examples of quasi-Frobenius rings are fields, division algebras,Z/n, k [X ]/(f ), and the group algebra kG of a finite group G.mod-T, where T is a triangulated category.
Fernando Muro Triangulated categories
![Page 107: Fernando Muro - Universidad de Sevillapersonal.us.es/fmuro/files/slides/htag.pdfFernando Muro Triangulated categories. The homotopy category Definition A morphism f : X !Y in C(A)](https://reader035.fdocuments.in/reader035/viewer/2022071218/60534e7bad558358dd567583/html5/thumbnails/107.jpg)
Stable categories
DefinitionThe stable category A of a Frobenius abelian category A is thequotient of A by the ideal of morphisms f : X → Y which factor throughan injective-projective object f : X → I → Y.
The cosyzygy SX of an object X in A is the cokernel of amonomorphism of X into an injective-projective object,
X ↪→ I � SX .
The choice of such short exact sequences defines a self-equivalence,
S : A '−→ A.
Fernando Muro Triangulated categories
![Page 108: Fernando Muro - Universidad de Sevillapersonal.us.es/fmuro/files/slides/htag.pdfFernando Muro Triangulated categories. The homotopy category Definition A morphism f : X !Y in C(A)](https://reader035.fdocuments.in/reader035/viewer/2022071218/60534e7bad558358dd567583/html5/thumbnails/108.jpg)
Stable categories
DefinitionThe stable category A of a Frobenius abelian category A is thequotient of A by the ideal of morphisms f : X → Y which factor throughan injective-projective object f : X → I → Y.
The cosyzygy SX of an object X in A is the cokernel of amonomorphism of X into an injective-projective object,
X ↪→ I � SX .
The choice of such short exact sequences defines a self-equivalence,
S : A '−→ A.
Fernando Muro Triangulated categories
![Page 109: Fernando Muro - Universidad de Sevillapersonal.us.es/fmuro/files/slides/htag.pdfFernando Muro Triangulated categories. The homotopy category Definition A morphism f : X !Y in C(A)](https://reader035.fdocuments.in/reader035/viewer/2022071218/60534e7bad558358dd567583/html5/thumbnails/109.jpg)
Stable categories
DefinitionGiven a morphism f : X → Y in A we say that the subdiagram in red
Xf //
� _
��
push
Y
i�� 0
��
I //
-- --
Cfq
!!BBBBBBBB
SX
is an exact triangle when projected to A.
TheoremThe stable category A of a Frobenius abelian category A istriangulated with the structure above.
Fernando Muro Triangulated categories
![Page 110: Fernando Muro - Universidad de Sevillapersonal.us.es/fmuro/files/slides/htag.pdfFernando Muro Triangulated categories. The homotopy category Definition A morphism f : X !Y in C(A)](https://reader035.fdocuments.in/reader035/viewer/2022071218/60534e7bad558358dd567583/html5/thumbnails/110.jpg)
Stable categories
DefinitionGiven a morphism f : X → Y in A we say that the subdiagram in red
Xf //
� _
��
push
Y
i�� 0
��
I //
-- --
Cfq
!!BBBBBBBB
SX
is an exact triangle when projected to A.
TheoremThe stable category A of a Frobenius abelian category A istriangulated with the structure above.
Fernando Muro Triangulated categories
![Page 111: Fernando Muro - Universidad de Sevillapersonal.us.es/fmuro/files/slides/htag.pdfFernando Muro Triangulated categories. The homotopy category Definition A morphism f : X !Y in C(A)](https://reader035.fdocuments.in/reader035/viewer/2022071218/60534e7bad558358dd567583/html5/thumbnails/111.jpg)
Stable categories
ExampleTaking 0-cocycles defines a triangulated equivalence
Z 0 : Ac(Proj(A))'−→ A.
If R is a quasi-Frobenius ring then the composite
mod-R −→ Db(mod-R) −→ Db(mod-R)/Db(proj-R)
induces a triangulated equivalence
mod-R '−→ Db(mod-R)/Db(proj-R).
This last category is called in general the derived category ofsingularities Dsg(R), which is trivial if R has finite homologicaldimension, in particular if R is a commutative noetherian regularring.
Fernando Muro Triangulated categories
![Page 112: Fernando Muro - Universidad de Sevillapersonal.us.es/fmuro/files/slides/htag.pdfFernando Muro Triangulated categories. The homotopy category Definition A morphism f : X !Y in C(A)](https://reader035.fdocuments.in/reader035/viewer/2022071218/60534e7bad558358dd567583/html5/thumbnails/112.jpg)
Stable categories
ExampleTaking 0-cocycles defines a triangulated equivalence
Z 0 : Ac(Proj(A))'−→ A.
If R is a quasi-Frobenius ring then the composite
mod-R −→ Db(mod-R) −→ Db(mod-R)/Db(proj-R)
induces a triangulated equivalence
mod-R '−→ Db(mod-R)/Db(proj-R).
This last category is called in general the derived category ofsingularities Dsg(R), which is trivial if R has finite homologicaldimension, in particular if R is a commutative noetherian regularring.
Fernando Muro Triangulated categories
![Page 113: Fernando Muro - Universidad de Sevillapersonal.us.es/fmuro/files/slides/htag.pdfFernando Muro Triangulated categories. The homotopy category Definition A morphism f : X !Y in C(A)](https://reader035.fdocuments.in/reader035/viewer/2022071218/60534e7bad558358dd567583/html5/thumbnails/113.jpg)
Stable categories
ExampleTaking 0-cocycles defines a triangulated equivalence
Z 0 : Ac(Proj(A))'−→ A.
If R is a quasi-Frobenius ring then the composite
mod-R −→ Db(mod-R) −→ Db(mod-R)/Db(proj-R)
induces a triangulated equivalence
mod-R '−→ Db(mod-R)/Db(proj-R).
This last category is called in general the derived category ofsingularities Dsg(R), which is trivial if R has finite homologicaldimension, in particular if R is a commutative noetherian regularring.
Fernando Muro Triangulated categories
![Page 114: Fernando Muro - Universidad de Sevillapersonal.us.es/fmuro/files/slides/htag.pdfFernando Muro Triangulated categories. The homotopy category Definition A morphism f : X !Y in C(A)](https://reader035.fdocuments.in/reader035/viewer/2022071218/60534e7bad558358dd567583/html5/thumbnails/114.jpg)
The ‘moduli space’ of triangulated structures
Let (T,Σ) be a small suspended category such that mod-T isFrobenius abelian.
The suspension functor extends as follows,
T � � Yoneda //
Σ
��
mod-T
Σexact��
projection// // mod-T
(Σ,σ)triangulated��
T � � Yoneda // mod-Tprojection
// // mod-T
Theorem (Heller’68)If T is idempontent complete, the Puppe triangulated structures on(T,Σ) are in bijection with the natural isomorphisms θ : Σ3 ∼= S suchthat
θΣ + σ(Σθ) = 0. skip example
Fernando Muro Triangulated categories
![Page 115: Fernando Muro - Universidad de Sevillapersonal.us.es/fmuro/files/slides/htag.pdfFernando Muro Triangulated categories. The homotopy category Definition A morphism f : X !Y in C(A)](https://reader035.fdocuments.in/reader035/viewer/2022071218/60534e7bad558358dd567583/html5/thumbnails/115.jpg)
The ‘moduli space’ of triangulated structures
Let (T,Σ) be a small suspended category such that mod-T isFrobenius abelian.
The suspension functor extends as follows,
T � � Yoneda //
Σ
��
mod-T
Σexact��
projection// // mod-T
(Σ,σ)triangulated��
T � � Yoneda // mod-Tprojection
// // mod-T
Theorem (Heller’68)If T is idempontent complete, the Puppe triangulated structures on(T,Σ) are in bijection with the natural isomorphisms θ : Σ3 ∼= S suchthat
θΣ + σ(Σθ) = 0. skip example
Fernando Muro Triangulated categories
![Page 116: Fernando Muro - Universidad de Sevillapersonal.us.es/fmuro/files/slides/htag.pdfFernando Muro Triangulated categories. The homotopy category Definition A morphism f : X !Y in C(A)](https://reader035.fdocuments.in/reader035/viewer/2022071218/60534e7bad558358dd567583/html5/thumbnails/116.jpg)
The ‘moduli space’ of triangulated structures
ExampleConsider the suspended category (T,Σ) = (mod-k , identity), k a field.In this case mod-T = mod-k and mod-k = 0 is trivial, hence (T,Σ) hasa unique Puppe triangulated structure.
As one can easily check, a triangle in mod-k
X // Y
��~~~~~
C
__@@@@@
is exact iff it is contractible, and T satisfies the octahedral axiom.
It is algebraic, actually there is a triangulated equivalence
mod-k '−→ mod-k [X ]/(X 2)
since any k [X ]/(X 2)-module is of the form (k [X ]/(X 2))p ⊕ kq.
Fernando Muro Triangulated categories
![Page 117: Fernando Muro - Universidad de Sevillapersonal.us.es/fmuro/files/slides/htag.pdfFernando Muro Triangulated categories. The homotopy category Definition A morphism f : X !Y in C(A)](https://reader035.fdocuments.in/reader035/viewer/2022071218/60534e7bad558358dd567583/html5/thumbnails/117.jpg)
The ‘moduli space’ of triangulated structures
ExampleConsider the suspended category (T,Σ) = (mod-k , identity), k a field.In this case mod-T = mod-k and mod-k = 0 is trivial, hence (T,Σ) hasa unique Puppe triangulated structure.
As one can easily check, a triangle in mod-k
X // Y
��~~~~~
C
__@@@@@
is exact iff it is contractible, and T satisfies the octahedral axiom.
It is algebraic, actually there is a triangulated equivalence
mod-k '−→ mod-k [X ]/(X 2)
since any k [X ]/(X 2)-module is of the form (k [X ]/(X 2))p ⊕ kq.
Fernando Muro Triangulated categories
![Page 118: Fernando Muro - Universidad de Sevillapersonal.us.es/fmuro/files/slides/htag.pdfFernando Muro Triangulated categories. The homotopy category Definition A morphism f : X !Y in C(A)](https://reader035.fdocuments.in/reader035/viewer/2022071218/60534e7bad558358dd567583/html5/thumbnails/118.jpg)
The ‘moduli space’ of triangulated structures
ExampleConsider the suspended category (T,Σ) = (mod-k , identity), k a field.In this case mod-T = mod-k and mod-k = 0 is trivial, hence (T,Σ) hasa unique Puppe triangulated structure.
As one can easily check, a triangle in mod-k
X // Y
��~~~~~
C
__@@@@@
is exact iff it is contractible, and T satisfies the octahedral axiom.
It is algebraic, actually there is a triangulated equivalence
mod-k '−→ mod-k [X ]/(X 2)
since any k [X ]/(X 2)-module is of the form (k [X ]/(X 2))p ⊕ kq.
Fernando Muro Triangulated categories
![Page 119: Fernando Muro - Universidad de Sevillapersonal.us.es/fmuro/files/slides/htag.pdfFernando Muro Triangulated categories. The homotopy category Definition A morphism f : X !Y in C(A)](https://reader035.fdocuments.in/reader035/viewer/2022071218/60534e7bad558358dd567583/html5/thumbnails/119.jpg)
The ‘moduli space’ of triangulated structures
ExampleConsider the suspended category (T,Σ) = (mod-k , identity), k a field.In this case mod-T = mod-k and mod-k = 0 is trivial, hence (T,Σ) hasa unique Puppe triangulated structure.
As one can easily check, a triangle in mod-k
X // Y
��~~~~~
C
__@@@@@
is exact iff it is contractible, and T satisfies the octahedral axiom.
It is algebraic, actually there is a triangulated equivalence
mod-k '−→ mod-k [X ]/(X 2)
since any k [X ]/(X 2)-module is of the form (k [X ]/(X 2))p ⊕ kq.
Fernando Muro Triangulated categories
![Page 120: Fernando Muro - Universidad de Sevillapersonal.us.es/fmuro/files/slides/htag.pdfFernando Muro Triangulated categories. The homotopy category Definition A morphism f : X !Y in C(A)](https://reader035.fdocuments.in/reader035/viewer/2022071218/60534e7bad558358dd567583/html5/thumbnails/120.jpg)
An exotic triangulated category
ExampleConsider the suspended category (T,Σ) = (proj-Z/4, identity).
In this case mod-T = mod-Z/4. Moreover, any Z/4-module is of theform (Z/4)p ⊕ (Z/2)q therefore
mod-Z/2 '−→ mod-Z/4.
If θ : Σ3 ∼= S is the identity natural isomorphism, then the equation inHeller’s theorem reduces in this case to
1 + 1 = 0 ∈ Z/2,
so there is a unique Puppe triangulated structure on (T,Σ).
Fernando Muro Triangulated categories
![Page 121: Fernando Muro - Universidad de Sevillapersonal.us.es/fmuro/files/slides/htag.pdfFernando Muro Triangulated categories. The homotopy category Definition A morphism f : X !Y in C(A)](https://reader035.fdocuments.in/reader035/viewer/2022071218/60534e7bad558358dd567583/html5/thumbnails/121.jpg)
An exotic triangulated category
ExampleConsider the suspended category (T,Σ) = (proj-Z/4, identity).
In this case mod-T = mod-Z/4. Moreover, any Z/4-module is of theform (Z/4)p ⊕ (Z/2)q therefore
mod-Z/2 '−→ mod-Z/4.
If θ : Σ3 ∼= S is the identity natural isomorphism, then the equation inHeller’s theorem reduces in this case to
1 + 1 = 0 ∈ Z/2,
so there is a unique Puppe triangulated structure on (T,Σ).
Fernando Muro Triangulated categories
![Page 122: Fernando Muro - Universidad de Sevillapersonal.us.es/fmuro/files/slides/htag.pdfFernando Muro Triangulated categories. The homotopy category Definition A morphism f : X !Y in C(A)](https://reader035.fdocuments.in/reader035/viewer/2022071218/60534e7bad558358dd567583/html5/thumbnails/122.jpg)
An exotic triangulated category
ExampleConsider the suspended category (T,Σ) = (proj-Z/4, identity).
In this case mod-T = mod-Z/4. Moreover, any Z/4-module is of theform (Z/4)p ⊕ (Z/2)q therefore
mod-Z/2 '−→ mod-Z/4.
If θ : Σ3 ∼= S is the identity natural isomorphism, then the equation inHeller’s theorem reduces in this case to
1 + 1 = 0 ∈ Z/2,
so there is a unique Puppe triangulated structure on (T,Σ).
Fernando Muro Triangulated categories
![Page 123: Fernando Muro - Universidad de Sevillapersonal.us.es/fmuro/files/slides/htag.pdfFernando Muro Triangulated categories. The homotopy category Definition A morphism f : X !Y in C(A)](https://reader035.fdocuments.in/reader035/viewer/2022071218/60534e7bad558358dd567583/html5/thumbnails/123.jpg)
An exotic triangulated category
Theorem (M-Schwede-Strickland’07)The unique Puppe triangulated structure on proj-Z/4 with Σ = theindentity satisfies the octahedral axiom.
The non-contractible triangle
Z/4 2 // Z/4
2||zzzzzzzz
Z/42
bbDDDDDDDD
is exact.
This triangulated category is neither algebraic nor topological.
Fernando Muro Triangulated categories
![Page 124: Fernando Muro - Universidad de Sevillapersonal.us.es/fmuro/files/slides/htag.pdfFernando Muro Triangulated categories. The homotopy category Definition A morphism f : X !Y in C(A)](https://reader035.fdocuments.in/reader035/viewer/2022071218/60534e7bad558358dd567583/html5/thumbnails/124.jpg)
An exotic triangulated category
Theorem (M-Schwede-Strickland’07)The unique Puppe triangulated structure on proj-Z/4 with Σ = theindentity satisfies the octahedral axiom.
The non-contractible triangle
Z/4 2 // Z/4
2||zzzzzzzz
Z/42
bbDDDDDDDD
is exact.
This triangulated category is neither algebraic nor topological.
Fernando Muro Triangulated categories
![Page 125: Fernando Muro - Universidad de Sevillapersonal.us.es/fmuro/files/slides/htag.pdfFernando Muro Triangulated categories. The homotopy category Definition A morphism f : X !Y in C(A)](https://reader035.fdocuments.in/reader035/viewer/2022071218/60534e7bad558358dd567583/html5/thumbnails/125.jpg)
An exotic triangulated category
Theorem (M-Schwede-Strickland’07)The unique Puppe triangulated structure on proj-Z/4 with Σ = theindentity satisfies the octahedral axiom.
The non-contractible triangle
Z/4 2 // Z/4
2||zzzzzzzz
Z/42
bbDDDDDDDD
is exact.
This triangulated category is neither algebraic nor topological.
Fernando Muro Triangulated categories
![Page 126: Fernando Muro - Universidad de Sevillapersonal.us.es/fmuro/files/slides/htag.pdfFernando Muro Triangulated categories. The homotopy category Definition A morphism f : X !Y in C(A)](https://reader035.fdocuments.in/reader035/viewer/2022071218/60534e7bad558358dd567583/html5/thumbnails/126.jpg)
Topological triangulated categories
The Spanier-Whitehead category is the triangulated category SWdefined as:Obj (X ,n), where X is a finite pointed CW -complex and n ∈ Z.
Map SW((X ,n), (Y ,m)) = limk→+∞
[Σk+nX ,Σk+mY ].
ΣX =
Shift Σ(X ,n) = (X ,n + 1) ∼= (ΣX ,n).
Fernando Muro Triangulated categories
![Page 127: Fernando Muro - Universidad de Sevillapersonal.us.es/fmuro/files/slides/htag.pdfFernando Muro Triangulated categories. The homotopy category Definition A morphism f : X !Y in C(A)](https://reader035.fdocuments.in/reader035/viewer/2022071218/60534e7bad558358dd567583/html5/thumbnails/127.jpg)
Topological triangulated categories
The Spanier-Whitehead category is the triangulated category SWdefined as:Obj (X ,n), where X is a finite pointed CW -complex and n ∈ Z.
Map SW((X ,n), (Y ,m)) = limk→+∞
[Σk+nX ,Σk+mY ].
ΣX =
Shift Σ(X ,n) = (X ,n + 1) ∼= (ΣX ,n).
Fernando Muro Triangulated categories
![Page 128: Fernando Muro - Universidad de Sevillapersonal.us.es/fmuro/files/slides/htag.pdfFernando Muro Triangulated categories. The homotopy category Definition A morphism f : X !Y in C(A)](https://reader035.fdocuments.in/reader035/viewer/2022071218/60534e7bad558358dd567583/html5/thumbnails/128.jpg)
Topological triangulated categories
The Spanier-Whitehead category is the triangulated category SWdefined as:Obj (X ,n), where X is a finite pointed CW -complex and n ∈ Z.
Map SW((X ,n), (Y ,m)) = limk→+∞
[Σk+nX ,Σk+mY ].
ΣX =
Shift Σ(X ,n) = (X ,n + 1) ∼= (ΣX ,n).
Fernando Muro Triangulated categories
![Page 129: Fernando Muro - Universidad de Sevillapersonal.us.es/fmuro/files/slides/htag.pdfFernando Muro Triangulated categories. The homotopy category Definition A morphism f : X !Y in C(A)](https://reader035.fdocuments.in/reader035/viewer/2022071218/60534e7bad558358dd567583/html5/thumbnails/129.jpg)
Topological triangulated categories
The Spanier-Whitehead category is the triangulated category SWdefined as:Obj (X ,n), where X is a finite pointed CW -complex and n ∈ Z.
Map SW((X ,n), (Y ,m)) = limk→+∞
[Σk+nX ,Σk+mY ].
ΣX =
Shift Σ(X ,n) = (X ,n + 1) ∼= (ΣX ,n).
Fernando Muro Triangulated categories
![Page 130: Fernando Muro - Universidad de Sevillapersonal.us.es/fmuro/files/slides/htag.pdfFernando Muro Triangulated categories. The homotopy category Definition A morphism f : X !Y in C(A)](https://reader035.fdocuments.in/reader035/viewer/2022071218/60534e7bad558358dd567583/html5/thumbnails/130.jpg)
Topological triangulated categories
4 Given a pointed map f : X → Y the mapping cone Cf is
= Cf .
There is a sequence of pointed maps,
X f−→ Y i−→ Cfq−→ ΣX .
The prototype of exact triangle in SW is, n ∈ Z,
(X ,n)f−→ (Y ,n)
i−→ (Cf ,n)q−→ (ΣX ,n) ∼= Σ(X ,n).
Fernando Muro Triangulated categories
![Page 131: Fernando Muro - Universidad de Sevillapersonal.us.es/fmuro/files/slides/htag.pdfFernando Muro Triangulated categories. The homotopy category Definition A morphism f : X !Y in C(A)](https://reader035.fdocuments.in/reader035/viewer/2022071218/60534e7bad558358dd567583/html5/thumbnails/131.jpg)
Topological triangulated categories
4 Given a pointed map f : X → Y the mapping cone Cf is
= Cf .
There is a sequence of pointed maps,
X f−→ Y i−→ Cfq−→ ΣX .
The prototype of exact triangle in SW is, n ∈ Z,
(X ,n)f−→ (Y ,n)
i−→ (Cf ,n)q−→ (ΣX ,n) ∼= Σ(X ,n).
Fernando Muro Triangulated categories
![Page 132: Fernando Muro - Universidad de Sevillapersonal.us.es/fmuro/files/slides/htag.pdfFernando Muro Triangulated categories. The homotopy category Definition A morphism f : X !Y in C(A)](https://reader035.fdocuments.in/reader035/viewer/2022071218/60534e7bad558358dd567583/html5/thumbnails/132.jpg)
Topological triangulated categories
4 Given a pointed map f : X → Y the mapping cone Cf is
= Cf .
There is a sequence of pointed maps,
X f−→ Y i−→ Cfq−→ ΣX .
The prototype of exact triangle in SW is, n ∈ Z,
(X ,n)f−→ (Y ,n)
i−→ (Cf ,n)q−→ (ΣX ,n) ∼= Σ(X ,n).
Fernando Muro Triangulated categories
![Page 133: Fernando Muro - Universidad de Sevillapersonal.us.es/fmuro/files/slides/htag.pdfFernando Muro Triangulated categories. The homotopy category Definition A morphism f : X !Y in C(A)](https://reader035.fdocuments.in/reader035/viewer/2022071218/60534e7bad558358dd567583/html5/thumbnails/133.jpg)
Topological triangulated categories
Example
If S = (S0,0) then there is an exact triangle in SW,
S2·1S−→ S i−→ S/2
q−→ ΣS,
where S/2 = (RP2,−1). The map
0 6= 2 · 1S/2 : S/2 −→ S/2
is the compositeS/2
q−→ ΣSη−→ S i−→ S/2,
where η is the stable Hopf map, which satisfies 2 · η = 0.
CorollarySW is not algebraic.
Fernando Muro Triangulated categories
![Page 134: Fernando Muro - Universidad de Sevillapersonal.us.es/fmuro/files/slides/htag.pdfFernando Muro Triangulated categories. The homotopy category Definition A morphism f : X !Y in C(A)](https://reader035.fdocuments.in/reader035/viewer/2022071218/60534e7bad558358dd567583/html5/thumbnails/134.jpg)
Topological triangulated categories
Example
If S = (S0,0) then there is an exact triangle in SW,
S2·1S−→ S i−→ S/2
q−→ ΣS,
where S/2 = (RP2,−1). The map
0 6= 2 · 1S/2 : S/2 −→ S/2
is the compositeS/2
q−→ ΣSη−→ S i−→ S/2,
where η is the stable Hopf map, which satisfies 2 · η = 0.
CorollarySW is not algebraic.
Fernando Muro Triangulated categories
![Page 135: Fernando Muro - Universidad de Sevillapersonal.us.es/fmuro/files/slides/htag.pdfFernando Muro Triangulated categories. The homotopy category Definition A morphism f : X !Y in C(A)](https://reader035.fdocuments.in/reader035/viewer/2022071218/60534e7bad558358dd567583/html5/thumbnails/135.jpg)
Topological triangulated categories
Example
If S = (S0,0) then there is an exact triangle in SW,
S2·1S−→ S i−→ S/2
q−→ ΣS,
where S/2 = (RP2,−1). The map
0 6= 2 · 1S/2 : S/2 −→ S/2
is the compositeS/2
q−→ ΣSη−→ S i−→ S/2,
where η is the stable Hopf map, which satisfies 2 · η = 0.
CorollarySW is not algebraic.
Fernando Muro Triangulated categories
![Page 136: Fernando Muro - Universidad de Sevillapersonal.us.es/fmuro/files/slides/htag.pdfFernando Muro Triangulated categories. The homotopy category Definition A morphism f : X !Y in C(A)](https://reader035.fdocuments.in/reader035/viewer/2022071218/60534e7bad558358dd567583/html5/thumbnails/136.jpg)
Topological triangulated categories
Proposition (Schwede-Shipley’02)SW is the ‘free topological triangulated category’ on one generator S.In particular if X is an object in a topological triangulated category Tthen there is an exact functor
F : SW −→ T
with F (S) = X.
RemarkSimilarly, Db(Z) is the ‘free algebraic triangulated category’ on onegenerator Z.
Fernando Muro Triangulated categories
![Page 137: Fernando Muro - Universidad de Sevillapersonal.us.es/fmuro/files/slides/htag.pdfFernando Muro Triangulated categories. The homotopy category Definition A morphism f : X !Y in C(A)](https://reader035.fdocuments.in/reader035/viewer/2022071218/60534e7bad558358dd567583/html5/thumbnails/137.jpg)
Topological triangulated categories
Proposition (Schwede-Shipley’02)SW is the ‘free topological triangulated category’ on one generator S.In particular if X is an object in a topological triangulated category Tthen there is an exact functor
F : SW −→ T
with F (S) = X.
RemarkSimilarly, Db(Z) is the ‘free algebraic triangulated category’ on onegenerator Z.
Fernando Muro Triangulated categories
![Page 138: Fernando Muro - Universidad de Sevillapersonal.us.es/fmuro/files/slides/htag.pdfFernando Muro Triangulated categories. The homotopy category Definition A morphism f : X !Y in C(A)](https://reader035.fdocuments.in/reader035/viewer/2022071218/60534e7bad558358dd567583/html5/thumbnails/138.jpg)
Topological triangulated categories
Proposition (Schwede-Shipley’02)SW is the ‘free topological triangulated category’ on one generator S.In particular if X is an object in a topological triangulated category Tthen there is an exact functor
F : SW −→ T
with F (S) = X.
RemarkSimilarly, Db(Z) is the ‘free algebraic triangulated category’ on onegenerator Z.
Fernando Muro Triangulated categories
![Page 139: Fernando Muro - Universidad de Sevillapersonal.us.es/fmuro/files/slides/htag.pdfFernando Muro Triangulated categories. The homotopy category Definition A morphism f : X !Y in C(A)](https://reader035.fdocuments.in/reader035/viewer/2022071218/60534e7bad558358dd567583/html5/thumbnails/139.jpg)
Topological triangulated categories
We stated above:
TheoremThe unique triangulated structure on proj-Z/4 with Σ = the indentity isnot topological.
Proof.Assume it is topological. Let F : SW→ proj-Z/4 be an exact functor asabove for X = Z/4. By the previous example, since X/2 = X inproj-Z/4,
2 · 1Z/4 = 2 · F (iηq) = F (i)F (2 · η)F (q) = 0,
and this is obviously not true.
Fernando Muro Triangulated categories
![Page 140: Fernando Muro - Universidad de Sevillapersonal.us.es/fmuro/files/slides/htag.pdfFernando Muro Triangulated categories. The homotopy category Definition A morphism f : X !Y in C(A)](https://reader035.fdocuments.in/reader035/viewer/2022071218/60534e7bad558358dd567583/html5/thumbnails/140.jpg)
Topological triangulated categories
We stated above:
TheoremThe unique triangulated structure on proj-Z/4 with Σ = the indentity isnot topological.
Proof.Assume it is topological. Let F : SW→ proj-Z/4 be an exact functor asabove for X = Z/4. By the previous example, since X/2 = X inproj-Z/4,
2 · 1Z/4 = 2 · F (iηq) = F (i)F (2 · η)F (q) = 0,
and this is obviously not true.
Fernando Muro Triangulated categories
![Page 141: Fernando Muro - Universidad de Sevillapersonal.us.es/fmuro/files/slides/htag.pdfFernando Muro Triangulated categories. The homotopy category Definition A morphism f : X !Y in C(A)](https://reader035.fdocuments.in/reader035/viewer/2022071218/60534e7bad558358dd567583/html5/thumbnails/141.jpg)
An exotic triangulated category
RemarkThere are many different kinds of models for triangulated categories:
Stable model categories.Stable homotopy categories [Heller’88].Triangulated derivators [Grothendieck’90].Stable∞-categories [Lurie’06].
In all these cases the ‘free model in one generator’ is associated to thetriangulated category SW, therefore the exotic triangulated catgoryproj-Z/4 does not admit any of these kinds of models.
Moreover, it can neither be obtained out of a triangulated 2-category[Baues-M’08].
Fernando Muro Triangulated categories
![Page 142: Fernando Muro - Universidad de Sevillapersonal.us.es/fmuro/files/slides/htag.pdfFernando Muro Triangulated categories. The homotopy category Definition A morphism f : X !Y in C(A)](https://reader035.fdocuments.in/reader035/viewer/2022071218/60534e7bad558358dd567583/html5/thumbnails/142.jpg)
An exotic triangulated category
RemarkThere are many different kinds of models for triangulated categories:
Stable model categories.Stable homotopy categories [Heller’88].Triangulated derivators [Grothendieck’90].Stable∞-categories [Lurie’06].
In all these cases the ‘free model in one generator’ is associated to thetriangulated category SW, therefore the exotic triangulated catgoryproj-Z/4 does not admit any of these kinds of models.
Moreover, it can neither be obtained out of a triangulated 2-category[Baues-M’08].
Fernando Muro Triangulated categories
![Page 143: Fernando Muro - Universidad de Sevillapersonal.us.es/fmuro/files/slides/htag.pdfFernando Muro Triangulated categories. The homotopy category Definition A morphism f : X !Y in C(A)](https://reader035.fdocuments.in/reader035/viewer/2022071218/60534e7bad558358dd567583/html5/thumbnails/143.jpg)
An exotic triangulated category
RemarkThere are many different kinds of models for triangulated categories:
Stable model categories.Stable homotopy categories [Heller’88].Triangulated derivators [Grothendieck’90].Stable∞-categories [Lurie’06].
In all these cases the ‘free model in one generator’ is associated to thetriangulated category SW, therefore the exotic triangulated catgoryproj-Z/4 does not admit any of these kinds of models.
Moreover, it can neither be obtained out of a triangulated 2-category[Baues-M’08].
Fernando Muro Triangulated categories
![Page 144: Fernando Muro - Universidad de Sevillapersonal.us.es/fmuro/files/slides/htag.pdfFernando Muro Triangulated categories. The homotopy category Definition A morphism f : X !Y in C(A)](https://reader035.fdocuments.in/reader035/viewer/2022071218/60534e7bad558358dd567583/html5/thumbnails/144.jpg)
An exotic triangulated category
RemarkThere are many different kinds of models for triangulated categories:
Stable model categories.Stable homotopy categories [Heller’88].Triangulated derivators [Grothendieck’90].Stable∞-categories [Lurie’06].
In all these cases the ‘free model in one generator’ is associated to thetriangulated category SW, therefore the exotic triangulated catgoryproj-Z/4 does not admit any of these kinds of models.
Moreover, it can neither be obtained out of a triangulated 2-category[Baues-M’08].
Fernando Muro Triangulated categories
![Page 145: Fernando Muro - Universidad de Sevillapersonal.us.es/fmuro/files/slides/htag.pdfFernando Muro Triangulated categories. The homotopy category Definition A morphism f : X !Y in C(A)](https://reader035.fdocuments.in/reader035/viewer/2022071218/60534e7bad558358dd567583/html5/thumbnails/145.jpg)
An exotic triangulated category
RemarkThere are many different kinds of models for triangulated categories:
Stable model categories.Stable homotopy categories [Heller’88].Triangulated derivators [Grothendieck’90].Stable∞-categories [Lurie’06].
In all these cases the ‘free model in one generator’ is associated to thetriangulated category SW, therefore the exotic triangulated catgoryproj-Z/4 does not admit any of these kinds of models.
Moreover, it can neither be obtained out of a triangulated 2-category[Baues-M’08].
Fernando Muro Triangulated categories
![Page 146: Fernando Muro - Universidad de Sevillapersonal.us.es/fmuro/files/slides/htag.pdfFernando Muro Triangulated categories. The homotopy category Definition A morphism f : X !Y in C(A)](https://reader035.fdocuments.in/reader035/viewer/2022071218/60534e7bad558358dd567583/html5/thumbnails/146.jpg)
An exotic triangulated category
RemarkThere are many different kinds of models for triangulated categories:
Stable model categories.Stable homotopy categories [Heller’88].Triangulated derivators [Grothendieck’90].Stable∞-categories [Lurie’06].
In all these cases the ‘free model in one generator’ is associated to thetriangulated category SW, therefore the exotic triangulated catgoryproj-Z/4 does not admit any of these kinds of models.
Moreover, it can neither be obtained out of a triangulated 2-category[Baues-M’08].
Fernando Muro Triangulated categories