Number of dimensions in string theory and possible link with number theory

Question

This question has led me to ask somewhat a more specific question. I have read somewhere about a coincidence. Numbers of the form $8k + 2$ appears to be relevant for string theory. For k = 0 one gets 2 dimensional string world sheet, For k = 1 one gets 10 spacetime dimensions and for k = 3 one gets 26 dimensions of bosonic string theory. For k = 2 we get 18. I don't know whether it has any relevance or not in ST. Also the number 24, which can be thought of as number of dimensions perpendicular to 2 dimensional string world sheet in bosonic ST, is the largest number for which the sum of squares up to 24 is itself a square. $(1^2 + 2^2 + ..+24^2 = 70^2)$

My question is, is it a mere coincidence or something deeper than that?

This post imported from StackExchange Physics at 2014-08-30 04:14 (UCT), posted by SE-user user1355

Comments

Excellent observations. It's indeed natural to count the transverse coordinates only - the number of physical "oscillator" degrees of freedom - and those transverse dimensionalities are multiples of eight. This is linked to the fact that the dimension of a spin field is $1/16$ for a single dimension and one needs dimensions that are integral or half-integral. In theories with spacetime fermions, it's also linked to the Bott periodicity - if the difference between spatial and temporal dimensions is a multiple of eight, there are real chiral spinor representations.

This post imported from StackExchange Physics at 2014-08-30 04:14 (UCT), posted by SE-user Luboš Motl

---

Also, the number 24 for the transverse dimension of the bosonic string appears because one needs to get the right critical dimension, and the zero-point energy with the single excitation has to vanish: $(D-2)(-1/12)/2+1=0$. This is solved exactly for $D=26$; $(-1/12)$ arose as the sum of positive integers or $\zeta(-1)$. Incredibly enough, even the seemingly numerological observation with $70^2$ is actually used "somewhere" in string theory - one compactified on the Leech lattice. The identity guarantees that a null vector is null.

This post imported from StackExchange Physics at 2014-08-30 04:14 (UCT), posted by SE-user Luboš Motl

---

@Luboš Motl: What about the number 18 Lubos?

This post imported from StackExchange Physics at 2014-08-30 04:14 (UCT), posted by SE-user user1355

---

Under the comment by Dr Harvey, I link to a paper where a string theory compactification on the Leech lattice is actually used to explain even more fascinating numerological accidents - the "monstrous moonshine" linking some properties of the monster group, the largest finite sporadic group, to some properties of number theory and complex calculus, previously totally unrelated part of maths. See en.wikipedia.org/wiki/Monstrous_moonshine - In Monstrous Moonshine, numbers as high as 196,883+1 appear at 2 places and it was a complete mystery why! String theory has demystified this fact.

This post imported from StackExchange Physics at 2014-08-30 04:14 (UCT), posted by SE-user Luboš Motl

---

Dear @sb1, as far as I know, there is no important string theory in $d=18$, much like there's no important string theory in $d=34$ and higher numbers of the form $8k+2$. The numerology here is much deeper than just "all numbers of the form $8k+2$": this template for a number is just one aspect of the story but it's not true that all numbers of this form are equally important as dimensionalities.

This post imported from StackExchange Physics at 2014-08-30 04:14 (UCT), posted by SE-user Luboš Motl

---

I must say this is absolutely fascinating!!

This post imported from StackExchange Physics at 2014-08-30 04:14 (UCT), posted by SE-user user1355

---

This is what real scientists would call numerology

This post imported from StackExchange Physics at 2014-08-30 04:14 (UCT), posted by SE-user user1708

---

Dear @kakemonsteret, this "numerology" has been proved to be an essential part of mathematics and mathematical physics, and based on provable theorems, so the people who continue to dismiss it are not real scientists but rather scientists who are not up to their job.

This post imported from StackExchange Physics at 2014-08-30 04:14 (UCT), posted by SE-user Luboš Motl

---

Dear @kakemonsteret and @Lubos, this is numerology: $1-2^2+3^2-4^2+5^2-6^2+7^2-8^2=-6^2$

This post imported from StackExchange Physics at 2014-08-30 04:14 (UCT), posted by SE-user arivero

---

Dear @arivero, most things that you write down are numerology, but this particular thing is just an innocent identity, and it's conceivable that it's important in an important construction, although it's probably not as important as the very similar identity involving the number 70. In this case, one would deal with a highly indefinite, mixed-signature space...

This post imported from StackExchange Physics at 2014-08-30 04:15 (UCT), posted by SE-user Luboš Motl

---

