# Donaldson-Thomas Invariants in Physics

+ 7 like - 0 dislike
511 views

First of all, I am sorry for there are a bunch of questions (though all related)and may not be well framed.

What are the DT invariants in physics. When one is computing DT invariants for a Calabi-Yau manifold, what is one computing in physics?

What about the generalized (motivic) version?

Also what does the Gromov-Witten/DT correspondence (MNOP) say in terms of physics, are there (strong) physical reasons to believe such a correspondence.

Please suggest some useful references. Thanks.

This post imported from StackExchange MathOverflow at 2015-01-22 11:47 (UTC), posted by SE-user J Verma
retagged Jan 22, 2015

+ 11 like - 0 dislike

Donaldson-Thomas invariants in mathematics are a virtual count of sheaves (or possibly objects in the derived category of sheaves) on a Calabi-Yau threefold. In physics, sheaves (and more generally objects in the derived category) are considered as models for D-branes in the topological B-model and Donaldson-Thomas invariants are counts of the BPS states of various D-branes systems. For example, the "classical" DT invariants that are considered by MNOP count ideal sheaves of subschemes supported on curves and points. You will hear physicists refer to such invariants as "counting the states of a system with D0 and D2 branes bound to a single D6 brane". The single D6 brane here is the structure sheaf $\mathcal{O}_X$ and the D0 and D2 branes form the structure sheaf $\mathcal{O}_C$ of the subscheme $C$ (which is supported on curves and points) and the term "bound to" refers to the map $\mathcal{O}_X \to \mathcal{O}_C$ because they are replacing the ideal sheaf with the above two-term complex (which are equivalent in the derived category. Note that the $k$ in D$k$-brane refers to the (real) dimension of the support.

There is a discussion of the meaning of the motivic DT invariants in physics in the paper "Refined, Motivic, and Quantum" by Dimofte and Gukov (http://arxiv.org/pdf/0904.1420) where the basic claim is that the motivic invariants and the "refined" BPS state counts are the same. "Refined" here refers to the way you count BPS states. BPS states are certain kinds of representations of the super-Poincare algebra and "counting" means just finding the dimension of these representations (I think that little book on super-symmetry by Dan Freed has a good mathematical discussion of this). Sitting inside the super-Poincare algebra is a copy of $\mathfrak{sl}_2\oplus\mathfrak{sl}_2$ and normally one looks at the action of the diagonal $\mathfrak{sl}_2$ on the space of BPS representations and finds the dimensions of the irreducibles, for the "refined" count, you look at both copies of $\mathfrak{sl}_2$. The generating function for the dimensions of these representations thus gets an extra variable which is suppose to correspond to the Lefschetz motive $\mathbb{L}$ in the motivic invariants.

As for the DT/GW correspondence, I'm afraid that I don't really understand the physicist's explanations. There is a few paragraphs in MNOP (presumably written by Nekrasov) about it and I think that physicists regard it as well understood, but I haven't found something that I can understand. Let me know if you do.

This post imported from StackExchange MathOverflow at 2015-01-22 11:47 (UTC), posted by SE-user Jim Bryan

answered Sep 15, 2011 by (110 points)
I should add the disclaimer that the above is my understanding (as a mathematician) of the physics. I am not a native speaker and much was probably lost in translation.

This post imported from StackExchange MathOverflow at 2015-01-22 11:47 (UTC), posted by SE-user Jim Bryan
Thanks for the answer. I also think of BPS states as some representations of super-Poincare algebra. But whenever I tried to read a physics paper or a video lecture by a physicist, they talk about black holes which are BPS states, which I don't know how to think of.

This post imported from StackExchange MathOverflow at 2015-01-22 11:47 (UTC), posted by SE-user J Verma
I think the DT/GW correspondence is "explained" by the papers of Gopakumar and Vafa on M-theory and topological strings (I and II), by introducing yet another collection of invariants (called GV these days). The GV invariants are not mathematically defined, but are supposed to be roughly the cohomology of the moduli space of d6-d2-branes. The DT invariants the euler characteristics of the moduli spaces of d6-d2-d0 branes, and the relation between these euler characteristics and the GV cohomology is not understood much beyond the case of smooth curves, but is presumably mediated by...

This post imported from StackExchange MathOverflow at 2015-01-22 11:47 (UTC), posted by SE-user Vivek Shende
... the Hall algebra. The relation between the GV cohomology and the GW invariants is (at the level of physics) that the latter are a computation of the former in a certain limit where the M-theory becomes type IIA string (in which the topological string theory is imbedded, I think by other work of Vafa.) Caveat about all the above, IANAP.

This post imported from StackExchange MathOverflow at 2015-01-22 11:47 (UTC), posted by SE-user Vivek Shende
@ Vivek Thanks for the comment on DT/GW correspondence.

This post imported from StackExchange MathOverflow at 2015-01-22 11:47 (UTC), posted by SE-user J Verma

 Please use answers only to (at least partly) answer questions. To comment, discuss, or ask for clarification, leave a comment instead. To mask links under text, please type your text, highlight it, and click the "link" button. You can then enter your link URL. Please consult the FAQ for as to how to format your post. This is the answer box; if you want to write a comment instead, please use the 'add comment' button. Live preview (may slow down editor)   Preview Your name to display (optional): Email me at this address if my answer is selected or commented on: Privacy: Your email address will only be used for sending these notifications. Anti-spam verification: If you are a human please identify the position of the character covered by the symbol $\varnothing$ in the following word:p$\hbar$ysic$\varnothing$OverflowThen drag the red bullet below over the corresponding character of our banner. When you drop it there, the bullet changes to green (on slow internet connections after a few seconds). To avoid this verification in future, please log in or register.