Sorry for the delay, but I’ve been incredibly busy and this topic is basically lowest priority right now. Today we will finish describing the “B-side” of mirror symmetry. The typical way this is done is with -categories. I’m going to do it using dg-categories, because I’m much more comfortable with the language. Since we are working over it turns out these two things are exactly the same. I won’t go into why that is the case (probably because I don’t have an understanding why they are). The reason it is called the “B-side” is that we are constructing what is called the B-model. The statement of mirror symmetry will be something along the following lines: the B-model on is equivalent to the A-model on where is that mirror pair we looked at here.
The two different “models” have something to do with string theory that I definitely don’t understand. As I said above we will need the notion of a dg-category. Without being incredibly careful with this definition (we’ll see later that this essentially adds no information to our derived category) a dg-category, , (over ) is a collection of objects such that for any pair of objects and any integer we have a -module. This should be thought of as morphisms in degree . There is a composition of morphisms, and it should act like multiplication in a graded ring, so is bilinear and associative.
There needs to be an identity map in degree zero for any object which we notate . So far nothing should feel strange to you, but our final condition is that there is a differential with the property that (i.e. is a complex with respect to the differential) satisfying a graded Leibniz rule .
If you want something to help you wrap your head around this here is an analogy. A groupoid is a category in which every morphism is invertible, so you can think of any group as a groupoid by taking the category to have only one object and . In a similar way, a dg-category or “differential graded” category can be formed by taking any differential graded algebra and then forming the category with exactly one object and . All those definitions are just basically turning the definition of a differential graded algebra into a category in a consistent way.
Let be a smooth projective variety over . Then we have already constructed a triangulated category , the derived category. This is not a dg-category, but we can ask if there is a dg-enhancement. It is a bit technical to describe what this means, but roughly an enhancement is asking for a dg-category where the homotopy category is equivalent to . Here means to take the same objects and define the morphisms to just be the -th cohomology .
There are varying levels of strength of what it means to be a unique enhancement mostly stemming from the fact that there is a choice of equivalence that may or may not be respected. Again, we’ll skip over these technicalities because the hope is to take away from these posts a general flavor of what mirror symmetry says rather than trying to describe all the technical details (the Clay Math book called “Mirror Symmetry” is 929 pages for goodness sake!). Thanks to Lunts and Orlov when our variety is projective we get that there always exists a dg-enhancement and it is unique in the strongest sense.
A priori a dg-category is big with lots of information and behaves nicely (is relatively easy to work with). A triangulated category has very little structure and behaves rather poorly (is difficult to work with). This enhancement theorem says that it doesn’t really matter which one we work with if we care about which should be surprising. Somehow is just the -th part of the big dg-category so for instance having an equivalence of the triangulated categories doesn’t seem strong enough to be able to extend it to an equivalence of the whole dg-structure, but it is.
To conclude this half of the series, suppose we have a Calabi-Yau threefold , then for our purpose we will call the B-model of denoted by to be the unique dg-enhancement of . Mirror symmetry will eventually be an equivalence (as dg-categories) with . This means we need to move on to the -model.