Indeed while this "d=10" is the smallest solution of the alternating series, there is an infinite number of solutions, produced easily from solving Pell equation $x^2-2 y^2=\pm 1$, so it is not as unique as the non-alternating one. Incidentally, 70 is a Pell number, with 70*(70+29) being equal to 6930, the alternating sum of the first 9800 squares, and the next Pell number, 169 (=70+99), is the only Pell number which is an exact non trivial power. If this can be used to prove the uniqueness of the non alternating sum, I can not tell.

This post imported from StackExchange Physics at 2014-08-30 04:15 (UCT), posted by SE-user arivero

---

@kakemonster: Numerology is to number theory as astrology is to astronomy, or alchemy is to chemistry.

This post imported from StackExchange Physics at 2014-08-30 04:15 (UCT), posted by SE-user QGR

---

Must read for those who are interested in this topic Symmetry and the Monster - One of the greatest quests of Mathematics by Mark Ronan.

This post imported from StackExchange Physics at 2014-08-30 04:15 (UCT), posted by SE-user Pratik Deoghare

---

If one considers the fermionic string theory (based on the dirac action $S = \frac{{iT}}{{{c_0}}}\int_{}^{} {\sqrt { - \det {h_{\alpha \beta }}} {h_{\alpha \beta }}\psi _ - ^\mu \left( {\frac{{\partial \psi _ + ^\nu }}{{\partial \tau }} - \frac{{\partial \psi _ + ^\nu }}{{\partial \sigma }}} \right){g_{\mu \nu }}\mbox{}{\rm{d}}\sigma \mbox{ }{\rm{ d}}\tau } $), is the critical dimension 18? If so, then it would be a very intuitive result.

This post imported from StackExchange Physics at 2014-08-30 04:15 (UCT), posted by SE-user Dimensio1n0

Answer 1

There is definitely something deep going on, but there is not yet a deep understanding of what it is. In math the topology of the orthogonal group has a mod 8 periodicity called Bott periodicity. I think this is related to the dimensions in which one can have Majorana-Weyl spinors with Lorentzian signature which is indeed $8k+2$. So this is part of the connection and allows both the world-sheet and the spacetime for $d=2,10$ to have M-W spinors. The $26$ you get for $k=3$ doesn't have any obvious connection with spinors and supersymmetry, but there are some indirect connections related to the construction of a Vertex Operator Algebra with the Monster as its symmetry group. This involves a $Z_2$ orbifold of the bosonic string on the torus $R^{24}/\Lambda$ where $\Lambda$ is the Leech lattice. A $Z_2$ orbifold of this theory involves a twist field of dimension $24/16=3/2$ which is the dimension needed for a superconformal generator. So the fact that there are $24$ transverse dimensions does get related to world-sheet superconformal invariance. Finally, the fact you mentioned involving the sum of squares up to $24^2$ has been exploited in the math literature to give a very elegant construction of the Leech lattice starting from the Lorentzian lattice $\Pi^{25,1}$ by projecting along a null vector $(1,2, \cdots 24;70)$ which is null by the identity you quoted. I can't think of anything off the top of my head related to $k=2$ in string theory, but I'm sure there must be something.

This post imported from StackExchange Physics at 2014-08-30 04:15 (UCT), posted by SE-user pho

Comments

Prof Harvey may be too modest here but let me mention that he is one of the 4 co-fathers of the heterotic string. And when it comes to a related compactification on the Leech lattice, see e.g. Beauty and the Beast: web.mac.com/chrisbertinato/iWeb/Physics/Seminars_files/… - This compactification of string theory actually knows about most (or all) about the largest sporadic finite group, the monster group. Fascinating and previously "impossible" connections between number theory and group theory - the "monstrous moonshine" - has been explained as a real link here.

This post imported from StackExchange Physics at 2014-08-30 04:15 (UCT), posted by SE-user Luboš Motl

---

Just a direct link to the construction of the Leech lattice where the "70 squared" identity is used: en.wikipedia.org/wiki/…

This post imported from StackExchange Physics at 2014-08-30 04:15 (UCT), posted by SE-user Luboš Motl

---

Yes, thanks @Jeff. And I am aware that they're the authors. Sorry I didn't make it clear. The final proof of the monstrous moonshine claim that won the Fields medal was found by Borcherds - just to make it clear that I acknowledge that this Gentleman has some divine abilities, too. ;-)

This post imported from StackExchange Physics at 2014-08-30 04:15 (UCT), posted by SE-user Luboš Motl

Answer 2

The descent from 24 to 8 seems to happen when the straight sums are substituted by alternating sums. This is known from the theory of the Riemann zeta funtion, whose only pole in $s=1$ is cancelled via a multiplication that produces the Dirichlet eta function, $$\eta(s) = \left(1-2^{1-s}\right) \zeta(s)$$.

