torsten
- 97
- 12
Dear kneemo and MdT2,kneemo said:I came across a paper hep-ph/9411381 suggesting the use of three SO(10)'s hitting distinct 27's of E6, in order to properly respect triality. The use of three 27's seems to take one back to the maximal subgroup E6xSU(3)/(Z/3Z) of E8, giving the decomposition: 248=(8,1)+(1,78)+(3,27)+(3*,27*). E6's 78 acts on 27 and preserves its cubic form i.e., determinant. This decomposition is pretty popular in heterotic compactifications where one looks for Calabi-Yau manifolds with Euler characteristic χ=± 6, so that the generations come from |χ|/2, leading to a three-generation E6-model. The other maximal subgroup E7xSU(2)/(-1,-1) is also interesting, with E8 decomposition 248=(3,1)+(1,133)+(2,56). The 56's are two copies of the Freudenthal triple system with structure 56=27+27+1+1, that are usually used as charge spaces for D=4, N=8 SUGRA extremal black holes. E7's 133 acts on a 56 and preserves its quartic form. ...
only some remarks to your interesting discussion. It is interesting that most people think in higher dimensions for groups like E6 or E8. But I made the experience that many relations also exists for low dimensional manifolds (like 2-, 3- or 4-manifolds) (where I'm a kind of specialist).
So let me mention some aspects:
1. SO(4,2) could be the symmetry group of 6-dim space (with two time coordinates) but at the same time it is the conformal group (including translations) of the 4-dimensional Minkowski space famous in the 60s wher one discussed the conformal group to understand the strong force.
2. Lie groups are characterized (via its Lie algebra) by the root system forming a discrete object (a polytope). Also via the Dynkin diagram one obtains also a simple graph.
3. For instance the Dynakin diagram of the E8 can be used to construct a closed 4-manifold (which does not carry any smooth structure) or to construct a 4-manifold with boundary (the Poincare sphere).
3. In my work (MdT2 mentioned the link) I made also this expierence. So I considered the Yang-Mills action which is a sum of quadratic curvature components having values in the Cartan subalgebra (via the Casimir operators). Therefore I obtained the correct groups because I got the correct number of quadratic curvatures.
4. In M theory there is also a mysterious relation (found by Cumrun Vafa, Amer Iqbal, and Andrew Neitzke in 2001) between the charges of M theory on a torus and the so-called del Pezzo surface (a special class of 4-manifolds). The main observation is that the large diffeomorphisms of del Pezzo surfaces match the Weyl group of the U-duality group of the corresponding compactification of M-theory. The elements of the second homology of the del Pezzo surfaces are mapped to various BPS objects of different dimensions in M-theory. The complex projective plane P2(C) is related to M-theory in 11 dimensions. When k points are blown-up, the del Pezzo surface describes M-theory on a k-torus, and the exceptional del Pezzo surface, namely P1(C) × P1(C), is connected with type IIB string theory in 10 dimensions.
5. The Cayley-Salmon theorem states that a smooth cubic surface over an algebraically closed field contains 27 straight lines. These can be characterized independently of the embedding into projective space as the rational lines with self-intersection number −1, or in other words the −1-curves on the surface. The 27 lines can be identified with the 27 possible charges of M-theory on a six-dimensional torus (6 momenta; 15 membranes; 6 fivebranes) and the group E6 then naturally acts as the U-duality group. (another form of mysterious duality)
You see there is also interesting relations between 4-manifolds and higher Lie groups like E6 or E8.
In my opinion higher-dimensional spaces are not necessary.