Last time, we talked about hearts of a triangulated category, and how they corresponded to subcategories that allowed us to uniquely factor objects in the derived category. Using this philosophy, we discovered that finding a way to factor the heart itself into two pieces (a ‘torsion pair’) gave us a way of making a new heart.
Today, I will talk about a specific example of an abelian category that doesn’t just factor into two pieces, but instead factors into pieces. This is the theory of semistable bundles on a projective curve. Motivated by this example, I will define a ‘slicing’ of a triangulated category, which is roughly when you have a heart that factors alot. Then, I will attempt to motivate why the ‘set of all slicings’ of a triangulated category is not the right thing to look at. The concept needs to be rigidified before the corresponding space is nice. Answering this is the notion of a ‘stability condition’, which I will define. Finally, I will talk about why this is a nice notion, and some current research into these spaces.
These notes are going up later than I intended; I gave the talk these cover earlier today. Grading reared its ugly head and I was only able to work on the talk for a few hours beforehand.
Let be a smooth, projective complex curve. Then for any vector bundle on , I define the following quantity:
I also have the following pair of definitions:
Def. A vector bundle is semistable (resp. stable) if, for any sub-bundle , (resp. ).
The strength of these concepts comes from the following key fact: if and are both semistable bundles with , then . This is because the image of in would have to be another vector bundle, but simple computations show that this bundle would have to have a higher slope than and a lower slope than .
Since we would like to start talking about all coherent modules on , and not just the locally free ones (vector bundles), we employ the following cheat. We simply declare any coherent module which admits no maps into a vector bundle is semisimple of slope . Then the above key fact still holds automatically.
The reason semistable bundles are important for factoring derived categories is the following theorem of Harder and Narasimhan.
Thm. Let be a coherent module on . Then there is a series of inclusions:
such that is semistable of slope and .
Note: as always, this factorization is unique.
Notation: Let and .
This is a suggestively similar to the property that hearts have, in that it tells us how to make anything as a sequence of extensions in a canonical way. One immediate advantage of this is that we can make a wide array of torsion pairs. For any real number , let
These then clearly form a torsion pair; this means we get a whole family of new hearts of parametrized by .
Having an family of hearts has an unexpected consequence; it gives us a topology on the hearts that appear. By having an infinite number of linearly ordered pieces in which to factor the heart, we get a notion of ‘deforming’ a heart into a nearby heart. If possible, we would like to extend this topology to the set of all hearts.
So what did the Harder-Narasimhan filtration really mean for ? Given any derived object, we could first use the defining property of the heart to express it as a sequence of extensions by objects in shifts of the heart. Then, each object in the heart (or its shifts) could be expressed as a sequence of extensions by semistable objects of descending slope. Combining these two, any derived object can be uniquely expressed as a sequence of extensions by shifts of semistable objects of descending slope, with the assumption that a shift decreases the slope by , some infinite quantity. Let’s turn this into a definition:
Def. A slicing of a triangulated category is a family of full subcategories , such that:
2) If , and , then .
3) For all , there exists a diagram:
such that and .
Define and .
Note: as always, the definition automatically will imply the factorization is unique.
It should be clear from the above discussion that has a slicing given by semistable bundles of slope (for between 0 and 1, extending by shifts).
Given a slicing of and a real number , the full subcategory consisting of objects such that and is a heart. Thus, any slicing determines an family of hearts.
It is tempting at this point to consider the set of slicings on a given triangulated category and ask if it has a natural topology. One can define an (almost) metric on the set of all slicings by taking the max of the differences and as runs over all objects in the category. The problem one runs into here is that this new space is infinite-dimensional; the notion of slicing is too floppy. For instance, notice that for any order-preserving map from into itself which fixes the integers, one can re-index the slicing to get a new slicing. If we want a space that is nice, we need a more rigid notion.
Interlude: K-theory of an Abelian Category
First, however, I would like to spend a small amount of time building up the tool of K-theory. Depending on your background, this might be a different kind of thing than you usually think about as K-theory, so be forewarned.
The motivating question here: Is there someway of talking about all the ‘pieces’ an object in an abelian category is made of, without writing down exactly how to make it? I am thinking of an extension
as telling me that is ‘made out of’ and . So, for instance, I consider the Harder-Narasimhan filtration as telling me how to ‘make’ any bundle from semi-stable bundles.
The problem is that there are often lots of interesting extensions between any two objects in an abelian category, and so an object is often very far away, conceptually, from a set of objects that it is made from. However, there do exist categories where there are no non-trivial extensions. Take, for example, the category of finite dimensional vector spaces. Knowing that a given vector space is made from a set of other vector spaces completely determines it: it is isomorphic to their direct sum. This immediately implies that every vector space is isomorphic to a direct sum of simple vector spaces. Furthermore, we recall that it is useful to talk about the ‘dimension’ of a vector space, which we can do without having a specific basis in mind. This is an example of a way in which we already prefer to think about what pieces an object is made from (how many copies of , without worrying about the details of how to make it from those pieces (choosing a basis).
This leads to the following construction. For any abelian category , consider the (quite large) free abelian group generated by the objects. Then, impose the relations that, given any short exact sequence
then , where parenthesis indicate their image in . Call this quotient group the K-group of .
Given any object in , its image in only depends on the simple objects that can be made from. Therefore, in the case of f.d. vector spaces, we recover dimension, and in the case of coherent sheaves on a projective curve, we get something that only depends on the pieces of the Harder-Narasimham filtration.
Useful fact: Given a quiver , the K-group of its category of representations is just the free abelian group generated by the vertices of the quiver. The crude reason this is true is that an arrow in a quiver is equivalent to defining a non-trivial extensions of its source by its target. The K-group crushes out all this information, so it effectively throws away the arrows.
Using the prevailing mantra that the exact triangles in a triangulated category are the right analogs of short exact sequences, the K-group of a triangulated category can be defined completely the same. However, we now have the following observation. Given an exact triangle , then . But, is also exact, so . Therefore, the shift map induces multiplication by -1 on the K-group.
Now what if the category at hand is ? Every object must factor into a series of extensions by shifts of objects in the heart. Therefore, in the K-group, every element must be the sum of elements generated by the heart; ie, . So as long as we only think about derived categories, K-groups aren’t anything new.
It is also an interesting consequence of this that if two abelian categories are (bounded) derived equivalent, they must have isomorphic K-groups. For those who know the Beilinson equivalence, this shows that .
We now have the tools we need to define a stability conditions, but lets try a small amount of motivation first. Given a short exact sequence of vector bundles on a smooth projective curve
one cannot compute in terms of and . This is frustating, because one can compute both the degree and the rank of from the degree and rank of the consituent elements. Therefore, I can try to beef up the concept of slope by using the complex numbers:
This number is called the central charge. It is clear that I can recover the slope from the central charge by just taking the complex phase. But now, given a short exact sequence as above, . To put this in fancier language, defines a homomorphism from to .
This leads to the following big defintion.
Def. A stability condition on a triangulated category is a slicing , together with a homomorphism from to such that for every non-zero element in any ,
for a positive real number called the mass of .
The existance of a central charge limits how much the slicing can be flopped around, which would make one hope that the space of stability conditions is nice. This is largely true, modulo one technical detail. For this, we need to delve into a technical defintion that the uninterested reader is invited to skip.
Def. Given a slicing on , let be the extension-closed full subcategory generated by , for .
Then a slicing is locally-finite if, for all , there is an such that has only finite length chains of non-zero monomorphisms and epimorphisms. Here, a monomorphism is any arrow that is the first arrow of an exact triangle contained entirely in , and a similar definition for epimorphisms.
This definition is unfortunately unintuitive, but its purpose is reasonable. We want to talk about the space of all stability conditions, but we want to rule out ‘degenerate’ stability conditions, like those with all the non-zero objects sitting in . Locally-finiteness will assure us that too much information is never crammed into one piece of the slicing.
This leads us to a big theorem, which is the main reason for these two talks.
Thm. (Bridgeland, 2002) Let be the space of locally-finite stability conditions on a triangulated category . Then is a manifold with dimension bounded above by the number of generators of .
Additionally, if for a smooth projective manifold, then this manifold is finite-dimensional.
It is important to point out that at no point does the theorem assert that the space is non-empty. Arguably the hardest part of working with these spaces for all but the most basic categories is showing the existance of even one stability condition.
For triangulated categories that do not correspond to smooth projective manifolds, it is an area of active research to show that this manifold is still finite-dimensional. For example, I believe this is known for the derived category of Kleinian singularies.
This space also has actions of both and on it, which has proved useful for understanding . This is one of the main areas in which stability conditions are expected to be productive. It is also not known whether all spaces of stability conditions are contractible, which would mean that there was effectively only one choice of a stability condition (provided there was any).
Alright, I think I’ll shut up, since this is a pretty long post as it is. Anyone still curious about stability conditions is encouraged to read some of Bridgeland’s pre-prints on the arxiv, which are very readable and informative.