Quantcast
  • Register
PhysicsOverflow is a next-generation academic platform for physicists and astronomers, including a community peer review system and a postgraduate-level discussion forum analogous to MathOverflow.

Welcome to PhysicsOverflow! PhysicsOverflow is an open platform for community peer review and graduate-level Physics discussion.

Please help promote PhysicsOverflow ads elsewhere if you like it.

News

PO is now at the Physics Department of Bielefeld University!

New printer friendly PO pages!

Migration to Bielefeld University was successful!

Please vote for this year's PhysicsOverflow ads!

Please do help out in categorising submissions. Submit a paper to PhysicsOverflow!

... see more

Tools for paper authors

Submit paper
Claim Paper Authorship

Tools for SE users

Search User
Reclaim SE Account
Request Account Merger
Nativise imported posts
Claim post (deleted users)
Import SE post

Users whose questions have been imported from Physics Stack Exchange, Theoretical Physics Stack Exchange, or any other Stack Exchange site are kindly requested to reclaim their account and not to register as a new user.

Public \(\beta\) tools

Report a bug with a feature
Request a new functionality
404 page design
Send feedback

Attributions

(propose a free ad)

Site Statistics

205 submissions , 163 unreviewed
5,082 questions , 2,232 unanswered
5,353 answers , 22,789 comments
1,470 users with positive rep
820 active unimported users
More ...

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

+ 5 like - 0 dislike
1795 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)$?

Thanks in advance.

asked May 19, 2013 in Theoretical Physics by dimension10 (1,985 points) [ revision history ]
edited Apr 25, 2014 by dimension10

1 Answer

+ 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 Luboš Motl (10,278 points) [ no revision ]
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

Your answer

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):
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$ysicsO$\varnothing$erflow
Then 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).
Please complete the anti-spam verification




user contributions licensed under cc by-sa 3.0 with attribution required

Your rights
...