This function has better analiticity than Zeta. But it is alternating, $$ \eta(s) = \frac{1}{1^s} - \frac{1}{2^s} + \frac{1}{3^s} - \frac{1}{4^s} + \cdots$$ And thus it could be related with the simple expresion I have mentioned above in the comments. But, more important,

$$\eta(-1)=\left(1-2^{2}\right) \zeta(-1) = -3 \times {-1\over 12} = {1\over 4}$$

And you can suspect that the Eta function does for the superstring the same role that the Zeta does for the bosonic string. And indeed it appears in very similar situations. For instance, Michael B. Green, in his 1986 Trieste lectures "String and Supertring Theory", section 5.11, calculates the NS sector spectrum and then the normal ordering constant, that appears formally as a difference between the bosonic term and the fermionic term. Such difference can be manipulated to obtain the Eta function as above, times $(D-2)/2$

So if anyone can tell how the Zeta regulator is related to the integer sum up to 24, then we could probably guess how the Eta regulator would be related to the alternating sum up to 8.

This post imported from StackExchange Physics at 2014-08-30 04:15 (UCT), posted by SE-user arivero

Answer 3

I am separating this answer from the other because it is overly speculative; mainly I wanted to list a few hints about the sequence I named in the comments.

The OP names a square sum that happens to be related to the critical dimension of space time of the bosonic string, D-2=24. It seems natural to ask if there is some similar sequence for the critical dimension of the superstring, D-2=8. On other hand, as I said in the other answer, for the open superstring the Zeta regularization is naturally substituted, in some cases, by the Dirichlet Eta, that happens to be an alternating sum. So it is natural for a numerologist to try the alternating square sum and, as said in the comments to the OP, it works: $$1^2-2^2+3^2-4^2+5^2-6^2+7^2-8^2= -36 = -6^2$$

The main difference, number-wise, with the non alternating sum, is that here the solution is not unique. Still, it is the smallest non trivial one, and all the others can be generated iteratively: the (absolute value of the) sums are the triangular square numbers, and it was observed by Colin Dickson (alt.math.recreational March 7th 2004) that such numbers obey a recurrence law $$a_{n+1}={(a_n -1)^2 \over a_{n-1}}$$ with the first two terms being the trivial $a_1=1$ and the above $a_2=36$. For more info, see the OEIS sequences A001110 and A001108. Note that the sign in the actual solution depends of the number of terms in the sequence, alternating itself, so that actually the sum is $\sigma_n= (-1)^{n-1} a_n$

A way to produce the alternating solutions is to solve Pell equation, and then the sums are also produced from Pell numbers, via $a_n= P_n (P_n+P_{n-1})$ . This could be interesting because the root of the non alternating series, $70$, is a Pell number itself, the 6th, and the next Pell number, $70+(70+29)=169$, is the only Pell number that is an exact square (and the only one that is an exact power).

In A001108, Mohamed Bouhamida mentions some periodicities and some mod 8 relationships for the series. Also the page http://www.cut-the-knot.org/do_you_know/triSquare.shtml gives some hints on some eight factors appearing in a particular subsequence of square triangular numbers: "Eight triangles increased by unity produce a square". If these factors can be related to the 8-periodicities of Bott theory or theta functions, I can not tell.

---

EDIT: of course the use of triangular numbers can be telling us that all the business of alternating series is just a decoy: pairing the terms, we can reduce $ (m+1)^2 - m^2 = 2 m + 1 = (m+1) + m $ the alternating squared series to the non alternating non squared series and then simply $$1+2+3+4+5+6+7+8= 36 = 6^2$$ But the goal is to keep at least a formal likeliness with the OP series.

This post imported from StackExchange Physics at 2014-08-30 04:15 (UCT), posted by SE-user arivero

Answer 4

I don't know about the particular example that you mention, but there are certainly some interconnections with special numbers in mathematics and in string theory/supersymmetry.

One worked out example is the connection of possible dimensions of supersymmetry in dimensions 3, 4, 6 or 10 which is connected to the existence of normed division algebras in dimensions 1, 2, 4 and 8. For more details see

• John C. Baez, John Huerta: Division Algebras and Supersymmetry I (arXiv)

and related work about higher gauge theory.

This post imported from StackExchange Physics at 2014-08-30 04:15 (UCT), posted by SE-user Tim van Beek

Comments

Sorry for being off-topic, but I thought the relationship I mention interesting enough in the given context in its own right.

This post imported from StackExchange Physics at 2014-08-30 04:15 (UCT), posted by SE-user Tim van Beek

---

it is one of the most important "numerlogical" facts in these considerations, so +1

This post imported from StackExchange Physics at 2014-08-30 04:15 (UCT), posted by SE-user user346