I promised some sort of an explanation of Kontsevich mirror symmetry. Going in there are two things to know. First, it is a conjecture so it hasn’t been established yet. Second, it isn’t even really a well-formulated conjecture. There are cases where there is a firm conjecture, but there are other cases where part of the conjecture is to figure out what the conjecture should be.
The other thing I should point out is that this is sometimes called “homological mirror symmetry”. The general form is that a certain derived category should be equivalent to a certain other category. This means that for at least the first two posts of this series I will only be describing two different categories and it won’t be at all obvious why this should be related to the mirror symmetry I alluded to last time.
Today we’ll discuss what the derived category of an abelian category is. In your head you can just keep thinking that our category is the abelian category of coherent sheaves on some sufficiently nice scheme or variety, since this is what will come up in mirror symmetry. I see absolutely no reason why I shouldn’t do the construction in the more general case of an aribtrary abelian category since it doesn’t introduce any extra difficulties (and for algebraists you can just think of -modules or something).
The notation in the literature varies greatly. I’m going to follow Huybrechts. Let be an abelian category. One basic related category is to form which is the category of complexes. The objects are chain complexes and morphisms are just maps for all that commute with the morphisms in the complex. This is again an abelian category and there is an embedding as a full subcategory by where sits in degree .
Given any object in (i.e. any complex of objects from ) we can take cohomology . The cohomology lies in . Given a morphism of complexes there is an induced map on each cohomology . If induces an isomorphism for all we say that is a quasi-isomorphism.
Loosely speaking the derived category is a category (not necessarily abelian) in which quasi-isomorphisms become isomorphisms. One way to construct it is by proving the existence of a functor that takes quasi-isomorphisms to isomorphisms and satisfies a certain universal property. This isn’t so easy to work with so we’ll describe in a different way.
Recall that two morphisms are homotopy equivalent if there is a collection of maps such that . We can form often called the homotopy category of where the objects are still just complexes, but a morphism of complexes is an equivalence class where the relation is being homotopy equivalent.
The functor factors through . To describe the derived category I’ll just tell you the objects and the morphisms. The objects are still just complexes, i.e. the objects of . The morphisms are trickier to describe. A morphism is a choice of (equivalence class of) quasi-isomorphism plus a map (in ) .
This may look weird at first, but recall that all we are really trying to do is make all our quasi-isomorphisms actual isomorphisms. Thus when giving a morphism you may need to pick something isomorphic before defining the map, and then since factors through everything must be done only up to homotopy equivalences.
The derived category is no longer abelian, but it is what is known as a triangulated category. We will not talk about the general definition of one of these, since it is a sort of ad hoc, difficult, poorly behaved definition. Some people might tell you that the reason for the bad behavior is actually a result of forgetting too much stuff. You are actually decategorifying (an -delooping, whatever that means) a stable -category which is a very nicely behaved structure and you may as well just work with the nicer thing.
Now whether or not you actually believe this (I’m on the fence myself) there is a much nicer, easier to understand way to say this for the derived category of coherent sheaves on a projective variety. We’ll talk about this next time, because it is actually a necessary part of the statement of Kontsevich Mirror Symmetry.