Skip to the Main Content

Note:These pages make extensive use of the latest XHTML and CSS Standards. They ought to look great in any standards-compliant modern browser. Unfortunately, they will probably look horrible in older browsers, like Netscape 4.x and IE 4.x. Moreover, many posts use MathML, which is, currently only supported in Mozilla. My best suggestion (and you will thank me when surfing an ever-increasing number of sites on the web which have been crafted to use the new standards) is to upgrade to the latest version of your browser. If that's not possible, consider moving to the Standards-compliant and open-source Mozilla browser.

March 22, 2005

Derived Categories for Dummies, Part IV

Posted by Urs Schreiber

This time I will sketch the key steps in the argument that demonstrates that D-branes on CY with strings between them are described by the derived category of coherent sheaves on that space. In other words, I review Aspinwall’s review in a way that makes the key step memorizable.

So the claim ist that the structure that describes D-brane configurations is a derived category of coherent sheaves. More precisely, this is one of several ways to describe this setup, as there turn out to be other, equivalent ways. For instance this derived categroy of coherent sheaves is equivalent to what is called a triangulated Fukaya categroy and also to (at least for a large number of cases) the derived category of representations of some quiver (which I mentioned already in part III). These equivalent ways to express the same category correspond to equivalent but different (“dual”) ways to look at the physics of these branes. For instance the relation between triangulated Fukaya categories and derived categories of coherent sheaves is related to mirror symmetry.

I hope to give a rough impression of how all that comes about in the following by condensing the key ideas out of Aspinwall’s review.

The proof proceedes in the steps listed below. A couple of them involve simplifying assumtions which, after the consequences have been worked out, are then removed at the end.

Step -1.

Before really beginning I have to make up for something that I should have mentioned in part II, namely the Ext-functors. Actually, given the way how I proceeded in this series of posts, I should have a seperate post on Ext-functors and on what are called Tor-functors. Maybe I do that next time. Up to then the following has to suffice:

I discussed in part II how from suitable functors F:AB one gets functors Ch(F):Ch(A)Ch(B) in the obvious way, namely by just applying F to an entire complex in A, morphism-by-morphism.

Now, one very important functor is the Hom-functor. But that is not quite ‘suitable’ in the above sense. One still would like to have a generalization of Hom applied to A and B to something which can be applied to Ch(A) and Ch(B).

However, there is a natural way in which, given objects 𝒜 Ch(A) and Ch(B) the array of groups

(1)E p,q:=Hom(𝒜 p, q)

can be turned into a double complex. This is described in 2.7.4 of Weibel’s book, for instance. The total complex of that double complex is called the total Hom cochain complex of abelian groups. In fact, this gives rise to a functor

(2)Hom :K(A) op×K(A)K(Ab)

to the category of chain complexes (up to chain homotopy) of abelian groups.

Being a functor on K-categories we can consider its lift to derived categories (by inverting quasi-isomorphisms), i.e. consider its derived functor

(3)RHom (A ,).

The nth cohomology of this functor is what is called Ext. More precisely, one writes

(4)Ext n(𝒜 , ):=H n(RHom (𝒜 , )).

That all sounds convoluted at first but once one thinks about it a little while it is all rather natural.

Step 0. To begin with, the physical setup is suitably simplified, so that any progress at all becomes possible. One considers D-branes on Calabi-Yau spaces and then switches to one of the the two topological string theories asscociated with that.

Step 1. Concentrate on the topological B-model. Consider open B-strings between manifold-like space-filling branes E and F, i.e. between branes that can truly be regarded as manifolds with fiber bundles on them.

Call these fiber bundles also E and F, respectively. Since the BRST operator in the B-model acts just like the antiholomorphic exterior derivative one sees that the Hilbert space E,F q of B-strings of intrinsic ghost number q stretching between the branes E and F, which must be the qth cohomology group of Q,

(5) E,F q=H q(Q)

is hence the (0 ,q)th Dolbeault cohomology group of our CY with respect to (p,q) forms taking values in the space of bundle homomorphisms from E to F, i.e.

(6) E,F=H ¯ 0 ,q(X,Hom(E,F)).

3. Steps 1. and 2. were the first piece of physics input. Now one makes use of a mathematical fact which says that this cohomology group can be algebraically reformulated in terms of a right derived functor. It is a theorem that

(7)H ¯ 0 ,q(X,Hom(E,F))=Ext q(,)

where

- and are the sheaves of sections of the bundles E and F, repsectively

- Ext q(,) is the right derived functor of the functor Hom(,) in the category of coherent sheaves

- where the category of coherent sheaves is like that of locally free sheaves (= vector bundles) but with enough cokernel objects thrown in so as to make it an abelian categrory,

i.e.

(8)Ext q(,)=R q(Hom(,))

in the notation of part II.

The derivation of this could be summarized by a couple of sub-steps, which are however not strictly necessary in order to move on to step 4.

Step 4. The above tells us that topological string states between manifold-like branes are elements of Ext q(,). In order to generalize this to the most general kind of brane we need some physics input again. New types of branes are obtained by deforming the theory. If Q is a valid BRST operator, then so is

(9)Q˜=Q+d

when the deformation operator d is of ghost number one and such that

(10)(Q˜) 2 =0 {Q,d}+d 2 =0 .

For an infinitesimal deformation d is supposed to be a vertex operator so that {Q,d}=0 . This leaves us with the condition

(11)d 2 =0 .

