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,047 questions , 2,200 unanswered
5,345 answers , 22,709 comments
1,470 users with positive rep
816 active unimported users
More ...

  Does $SO(32) \sim_T E_8 \times E_8$ relate to some group theoretical fact?

+ 3 like - 0 dislike
1611 views

It is well known the existence of a T duality between the two heterotic string theories, $SO(32) \sim_T E_8 \times E_8$. Beyond the trivial point that both groups have the same dimension (496, which actually is a prerequisite), is there some other mathematical relation between them?

I am thinking in other SO(N) groups whose dimension is a perfect number and that happen to be related to products of manifolds. $SO(4)$ with $SU(2) \times SU(2)$, and -I am told- $SO(8)$ with some variant of $(S^7 \times S^7) \times G_2$. It should be nice if all of these were justified by a common construction, but I am happy just with an answer to the $SO(32)$ case.

This post imported from StackExchange MathOverflow at 2015-11-20 14:51 (UTC), posted by SE-user arivero
asked Mar 6, 2011 in Theoretical Physics by - (260 points) [ no revision ]
retagged Nov 20, 2015
Given how rare perfect numbers are, and how comparatively common T-duality is, are you sure that whatever pattern you seek is only supported at the perfect numbers?

This post imported from StackExchange MathOverflow at 2015-11-20 14:51 (UTC), posted by SE-user Theo Johnson-Freyd
Small correction: it's actually not $SO(32)$ but a different $\mathbb{Z}/2\mathbb{Z}$ quotient of $Spin(32)$, and the relation goes via the weight lattices of the corresponding groups. Each lattice gives rise to a 16-dimensional torus and Milnor observed that these tori are isospectral (a postdiction of T-duality?).

This post imported from StackExchange MathOverflow at 2015-11-20 14:51 (UTC), posted by SE-user José Figueroa-O'Farrill
@Theo I could expect a more general pattern for any SO(4n), but these "square constructions" seem to be more specific of perfect numbers, and even for the "SO(8)" case it is not as pretty as in string theory.

This post imported from StackExchange MathOverflow at 2015-11-20 14:51 (UTC), posted by SE-user arivero
From the link between perfect numbers and Mersenne primes, Phys.Rev.D60:087901,1999 (hep-th/9904212v1) looks for cancelation of polygonal anomaly. Also, some hints are Weinberg $SO(2^13)$ in dim 26 and Bern-Dunbar SO(4) in four dimensions. But these results are all based on string theory technicalities, not pure group theory nor other branch of pure math. – arivero 0 secs ago

This post imported from StackExchange MathOverflow at 2015-11-20 14:51 (UTC), posted by SE-user arivero

2 Answers

+ 6 like - 0 dislike

It's worth noting this fact. Suppose $L$, $L'$ are even unimodular Euclidean lattices, like $\mathrm{E}_8= \Gamma^8$ or $\Gamma^{16}$ or any direct sum of these, but also the Leech lattice and 23 others in 24 dimensions, and at least 80,000,000,000,000,000 others in 32 dimensions, etc. Let $\Gamma^{1,1}$ be the even unimodular Lorentzian lattice in 2 dimensions. Then

$$L \oplus \Gamma^{1,1} \cong L' \oplus \Gamma^{1,1}$$

The reason is that there's only one even unimodular Lorentzian lattice in dimensions $8n + 2$, up to isomorphism (and none in other dimensions).

So, the fact that $\mathrm{E}^8 \oplus \mathrm{E}^8$ and $\Gamma^{16}$ become isomorphic when you take their direct sum with $\Gamma^{1,1}$ is an instance of this general pattern.

This post imported from StackExchange MathOverflow at 2015-11-20 14:51 (UTC), posted by SE-user John Baez
answered Sep 16, 2015 by John Baez (405 points) [ no revision ]
+ 5 like - 0 dislike

The answer to this question can be found in Lubos Motl's answer to this question of mine on Physics.SE.

The key here are the weight lattices bosonic representations $\Gamma$ of these gauge groups.

As I understand it, the weight lattice of $E(8)$ is $\Gamma^8$, whereas the weight lattice of $\frac{\operatorname{Spin}\left(32\right)}{\mathbb{Z}_2}$^ is $\Gamma^{16}$. The first fact means that the weight lattice of $E(8)\times E(8)$ is $\Gamma^{8}\oplus\Gamma^8$,

Now, an identity, that $\Gamma^{8}\oplus\Gamma^8\oplus\Gamma^{1,1}=\Gamma^{16}\oplus\Gamma^{1,1} $ , which actually allows this T-Duality. Now, this means that it is this very identity which allows the identity mentioned in the original post.

So, the answer to your question is "Yes", there is a group-theoretical fact, and that is that $ \Gamma^{8}\oplus\Gamma^8\oplus\Gamma^{1,1}= \Gamma^{16}\oplus\Gamma^{1,1} $.

This post imported from StackExchange MathOverflow at 2015-11-20 14:51 (UTC), posted by SE-user Dimensio1n0
answered Nov 6, 2013 by Dimensio1n0 (50 points) [ no revision ]
These rank-16 lattices also famously have the same theta function (and even the same Siegel thetas for ranks 2 and 3). No idea if that has any significance for this question in string theory, though...

This post imported from StackExchange MathOverflow at 2015-11-20 14:51 (UTC), posted by SE-user Noam D. Elkies
@NoamD.Elkies I guess it does have significance: theta functions do turn up in string theory in surprising places. Urs Schreiber is one person I know (personally) who might know.

This post imported from StackExchange MathOverflow at 2015-11-20 14:51 (UTC), posted by SE-user David Roberts

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$ysicsOv$\varnothing$rflow
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
...