[QUOTE=threemae]
Okay, ths thread is whooshing so far over my head like a 747 from Chicago on its way to Frankfurt, but could I ask our learned math and physics types two questions:
So E8 is the largest of simple exception Lie spaces, correct? Is this simply the largest one to have been discovered or is it possible that larger versions of this type of space have yet to be discovered by aspiring mathematicians?
Finally, isn’t the fact that this was found in the largest of these types of spaces just a bit problematic in terms of its likelihood of being correct or its predictive ability? That is, presumably the currently discovered particles, “fit” into this Lie set in a slightly inexact manner. Presumably there’s some level of experimental error in every known aspect of every particle. For instance, we don’t know the exact weight of an electron or quark, etc., do we? So, is it not somewhat more likely that the size and complexity of the E8 Lie set would be more accomodating to fitting our currently known phyisics into it?
Does that argument make any sense?
[/QUOTE]
The simple Lie groups have been completely classified and are completely known. Four infinite classes and exactly five exceptions.
Incidentally, the simple finite groups (finite, but no differentiable structure) have been completely classified too. At least, so it is thought. There are 15 infinite classes (many of which have two independent parameters and so, in some sense are doubly infinite) and exactly 26 exceptions, of which the largest, the so-called monster, has over 10^54 elements, but only, i think it is, 194 conjugacy classes. (This means that there is a set of 194 elements such that every element is conjugate to one of the 194, meaning that it is essentially indistinguishable from it. The proof, if it is correct, of this claim, is said to occupy 15,000 pages.
A propos the sequence 1,-1,1,-1,1-1,… what does it converge to modulo an ultrafilter? Well, the answer is that it must converge to 1 or converge to -1, depending on the ultrafilter chosen. If the ultrafilter contains the even integers, it converges to 1 and if it contains the odd integers, then to -1.