smashing localization for rings of weak global dimension...
TRANSCRIPT
![Page 1: Smashing localization for rings of weak global dimension 1stovicek/math/presentation_loc-wgldi… · Smashing localization for rings of weak global dimension 1 Jan Št’ovícekˇ](https://reader033.vdocuments.us/reader033/viewer/2022050607/5faec8055309de0b5c4028dd/html5/thumbnails/1.jpg)
Smashing localization for rings of weak globaldimension 1
Jan Št’ovícek
Charles University in Prague
ASTA 2014, SpinetoJune 17th, 2014
Jan Št’ovícek (Charles University) Smashing localization for w.gl.dim. 1 June 17, 2014 1 / 16
![Page 2: Smashing localization for rings of weak global dimension 1stovicek/math/presentation_loc-wgldi… · Smashing localization for rings of weak global dimension 1 Jan Št’ovícekˇ](https://reader033.vdocuments.us/reader033/viewer/2022050607/5faec8055309de0b5c4028dd/html5/thumbnails/2.jpg)
Outline
1 Localization of derived categories
2 Relation to homological epimorphisms
3 A classification for valuation domains
Jan Št’ovícek (Charles University) Smashing localization for w.gl.dim. 1 June 17, 2014 2 / 16
![Page 3: Smashing localization for rings of weak global dimension 1stovicek/math/presentation_loc-wgldi… · Smashing localization for rings of weak global dimension 1 Jan Št’ovícekˇ](https://reader033.vdocuments.us/reader033/viewer/2022050607/5faec8055309de0b5c4028dd/html5/thumbnails/3.jpg)
Outline
1 Localization of derived categories
2 Relation to homological epimorphisms
3 A classification for valuation domains
Jan Št’ovícek (Charles University) Smashing localization for w.gl.dim. 1 June 17, 2014 3 / 16
![Page 4: Smashing localization for rings of weak global dimension 1stovicek/math/presentation_loc-wgldi… · Smashing localization for rings of weak global dimension 1 Jan Št’ovícekˇ](https://reader033.vdocuments.us/reader033/viewer/2022050607/5faec8055309de0b5c4028dd/html5/thumbnails/4.jpg)
The derived category of a ringObject of interest: the derived categoryD(ModR) = C(ModR)[quasi-iso−1] of a ring R.D(ModR) is triangulated, the suspension functorΣ: D(ModR)→ D(ModR) shifts complexes
X : · · · → X−1 → X 0 → X 1 → . . .
to the left and changes sings of the differentials.D(ModR) is compactly generated. There is a set C of objects ofD(ModR) such that each C ∈ C is compact (that is,Hom(C,−) : D(ModR)→ Ab preserves coproducts) and for each0 6= X ∈ D(ModR) there exists 0 6= f : C → X with C ∈ C. Forinstance S = {R[n] | n ∈ Z}.If R is commutative, (D(ModR),⊗L
R,R) is a symmetric monoidalcategory, where ⊗L
R denotes the left derived functor of the tensorproduct. The functor −⊗L
R − is exact in each variable.
Jan Št’ovícek (Charles University) Smashing localization for w.gl.dim. 1 June 17, 2014 4 / 16
![Page 5: Smashing localization for rings of weak global dimension 1stovicek/math/presentation_loc-wgldi… · Smashing localization for rings of weak global dimension 1 Jan Št’ovícekˇ](https://reader033.vdocuments.us/reader033/viewer/2022050607/5faec8055309de0b5c4028dd/html5/thumbnails/5.jpg)
The derived category of a ringObject of interest: the derived categoryD(ModR) = C(ModR)[quasi-iso−1] of a ring R.D(ModR) is triangulated, the suspension functorΣ: D(ModR)→ D(ModR) shifts complexes
X : · · · → X−1 → X 0 → X 1 → . . .
to the left and changes sings of the differentials.D(ModR) is compactly generated. There is a set C of objects ofD(ModR) such that each C ∈ C is compact (that is,Hom(C,−) : D(ModR)→ Ab preserves coproducts) and for each0 6= X ∈ D(ModR) there exists 0 6= f : C → X with C ∈ C. Forinstance S = {R[n] | n ∈ Z}.If R is commutative, (D(ModR),⊗L
R,R) is a symmetric monoidalcategory, where ⊗L
R denotes the left derived functor of the tensorproduct. The functor −⊗L
R − is exact in each variable.
Jan Št’ovícek (Charles University) Smashing localization for w.gl.dim. 1 June 17, 2014 4 / 16
![Page 6: Smashing localization for rings of weak global dimension 1stovicek/math/presentation_loc-wgldi… · Smashing localization for rings of weak global dimension 1 Jan Št’ovícekˇ](https://reader033.vdocuments.us/reader033/viewer/2022050607/5faec8055309de0b5c4028dd/html5/thumbnails/6.jpg)
The derived category of a ringObject of interest: the derived categoryD(ModR) = C(ModR)[quasi-iso−1] of a ring R.D(ModR) is triangulated, the suspension functorΣ: D(ModR)→ D(ModR) shifts complexes
X : · · · → X−1 → X 0 → X 1 → . . .
to the left and changes sings of the differentials.D(ModR) is compactly generated. There is a set C of objects ofD(ModR) such that each C ∈ C is compact (that is,Hom(C,−) : D(ModR)→ Ab preserves coproducts) and for each0 6= X ∈ D(ModR) there exists 0 6= f : C → X with C ∈ C. Forinstance S = {R[n] | n ∈ Z}.If R is commutative, (D(ModR),⊗L
R,R) is a symmetric monoidalcategory, where ⊗L
R denotes the left derived functor of the tensorproduct. The functor −⊗L
R − is exact in each variable.
Jan Št’ovícek (Charles University) Smashing localization for w.gl.dim. 1 June 17, 2014 4 / 16
![Page 7: Smashing localization for rings of weak global dimension 1stovicek/math/presentation_loc-wgldi… · Smashing localization for rings of weak global dimension 1 Jan Št’ovícekˇ](https://reader033.vdocuments.us/reader033/viewer/2022050607/5faec8055309de0b5c4028dd/html5/thumbnails/7.jpg)
The derived category of a ringObject of interest: the derived categoryD(ModR) = C(ModR)[quasi-iso−1] of a ring R.D(ModR) is triangulated, the suspension functorΣ: D(ModR)→ D(ModR) shifts complexes
X : · · · → X−1 → X 0 → X 1 → . . .
to the left and changes sings of the differentials.D(ModR) is compactly generated. There is a set C of objects ofD(ModR) such that each C ∈ C is compact (that is,Hom(C,−) : D(ModR)→ Ab preserves coproducts) and for each0 6= X ∈ D(ModR) there exists 0 6= f : C → X with C ∈ C. Forinstance S = {R[n] | n ∈ Z}.If R is commutative, (D(ModR),⊗L
R,R) is a symmetric monoidalcategory, where ⊗L
R denotes the left derived functor of the tensorproduct. The functor −⊗L
R − is exact in each variable.
Jan Št’ovícek (Charles University) Smashing localization for w.gl.dim. 1 June 17, 2014 4 / 16
![Page 8: Smashing localization for rings of weak global dimension 1stovicek/math/presentation_loc-wgldi… · Smashing localization for rings of weak global dimension 1 Jan Št’ovícekˇ](https://reader033.vdocuments.us/reader033/viewer/2022050607/5faec8055309de0b5c4028dd/html5/thumbnails/8.jpg)
The derived category of a ringObject of interest: the derived categoryD(ModR) = C(ModR)[quasi-iso−1] of a ring R.D(ModR) is triangulated, the suspension functorΣ: D(ModR)→ D(ModR) shifts complexes
X : · · · → X−1 → X 0 → X 1 → . . .
to the left and changes sings of the differentials.D(ModR) is compactly generated. There is a set C of objects ofD(ModR) such that each C ∈ C is compact (that is,Hom(C,−) : D(ModR)→ Ab preserves coproducts) and for each0 6= X ∈ D(ModR) there exists 0 6= f : C → X with C ∈ C. Forinstance S = {R[n] | n ∈ Z}.If R is commutative, (D(ModR),⊗L
R,R) is a symmetric monoidalcategory, where ⊗L
R denotes the left derived functor of the tensorproduct. The functor −⊗L
R − is exact in each variable.
Jan Št’ovícek (Charles University) Smashing localization for w.gl.dim. 1 June 17, 2014 4 / 16
![Page 9: Smashing localization for rings of weak global dimension 1stovicek/math/presentation_loc-wgldi… · Smashing localization for rings of weak global dimension 1 Jan Št’ovícekˇ](https://reader033.vdocuments.us/reader033/viewer/2022050607/5faec8055309de0b5c4028dd/html5/thumbnails/9.jpg)
The derived category of a ringObject of interest: the derived categoryD(ModR) = C(ModR)[quasi-iso−1] of a ring R.D(ModR) is triangulated, the suspension functorΣ: D(ModR)→ D(ModR) shifts complexes
X : · · · → X−1 → X 0 → X 1 → . . .
to the left and changes sings of the differentials.D(ModR) is compactly generated. There is a set C of objects ofD(ModR) such that each C ∈ C is compact (that is,Hom(C,−) : D(ModR)→ Ab preserves coproducts) and for each0 6= X ∈ D(ModR) there exists 0 6= f : C → X with C ∈ C. Forinstance S = {R[n] | n ∈ Z}.If R is commutative, (D(ModR),⊗L
R,R) is a symmetric monoidalcategory, where ⊗L
R denotes the left derived functor of the tensorproduct. The functor −⊗L
R − is exact in each variable.
Jan Št’ovícek (Charles University) Smashing localization for w.gl.dim. 1 June 17, 2014 4 / 16
![Page 10: Smashing localization for rings of weak global dimension 1stovicek/math/presentation_loc-wgldi… · Smashing localization for rings of weak global dimension 1 Jan Št’ovícekˇ](https://reader033.vdocuments.us/reader033/viewer/2022050607/5faec8055309de0b5c4028dd/html5/thumbnails/10.jpg)
The derived category of a ringObject of interest: the derived categoryD(ModR) = C(ModR)[quasi-iso−1] of a ring R.D(ModR) is triangulated, the suspension functorΣ: D(ModR)→ D(ModR) shifts complexes
X : · · · → X−1 → X 0 → X 1 → . . .
to the left and changes sings of the differentials.D(ModR) is compactly generated. There is a set C of objects ofD(ModR) such that each C ∈ C is compact (that is,Hom(C,−) : D(ModR)→ Ab preserves coproducts) and for each0 6= X ∈ D(ModR) there exists 0 6= f : C → X with C ∈ C. Forinstance S = {R[n] | n ∈ Z}.If R is commutative, (D(ModR),⊗L
R,R) is a symmetric monoidalcategory, where ⊗L
R denotes the left derived functor of the tensorproduct. The functor −⊗L
R − is exact in each variable.
Jan Št’ovícek (Charles University) Smashing localization for w.gl.dim. 1 June 17, 2014 4 / 16
![Page 11: Smashing localization for rings of weak global dimension 1stovicek/math/presentation_loc-wgldi… · Smashing localization for rings of weak global dimension 1 Jan Št’ovícekˇ](https://reader033.vdocuments.us/reader033/viewer/2022050607/5faec8055309de0b5c4028dd/html5/thumbnails/11.jpg)
The derived category of a ringObject of interest: the derived categoryD(ModR) = C(ModR)[quasi-iso−1] of a ring R.D(ModR) is triangulated, the suspension functorΣ: D(ModR)→ D(ModR) shifts complexes
X : · · · → X−1 → X 0 → X 1 → . . .
to the left and changes sings of the differentials.D(ModR) is compactly generated. There is a set C of objects ofD(ModR) such that each C ∈ C is compact (that is,Hom(C,−) : D(ModR)→ Ab preserves coproducts) and for each0 6= X ∈ D(ModR) there exists 0 6= f : C → X with C ∈ C. Forinstance S = {R[n] | n ∈ Z}.If R is commutative, (D(ModR),⊗L
R,R) is a symmetric monoidalcategory, where ⊗L
R denotes the left derived functor of the tensorproduct. The functor −⊗L
R − is exact in each variable.
Jan Št’ovícek (Charles University) Smashing localization for w.gl.dim. 1 June 17, 2014 4 / 16
![Page 12: Smashing localization for rings of weak global dimension 1stovicek/math/presentation_loc-wgldi… · Smashing localization for rings of weak global dimension 1 Jan Št’ovícekˇ](https://reader033.vdocuments.us/reader033/viewer/2022050607/5faec8055309de0b5c4028dd/html5/thumbnails/12.jpg)
Types of localization
We would like to understand the structure of D(ModR). It ishopeless to classify objects, but we may classify kernels of varioustriangulated functors.We have{
Coproduct preserving Verdier localizationsD(ModR)→ D(ModR)/L
}⋃
{ Bousfield localizations L : D(ModR)→ D(ModR) }⋃{ Smashing localizations L : D(ModR)→ D(ModR) }⋃{
Compactly generated localizationsL : D(ModR)→ D(ModR)
}Classifiable!
Jan Št’ovícek (Charles University) Smashing localization for w.gl.dim. 1 June 17, 2014 5 / 16
![Page 13: Smashing localization for rings of weak global dimension 1stovicek/math/presentation_loc-wgldi… · Smashing localization for rings of weak global dimension 1 Jan Št’ovícekˇ](https://reader033.vdocuments.us/reader033/viewer/2022050607/5faec8055309de0b5c4028dd/html5/thumbnails/13.jpg)
Types of localization
We would like to understand the structure of D(ModR). It ishopeless to classify objects, but we may classify kernels of varioustriangulated functors.We have{
Coproduct preserving Verdier localizationsD(ModR)→ D(ModR)/L
}⋃
{ Bousfield localizations L : D(ModR)→ D(ModR) }⋃{ Smashing localizations L : D(ModR)→ D(ModR) }⋃{
Compactly generated localizationsL : D(ModR)→ D(ModR)
}Classifiable!
Jan Št’ovícek (Charles University) Smashing localization for w.gl.dim. 1 June 17, 2014 5 / 16
![Page 14: Smashing localization for rings of weak global dimension 1stovicek/math/presentation_loc-wgldi… · Smashing localization for rings of weak global dimension 1 Jan Št’ovícekˇ](https://reader033.vdocuments.us/reader033/viewer/2022050607/5faec8055309de0b5c4028dd/html5/thumbnails/14.jpg)
Types of localization
We would like to understand the structure of D(ModR). It ishopeless to classify objects, but we may classify kernels of varioustriangulated functors.We have{
Coproduct preserving Verdier localizationsD(ModR)→ D(ModR)/L
}⋃
{ Bousfield localizations L : D(ModR)→ D(ModR) }⋃{ Smashing localizations L : D(ModR)→ D(ModR) }⋃{
Compactly generated localizationsL : D(ModR)→ D(ModR)
}Classifiable!
Jan Št’ovícek (Charles University) Smashing localization for w.gl.dim. 1 June 17, 2014 5 / 16
![Page 15: Smashing localization for rings of weak global dimension 1stovicek/math/presentation_loc-wgldi… · Smashing localization for rings of weak global dimension 1 Jan Št’ovícekˇ](https://reader033.vdocuments.us/reader033/viewer/2022050607/5faec8055309de0b5c4028dd/html5/thumbnails/15.jpg)
Types of localization
We would like to understand the structure of D(ModR). It ishopeless to classify objects, but we may classify kernels of varioustriangulated functors.We have{
Coproduct preserving Verdier localizationsD(ModR)→ D(ModR)/L
}⋃
{ Bousfield localizations L : D(ModR)→ D(ModR) }⋃{ Smashing localizations L : D(ModR)→ D(ModR) }⋃{
Compactly generated localizationsL : D(ModR)→ D(ModR)
}Classifiable!
Jan Št’ovícek (Charles University) Smashing localization for w.gl.dim. 1 June 17, 2014 5 / 16
![Page 16: Smashing localization for rings of weak global dimension 1stovicek/math/presentation_loc-wgldi… · Smashing localization for rings of weak global dimension 1 Jan Št’ovícekˇ](https://reader033.vdocuments.us/reader033/viewer/2022050607/5faec8055309de0b5c4028dd/html5/thumbnails/16.jpg)
Types of localization
We would like to understand the structure of D(ModR). It ishopeless to classify objects, but we may classify kernels of varioustriangulated functors.We have{
Coproduct preserving Verdier localizationsD(ModR)→ D(ModR)/L
}⋃
{ Bousfield localizations L : D(ModR)→ D(ModR) }⋃{ Smashing localizations L : D(ModR)→ D(ModR) }⋃{
Compactly generated localizationsL : D(ModR)→ D(ModR)
}Classifiable!
Jan Št’ovícek (Charles University) Smashing localization for w.gl.dim. 1 June 17, 2014 5 / 16
![Page 17: Smashing localization for rings of weak global dimension 1stovicek/math/presentation_loc-wgldi… · Smashing localization for rings of weak global dimension 1 Jan Št’ovícekˇ](https://reader033.vdocuments.us/reader033/viewer/2022050607/5faec8055309de0b5c4028dd/html5/thumbnails/17.jpg)
Types of localization
We would like to understand the structure of D(ModR). It ishopeless to classify objects, but we may classify kernels of varioustriangulated functors.We have{
Coproduct preserving Verdier localizationsD(ModR)→ D(ModR)/L
}⋃
{ Bousfield localizations L : D(ModR)→ D(ModR) }⋃{ Smashing localizations L : D(ModR)→ D(ModR) }⋃{
Compactly generated localizationsL : D(ModR)→ D(ModR)
}Classifiable!
Jan Št’ovícek (Charles University) Smashing localization for w.gl.dim. 1 June 17, 2014 5 / 16
![Page 18: Smashing localization for rings of weak global dimension 1stovicek/math/presentation_loc-wgldi… · Smashing localization for rings of weak global dimension 1 Jan Št’ovícekˇ](https://reader033.vdocuments.us/reader033/viewer/2022050607/5faec8055309de0b5c4028dd/html5/thumbnails/18.jpg)
Types of localization
We would like to understand the structure of D(ModR). It ishopeless to classify objects, but we may classify kernels of varioustriangulated functors.We have{
Coproduct preserving Verdier localizationsD(ModR)→ D(ModR)/L
}⋃
{ Bousfield localizations L : D(ModR)→ D(ModR) }⋃{ Smashing localizations L : D(ModR)→ D(ModR) }⋃{
Compactly generated localizationsL : D(ModR)→ D(ModR)
}Classifiable!
Jan Št’ovícek (Charles University) Smashing localization for w.gl.dim. 1 June 17, 2014 5 / 16
![Page 19: Smashing localization for rings of weak global dimension 1stovicek/math/presentation_loc-wgldi… · Smashing localization for rings of weak global dimension 1 Jan Št’ovícekˇ](https://reader033.vdocuments.us/reader033/viewer/2022050607/5faec8055309de0b5c4028dd/html5/thumbnails/19.jpg)
Thomason’s classification of finite localizationsTheorem (Thomason, 1997)Let R be a commutative ring. Then there is a bijection between
1 compactly generated localizations L : D(ModR)→ D(ModR);2 Thomason subsets of Spec R.
DefinitionA subset U ⊆ Spec R is a Thomason set if U is a union of Zariskiclosed sets of Spec R with quasi-compact complements.
ExampleLet R be a valuation domain with Spec R : 0 = p0 ( p1 ( · · · ( pn = m.Then the Thomason sets are simply upper sets with respect to ⊆. Thecorresponding localization for {pj , pj+1, . . . , pn} ⊆ Spec R with j ≥ 1 is
Rpj−1 ⊗R − : D(ModR)→ D(ModR).
Jan Št’ovícek (Charles University) Smashing localization for w.gl.dim. 1 June 17, 2014 6 / 16
![Page 20: Smashing localization for rings of weak global dimension 1stovicek/math/presentation_loc-wgldi… · Smashing localization for rings of weak global dimension 1 Jan Št’ovícekˇ](https://reader033.vdocuments.us/reader033/viewer/2022050607/5faec8055309de0b5c4028dd/html5/thumbnails/20.jpg)
Thomason’s classification of finite localizationsTheorem (Thomason, 1997)Let R be a commutative ring. Then there is a bijection between
1 compactly generated localizations L : D(ModR)→ D(ModR);2 Thomason subsets of Spec R.
DefinitionA subset U ⊆ Spec R is a Thomason set if U is a union of Zariskiclosed sets of Spec R with quasi-compact complements.
ExampleLet R be a valuation domain with Spec R : 0 = p0 ( p1 ( · · · ( pn = m.Then the Thomason sets are simply upper sets with respect to ⊆. Thecorresponding localization for {pj , pj+1, . . . , pn} ⊆ Spec R with j ≥ 1 is
Rpj−1 ⊗R − : D(ModR)→ D(ModR).
Jan Št’ovícek (Charles University) Smashing localization for w.gl.dim. 1 June 17, 2014 6 / 16
![Page 21: Smashing localization for rings of weak global dimension 1stovicek/math/presentation_loc-wgldi… · Smashing localization for rings of weak global dimension 1 Jan Št’ovícekˇ](https://reader033.vdocuments.us/reader033/viewer/2022050607/5faec8055309de0b5c4028dd/html5/thumbnails/21.jpg)
Thomason’s classification of finite localizationsTheorem (Thomason, 1997)Let R be a commutative ring. Then there is a bijection between
1 compactly generated localizations L : D(ModR)→ D(ModR);2 Thomason subsets of Spec R.
DefinitionA subset U ⊆ Spec R is a Thomason set if U is a union of Zariskiclosed sets of Spec R with quasi-compact complements.
ExampleLet R be a valuation domain with Spec R : 0 = p0 ( p1 ( · · · ( pn = m.Then the Thomason sets are simply upper sets with respect to ⊆. Thecorresponding localization for {pj , pj+1, . . . , pn} ⊆ Spec R with j ≥ 1 is
Rpj−1 ⊗R − : D(ModR)→ D(ModR).
Jan Št’ovícek (Charles University) Smashing localization for w.gl.dim. 1 June 17, 2014 6 / 16
![Page 22: Smashing localization for rings of weak global dimension 1stovicek/math/presentation_loc-wgldi… · Smashing localization for rings of weak global dimension 1 Jan Št’ovícekˇ](https://reader033.vdocuments.us/reader033/viewer/2022050607/5faec8055309de0b5c4028dd/html5/thumbnails/22.jpg)
Thomason’s classification of finite localizationsTheorem (Thomason, 1997)Let R be a commutative ring. Then there is a bijection between
1 compactly generated localizations L : D(ModR)→ D(ModR);2 Thomason subsets of Spec R.
DefinitionA subset U ⊆ Spec R is a Thomason set if U is a union of Zariskiclosed sets of Spec R with quasi-compact complements.
ExampleLet R be a valuation domain with Spec R : 0 = p0 ( p1 ( · · · ( pn = m.Then the Thomason sets are simply upper sets with respect to ⊆. Thecorresponding localization for {pj , pj+1, . . . , pn} ⊆ Spec R with j ≥ 1 is
Rpj−1 ⊗R − : D(ModR)→ D(ModR).
Jan Št’ovícek (Charles University) Smashing localization for w.gl.dim. 1 June 17, 2014 6 / 16
![Page 23: Smashing localization for rings of weak global dimension 1stovicek/math/presentation_loc-wgldi… · Smashing localization for rings of weak global dimension 1 Jan Št’ovícekˇ](https://reader033.vdocuments.us/reader033/viewer/2022050607/5faec8055309de0b5c4028dd/html5/thumbnails/23.jpg)
Thomason’s classification of finite localizationsTheorem (Thomason, 1997)Let R be a commutative ring. Then there is a bijection between
1 compactly generated localizations L : D(ModR)→ D(ModR);2 Thomason subsets of Spec R.
DefinitionA subset U ⊆ Spec R is a Thomason set if U is a union of Zariskiclosed sets of Spec R with quasi-compact complements.
ExampleLet R be a valuation domain with Spec R : 0 = p0 ( p1 ( · · · ( pn = m.Then the Thomason sets are simply upper sets with respect to ⊆. Thecorresponding localization for {pj , pj+1, . . . , pn} ⊆ Spec R with j ≥ 1 is
Rpj−1 ⊗R − : D(ModR)→ D(ModR).
Jan Št’ovícek (Charles University) Smashing localization for w.gl.dim. 1 June 17, 2014 6 / 16
![Page 24: Smashing localization for rings of weak global dimension 1stovicek/math/presentation_loc-wgldi… · Smashing localization for rings of weak global dimension 1 Jan Št’ovícekˇ](https://reader033.vdocuments.us/reader033/viewer/2022050607/5faec8055309de0b5c4028dd/html5/thumbnails/24.jpg)
Thomason’s classification of finite localizationsTheorem (Thomason, 1997)Let R be a commutative ring. Then there is a bijection between
1 compactly generated localizations L : D(ModR)→ D(ModR);2 Thomason subsets of Spec R.
DefinitionA subset U ⊆ Spec R is a Thomason set if U is a union of Zariskiclosed sets of Spec R with quasi-compact complements.
ExampleLet R be a valuation domain with Spec R : 0 = p0 ( p1 ( · · · ( pn = m.Then the Thomason sets are simply upper sets with respect to ⊆. Thecorresponding localization for {pj , pj+1, . . . , pn} ⊆ Spec R with j ≥ 1 is
Rpj−1 ⊗R − : D(ModR)→ D(ModR).
Jan Št’ovícek (Charles University) Smashing localization for w.gl.dim. 1 June 17, 2014 6 / 16
![Page 25: Smashing localization for rings of weak global dimension 1stovicek/math/presentation_loc-wgldi… · Smashing localization for rings of weak global dimension 1 Jan Št’ovícekˇ](https://reader033.vdocuments.us/reader033/viewer/2022050607/5faec8055309de0b5c4028dd/html5/thumbnails/25.jpg)
Thomason’s classification of finite localizationsTheorem (Thomason, 1997)Let R be a commutative ring. Then there is a bijection between
1 compactly generated localizations L : D(ModR)→ D(ModR);2 Thomason subsets of Spec R.
DefinitionA subset U ⊆ Spec R is a Thomason set if U is a union of Zariskiclosed sets of Spec R with quasi-compact complements.
ExampleLet R be a valuation domain with Spec R : 0 = p0 ( p1 ( · · · ( pn = m.Then the Thomason sets are simply upper sets with respect to ⊆. Thecorresponding localization for {pj , pj+1, . . . , pn} ⊆ Spec R with j ≥ 1 is
Rpj−1 ⊗R − : D(ModR)→ D(ModR).
Jan Št’ovícek (Charles University) Smashing localization for w.gl.dim. 1 June 17, 2014 6 / 16
![Page 26: Smashing localization for rings of weak global dimension 1stovicek/math/presentation_loc-wgldi… · Smashing localization for rings of weak global dimension 1 Jan Št’ovícekˇ](https://reader033.vdocuments.us/reader033/viewer/2022050607/5faec8055309de0b5c4028dd/html5/thumbnails/26.jpg)
Smashing localization
DefinitionA functor L : D(ModR)→ D(ModR) is a smashing localization if itpreserves coproducts.
Facts1 If R is commutative, this is equivalent to L ∼= S ⊗L
R − for somecomplex S.
2 Every compactly generated localization is smashing.
RemarkThe term smashing comes from the stable homotopy category, wherethe role of ⊗L
R is taken by the smash product ∧.
Jan Št’ovícek (Charles University) Smashing localization for w.gl.dim. 1 June 17, 2014 7 / 16
![Page 27: Smashing localization for rings of weak global dimension 1stovicek/math/presentation_loc-wgldi… · Smashing localization for rings of weak global dimension 1 Jan Št’ovícekˇ](https://reader033.vdocuments.us/reader033/viewer/2022050607/5faec8055309de0b5c4028dd/html5/thumbnails/27.jpg)
Smashing localization
DefinitionA functor L : D(ModR)→ D(ModR) is a smashing localization if itpreserves coproducts.
Facts1 If R is commutative, this is equivalent to L ∼= S ⊗L
R − for somecomplex S.
2 Every compactly generated localization is smashing.
RemarkThe term smashing comes from the stable homotopy category, wherethe role of ⊗L
R is taken by the smash product ∧.
Jan Št’ovícek (Charles University) Smashing localization for w.gl.dim. 1 June 17, 2014 7 / 16
![Page 28: Smashing localization for rings of weak global dimension 1stovicek/math/presentation_loc-wgldi… · Smashing localization for rings of weak global dimension 1 Jan Št’ovícekˇ](https://reader033.vdocuments.us/reader033/viewer/2022050607/5faec8055309de0b5c4028dd/html5/thumbnails/28.jpg)
Smashing localization
DefinitionA functor L : D(ModR)→ D(ModR) is a smashing localization if itpreserves coproducts.
Facts1 If R is commutative, this is equivalent to L ∼= S ⊗L
R − for somecomplex S.
2 Every compactly generated localization is smashing.
RemarkThe term smashing comes from the stable homotopy category, wherethe role of ⊗L
R is taken by the smash product ∧.
Jan Št’ovícek (Charles University) Smashing localization for w.gl.dim. 1 June 17, 2014 7 / 16
![Page 29: Smashing localization for rings of weak global dimension 1stovicek/math/presentation_loc-wgldi… · Smashing localization for rings of weak global dimension 1 Jan Št’ovícekˇ](https://reader033.vdocuments.us/reader033/viewer/2022050607/5faec8055309de0b5c4028dd/html5/thumbnails/29.jpg)
Smashing localization
DefinitionA functor L : D(ModR)→ D(ModR) is a smashing localization if itpreserves coproducts.
Facts1 If R is commutative, this is equivalent to L ∼= S ⊗L
R − for somecomplex S.
2 Every compactly generated localization is smashing.
RemarkThe term smashing comes from the stable homotopy category, wherethe role of ⊗L
R is taken by the smash product ∧.
Jan Št’ovícek (Charles University) Smashing localization for w.gl.dim. 1 June 17, 2014 7 / 16
![Page 30: Smashing localization for rings of weak global dimension 1stovicek/math/presentation_loc-wgldi… · Smashing localization for rings of weak global dimension 1 Jan Št’ovícekˇ](https://reader033.vdocuments.us/reader033/viewer/2022050607/5faec8055309de0b5c4028dd/html5/thumbnails/30.jpg)
Outline
1 Localization of derived categories
2 Relation to homological epimorphisms
3 A classification for valuation domains
Jan Št’ovícek (Charles University) Smashing localization for w.gl.dim. 1 June 17, 2014 8 / 16
![Page 31: Smashing localization for rings of weak global dimension 1stovicek/math/presentation_loc-wgldi… · Smashing localization for rings of weak global dimension 1 Jan Št’ovícekˇ](https://reader033.vdocuments.us/reader033/viewer/2022050607/5faec8055309de0b5c4028dd/html5/thumbnails/31.jpg)
Homological epimorphisms
A ring epimorphism is an epimorphism in the category of rings.A ring homomorphism f : R → S is an epimorphism if and only ifµ : S ⊗R S → S is an isomorphism.For a homological epimorphism we further require thatTorR
i (S,S) = 0 for all i ≥ 1 (due to Geigle and Lenzing). We canwrite that compactly as S ⊗L
R S ∼= S.If R has weak global dimension ≤ 1, we only need to checkTorR
1 (S,S) = 0.
Jan Št’ovícek (Charles University) Smashing localization for w.gl.dim. 1 June 17, 2014 9 / 16
![Page 32: Smashing localization for rings of weak global dimension 1stovicek/math/presentation_loc-wgldi… · Smashing localization for rings of weak global dimension 1 Jan Št’ovícekˇ](https://reader033.vdocuments.us/reader033/viewer/2022050607/5faec8055309de0b5c4028dd/html5/thumbnails/32.jpg)
Homological epimorphisms
A ring epimorphism is an epimorphism in the category of rings.A ring homomorphism f : R → S is an epimorphism if and only ifµ : S ⊗R S → S is an isomorphism.For a homological epimorphism we further require thatTorR
i (S,S) = 0 for all i ≥ 1 (due to Geigle and Lenzing). We canwrite that compactly as S ⊗L
R S ∼= S.If R has weak global dimension ≤ 1, we only need to checkTorR
1 (S,S) = 0.
Jan Št’ovícek (Charles University) Smashing localization for w.gl.dim. 1 June 17, 2014 9 / 16
![Page 33: Smashing localization for rings of weak global dimension 1stovicek/math/presentation_loc-wgldi… · Smashing localization for rings of weak global dimension 1 Jan Št’ovícekˇ](https://reader033.vdocuments.us/reader033/viewer/2022050607/5faec8055309de0b5c4028dd/html5/thumbnails/33.jpg)
Homological epimorphisms
A ring epimorphism is an epimorphism in the category of rings.A ring homomorphism f : R → S is an epimorphism if and only ifµ : S ⊗R S → S is an isomorphism.For a homological epimorphism we further require thatTorR
i (S,S) = 0 for all i ≥ 1 (due to Geigle and Lenzing). We canwrite that compactly as S ⊗L
R S ∼= S.If R has weak global dimension ≤ 1, we only need to checkTorR
1 (S,S) = 0.
Jan Št’ovícek (Charles University) Smashing localization for w.gl.dim. 1 June 17, 2014 9 / 16
![Page 34: Smashing localization for rings of weak global dimension 1stovicek/math/presentation_loc-wgldi… · Smashing localization for rings of weak global dimension 1 Jan Št’ovícekˇ](https://reader033.vdocuments.us/reader033/viewer/2022050607/5faec8055309de0b5c4028dd/html5/thumbnails/34.jpg)
Homological epimorphisms
A ring epimorphism is an epimorphism in the category of rings.A ring homomorphism f : R → S is an epimorphism if and only ifµ : S ⊗R S → S is an isomorphism.For a homological epimorphism we further require thatTorR
i (S,S) = 0 for all i ≥ 1 (due to Geigle and Lenzing). We canwrite that compactly as S ⊗L
R S ∼= S.If R has weak global dimension ≤ 1, we only need to checkTorR
1 (S,S) = 0.
Jan Št’ovícek (Charles University) Smashing localization for w.gl.dim. 1 June 17, 2014 9 / 16
![Page 35: Smashing localization for rings of weak global dimension 1stovicek/math/presentation_loc-wgldi… · Smashing localization for rings of weak global dimension 1 Jan Št’ovícekˇ](https://reader033.vdocuments.us/reader033/viewer/2022050607/5faec8055309de0b5c4028dd/html5/thumbnails/35.jpg)
Homological epimorphisms
A ring epimorphism is an epimorphism in the category of rings.A ring homomorphism f : R → S is an epimorphism if and only ifµ : S ⊗R S → S is an isomorphism.For a homological epimorphism we further require thatTorR
i (S,S) = 0 for all i ≥ 1 (due to Geigle and Lenzing). We canwrite that compactly as S ⊗L
R S ∼= S.If R has weak global dimension ≤ 1, we only need to checkTorR
1 (S,S) = 0.
Jan Št’ovícek (Charles University) Smashing localization for w.gl.dim. 1 June 17, 2014 9 / 16
![Page 36: Smashing localization for rings of weak global dimension 1stovicek/math/presentation_loc-wgldi… · Smashing localization for rings of weak global dimension 1 Jan Št’ovícekˇ](https://reader033.vdocuments.us/reader033/viewer/2022050607/5faec8055309de0b5c4028dd/html5/thumbnails/36.jpg)
Homological epimorphisms
A ring epimorphism is an epimorphism in the category of rings.A ring homomorphism f : R → S is an epimorphism if and only ifµ : S ⊗R S → S is an isomorphism.For a homological epimorphism we further require thatTorR
i (S,S) = 0 for all i ≥ 1 (due to Geigle and Lenzing). We canwrite that compactly as S ⊗L
R S ∼= S.If R has weak global dimension ≤ 1, we only need to checkTorR
1 (S,S) = 0.
Jan Št’ovícek (Charles University) Smashing localization for w.gl.dim. 1 June 17, 2014 9 / 16
![Page 37: Smashing localization for rings of weak global dimension 1stovicek/math/presentation_loc-wgldi… · Smashing localization for rings of weak global dimension 1 Jan Št’ovícekˇ](https://reader033.vdocuments.us/reader033/viewer/2022050607/5faec8055309de0b5c4028dd/html5/thumbnails/37.jpg)
Result for rings w.gl.dim. ≤ 1
Theorem (Bazzoni-Š.)Let R be a ring of weak global dimension at most 1. Then there is abijective correspondence between
1 smashing localizations L : D(ModR)→ D(ModR) and2 homological epimorphisms f : R → S of rings.
The bijection is given by f 7→ L = S ⊗LR −.
RemarkThis generalizes an earlier result with Krause, where the same wasproved for hereditary rings.
Jan Št’ovícek (Charles University) Smashing localization for w.gl.dim. 1 June 17, 2014 10 / 16
![Page 38: Smashing localization for rings of weak global dimension 1stovicek/math/presentation_loc-wgldi… · Smashing localization for rings of weak global dimension 1 Jan Št’ovícekˇ](https://reader033.vdocuments.us/reader033/viewer/2022050607/5faec8055309de0b5c4028dd/html5/thumbnails/38.jpg)
Result for rings w.gl.dim. ≤ 1
Theorem (Bazzoni-Š.)Let R be a ring of weak global dimension at most 1. Then there is abijective correspondence between
1 smashing localizations L : D(ModR)→ D(ModR) and2 homological epimorphisms f : R → S of rings.
The bijection is given by f 7→ L = S ⊗LR −.
RemarkThis generalizes an earlier result with Krause, where the same wasproved for hereditary rings.
Jan Št’ovícek (Charles University) Smashing localization for w.gl.dim. 1 June 17, 2014 10 / 16
![Page 39: Smashing localization for rings of weak global dimension 1stovicek/math/presentation_loc-wgldi… · Smashing localization for rings of weak global dimension 1 Jan Št’ovícekˇ](https://reader033.vdocuments.us/reader033/viewer/2022050607/5faec8055309de0b5c4028dd/html5/thumbnails/39.jpg)
Result for rings w.gl.dim. ≤ 1
Theorem (Bazzoni-Š.)Let R be a ring of weak global dimension at most 1. Then there is abijective correspondence between
1 smashing localizations L : D(ModR)→ D(ModR) and2 homological epimorphisms f : R → S of rings.
The bijection is given by f 7→ L = S ⊗LR −.
RemarkThis generalizes an earlier result with Krause, where the same wasproved for hereditary rings.
Jan Št’ovícek (Charles University) Smashing localization for w.gl.dim. 1 June 17, 2014 10 / 16
![Page 40: Smashing localization for rings of weak global dimension 1stovicek/math/presentation_loc-wgldi… · Smashing localization for rings of weak global dimension 1 Jan Št’ovícekˇ](https://reader033.vdocuments.us/reader033/viewer/2022050607/5faec8055309de0b5c4028dd/html5/thumbnails/40.jpg)
Result for rings w.gl.dim. ≤ 1
Theorem (Bazzoni-Š.)Let R be a ring of weak global dimension at most 1. Then there is abijective correspondence between
1 smashing localizations L : D(ModR)→ D(ModR) and2 homological epimorphisms f : R → S of rings.
The bijection is given by f 7→ L = S ⊗LR −.
RemarkThis generalizes an earlier result with Krause, where the same wasproved for hereditary rings.
Jan Št’ovícek (Charles University) Smashing localization for w.gl.dim. 1 June 17, 2014 10 / 16
![Page 41: Smashing localization for rings of weak global dimension 1stovicek/math/presentation_loc-wgldi… · Smashing localization for rings of weak global dimension 1 Jan Št’ovícekˇ](https://reader033.vdocuments.us/reader033/viewer/2022050607/5faec8055309de0b5c4028dd/html5/thumbnails/41.jpg)
Result for rings w.gl.dim. ≤ 1
Theorem (Bazzoni-Š.)Let R be a ring of weak global dimension at most 1. Then there is abijective correspondence between
1 smashing localizations L : D(ModR)→ D(ModR) and2 homological epimorphisms f : R → S of rings.
The bijection is given by f 7→ L = S ⊗LR −.
RemarkThis generalizes an earlier result with Krause, where the same wasproved for hereditary rings.
Jan Št’ovícek (Charles University) Smashing localization for w.gl.dim. 1 June 17, 2014 10 / 16
![Page 42: Smashing localization for rings of weak global dimension 1stovicek/math/presentation_loc-wgldi… · Smashing localization for rings of weak global dimension 1 Jan Št’ovícekˇ](https://reader033.vdocuments.us/reader033/viewer/2022050607/5faec8055309de0b5c4028dd/html5/thumbnails/42.jpg)
Idea of the proof
Nicolás and Saorín related smashing localization of D(ModR) tohomological epimorphisms of differential graded rings.A dg-ring is a Z-graded ring R with a differential ∂ : R → R ofdegree 1. That is, ∂2 = 0 and ∂(x · y) = ∂(x) · y + (−1)|x |x · ∂(y).In fact, the correct context to work with homological epimorphismsof dg-rings is the homotopy category of dg-rings:Ho(DgRings) = DgRings[quasi-iso−1].Given a smashing localization of D(ModR), we have a hom. epi.R → S in Ho(DgRings).If R is of w.gl.dim. ≤ 1, then have Künneth’s theorem relatingHn(S ⊗L
R S) to H i(S)⊗R H j(S) and TorR1 (H i(S),H j(S)). This
allows to prove that S is quasi-isomorphic to an ordinary ring.
Jan Št’ovícek (Charles University) Smashing localization for w.gl.dim. 1 June 17, 2014 11 / 16
![Page 43: Smashing localization for rings of weak global dimension 1stovicek/math/presentation_loc-wgldi… · Smashing localization for rings of weak global dimension 1 Jan Št’ovícekˇ](https://reader033.vdocuments.us/reader033/viewer/2022050607/5faec8055309de0b5c4028dd/html5/thumbnails/43.jpg)
Idea of the proof
Nicolás and Saorín related smashing localization of D(ModR) tohomological epimorphisms of differential graded rings.A dg-ring is a Z-graded ring R with a differential ∂ : R → R ofdegree 1. That is, ∂2 = 0 and ∂(x · y) = ∂(x) · y + (−1)|x |x · ∂(y).In fact, the correct context to work with homological epimorphismsof dg-rings is the homotopy category of dg-rings:Ho(DgRings) = DgRings[quasi-iso−1].Given a smashing localization of D(ModR), we have a hom. epi.R → S in Ho(DgRings).If R is of w.gl.dim. ≤ 1, then have Künneth’s theorem relatingHn(S ⊗L
R S) to H i(S)⊗R H j(S) and TorR1 (H i(S),H j(S)). This
allows to prove that S is quasi-isomorphic to an ordinary ring.
Jan Št’ovícek (Charles University) Smashing localization for w.gl.dim. 1 June 17, 2014 11 / 16
![Page 44: Smashing localization for rings of weak global dimension 1stovicek/math/presentation_loc-wgldi… · Smashing localization for rings of weak global dimension 1 Jan Št’ovícekˇ](https://reader033.vdocuments.us/reader033/viewer/2022050607/5faec8055309de0b5c4028dd/html5/thumbnails/44.jpg)
Idea of the proof
Nicolás and Saorín related smashing localization of D(ModR) tohomological epimorphisms of differential graded rings.A dg-ring is a Z-graded ring R with a differential ∂ : R → R ofdegree 1. That is, ∂2 = 0 and ∂(x · y) = ∂(x) · y + (−1)|x |x · ∂(y).In fact, the correct context to work with homological epimorphismsof dg-rings is the homotopy category of dg-rings:Ho(DgRings) = DgRings[quasi-iso−1].Given a smashing localization of D(ModR), we have a hom. epi.R → S in Ho(DgRings).If R is of w.gl.dim. ≤ 1, then have Künneth’s theorem relatingHn(S ⊗L
R S) to H i(S)⊗R H j(S) and TorR1 (H i(S),H j(S)). This
allows to prove that S is quasi-isomorphic to an ordinary ring.
Jan Št’ovícek (Charles University) Smashing localization for w.gl.dim. 1 June 17, 2014 11 / 16
![Page 45: Smashing localization for rings of weak global dimension 1stovicek/math/presentation_loc-wgldi… · Smashing localization for rings of weak global dimension 1 Jan Št’ovícekˇ](https://reader033.vdocuments.us/reader033/viewer/2022050607/5faec8055309de0b5c4028dd/html5/thumbnails/45.jpg)
Idea of the proof
Nicolás and Saorín related smashing localization of D(ModR) tohomological epimorphisms of differential graded rings.A dg-ring is a Z-graded ring R with a differential ∂ : R → R ofdegree 1. That is, ∂2 = 0 and ∂(x · y) = ∂(x) · y + (−1)|x |x · ∂(y).In fact, the correct context to work with homological epimorphismsof dg-rings is the homotopy category of dg-rings:Ho(DgRings) = DgRings[quasi-iso−1].Given a smashing localization of D(ModR), we have a hom. epi.R → S in Ho(DgRings).If R is of w.gl.dim. ≤ 1, then have Künneth’s theorem relatingHn(S ⊗L
R S) to H i(S)⊗R H j(S) and TorR1 (H i(S),H j(S)). This
allows to prove that S is quasi-isomorphic to an ordinary ring.
Jan Št’ovícek (Charles University) Smashing localization for w.gl.dim. 1 June 17, 2014 11 / 16
![Page 46: Smashing localization for rings of weak global dimension 1stovicek/math/presentation_loc-wgldi… · Smashing localization for rings of weak global dimension 1 Jan Št’ovícekˇ](https://reader033.vdocuments.us/reader033/viewer/2022050607/5faec8055309de0b5c4028dd/html5/thumbnails/46.jpg)
Idea of the proof
Nicolás and Saorín related smashing localization of D(ModR) tohomological epimorphisms of differential graded rings.A dg-ring is a Z-graded ring R with a differential ∂ : R → R ofdegree 1. That is, ∂2 = 0 and ∂(x · y) = ∂(x) · y + (−1)|x |x · ∂(y).In fact, the correct context to work with homological epimorphismsof dg-rings is the homotopy category of dg-rings:Ho(DgRings) = DgRings[quasi-iso−1].Given a smashing localization of D(ModR), we have a hom. epi.R → S in Ho(DgRings).If R is of w.gl.dim. ≤ 1, then have Künneth’s theorem relatingHn(S ⊗L
R S) to H i(S)⊗R H j(S) and TorR1 (H i(S),H j(S)). This
allows to prove that S is quasi-isomorphic to an ordinary ring.
Jan Št’ovícek (Charles University) Smashing localization for w.gl.dim. 1 June 17, 2014 11 / 16
![Page 47: Smashing localization for rings of weak global dimension 1stovicek/math/presentation_loc-wgldi… · Smashing localization for rings of weak global dimension 1 Jan Št’ovícekˇ](https://reader033.vdocuments.us/reader033/viewer/2022050607/5faec8055309de0b5c4028dd/html5/thumbnails/47.jpg)
Idea of the proof
Nicolás and Saorín related smashing localization of D(ModR) tohomological epimorphisms of differential graded rings.A dg-ring is a Z-graded ring R with a differential ∂ : R → R ofdegree 1. That is, ∂2 = 0 and ∂(x · y) = ∂(x) · y + (−1)|x |x · ∂(y).In fact, the correct context to work with homological epimorphismsof dg-rings is the homotopy category of dg-rings:Ho(DgRings) = DgRings[quasi-iso−1].Given a smashing localization of D(ModR), we have a hom. epi.R → S in Ho(DgRings).If R is of w.gl.dim. ≤ 1, then have Künneth’s theorem relatingHn(S ⊗L
R S) to H i(S)⊗R H j(S) and TorR1 (H i(S),H j(S)). This
allows to prove that S is quasi-isomorphic to an ordinary ring.
Jan Št’ovícek (Charles University) Smashing localization for w.gl.dim. 1 June 17, 2014 11 / 16
![Page 48: Smashing localization for rings of weak global dimension 1stovicek/math/presentation_loc-wgldi… · Smashing localization for rings of weak global dimension 1 Jan Št’ovícekˇ](https://reader033.vdocuments.us/reader033/viewer/2022050607/5faec8055309de0b5c4028dd/html5/thumbnails/48.jpg)
Idea of the proof
Nicolás and Saorín related smashing localization of D(ModR) tohomological epimorphisms of differential graded rings.A dg-ring is a Z-graded ring R with a differential ∂ : R → R ofdegree 1. That is, ∂2 = 0 and ∂(x · y) = ∂(x) · y + (−1)|x |x · ∂(y).In fact, the correct context to work with homological epimorphismsof dg-rings is the homotopy category of dg-rings:Ho(DgRings) = DgRings[quasi-iso−1].Given a smashing localization of D(ModR), we have a hom. epi.R → S in Ho(DgRings).If R is of w.gl.dim. ≤ 1, then have Künneth’s theorem relatingHn(S ⊗L
R S) to H i(S)⊗R H j(S) and TorR1 (H i(S),H j(S)). This
allows to prove that S is quasi-isomorphic to an ordinary ring.
Jan Št’ovícek (Charles University) Smashing localization for w.gl.dim. 1 June 17, 2014 11 / 16
![Page 49: Smashing localization for rings of weak global dimension 1stovicek/math/presentation_loc-wgldi… · Smashing localization for rings of weak global dimension 1 Jan Št’ovícekˇ](https://reader033.vdocuments.us/reader033/viewer/2022050607/5faec8055309de0b5c4028dd/html5/thumbnails/49.jpg)
Idea of the proof
Nicolás and Saorín related smashing localization of D(ModR) tohomological epimorphisms of differential graded rings.A dg-ring is a Z-graded ring R with a differential ∂ : R → R ofdegree 1. That is, ∂2 = 0 and ∂(x · y) = ∂(x) · y + (−1)|x |x · ∂(y).In fact, the correct context to work with homological epimorphismsof dg-rings is the homotopy category of dg-rings:Ho(DgRings) = DgRings[quasi-iso−1].Given a smashing localization of D(ModR), we have a hom. epi.R → S in Ho(DgRings).If R is of w.gl.dim. ≤ 1, then have Künneth’s theorem relatingHn(S ⊗L
R S) to H i(S)⊗R H j(S) and TorR1 (H i(S),H j(S)). This
allows to prove that S is quasi-isomorphic to an ordinary ring.
Jan Št’ovícek (Charles University) Smashing localization for w.gl.dim. 1 June 17, 2014 11 / 16
![Page 50: Smashing localization for rings of weak global dimension 1stovicek/math/presentation_loc-wgldi… · Smashing localization for rings of weak global dimension 1 Jan Št’ovícekˇ](https://reader033.vdocuments.us/reader033/viewer/2022050607/5faec8055309de0b5c4028dd/html5/thumbnails/50.jpg)
Idea of the proof
Nicolás and Saorín related smashing localization of D(ModR) tohomological epimorphisms of differential graded rings.A dg-ring is a Z-graded ring R with a differential ∂ : R → R ofdegree 1. That is, ∂2 = 0 and ∂(x · y) = ∂(x) · y + (−1)|x |x · ∂(y).In fact, the correct context to work with homological epimorphismsof dg-rings is the homotopy category of dg-rings:Ho(DgRings) = DgRings[quasi-iso−1].Given a smashing localization of D(ModR), we have a hom. epi.R → S in Ho(DgRings).If R is of w.gl.dim. ≤ 1, then have Künneth’s theorem relatingHn(S ⊗L
R S) to H i(S)⊗R H j(S) and TorR1 (H i(S),H j(S)). This
allows to prove that S is quasi-isomorphic to an ordinary ring.
Jan Št’ovícek (Charles University) Smashing localization for w.gl.dim. 1 June 17, 2014 11 / 16
![Page 51: Smashing localization for rings of weak global dimension 1stovicek/math/presentation_loc-wgldi… · Smashing localization for rings of weak global dimension 1 Jan Št’ovícekˇ](https://reader033.vdocuments.us/reader033/viewer/2022050607/5faec8055309de0b5c4028dd/html5/thumbnails/51.jpg)
Idea of the proof
Nicolás and Saorín related smashing localization of D(ModR) tohomological epimorphisms of differential graded rings.A dg-ring is a Z-graded ring R with a differential ∂ : R → R ofdegree 1. That is, ∂2 = 0 and ∂(x · y) = ∂(x) · y + (−1)|x |x · ∂(y).In fact, the correct context to work with homological epimorphismsof dg-rings is the homotopy category of dg-rings:Ho(DgRings) = DgRings[quasi-iso−1].Given a smashing localization of D(ModR), we have a hom. epi.R → S in Ho(DgRings).If R is of w.gl.dim. ≤ 1, then have Künneth’s theorem relatingHn(S ⊗L
R S) to H i(S)⊗R H j(S) and TorR1 (H i(S),H j(S)). This
allows to prove that S is quasi-isomorphic to an ordinary ring.
Jan Št’ovícek (Charles University) Smashing localization for w.gl.dim. 1 June 17, 2014 11 / 16
![Page 52: Smashing localization for rings of weak global dimension 1stovicek/math/presentation_loc-wgldi… · Smashing localization for rings of weak global dimension 1 Jan Št’ovícekˇ](https://reader033.vdocuments.us/reader033/viewer/2022050607/5faec8055309de0b5c4028dd/html5/thumbnails/52.jpg)
Idea of the proof
Nicolás and Saorín related smashing localization of D(ModR) tohomological epimorphisms of differential graded rings.A dg-ring is a Z-graded ring R with a differential ∂ : R → R ofdegree 1. That is, ∂2 = 0 and ∂(x · y) = ∂(x) · y + (−1)|x |x · ∂(y).In fact, the correct context to work with homological epimorphismsof dg-rings is the homotopy category of dg-rings:Ho(DgRings) = DgRings[quasi-iso−1].Given a smashing localization of D(ModR), we have a hom. epi.R → S in Ho(DgRings).If R is of w.gl.dim. ≤ 1, then have Künneth’s theorem relatingHn(S ⊗L
R S) to H i(S)⊗R H j(S) and TorR1 (H i(S),H j(S)). This
allows to prove that S is quasi-isomorphic to an ordinary ring.
Jan Št’ovícek (Charles University) Smashing localization for w.gl.dim. 1 June 17, 2014 11 / 16
![Page 53: Smashing localization for rings of weak global dimension 1stovicek/math/presentation_loc-wgldi… · Smashing localization for rings of weak global dimension 1 Jan Št’ovícekˇ](https://reader033.vdocuments.us/reader033/viewer/2022050607/5faec8055309de0b5c4028dd/html5/thumbnails/53.jpg)
Outline
1 Localization of derived categories
2 Relation to homological epimorphisms
3 A classification for valuation domains
Jan Št’ovícek (Charles University) Smashing localization for w.gl.dim. 1 June 17, 2014 12 / 16
![Page 54: Smashing localization for rings of weak global dimension 1stovicek/math/presentation_loc-wgldi… · Smashing localization for rings of weak global dimension 1 Jan Št’ovícekˇ](https://reader033.vdocuments.us/reader033/viewer/2022050607/5faec8055309de0b5c4028dd/html5/thumbnails/54.jpg)
Why valuation domains?
Theorem (Glaz)Let R be a commutative ring. Then the following are equivalent:
1 R is of weak global dimension at most 1,2 Rp is a valuation domain for each p ∈ Spec R.
CorollarySuppose that R is a valuation domain, f : R → S is a homologicalepimorphism (so that w.gl.dim. S ≤ 1) and m ∈ mSpec S.Then Sm
∼= Rp/i, where i2 = i ⊆ p are primes in R. That is, for eachm ∈ mSpec S we have a formal interval [i, p] in (Spec R,⊆) with iidempotent.If m 6= m′, then [i, p] and [i′, p′] are disjoint.
Jan Št’ovícek (Charles University) Smashing localization for w.gl.dim. 1 June 17, 2014 13 / 16
![Page 55: Smashing localization for rings of weak global dimension 1stovicek/math/presentation_loc-wgldi… · Smashing localization for rings of weak global dimension 1 Jan Št’ovícekˇ](https://reader033.vdocuments.us/reader033/viewer/2022050607/5faec8055309de0b5c4028dd/html5/thumbnails/55.jpg)
Why valuation domains?
Theorem (Glaz)Let R be a commutative ring. Then the following are equivalent:
1 R is of weak global dimension at most 1,2 Rp is a valuation domain for each p ∈ Spec R.
CorollarySuppose that R is a valuation domain, f : R → S is a homologicalepimorphism (so that w.gl.dim. S ≤ 1) and m ∈ mSpec S.Then Sm
∼= Rp/i, where i2 = i ⊆ p are primes in R. That is, for eachm ∈ mSpec S we have a formal interval [i, p] in (Spec R,⊆) with iidempotent.If m 6= m′, then [i, p] and [i′, p′] are disjoint.
Jan Št’ovícek (Charles University) Smashing localization for w.gl.dim. 1 June 17, 2014 13 / 16
![Page 56: Smashing localization for rings of weak global dimension 1stovicek/math/presentation_loc-wgldi… · Smashing localization for rings of weak global dimension 1 Jan Št’ovícekˇ](https://reader033.vdocuments.us/reader033/viewer/2022050607/5faec8055309de0b5c4028dd/html5/thumbnails/56.jpg)
Why valuation domains?
Theorem (Glaz)Let R be a commutative ring. Then the following are equivalent:
1 R is of weak global dimension at most 1,2 Rp is a valuation domain for each p ∈ Spec R.
CorollarySuppose that R is a valuation domain, f : R → S is a homologicalepimorphism (so that w.gl.dim. S ≤ 1) and m ∈ mSpec S.Then Sm
∼= Rp/i, where i2 = i ⊆ p are primes in R. That is, for eachm ∈ mSpec S we have a formal interval [i, p] in (Spec R,⊆) with iidempotent.If m 6= m′, then [i, p] and [i′, p′] are disjoint.
Jan Št’ovícek (Charles University) Smashing localization for w.gl.dim. 1 June 17, 2014 13 / 16
![Page 57: Smashing localization for rings of weak global dimension 1stovicek/math/presentation_loc-wgldi… · Smashing localization for rings of weak global dimension 1 Jan Št’ovícekˇ](https://reader033.vdocuments.us/reader033/viewer/2022050607/5faec8055309de0b5c4028dd/html5/thumbnails/57.jpg)
Why valuation domains?
Theorem (Glaz)Let R be a commutative ring. Then the following are equivalent:
1 R is of weak global dimension at most 1,2 Rp is a valuation domain for each p ∈ Spec R.
CorollarySuppose that R is a valuation domain, f : R → S is a homologicalepimorphism (so that w.gl.dim. S ≤ 1) and m ∈ mSpec S.Then Sm
∼= Rp/i, where i2 = i ⊆ p are primes in R. That is, for eachm ∈ mSpec S we have a formal interval [i, p] in (Spec R,⊆) with iidempotent.If m 6= m′, then [i, p] and [i′, p′] are disjoint.
Jan Št’ovícek (Charles University) Smashing localization for w.gl.dim. 1 June 17, 2014 13 / 16
![Page 58: Smashing localization for rings of weak global dimension 1stovicek/math/presentation_loc-wgldi… · Smashing localization for rings of weak global dimension 1 Jan Št’ovícekˇ](https://reader033.vdocuments.us/reader033/viewer/2022050607/5faec8055309de0b5c4028dd/html5/thumbnails/58.jpg)
Why valuation domains?
Theorem (Glaz)Let R be a commutative ring. Then the following are equivalent:
1 R is of weak global dimension at most 1,2 Rp is a valuation domain for each p ∈ Spec R.
CorollarySuppose that R is a valuation domain, f : R → S is a homologicalepimorphism (so that w.gl.dim. S ≤ 1) and m ∈ mSpec S.Then Sm
∼= Rp/i, where i2 = i ⊆ p are primes in R. That is, for eachm ∈ mSpec S we have a formal interval [i, p] in (Spec R,⊆) with iidempotent.If m 6= m′, then [i, p] and [i′, p′] are disjoint.
Jan Št’ovícek (Charles University) Smashing localization for w.gl.dim. 1 June 17, 2014 13 / 16
![Page 59: Smashing localization for rings of weak global dimension 1stovicek/math/presentation_loc-wgldi… · Smashing localization for rings of weak global dimension 1 Jan Št’ovícekˇ](https://reader033.vdocuments.us/reader033/viewer/2022050607/5faec8055309de0b5c4028dd/html5/thumbnails/59.jpg)
Why valuation domains?
Theorem (Glaz)Let R be a commutative ring. Then the following are equivalent:
1 R is of weak global dimension at most 1,2 Rp is a valuation domain for each p ∈ Spec R.
CorollarySuppose that R is a valuation domain, f : R → S is a homologicalepimorphism (so that w.gl.dim. S ≤ 1) and m ∈ mSpec S.Then Sm
∼= Rp/i, where i2 = i ⊆ p are primes in R. That is, for eachm ∈ mSpec S we have a formal interval [i, p] in (Spec R,⊆) with iidempotent.If m 6= m′, then [i, p] and [i′, p′] are disjoint.
Jan Št’ovícek (Charles University) Smashing localization for w.gl.dim. 1 June 17, 2014 13 / 16
![Page 60: Smashing localization for rings of weak global dimension 1stovicek/math/presentation_loc-wgldi… · Smashing localization for rings of weak global dimension 1 Jan Št’ovícekˇ](https://reader033.vdocuments.us/reader033/viewer/2022050607/5faec8055309de0b5c4028dd/html5/thumbnails/60.jpg)
Why valuation domains?
Theorem (Glaz)Let R be a commutative ring. Then the following are equivalent:
1 R is of weak global dimension at most 1,2 Rp is a valuation domain for each p ∈ Spec R.
CorollarySuppose that R is a valuation domain, f : R → S is a homologicalepimorphism (so that w.gl.dim. S ≤ 1) and m ∈ mSpec S.Then Sm
∼= Rp/i, where i2 = i ⊆ p are primes in R. That is, for eachm ∈ mSpec S we have a formal interval [i, p] in (Spec R,⊆) with iidempotent.If m 6= m′, then [i, p] and [i′, p′] are disjoint.
Jan Št’ovícek (Charles University) Smashing localization for w.gl.dim. 1 June 17, 2014 13 / 16
![Page 61: Smashing localization for rings of weak global dimension 1stovicek/math/presentation_loc-wgldi… · Smashing localization for rings of weak global dimension 1 Jan Št’ovícekˇ](https://reader033.vdocuments.us/reader033/viewer/2022050607/5faec8055309de0b5c4028dd/html5/thumbnails/61.jpg)
Why valuation domains?
Theorem (Glaz)Let R be a commutative ring. Then the following are equivalent:
1 R is of weak global dimension at most 1,2 Rp is a valuation domain for each p ∈ Spec R.
CorollarySuppose that R is a valuation domain, f : R → S is a homologicalepimorphism (so that w.gl.dim. S ≤ 1) and m ∈ mSpec S.Then Sm
∼= Rp/i, where i2 = i ⊆ p are primes in R. That is, for eachm ∈ mSpec S we have a formal interval [i, p] in (Spec R,⊆) with iidempotent.If m 6= m′, then [i, p] and [i′, p′] are disjoint.
Jan Št’ovícek (Charles University) Smashing localization for w.gl.dim. 1 June 17, 2014 13 / 16
![Page 62: Smashing localization for rings of weak global dimension 1stovicek/math/presentation_loc-wgldi… · Smashing localization for rings of weak global dimension 1 Jan Št’ovícekˇ](https://reader033.vdocuments.us/reader033/viewer/2022050607/5faec8055309de0b5c4028dd/html5/thumbnails/62.jpg)
Why valuation domains?
Theorem (Glaz)Let R be a commutative ring. Then the following are equivalent:
1 R is of weak global dimension at most 1,2 Rp is a valuation domain for each p ∈ Spec R.
CorollarySuppose that R is a valuation domain, f : R → S is a homologicalepimorphism (so that w.gl.dim. S ≤ 1) and m ∈ mSpec S.Then Sm
∼= Rp/i, where i2 = i ⊆ p are primes in R. That is, for eachm ∈ mSpec S we have a formal interval [i, p] in (Spec R,⊆) with iidempotent.If m 6= m′, then [i, p] and [i′, p′] are disjoint.
Jan Št’ovícek (Charles University) Smashing localization for w.gl.dim. 1 June 17, 2014 13 / 16
![Page 63: Smashing localization for rings of weak global dimension 1stovicek/math/presentation_loc-wgldi… · Smashing localization for rings of weak global dimension 1 Jan Št’ovícekˇ](https://reader033.vdocuments.us/reader033/viewer/2022050607/5faec8055309de0b5c4028dd/html5/thumbnails/63.jpg)
The classification
Theorem (Bazzoni-Š.)Let R be a valuation domain. Then there is a bijection between
1 homological epimorphisms f : R → S and2 collections I = {[ia, pa] | a ∈ A} of disjoint intervals with i = i2
such that1 I has “no gaps”,2 I is nowhere dense.
(irrelevant if Spec R is finite)
Jan Št’ovícek (Charles University) Smashing localization for w.gl.dim. 1 June 17, 2014 14 / 16
![Page 64: Smashing localization for rings of weak global dimension 1stovicek/math/presentation_loc-wgldi… · Smashing localization for rings of weak global dimension 1 Jan Št’ovícekˇ](https://reader033.vdocuments.us/reader033/viewer/2022050607/5faec8055309de0b5c4028dd/html5/thumbnails/64.jpg)
The classification
Theorem (Bazzoni-Š.)Let R be a valuation domain. Then there is a bijection between
1 homological epimorphisms f : R → S and2 collections I = {[ia, pa] | a ∈ A} of disjoint intervals with i = i2
such that1 I has “no gaps”,2 I is nowhere dense.
(irrelevant if Spec R is finite)
Jan Št’ovícek (Charles University) Smashing localization for w.gl.dim. 1 June 17, 2014 14 / 16
![Page 65: Smashing localization for rings of weak global dimension 1stovicek/math/presentation_loc-wgldi… · Smashing localization for rings of weak global dimension 1 Jan Št’ovícekˇ](https://reader033.vdocuments.us/reader033/viewer/2022050607/5faec8055309de0b5c4028dd/html5/thumbnails/65.jpg)
The classification
Theorem (Bazzoni-Š.)Let R be a valuation domain. Then there is a bijection between
1 homological epimorphisms f : R → S and2 collections I = {[ia, pa] | a ∈ A} of disjoint intervals with i = i2
such that1 I has “no gaps”,2 I is nowhere dense.
(irrelevant if Spec R is finite)
Jan Št’ovícek (Charles University) Smashing localization for w.gl.dim. 1 June 17, 2014 14 / 16
![Page 66: Smashing localization for rings of weak global dimension 1stovicek/math/presentation_loc-wgldi… · Smashing localization for rings of weak global dimension 1 Jan Št’ovícekˇ](https://reader033.vdocuments.us/reader033/viewer/2022050607/5faec8055309de0b5c4028dd/html5/thumbnails/66.jpg)
The classification
Theorem (Bazzoni-Š.)Let R be a valuation domain. Then there is a bijection between
1 homological epimorphisms f : R → S and2 collections I = {[ia, pa] | a ∈ A} of disjoint intervals with i = i2
such that1 I has “no gaps”,2 I is nowhere dense.
(irrelevant if Spec R is finite)
Jan Št’ovícek (Charles University) Smashing localization for w.gl.dim. 1 June 17, 2014 14 / 16
![Page 67: Smashing localization for rings of weak global dimension 1stovicek/math/presentation_loc-wgldi… · Smashing localization for rings of weak global dimension 1 Jan Št’ovícekˇ](https://reader033.vdocuments.us/reader033/viewer/2022050607/5faec8055309de0b5c4028dd/html5/thumbnails/67.jpg)
The classification
Theorem (Bazzoni-Š.)Let R be a valuation domain. Then there is a bijection between
1 homological epimorphisms f : R → S and2 collections I = {[ia, pa] | a ∈ A} of disjoint intervals with i = i2
such that1 I has “no gaps”,2 I is nowhere dense.
(irrelevant if Spec R is finite)
Jan Št’ovícek (Charles University) Smashing localization for w.gl.dim. 1 June 17, 2014 14 / 16
![Page 68: Smashing localization for rings of weak global dimension 1stovicek/math/presentation_loc-wgldi… · Smashing localization for rings of weak global dimension 1 Jan Št’ovícekˇ](https://reader033.vdocuments.us/reader033/viewer/2022050607/5faec8055309de0b5c4028dd/html5/thumbnails/68.jpg)
Example
Let R be a valuation domain with Spec R = {0,m} and m = m2.For instance
R ={ ∞∑
i=0
a i`x
i`
}(Puiseux series ring).Let Q be the quotient field and k = R/m the residue field.Then there are 5 homological epimorphisms:
1 R → 0,2 R → Q,3 R → R,4 R → k ,5 R → Q × k .
Only the first three correspond to compactly generatedlocalizations of D(ModR). Equivalently, an ordinary localizationwith respect to a multiplicative set.
Jan Št’ovícek (Charles University) Smashing localization for w.gl.dim. 1 June 17, 2014 15 / 16
![Page 69: Smashing localization for rings of weak global dimension 1stovicek/math/presentation_loc-wgldi… · Smashing localization for rings of weak global dimension 1 Jan Št’ovícekˇ](https://reader033.vdocuments.us/reader033/viewer/2022050607/5faec8055309de0b5c4028dd/html5/thumbnails/69.jpg)
Example
Let R be a valuation domain with Spec R = {0,m} and m = m2.For instance
R ={ ∞∑
i=0
a i`x
i`
}(Puiseux series ring).Let Q be the quotient field and k = R/m the residue field.Then there are 5 homological epimorphisms:
1 R → 0,2 R → Q,3 R → R,4 R → k ,5 R → Q × k .
Only the first three correspond to compactly generatedlocalizations of D(ModR). Equivalently, an ordinary localizationwith respect to a multiplicative set.
Jan Št’ovícek (Charles University) Smashing localization for w.gl.dim. 1 June 17, 2014 15 / 16
![Page 70: Smashing localization for rings of weak global dimension 1stovicek/math/presentation_loc-wgldi… · Smashing localization for rings of weak global dimension 1 Jan Št’ovícekˇ](https://reader033.vdocuments.us/reader033/viewer/2022050607/5faec8055309de0b5c4028dd/html5/thumbnails/70.jpg)
Example
Let R be a valuation domain with Spec R = {0,m} and m = m2.For instance
R ={ ∞∑
i=0
a i`x
i`
}(Puiseux series ring).Let Q be the quotient field and k = R/m the residue field.Then there are 5 homological epimorphisms:
1 R → 0,2 R → Q,3 R → R,4 R → k ,5 R → Q × k .
Only the first three correspond to compactly generatedlocalizations of D(ModR). Equivalently, an ordinary localizationwith respect to a multiplicative set.
Jan Št’ovícek (Charles University) Smashing localization for w.gl.dim. 1 June 17, 2014 15 / 16
![Page 71: Smashing localization for rings of weak global dimension 1stovicek/math/presentation_loc-wgldi… · Smashing localization for rings of weak global dimension 1 Jan Št’ovícekˇ](https://reader033.vdocuments.us/reader033/viewer/2022050607/5faec8055309de0b5c4028dd/html5/thumbnails/71.jpg)
Example
Let R be a valuation domain with Spec R = {0,m} and m = m2.For instance
R ={ ∞∑
i=0
a i`x
i`
}(Puiseux series ring).Let Q be the quotient field and k = R/m the residue field.Then there are 5 homological epimorphisms:
1 R → 0,2 R → Q,3 R → R,4 R → k ,5 R → Q × k .
Only the first three correspond to compactly generatedlocalizations of D(ModR). Equivalently, an ordinary localizationwith respect to a multiplicative set.
Jan Št’ovícek (Charles University) Smashing localization for w.gl.dim. 1 June 17, 2014 15 / 16
![Page 72: Smashing localization for rings of weak global dimension 1stovicek/math/presentation_loc-wgldi… · Smashing localization for rings of weak global dimension 1 Jan Št’ovícekˇ](https://reader033.vdocuments.us/reader033/viewer/2022050607/5faec8055309de0b5c4028dd/html5/thumbnails/72.jpg)
Example
Let R be a valuation domain with Spec R = {0,m} and m = m2.For instance
R ={ ∞∑
i=0
a i`x
i`
}(Puiseux series ring).Let Q be the quotient field and k = R/m the residue field.Then there are 5 homological epimorphisms:
1 R → 0,2 R → Q,3 R → R,4 R → k ,5 R → Q × k .
Only the first three correspond to compactly generatedlocalizations of D(ModR). Equivalently, an ordinary localizationwith respect to a multiplicative set.
Jan Št’ovícek (Charles University) Smashing localization for w.gl.dim. 1 June 17, 2014 15 / 16
![Page 73: Smashing localization for rings of weak global dimension 1stovicek/math/presentation_loc-wgldi… · Smashing localization for rings of weak global dimension 1 Jan Št’ovícekˇ](https://reader033.vdocuments.us/reader033/viewer/2022050607/5faec8055309de0b5c4028dd/html5/thumbnails/73.jpg)
Example
Let R be a valuation domain with Spec R = {0,m} and m = m2.For instance
R ={ ∞∑
i=0
a i`x
i`
}(Puiseux series ring).Let Q be the quotient field and k = R/m the residue field.Then there are 5 homological epimorphisms:
1 R → 0,2 R → Q,3 R → R,4 R → k ,5 R → Q × k .
Only the first three correspond to compactly generatedlocalizations of D(ModR). Equivalently, an ordinary localizationwith respect to a multiplicative set.
Jan Št’ovícek (Charles University) Smashing localization for w.gl.dim. 1 June 17, 2014 15 / 16
![Page 74: Smashing localization for rings of weak global dimension 1stovicek/math/presentation_loc-wgldi… · Smashing localization for rings of weak global dimension 1 Jan Št’ovícekˇ](https://reader033.vdocuments.us/reader033/viewer/2022050607/5faec8055309de0b5c4028dd/html5/thumbnails/74.jpg)
Example
Let R be a valuation domain with Spec R = {0,m} and m = m2.For instance
R ={ ∞∑
i=0
a i`x
i`
}(Puiseux series ring).Let Q be the quotient field and k = R/m the residue field.Then there are 5 homological epimorphisms:
1 R → 0,2 R → Q,3 R → R,4 R → k ,5 R → Q × k .
Only the first three correspond to compactly generatedlocalizations of D(ModR). Equivalently, an ordinary localizationwith respect to a multiplicative set.
Jan Št’ovícek (Charles University) Smashing localization for w.gl.dim. 1 June 17, 2014 15 / 16
![Page 75: Smashing localization for rings of weak global dimension 1stovicek/math/presentation_loc-wgldi… · Smashing localization for rings of weak global dimension 1 Jan Št’ovícekˇ](https://reader033.vdocuments.us/reader033/viewer/2022050607/5faec8055309de0b5c4028dd/html5/thumbnails/75.jpg)
Example
Let R be a valuation domain with Spec R = {0,m} and m = m2.For instance
R ={ ∞∑
i=0
a i`x
i`
}(Puiseux series ring).Let Q be the quotient field and k = R/m the residue field.Then there are 5 homological epimorphisms:
1 R → 0,2 R → Q,3 R → R,4 R → k ,5 R → Q × k .
Only the first three correspond to compactly generatedlocalizations of D(ModR). Equivalently, an ordinary localizationwith respect to a multiplicative set.
Jan Št’ovícek (Charles University) Smashing localization for w.gl.dim. 1 June 17, 2014 15 / 16
![Page 76: Smashing localization for rings of weak global dimension 1stovicek/math/presentation_loc-wgldi… · Smashing localization for rings of weak global dimension 1 Jan Št’ovícekˇ](https://reader033.vdocuments.us/reader033/viewer/2022050607/5faec8055309de0b5c4028dd/html5/thumbnails/76.jpg)
Example
Let R be a valuation domain with Spec R = {0,m} and m = m2.For instance
R ={ ∞∑
i=0
a i`x
i`
}(Puiseux series ring).Let Q be the quotient field and k = R/m the residue field.Then there are 5 homological epimorphisms:
1 R → 0,2 R → Q,3 R → R,4 R → k ,5 R → Q × k .
Only the first three correspond to compactly generatedlocalizations of D(ModR). Equivalently, an ordinary localizationwith respect to a multiplicative set.
Jan Št’ovícek (Charles University) Smashing localization for w.gl.dim. 1 June 17, 2014 15 / 16
![Page 77: Smashing localization for rings of weak global dimension 1stovicek/math/presentation_loc-wgldi… · Smashing localization for rings of weak global dimension 1 Jan Št’ovícekˇ](https://reader033.vdocuments.us/reader033/viewer/2022050607/5faec8055309de0b5c4028dd/html5/thumbnails/77.jpg)
Example
Let R be a valuation domain with Spec R = {0,m} and m = m2.For instance
R ={ ∞∑
i=0
a i`x
i`
}(Puiseux series ring).Let Q be the quotient field and k = R/m the residue field.Then there are 5 homological epimorphisms:
1 R → 0,2 R → Q,3 R → R,4 R → k ,5 R → Q × k .
Only the first three correspond to compactly generatedlocalizations of D(ModR). Equivalently, an ordinary localizationwith respect to a multiplicative set.
Jan Št’ovícek (Charles University) Smashing localization for w.gl.dim. 1 June 17, 2014 15 / 16
![Page 78: Smashing localization for rings of weak global dimension 1stovicek/math/presentation_loc-wgldi… · Smashing localization for rings of weak global dimension 1 Jan Št’ovícekˇ](https://reader033.vdocuments.us/reader033/viewer/2022050607/5faec8055309de0b5c4028dd/html5/thumbnails/78.jpg)
Example
Let R be a valuation domain with Spec R = {0,m} and m = m2.For instance
R ={ ∞∑
i=0
a i`x
i`
}(Puiseux series ring).Let Q be the quotient field and k = R/m the residue field.Then there are 5 homological epimorphisms:
1 R → 0,2 R → Q,3 R → R,4 R → k ,5 R → Q × k .
Only the first three correspond to compactly generatedlocalizations of D(ModR). Equivalently, an ordinary localizationwith respect to a multiplicative set.
Jan Št’ovícek (Charles University) Smashing localization for w.gl.dim. 1 June 17, 2014 15 / 16
![Page 79: Smashing localization for rings of weak global dimension 1stovicek/math/presentation_loc-wgldi… · Smashing localization for rings of weak global dimension 1 Jan Št’ovícekˇ](https://reader033.vdocuments.us/reader033/viewer/2022050607/5faec8055309de0b5c4028dd/html5/thumbnails/79.jpg)
A hint for the telescope conjecture?
There are valuation domains R with Zariski spectrum
Spec R : 0 $ p1 $ p2 $ p3 $ · · · $ m.
For instance those with the value group (Z(ω),≤lex).We do not know which pi ’s are idempotent, but m must be such! Inparticular, there certainly are smashing localizations of D(ModR)which are not compactly generated (the telescope conjecture failsfor D(ModR)).This is the same as Balmer’s spectrum of (SHp,∧, S0), the stablehomotopy category of p-local spectra. So compactly generatedlocalizations of SHp are formally the same as those of D(ModR).It is not known whether there are non-compactly generatedsmashing localizations of SHp. Another hint for the failure of thetelescope conjecture in stable homotopy theory?
Jan Št’ovícek (Charles University) Smashing localization for w.gl.dim. 1 June 17, 2014 16 / 16
![Page 80: Smashing localization for rings of weak global dimension 1stovicek/math/presentation_loc-wgldi… · Smashing localization for rings of weak global dimension 1 Jan Št’ovícekˇ](https://reader033.vdocuments.us/reader033/viewer/2022050607/5faec8055309de0b5c4028dd/html5/thumbnails/80.jpg)
A hint for the telescope conjecture?
There are valuation domains R with Zariski spectrum
Spec R : 0 $ p1 $ p2 $ p3 $ · · · $ m.
For instance those with the value group (Z(ω),≤lex).We do not know which pi ’s are idempotent, but m must be such! Inparticular, there certainly are smashing localizations of D(ModR)which are not compactly generated (the telescope conjecture failsfor D(ModR)).This is the same as Balmer’s spectrum of (SHp,∧, S0), the stablehomotopy category of p-local spectra. So compactly generatedlocalizations of SHp are formally the same as those of D(ModR).It is not known whether there are non-compactly generatedsmashing localizations of SHp. Another hint for the failure of thetelescope conjecture in stable homotopy theory?
Jan Št’ovícek (Charles University) Smashing localization for w.gl.dim. 1 June 17, 2014 16 / 16
![Page 81: Smashing localization for rings of weak global dimension 1stovicek/math/presentation_loc-wgldi… · Smashing localization for rings of weak global dimension 1 Jan Št’ovícekˇ](https://reader033.vdocuments.us/reader033/viewer/2022050607/5faec8055309de0b5c4028dd/html5/thumbnails/81.jpg)
A hint for the telescope conjecture?
There are valuation domains R with Zariski spectrum
Spec R : 0 $ p1 $ p2 $ p3 $ · · · $ m.
For instance those with the value group (Z(ω),≤lex).We do not know which pi ’s are idempotent, but m must be such! Inparticular, there certainly are smashing localizations of D(ModR)which are not compactly generated (the telescope conjecture failsfor D(ModR)).This is the same as Balmer’s spectrum of (SHp,∧, S0), the stablehomotopy category of p-local spectra. So compactly generatedlocalizations of SHp are formally the same as those of D(ModR).It is not known whether there are non-compactly generatedsmashing localizations of SHp. Another hint for the failure of thetelescope conjecture in stable homotopy theory?
Jan Št’ovícek (Charles University) Smashing localization for w.gl.dim. 1 June 17, 2014 16 / 16
![Page 82: Smashing localization for rings of weak global dimension 1stovicek/math/presentation_loc-wgldi… · Smashing localization for rings of weak global dimension 1 Jan Št’ovícekˇ](https://reader033.vdocuments.us/reader033/viewer/2022050607/5faec8055309de0b5c4028dd/html5/thumbnails/82.jpg)
A hint for the telescope conjecture?
There are valuation domains R with Zariski spectrum
Spec R : 0 $ p1 $ p2 $ p3 $ · · · $ m.
For instance those with the value group (Z(ω),≤lex).We do not know which pi ’s are idempotent, but m must be such! Inparticular, there certainly are smashing localizations of D(ModR)which are not compactly generated (the telescope conjecture failsfor D(ModR)).This is the same as Balmer’s spectrum of (SHp,∧, S0), the stablehomotopy category of p-local spectra. So compactly generatedlocalizations of SHp are formally the same as those of D(ModR).It is not known whether there are non-compactly generatedsmashing localizations of SHp. Another hint for the failure of thetelescope conjecture in stable homotopy theory?
Jan Št’ovícek (Charles University) Smashing localization for w.gl.dim. 1 June 17, 2014 16 / 16
![Page 83: Smashing localization for rings of weak global dimension 1stovicek/math/presentation_loc-wgldi… · Smashing localization for rings of weak global dimension 1 Jan Št’ovícekˇ](https://reader033.vdocuments.us/reader033/viewer/2022050607/5faec8055309de0b5c4028dd/html5/thumbnails/83.jpg)
A hint for the telescope conjecture?
There are valuation domains R with Zariski spectrum
Spec R : 0 $ p1 $ p2 $ p3 $ · · · $ m.
For instance those with the value group (Z(ω),≤lex).We do not know which pi ’s are idempotent, but m must be such! Inparticular, there certainly are smashing localizations of D(ModR)which are not compactly generated (the telescope conjecture failsfor D(ModR)).This is the same as Balmer’s spectrum of (SHp,∧, S0), the stablehomotopy category of p-local spectra. So compactly generatedlocalizations of SHp are formally the same as those of D(ModR).It is not known whether there are non-compactly generatedsmashing localizations of SHp. Another hint for the failure of thetelescope conjecture in stable homotopy theory?
Jan Št’ovícek (Charles University) Smashing localization for w.gl.dim. 1 June 17, 2014 16 / 16
![Page 84: Smashing localization for rings of weak global dimension 1stovicek/math/presentation_loc-wgldi… · Smashing localization for rings of weak global dimension 1 Jan Št’ovícekˇ](https://reader033.vdocuments.us/reader033/viewer/2022050607/5faec8055309de0b5c4028dd/html5/thumbnails/84.jpg)
A hint for the telescope conjecture?
There are valuation domains R with Zariski spectrum
Spec R : 0 $ p1 $ p2 $ p3 $ · · · $ m.
For instance those with the value group (Z(ω),≤lex).We do not know which pi ’s are idempotent, but m must be such! Inparticular, there certainly are smashing localizations of D(ModR)which are not compactly generated (the telescope conjecture failsfor D(ModR)).This is the same as Balmer’s spectrum of (SHp,∧, S0), the stablehomotopy category of p-local spectra. So compactly generatedlocalizations of SHp are formally the same as those of D(ModR).It is not known whether there are non-compactly generatedsmashing localizations of SHp. Another hint for the failure of thetelescope conjecture in stable homotopy theory?
Jan Št’ovícek (Charles University) Smashing localization for w.gl.dim. 1 June 17, 2014 16 / 16
![Page 85: Smashing localization for rings of weak global dimension 1stovicek/math/presentation_loc-wgldi… · Smashing localization for rings of weak global dimension 1 Jan Št’ovícekˇ](https://reader033.vdocuments.us/reader033/viewer/2022050607/5faec8055309de0b5c4028dd/html5/thumbnails/85.jpg)
A hint for the telescope conjecture?
There are valuation domains R with Zariski spectrum
Spec R : 0 $ p1 $ p2 $ p3 $ · · · $ m.
For instance those with the value group (Z(ω),≤lex).We do not know which pi ’s are idempotent, but m must be such! Inparticular, there certainly are smashing localizations of D(ModR)which are not compactly generated (the telescope conjecture failsfor D(ModR)).This is the same as Balmer’s spectrum of (SHp,∧, S0), the stablehomotopy category of p-local spectra. So compactly generatedlocalizations of SHp are formally the same as those of D(ModR).It is not known whether there are non-compactly generatedsmashing localizations of SHp. Another hint for the failure of thetelescope conjecture in stable homotopy theory?
Jan Št’ovícek (Charles University) Smashing localization for w.gl.dim. 1 June 17, 2014 16 / 16
![Page 86: Smashing localization for rings of weak global dimension 1stovicek/math/presentation_loc-wgldi… · Smashing localization for rings of weak global dimension 1 Jan Št’ovícekˇ](https://reader033.vdocuments.us/reader033/viewer/2022050607/5faec8055309de0b5c4028dd/html5/thumbnails/86.jpg)
A hint for the telescope conjecture?
There are valuation domains R with Zariski spectrum
Spec R : 0 $ p1 $ p2 $ p3 $ · · · $ m.
For instance those with the value group (Z(ω),≤lex).We do not know which pi ’s are idempotent, but m must be such! Inparticular, there certainly are smashing localizations of D(ModR)which are not compactly generated (the telescope conjecture failsfor D(ModR)).This is the same as Balmer’s spectrum of (SHp,∧, S0), the stablehomotopy category of p-local spectra. So compactly generatedlocalizations of SHp are formally the same as those of D(ModR).It is not known whether there are non-compactly generatedsmashing localizations of SHp. Another hint for the failure of thetelescope conjecture in stable homotopy theory?
Jan Št’ovícek (Charles University) Smashing localization for w.gl.dim. 1 June 17, 2014 16 / 16
![Page 87: Smashing localization for rings of weak global dimension 1stovicek/math/presentation_loc-wgldi… · Smashing localization for rings of weak global dimension 1 Jan Št’ovícekˇ](https://reader033.vdocuments.us/reader033/viewer/2022050607/5faec8055309de0b5c4028dd/html5/thumbnails/87.jpg)
A hint for the telescope conjecture?
There are valuation domains R with Zariski spectrum
Spec R : 0 $ p1 $ p2 $ p3 $ · · · $ m.
For instance those with the value group (Z(ω),≤lex).We do not know which pi ’s are idempotent, but m must be such! Inparticular, there certainly are smashing localizations of D(ModR)which are not compactly generated (the telescope conjecture failsfor D(ModR)).This is the same as Balmer’s spectrum of (SHp,∧, S0), the stablehomotopy category of p-local spectra. So compactly generatedlocalizations of SHp are formally the same as those of D(ModR).It is not known whether there are non-compactly generatedsmashing localizations of SHp. Another hint for the failure of thetelescope conjecture in stable homotopy theory?
Jan Št’ovícek (Charles University) Smashing localization for w.gl.dim. 1 June 17, 2014 16 / 16