notes on derived categories and motives
play

Notes on derived categories and motives Daniel Krashen Table of - PowerPoint PPT Presentation

Notes on derived categories and motives Daniel Krashen Table of Contents Introduction The bounded derived category of a variety Quick and dirty derived categories Triangulated categories Homotopy categories and derived categories Comparison


  1. Notes on derived categories and motives Daniel Krashen

  2. Table of Contents Introduction The bounded derived category of a variety Quick and dirty derived categories Triangulated categories Homotopy categories and derived categories Comparison of derived categories K-theory, Chow groups and the Chern character The motive of a variety Relations and conjectures

  3. Table of Contents Introduction The bounded derived category of a variety Quick and dirty derived categories Triangulated categories Homotopy categories and derived categories Comparison of derived categories K-theory, Chow groups and the Chern character The motive of a variety Relations and conjectures

  4. Motives ↔ Derived categories moral similarity both sit in between geometric objects and thier cohomology

  5. Motives ↔ Derived categories moral similarity both sit in between geometric objects and thier cohomology differences

  6. Motives ↔ Derived categories moral similarity both sit in between geometric objects and thier cohomology differences ◮ different kinds of things: object in Abelian category vs triangulated category

  7. Motives ↔ Derived categories moral similarity both sit in between geometric objects and thier cohomology differences ◮ different kinds of things: object in Abelian category vs triangulated category ◮ designed to handle different kinds of decompositions: spaces vs coefficients

  8. Comparison: K-theory and Chow groups analogy The derived category is to motives as K-theory is to Chow groups These are related via the Chern character / Riemann-Roch

  9. Comparison: K-theory and Chow groups analogy The derived category is to motives as K-theory is to Chow groups These are related via the Chern character / Riemann-Roch enrichments The derived category carries richer information than K-theory, and Motives carry richer information than Chow groups.

  10. Comparison: K-theory and Chow groups analogy The derived category is to motives as K-theory is to Chow groups These are related via the Chern character / Riemann-Roch enrichments The derived category carries richer information than K-theory, and Motives carry richer information than Chow groups. Question Is it possible that these carry very similar information at the end?

  11. Table of Contents Introduction The bounded derived category of a variety Quick and dirty derived categories Triangulated categories Homotopy categories and derived categories Comparison of derived categories K-theory, Chow groups and the Chern character The motive of a variety Relations and conjectures

  12. Table of Contents Introduction The bounded derived category of a variety Quick and dirty derived categories Triangulated categories Homotopy categories and derived categories Comparison of derived categories K-theory, Chow groups and the Chern character The motive of a variety Relations and conjectures

  13. � � � cochain complexes Definition For an Abelian category A , let coCh ∗ ( A ) (where ∗ is either “empty” or is one of the symbols + , − , b), be the category whose objects are sequences of objects and morphisms of A of the form: A • = · · · d i − 1 → A i +1 d i +1 d i → A i − − − → · · · where A n = 0 if n >> 0 in case ∗ = + , or if n << 0 in case ∗ = − , or if | n | >> 0 in case ∗ = b, and such that d i +1 d i = 0 for all i. Morphisms f • : A • → B • defined to be collections of morphisms f i : A i → B i such that we have commutative diagrams: A i A i +1 f i f i +1 � B i +1 B i

  14. quasi-isomorphisms Definition � d : A n → A n +1 � ker H n ( A ) = d : A n − 1 → A n � . � im f • : A • → B • induces H n ( f • ) : H n ( A • ) → H n ( B • ).

  15. quasi-isomorphisms Definition � d : A n → A n +1 � ker H n ( A ) = d : A n − 1 → A n � . � im f • : A • → B • induces H n ( f • ) : H n ( A • ) → H n ( B • ). Definition f • : A • → B • is a quasi-isomorphism if H ( f • ) is an isomorphism for all n.

  16. localization of a category Theorem Let B be an arbitrary category and S an arbitrary class of morphisms of B . Then there exists a category B [ S − 1 ] and a functor Q : B → B [ S − 1 ] with the following universal property:

  17. localization of a category Theorem Let B be an arbitrary category and S an arbitrary class of morphisms of B . Then there exists a category B [ S − 1 ] and a functor Q : B → B [ S − 1 ] with the following universal property: ◮ Q ( f ) is an isomorphism for every f ∈ S,

  18. localization of a category Theorem Let B be an arbitrary category and S an arbitrary class of morphisms of B . Then there exists a category B [ S − 1 ] and a functor Q : B → B [ S − 1 ] with the following universal property: ◮ Q ( f ) is an isomorphism for every f ∈ S, ◮ given any functor F : B → D such that F ( f ) is an isomorphism for every f ∈ S, there exists a unique functor G : B [ S − 1 ] → D such that F = G ◦ Q.

  19. localization of a category Theorem Let B be an arbitrary category and S an arbitrary class of morphisms of B . Then there exists a category B [ S − 1 ] and a functor Q : B → B [ S − 1 ] with the following universal property: ◮ Q ( f ) is an isomorphism for every f ∈ S, ◮ given any functor F : B → D such that F ( f ) is an isomorphism for every f ∈ S, there exists a unique functor G : B [ S − 1 ] → D such that F = G ◦ Q. Definition For an Abelian category A , let QI ∗ ( A ) to be the collection of quasi-isomorphisms in coCh ∗ ( A ) . We define: D ∗ ( A ) = coCh ∗ ( A )[( QI ∗ ( A ) − 1 ] .

  20. D ∗ ( X ) Definition Let X be a scheme. We define D ∗ ( X ) to be the derived category D ∗ ( Coh ( X )) where Coh ( X ) is the Abelian category of coherent sheaves on X.

  21. D ∗ ( X ) Definition Let X be a scheme. We define D ∗ ( X ) to be the derived category D ∗ ( Coh ( X )) where Coh ( X ) is the Abelian category of coherent sheaves on X. Problems

  22. D ∗ ( X ) Definition Let X be a scheme. We define D ∗ ( X ) to be the derived category D ∗ ( Coh ( X )) where Coh ( X ) is the Abelian category of coherent sheaves on X. Problems ◮ triangulated structure of D ∗ ( X ) not apparent,

  23. D ∗ ( X ) Definition Let X be a scheme. We define D ∗ ( X ) to be the derived category D ∗ ( Coh ( X )) where Coh ( X ) is the Abelian category of coherent sheaves on X. Problems ◮ triangulated structure of D ∗ ( X ) not apparent, ◮ hom sets difficult to compute and compose.

  24. D ∗ ( X ) Definition Let X be a scheme. We define D ∗ ( X ) to be the derived category D ∗ ( Coh ( X )) where Coh ( X ) is the Abelian category of coherent sheaves on X. Problems ◮ triangulated structure of D ∗ ( X ) not apparent, ◮ hom sets difficult to compute and compose. Solutions

  25. D ∗ ( X ) Definition Let X be a scheme. We define D ∗ ( X ) to be the derived category D ∗ ( Coh ( X )) where Coh ( X ) is the Abelian category of coherent sheaves on X. Problems ◮ triangulated structure of D ∗ ( X ) not apparent, ◮ hom sets difficult to compute and compose. Solutions ◮ alternate, more concrete construction,

  26. D ∗ ( X ) Definition Let X be a scheme. We define D ∗ ( X ) to be the derived category D ∗ ( Coh ( X )) where Coh ( X ) is the Abelian category of coherent sheaves on X. Problems ◮ triangulated structure of D ∗ ( X ) not apparent, ◮ hom sets difficult to compute and compose. Solutions ◮ alternate, more concrete construction, ◮ comparison of derived categories of related Abelian categories.

  27. Table of Contents Introduction The bounded derived category of a variety Quick and dirty derived categories Triangulated categories Homotopy categories and derived categories Comparison of derived categories K-theory, Chow groups and the Chern character The motive of a variety Relations and conjectures

  28. � � Notational preliminaries Let T be an additive category, T : T → T an additive equivalence (autequivalence). Notation f � B to mean f is a morphism from A to TB . We will write A Warning: this is not a standard notation! or equivalently � B A C Morphisms of triangular diagrams are collections of morphisms making commutative diagrams.

  29. � � Notational preliminaries Let T be an additive category, T : T → T an additive equivalence (autequivalence). Notation f � B to mean f is a morphism from A to TB . We will write A Warning: this is not a standard notation! Notation A triangular diagram is a collection of objects and morphisms of the form A → B → C → TA . or equivalently � B A C Morphisms of triangular diagrams are collections of morphisms making commutative diagrams.

  30. Definition overview Definition A triangulated category is an additive category T with an autoequivalence T, and a class of triagular diagrams ∆ , called distinguished triangles, which satisfy

  31. Definition overview Definition A triangulated category is an additive category T with an autoequivalence T, and a class of triagular diagrams ∆ , called distinguished triangles, which satisfy ◮ Axiom TR1

  32. Definition overview Definition A triangulated category is an additive category T with an autoequivalence T, and a class of triagular diagrams ∆ , called distinguished triangles, which satisfy ◮ Axiom TR1 ◮ Axiom TR2

Recommend


More recommend