Step 5. In order to identify the admissable set of deformation operators d one makes a little analysis of the ghost number structure. A real understanding of this issue requires a look at the A-model. From that one sees that the manifold-like D-branes that we had should be assigned a ghost number n=μ(). If n is a manifold-like D-brane of ghost number n then a more general D-brane state now looks like

(12)= n n.

Then a string state stretching from n to m has a ghost number mn in addition to its intrinsic ghost number q (the Dolbeault degree), i.e. the total ghost number is

(13)q+mn.

Out of all the qhost number 1 deformation operators d that we could construct this way one now focuses on the subset of the form

(14)d= nd n

with

(15)d nExt 0 ( n, n+1 ),

i.e. those that have ‘intrinisc’ ghost number zero and correspond to strings stretching between manifold-like D-branes that differ by 1 in their ghost number. The reason for that is once again that in the end it will turn out sufficient to regard just this case.

This somewhat non-elegant physical derivation is now readily seen to result in a very elegant mathematical structure:

The condition d 2 =0 says nothing but that associated to every deformation operator d of the above kind is associated a (‘cochain’) complex of coherent sheaves n

(16)d n1 nd n n+1 d n+2 .

It is maybe worthwhile to pause a second and recall how the physics here is beginning to give rise to the structures we know from derived categories: we found that

1) The Hilbert space of topological strings between manifold-like branes happens to be exactly described by the derived functor (described in part II) of homomorphisms between the coherent sheaves associated to the two branes.

2) By deforming the BRST operator one finds that more general (not necessarily manifold-like) D-branes are described by complexes of coherent sheaf homomorphisms. These complexes are of course precisely the objects in the derived category of coherent sheaves, as described in part I.

Step 6.

Step 5. has given us a more general set of D-branes then we originally considered, i.e. than were described by the original BRST operator Q. Now that we have more general BRST operators Q˜=Q+d we need to compute again the Hilbert space of strings, now with respect to that new operator, i.e. we have to compute the cohomology groups of Q˜.

Since Q 2 =0 and d 2 =0 and {Q,d}=0 it follows that the cohomology of Q˜ is related to what is called the total cohomology of a double complex.

Again, there is some general abstract nonsense that tells us that the qth cohomology group of Q˜=Q+d for strings stretched between D-branes described by complexes and , is given by Ext( , ), as described in step -1:

(17) , q=Ext q( , ).

As with the other purely mathematical step, number 3, this could be described in more detail, which however I am currently lacking time and energy for. Instead I hurry to get to the final step:

Step 7.

Lean back and contemplate what has happened here. Up to loads of details that I have swept under the carpet this shows that topological strings with their topological branes on a Calabi-Yau X are described by the derived category of coherent sheaves on X.

One thing among many that remains to be discussed is how this now generalizes to ‘physical’ strings (i.e. the ordinary fundamental ones which are not topological).

Posted at March 22, 2005 9:56 AM UTC

TrackBack URL for this Entry:   http://golem.ph.utexas.edu/cgi-bin/MT-3.0/dxy-tb.fcgi/538

0 Comments & 11 Trackbacks

Read the post D-Branes in Landau-Ginzburg Models
Weblog: The String Coffee Table
Excerpt: Some elementary background on B-branes in LG models.
Tracked: December 8, 2005 7:09 PM
Read the post E. Sharpe on Derived Categories
Weblog: The String Coffee Table
Excerpt: Encyclopedia article on derived categories by E. Sharpe.
Tracked: December 13, 2005 9:40 AM
Read the post TCFT, Part I
Weblog: The String Coffee Table
Excerpt: Some basic ideas of TCFT.
Tracked: January 10, 2006 4:29 PM
Read the post Seminar on 2-Vector Bundles and Elliptic Cohomology, I
Weblog: The String Coffee Table
Excerpt: Review of the 2-vector approach towards elliptic cohomology. Part I.
Tracked: February 2, 2006 7:01 PM
Read the post Huybrechts on Branes in K3, I
Weblog: The String Coffee Table
Excerpt: Huybrechts analyzes the relation between topological and BPS branes on K3 surfaces.
Tracked: April 21, 2006 12:35 PM
Read the post Some Links
Weblog: The String Coffee Table
Excerpt: A paper on TQFT and String Topology, some lecture notes on derived categories and a paper on TCFT.
Tracked: May 29, 2006 10:51 PM
Read the post Homological Mirror Symmetry Literature
Weblog: The String Coffee Table
Excerpt: Some literature on homological mirror symmetry and related issues.
Tracked: June 10, 2006 11:58 PM
Read the post Herbst, Hori & Page on Equivalence of LG and CY
Weblog: The String Coffee Table
Excerpt: Hori and Herbst on equivalence of Landau-Ginzburg and Calabi-Yau TFT models using gauged linear sigma models.
Tracked: July 18, 2006 4:37 PM
Read the post Quillen's Superconnections -- Functorially
Weblog: The String Coffee Table
Excerpt: On how to interpret the superconnections appearing on brane/anti-brane configurations in terms of functorial transport.
Tracked: July 27, 2006 1:44 PM
Read the post Amplimorphisms and Quantum Symmetry, II
Weblog: The n-Category Café
Excerpt: A remark on the appearance of iterated module n-categories in quantum field theory.
Tracked: February 25, 2007 4:38 PM
Read the post Bergman on Infinity-Vector Bundles Coupled to Topological Strings
Weblog: The n-Category Café
Excerpt: topological string, B-model, derived category, B-brane, infinity-vector space, infinity connection
Tracked: August 17, 2008 1:15 PM

Post a New Comment