# What is 'heterotic string compactification'?

+ 3 like - 0 dislike
535 views

I've read that some exceptional groups arises in the context of 'heterotic string compactification'.

Could someone explain (to a person studying physics but who doesn't know string theory) what heterotic string compactification involves and what why exceptional groups have to do with it?

This post imported from StackExchange Physics at 2014-06-15 16:46 (UCT), posted by SE-user Anne O'Nyme

+ 3 like - 0 dislike

That's an easy question. I'll assume in this answer, for the purposes of PhysicsOverflow, that you have at least a basic knowledge of quantum field theory.

Heterotic strings, as their name suggests, arise as a "hybrid" of a bosonic string and a Type II superstring. This "hybrid" is formed by the left-movers of the bosonic string and the right-movers of the Type II string.

Now, Bosonic strings are consistent only in 26-dimensional spacetime. The consistency argument depends on the type of quantisation that you use. If you use canonical quantisation to quantise your bosonic string, then one needs a central charge of 26 to cancel out the negative-norm-square states from the theory. If you use Light Cone Gauge quantisation, 26 is the only spacetime dimension in which Lorentz Invariance is respected in bosonic string theory. Generally, you need a 26-dimensional spacetime to get rid of "conformal anomaly". Even if you are ready (which you shouldn't be) to accept negative-norm-square ghost states or the lack of Lorentz Invariance, you need a dimension of 26 to ensure that the different quantisation methods are consistent with one another in string theory.

On the other hand, Type II superstrings are only consistent in 10-dimensional spacetime, for similar reasons to the bosonic string. But you obviously can't have the left-movers living in 26-dimensional spacetime with the right-movers living in 10-dimensional spacetime!

The solution is to compactify the spacetime of the left-movers on a 16-dimensional lattice. This means that you make 16 of the dimensions of the left-movers' spacetime infinitesimally small. It happens to be (see notes) that this lattice needs to be even and unimodular. There are only 2 lattices that satisfy this. Namely, $\frac{\operatorname{Spin}\left(32\right)}{\mathbb{Z}_2}$ and $\left(E_8\right)^2$. The second is the cartesian product of an exceptional group with itself.

### Notes

For an explanation as to why the lattice must be unimodular and even, see this article and this answer.

answered Jun 16, 2014 by (1,985 points)
Concise explanation +1, I will ensure that the OP sees it ...

 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$ys$\varnothing$csOverflowThen 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