# T-Duality between Type HE String theory and Type HO string theory

+ 5 like - 0 dislike
41 views

My question is regarding T-Duality between the 2 Type H string theories.

I know that the Type II String theories are T-dual to each other because T-Duality changes the sign of the Gamma Matrix so $$\operatorname{T}:{{\cal P}}_{{\mathop{\rm GSO}\nolimits} }^ - \leftrightarrow {{\cal P}}_{{\mathop{\rm GSO}\nolimits} }^ +$$

Since the Type IIB String theory employs the same GSO Projections on the left and right movers while Since the Type IIA String theory employs the different GSO Projections on the left and right movers, the 2 theories are T-Dual to each other.

However, when one considers T-Dualities on the Type HE string theory and the Type HO String theories, why are they T-Dual to each other?

I presume that maybe T-Duality switches $\operatorname{Spin}(32)/\mathbb Z^2$ and $E(8)\times E(8)$, so therefore, the theories to T-Dual to each other. But if so, then why? Why does T-Duality switch $\operatorname{Spin}(32)/\mathbb Z^2$ and $E(8)\times E(8)$?

edited Apr 25, 2014

+ 6 like - 0 dislike

One shouldn't imagine the T-duality between the two heterotic strings to be a $Z_2$ group, like in the case of type II string theories' T-duality. In type II string theory, there is only one relevant scalar field, the radius of the circle producing T-duality, and it gets reverted $R\to 1/R$ under T-duality.

In the heterotic case, it's more complicated because more scalar fields participate in the T-duality. Instead of a $Z_2$ map acting on one scalar field, one must correctly adjust the moduli, especially the Wilson lines generically breaking the 10D gauge group to $U(1)^{16}$, and find an identification between the points of the moduli space of the two heterotic string theories: there is one theory at the end.

A fundamental reason why the T-duality holds is that one may define the heterotic string theories in the bosonic representation, using 16-dimensional lattice $\Gamma^{16}$ which is the weight lattice of $Spin(32)/Z_2$, and $\Gamma^{8}\oplus \Gamma^8$ which is the root lattice of $E_8\times E_8$.

One may also describe the compactification on a circle in terms of lattices. It corresponds to adding ($\oplus$) the lattice $\Gamma^{1,1}$ of the indefinite signature to the original lattice. The extra 1+1 dimensions correspond to the compactified left-moving and right-moving boson (of the circle), respectively.

Now, the key mathematical fact is that the 17+1-dimensional even self-dual lattice exists and is unique which really means $$\Gamma^{16}\oplus \Gamma^{1,1} = \Gamma^{8}\oplus \Gamma^8\oplus \Gamma^{1,1}$$ Even self-dual lattices in $p+q$ dimensions (signature) exist whenever $p-q$ is a multiple of eight and if both $p$ and $q$ are nonzero, the lattice is unique.

It's unique up to an isometry – a Lorentz transformation of a sort – and that's how the identity above should be understood, too. So there is a way to linearly redefine the 17+1 bosons on the heterotic string world sheet so that a basis that is natural for the $E_8\times E_8$ heterotic string gets transformed to the $Spin(32)/Z_2$ string or vice versa. The compactified boson has to be nontrivially included in the transformation – the 17+1-dimensional Lorentz transformation that makes the T-duality manifest mixes the 16 chiral bosons with the 1+1 boson from the compactified circle.

A different derivation of the equivalence may be found e.g. in Polchinski's book. One may start with one of the heterotic strings and carefully adjust the Wilson lines to see that at a special point, the symmetry broken to $U(1)^{17+1}$ is enhanced once again to the other gauge group.

This post imported from StackExchange Physics at 2014-03-07 13:40 (UCT), posted by SE-user Luboš Motl
answered May 19, 2013 by (10,178 points)
Thanks a lot for the answer.

This post imported from StackExchange Physics at 2014-03-07 13:40 (UCT), posted by SE-user Dimensio1n0
Thanks for the answer. So does that mean that T-Duality exchanges a weight lattice and a root lattice?

This post imported from StackExchange Physics at 2014-03-07 13:40 (UCT), posted by SE-user Dimensio1n0
This stuff is deep. Would love to have some time to read more about these theories. @Luboš Motl are you still working full-time in this area?

This post imported from StackExchange Physics at 2014-03-07 13:40 (UCT), posted by SE-user Killercam
Dear @Killercam, I am working on related things, but I would call it part-time.

This post imported from StackExchange Physics at 2014-03-07 13:40 (UCT), posted by SE-user Luboš Motl
Dear @dimension10, it's an accident that one of the heterotic theories' lattices is called "root lattice" and the other "weight lattice". The root lattice of $E_8$ is its weight lattice, too, because the adjoint representation is the fundamental representation at the same moment. The duality exchanging root lattices and weight lattices is something else - a more general, less intrinsically stringy - relationship than T-duality.

This post imported from StackExchange Physics at 2014-03-07 13:40 (UCT), posted by SE-user Luboš Motl
These two lattices are, for any Lie group, dual to each other in the sense of "vector spaces" and "dual vector spaces" i.e. vectors and forms. The weight lattice - containing weights of all the representations - has "inner products" (actually actions of a form on a vector) being integer with any vector in the root lattice which ultimately follows from the fact that all representations (=weights) are what can transform under all the generators of the Lie groups in a way that is single-valued when extended to the whole Lie group. It's a bit abstract result described in books on Lie algebras.

This post imported from StackExchange Physics at 2014-03-07 13:40 (UCT), posted by SE-user Luboš Motl

 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$ysicsOver$\varnothing$lowThen 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.