|
|
| Line 1: |
Line 1: |
| {{technical|date=May 2013}}
| | I am 18 years old and my name is Jerald Maynard. I life in Sulsted (Denmark).<br><br>Feel free to surf to my blog post :: [http://www.nytimes.com/1993/12/01/garden/metropolitan-diary-898793.html Belinda Broido] |
| {{DISPLAYTITLE:E<sub>6</sub> (mathematics)}}
| |
| {{Group theory sidebar |Topological}}
| |
| {{Lie groups |Simple}}
| |
| | |
| In [[mathematics]], '''E<sub>6</sub>''' is the name of some closely related [[Lie group]]s, linear [[algebraic group]]s or their [[Lie algebra]]s <math>\mathfrak{e}_6</math>, all of which have dimension 78; the same notation E<sub>6</sub> is used for the corresponding [[root lattice]], which has [[Rank of a Lie group|rank]] 6. The designation E<sub>6</sub> comes from the Cartan–Killing classification of the complex [[simple Lie algebra]]s, which fall into four infinite series labeled A<sub>''n''</sub>, B<sub>''n''</sub>, C<sub>''n''</sub>, D<sub>''n''</sub>, and [[Exceptional simple Lie group|five exceptional cases]] labeled E<sub>6</sub>, [[E7 (mathematics)|E<sub>7</sub>]], [[E8 (mathematics)|E<sub>8</sub>]], [[F4 (mathematics)|F<sub>4</sub>]], and [[G2 (mathematics)|G<sub>2</sub>]]. The E<sub>6</sub> algebra is thus one of the five exceptional cases.
| |
| | |
| The fundamental group of the complex form, compact real form, or any algebraic version of E<sub>6</sub> is the [[cyclic group]] '''Z'''/3'''Z''', and its [[outer automorphism group]] is the cyclic group '''Z'''/2'''Z'''. Its [[fundamental representation]] is 27-dimensional (complex), and a basis is given by the [[27 lines on a cubic surface]]. The [[dual representation]], which is inequivalent, is also 27-dimensional.
| |
| | |
| In [[particle physics]], E<sub>6</sub> plays a role in some [[grand unified theory|grand unified theories]].
| |
| | |
| ==Real and complex forms==
| |
| There is a unique complex Lie algebra of type E<sub>6</sub>, corresponding to a complex group of complex dimension 78. The complex adjoint Lie group E<sub>6</sub> of [[complex dimension]] 78 can be considered as a simple real Lie group of real dimension 156. This has fundamental group '''Z'''/3'''Z''', has maximal [[Compact space|compact]] subgroup the compact form (see below) of E<sub>6</sub>, and has an outer automorphism group non-cyclic of order 4 generated by complex conjugation and by the outer automorphism which already exists as a complex automorphism.
| |
| | |
| As well as the complex Lie group of type E<sub>6</sub>, there are five real forms of the Lie algebra, and correspondingly five real forms of the group with trivial center (all of which have an algebraic double cover, and three of which have further non-algebraic covers, giving further real forms), all of real dimension 78, as follows:
| |
| | |
| *The compact form (which is usually the one meant if no other information is given), which has fundamental group '''Z'''/3'''Z''' and outer automorphism group '''Z'''/2'''Z'''.
| |
| *The split form, EI (or E<sub>6(6)</sub>), which has maximal compact subgroup Sp(4)/(±1), fundamental group of order 2 and outer automorphism group of order 2.
| |
| *The quasi-split form EII (or E<sub>6(2)</sub>), which has maximal compact subgroup SU(2) × SU(6)/(center), fundamental group cyclic of order 6 and outer automorphism group of order 2.
| |
| *EIII (or E<sub>6(-14)</sub>), which has maximal compact subgroup SO(2) × Spin(10)/(center), fundamental group '''Z''' and trivial outer automorphism group.
| |
| *EIV (or E<sub>6(-26)</sub>), which has maximal compact subgroup F<sub>4</sub>, trivial fundamental group cyclic and outer automorphism group of order 2.
| |
| | |
| The EIV form of E<sub>6</sub> is the group of collineations (line-preserving transformations) of the [[octonionic projective plane]] '''OP'''<sup>2</sup>.<ref>{{Citation | last1=Rosenfeld | first1=Boris | title=Geometry of Lie Groups | year=1997 }} (theorem 7.4 on page 335, and following paragraph).</ref> It is also the group of determinant-preserving linear transformations of the exceptional [[Jordan algebra]]. The exceptional Jordan algebra is 27-dimensional, which explains why the compact real form of E<sub>6</sub> has a 27-dimensional complex representation. The compact real form of E<sub>6</sub> is the [[isometry group]] of a 32-dimensional [[Riemannian manifold]] known as the 'bioctonionic projective plane'; similar constructions for E<sub>7</sub> and E<sub>8</sub> are known as the [[Rosenfeld projective plane]]s, and are part of the [[Freudenthal magic square]].
| |
| | |
| ==E<sub>6</sub> as an algebraic group==
| |
| By means of a [[Chevalley basis]] for the Lie algebra, one can define E<sub>6</sub> as a linear algebraic group over the integers and, consequently, over any commutative ring and in particular over any field: this defines the so-called split (sometimes also known as “untwisted”) adjoint form of E<sub>6</sub>. Over an algebraically closed field, this and its triple cover are the only forms; however, over other fields, there are often many other forms, or “twists” of E<sub>6</sub>, which are classified in the general framework of [[Galois cohomology]] (over a [[perfect field]] ''k'') by the set ''H''<sup>1</sup>(''k'', Aut(E<sub>6</sub>)) which, because the Dynkin diagram of E<sub>6</sub> (see [[#Dynkin diagram|below]]) has automorphism group '''Z'''/2'''Z''', maps to ''H''<sup>1</sup>(''k'', '''Z'''/2'''Z''') = Hom (Gal(''k''), '''Z'''/2'''Z''') with kernel ''H''<sup>1</sup>(''k'', E<sub>6,ad</sub>).<ref>{{cite book | last1=Платонов | first1=Владимир П. | last2=Рапинчук | first2=Андрей С. | title=Алгебраические группы и теория чисел | year=1991 | publisher=Наука | isbn=5-02-014191-7 }} (English translation: {{cite book | last1=Platonov | first1=Vladimir P. | last2=Rapinchuk | first2=Andrei S. | title=Algebraic groups and number theory | year=1994 | publisher=Academic Press | isbn=0-12-558180-7 }}), §2.2.4</ref>
| |
| | |
| Over the field of real numbers, the real component of the identity of these algebraically twisted forms of E<sub>6</sub> coincide with the three real Lie groups mentioned [[#Real and complex forms|above]], but with a subtlety concerning the fundamental group: all adjoint forms of E<sub>6</sub> have fundamental group '''Z'''/3'''Z''' in the sense of algebraic geometry, with Galois action as on the third roots of unity; this means that they admit exactly one triple cover (which may be trivial on the real points); the further non-compact real Lie group forms of E<sub>6</sub> are therefore not algebraic and admit no faithful finite-dimensional representations. The compact real form of E<sub>6</sub> as well as the noncompact forms EI=E<sub>6(6)</sub> and EIV=E<sub>6(-26)</sub> are said to be ''inner'' or of type <sup>1</sup>E<sub>6</sub> meaning that their class lies in ''H''<sup>1</sup>(''k'', E<sub>6,ad</sub>) or that complex conjugation induces the trivial automorphism on the Dynkin diagram, whereas the other two real forms are said to be ''outer'' or of type <sup>2</sup>E<sub>6</sub>.
| |
| | |
| Over finite fields, the [[Lang–Steinberg theorem]] implies that ''H''<sup>1</sup>(''k'', E<sub>6</sub>) = 0, meaning that E<sub>6</sub> has exactly one twisted form, known as <sup>2</sup>E<sub>6</sub>: see [[#Chevalley and Steinberg groups of type E6 and 2E6|below]].
| |
| | |
| == Algebra ==
| |
| | |
| ===Dynkin diagram===
| |
| The [[Dynkin diagram]] for E<sub>6</sub> is given by [[Image:Dynkin diagram E6.png|120px|Dynkin diagram of E 6]], {{Dynkin2|node|3|node|3|branch|3|node|3|node}} or sometimes positioned like this {{Dynkin|nodes|3s|nodes|loop2|3|node}}.
| |
| | |
| === Roots of E<sub>6</sub> ===
| |
| [[File:Gosset 1 22 polytope.svg|thumb|300px|The 72 vertices of the [[1 22 polytope|1<sub>22</sub>]] polytope represent the root vectors of the E<sub>6</sub>, as shown in this [[Coxeter plane]] projection.<p>[[Coxeter-Dynkin diagram]]: {{CDD|node_1|3|node|split1|nodes|3ab|nodes}}]]
| |
| | |
| Although they [[Linear span|span]] a six-dimensional space, it is much more symmetrical to consider them as [[Vector space|vectors]] in a six-dimensional subspace of a nine-dimensional space.
| |
| :(1,−1,0;0,0,0;0,0,0), (−1,1,0;0,0,0;0,0,0),
| |
| :(−1,0,1;0,0,0;0,0,0), (1,0,−1;0,0,0;0,0,0),
| |
| :(0,1,−1;0,0,0;0,0,0), (0,−1,1;0,0,0;0,0,0),
| |
| :(0,0,0;1,−1,0;0,0,0), (0,0,0;−1,1,0;0,0,0),
| |
| :(0,0,0;−1,0,1;0,0,0), (0,0,0;1,0,−1;0,0,0),
| |
| :(0,0,0;0,1,−1;0,0,0), (0,0,0;0,−1,1;0,0,0),
| |
| :(0,0,0;0,0,0;1,−1,0), (0,0,0;0,0,0;−1,1,0),
| |
| :(0,0,0;0,0,0;−1,0,1), (0,0,0;0,0,0;1,0,−1),
| |
| :(0,0,0;0,0,0;0,1,−1), (0,0,0;0,0,0;0,−1,1),
| |
| | |
| All 27 combinations of <math>(\bold{3};\bold{3};\bold{3})</math> where <math>\bold{3}</math> is one of <math>\left(\frac{2}{3}, -\frac{1}{3}, -\frac{1}{3}\right),\ \left( -\frac{1}{3}, \frac{2}{3}, -\frac{1}{3}\right),\ \left( -\frac{1}{3}, -\frac{1}{3}, \frac{2}{3} \right)</math>
| |
| | |
| All 27 combinations of <math>(\bar{\bold{3}};\bar{\bold{3}};\bar{\bold{3}})</math> where <math>\bar{\bold{3}}</math> is one of <math>\left(-\frac{2}{3},\frac{1}{3},\frac{1}{3}\right),\ \left(\frac{1}{3}, -\frac{2}{3}, \frac{1}{3} \right),\ \left( \frac{1}{3}, \frac{1}{3}, -\frac{2}{3} \right)</math>
| |
| | |
| '''Simple roots'''
| |
| | |
| :(0,0,0;0,0,0;0,1,−1)
| |
| | |
| :(0,0,0;0,0,0;1,−1,0)
| |
| | |
| :(0,0,0;0,1,−1;0,0,0)
| |
| | |
| :(0,0,0;1,−1,0;0,0,0)
| |
| | |
| :(0,1,−1;0,0,0;0,0,0)
| |
| | |
| :<math>\left(\frac{1}{3},-\frac{2}{3},\frac{1}{3};-\frac{2}{3},\frac{1}{3},\frac{1}{3};-\frac{2}{3},\frac{1}{3},\frac{1}{3}\right)</math>
| |
| | |
| [[Image:E6Coxeter.svg|thumb|300px|Graph of E6 as a subgroup of E8 projected into the Coxeter plane]]
| |
| [[File:E6HassePoset.svg|thumb|300px|[[Hasse diagram]] of E6 [[Root system#The root poset|root poset]] with edge labels identifying added simple root position]]
| |
| | |
| ==== An alternative description ====
| |
| An alternative (6-dimensional) description of the root system, which is useful in considering E<sub>6</sub> × SU(3) as a [[E8 (mathematics)#Subgroups|subgroup of]] E<sub>8</sub>, is the following:
| |
| | |
| All <math>4\times\begin{pmatrix}5\\2\end{pmatrix}</math> permutations of
| |
| :<math>(\pm1,\pm1,0,0,0,0)</math> preserving the zero at the last entry,
| |
| | |
| and all of the following roots with an odd number of plus signs
| |
| | |
| :<math>\left(\pm{1\over 2},\pm{1\over 2},\pm{1\over 2},\pm{1\over 2},\pm{1\over 2},\pm{\sqrt{3}\over 2}\right).</math>
| |
| | |
| Thus the 78 generators consist of the following subalgebras:
| |
| : A 45-dimensional SO(10) subalgebra, including the above <math>4\times\begin{pmatrix}5\\2\end{pmatrix}</math> generators plus the five [[Cartan subalgebra|Cartan generator]]s corresponding to the first five entries.
| |
| : Two 16-dimensional subalgebras that transform as a [[Weyl spinor]] of <math>\operatorname{spin}(10)</math> and its complex conjugate. These have a non-zero last entry.
| |
| : 1 generator which is their chirality generator, and is the sixth [[Cartan subalgebra|Cartan generator]].
| |
| | |
| One choice of [[Simple root (root system)|simple root]]s for E<sub>6</sub>, index as [[File:DynkinE6.svg|120px]], is given by the rows of the following matrix:
| |
| | |
| :<math>\left [\begin{smallmatrix}
| |
| 1&-1&0&0&0&0 \\
| |
| 0&1&-1&0&0&0 \\
| |
| 0&0&1&-1&0&0 \\
| |
| 0&0&0&1&1&0 \\
| |
| -\frac{1}{2}&-\frac{1}{2}&-\frac{1}{2}&-\frac{1}{2}&-\frac{1}{2}&\frac{\sqrt{3}}{2}\\
| |
| 0&0&0&1&-1&0 \\
| |
| \end{smallmatrix}\right ]</math>
| |
| | |
| we have ordered them so that their corresponding nodes in the [[Dynkin diagram]] are ordered from left to right (in the diagram depicted above) with the side node last.
| |
| | |
| === Weyl group ===
| |
| The [[Weyl group]] of E<sub>6</sub> is of order 51840: it is the [[automorphism]] group of the unique [[simple group]] of order 25920 (which can be described as any of: PSU<sub>4</sub>(2), PSΩ<sub>6</sub><sup>−</sup>(2), PSp<sub>4</sub>(3) or PSΩ<sub>5</sub>(3)).<ref>{{cite book |last1=Conway |first1=John Horton |authorlink1=John Horton Conway |last2=Curtis |first2=Robert Turner |last3=Norton |first3=Simon Phillips |authorlink3=Simon P. Norton |last4=Parker |first4=Richard A |authorlink4=Richard A. Parker |last5=Wilson |first5=Robert Arnott |authorlink5=Robert Arnott Wilson |title=[[ATLAS of Finite Groups|Atlas of Finite Groups]]: Maximal Subgroups and Ordinary Characters for Simple Groups |year=1985 |month= |publisher=Oxford University Press |isbn=0-19-853199-0 |page=26 }}</ref>
| |
| | |
| === Cartan matrix ===
| |
| :<math>\left [\begin{smallmatrix}
| |
| 2&-1&0&0&0&0\\
| |
| -1&2&-1&0&0&0\\
| |
| 0&-1&2&-1&0&-1\\
| |
| 0&0&-1&2&-1&0\\
| |
| 0&0&0&-1&2&0\\
| |
| 0&0&-1&0&0&2
| |
| \end{smallmatrix}\right ]</math>
| |
| | |
| ==Important subalgebras and representations==
| |
| The Lie algebra E<sub>6</sub> has an F<sub>4</sub> subalgebra, which is the fixed subalgebra of an outer automorphism, and an SU(3) × SU(3) × SU(3) subalgebra. Other maximal subalgebras which have an importance in physics (see below) and can be read off the Dynkin diagram, are the algebras of SO(10) × U(1) and SU(6) × SU(2).
| |
| | |
| In addition to the 78-dimensional adjoint representation, there are two dual [[E8 (mathematics)#Subgroups|27-dimensional "vector" representation]]s.
| |
| | |
| The characters of finite dimensional representations of the real and complex Lie algebras and Lie groups are all given by the [[Weyl character formula]]. The dimensions of the smallest irreducible representations are {{OEIS|id=A121737}}:
| |
| | |
| :<u>1</u>, 27 (twice), <u>78</u>, 351 (four times), <u>650</u>, 1728 (twice), <u>2430</u>, <u>2925</u>, <u>3003 (twice)</u>, <u>5824 (twice)</u>, 7371 (twice), 7722 (twice), 17550 (twice), 19305 (four times), 34398 (twice), <u>34749</u>, <u>43758</u>, 46332 (twice), 51975 (twice), 54054 (twice), 61425 (twice), <u>70070</u>, <u>78975 (twice)</u>, <u>85293</u>, 100386 (twice), <u>105600</u>, 112320 (twice), <u>146432 (twice)</u>, <u>252252 (twice)</u>, 314496 (twice), 359424 (four times), <u>371800 (twice)</u>, 386100 (twice), 393822 (twice), 412776 (twice), <u>442442 (twice)</u>…
| |
| | |
| The underlined terms in the sequence above are the dimensions of those irreducible representations possessed by the adjoint form of E<sub>6</sub> (equivalently, those whose weights belong to the root lattice of E<sub>6</sub>), whereas the full sequence gives the dimensions of the irreducible representations of the simply connected form of E<sub>6</sub>.
| |
| | |
| The symmetry of the Dynkin diagram of E<sub>6</sub> explains why many dimensions occur twice, the corresponding representations being related by the non-trivial outer automorphism; however, there are sometimes even more representations than this, such as four of dimension 351, two of which are fundamental and two of which are not.
| |
| | |
| The [[fundamental representation]]s have dimensions 27, 351, 2925, 351, 27 and 78 (corresponding to the seven nodes in the [[#Dynkin diagram|Dynkin diagram]] in the order chosen for the [[#Cartan matrix|Cartan matrix]] above, i.e., the nodes are read in the five-node chain first, with the last node being connected to the middle one).
| |
| | |
| ==E6 polytope==
| |
| The '''[[E6 polytope|E<sub>6</sub> polytope]]''' is the [[convex hull]] of the roots of E<sub>6</sub>. It therefore exists in 6 dimensions; its [[symmetry group]] contains the [[Coxeter group]] for E<sub>6</sub> as an [[Index of a subgroup|index]] 2 subgroup.
| |
| | |
| ==Chevalley and Steinberg groups of type E<sub>6</sub> and <sup>2</sup>E<sub>6</sub>==
| |
| | |
| {{main|²E₆}}
| |
| | |
| The groups of type ''E''<sub>6</sub> over arbitrary fields (in particular finite fields) were introduced by {{harvs|txt|last=Dickson|year1=1901|year2=1908}}.
| |
| | |
| The points over a [[finite field]] with ''q'' elements of the (split) algebraic group E<sub>6</sub> (see [[#E6 as an algebraic group|above]]), whether of the adjoint (centerless) or simply connected form (its algebraic universal cover), give a finite [[Group of Lie type|Chevalley group]]. This is closely connected to the group written E<sub>6</sub>(''q''), however there is ambiguity in this notation, which can stand for several things:
| |
| * the finite group consisting of the points over '''F'''<sub>''q''</sub> of the simply connected form of E<sub>6</sub> (for clarity, this can be written E<sub>6,sc</sub>(''q'') or more rarely <math>\tilde E_6(q)</math> and is known as the "universal" Chevalley group of type E<sub>6</sub> over '''F'''<sub>''q''</sub>),
| |
| * (rarely) the finite group consisting of the points over '''F'''<sub>''q''</sub> of the adjoint form of E<sub>6</sub> (for clarity, this can be written E<sub>6,ad</sub>(''q''), and is known as the "adjoint" Chevalley group of type E<sub>6</sub> over '''F'''<sub>''q''</sub>), or
| |
| * the finite group which is the image of the natural map from the former to the latter: this is what will be denoted by E<sub>6</sub>(''q'') in the following, as is most common in texts dealing with finite groups.
| |
| | |
| From the finite group perspective, the relation between these three groups, which is quite analogous to that between SL(''n,q''), PGL(''n,q'') and PSL(''n,q''), can be summarized as follows: E<sub>6</sub>(''q'') is simple for any ''q'', E<sub>6,sc</sub>(''q'') is its [[Schur multiplier|Schur cover]], and E<sub>6,ad</sub>(''q'') lies in its automorphism group; furthermore, when ''q''−1 is not divisible by 3, all three coincide, and otherwise (when ''q'' is congruent to 1 mod 3), the Schur multiplier of E<sub>6</sub>(''q'') is 3 and E<sub>6</sub>(''q'') is of index 3 in E<sub>6,ad</sub>(''q''), which explains why E<sub>6,sc</sub>(''q'') and E<sub>6,ad</sub>(''q'') are often written as 3·E<sub>6</sub>(''q'') and E<sub>6</sub>(''q'')·3. From the algebraic group perspective, it is less common for E<sub>6</sub>(''q'') to refer to the finite simple group, because the latter is not in a natural way the set of points of an algebraic group over '''F'''<sub>''q''</sub> unlike E<sub>6,sc</sub>(''q'') and E<sub>6,ad</sub>(''q'').
| |
| | |
| Beyond this “split” (or “untwisted”) form of E<sub>6</sub>, there is also one other form of E<sub>6</sub> over the finite field '''F'''<sub>''q''</sub>, known as <sup>2</sup>E<sub>6</sub>, which is obtained by twisting by the non-trivial automorphism of the Dynkin diagram of E<sub>6</sub>. Concretely, <sup>2</sup>E<sub>6</sub>(''q''), which is known as a Steinberg group, can be seen as the subgroup of E<sub>6</sub>(''q''<sup>2</sup>) fixed by the composition of the non-trivial diagram automorphism and the non-trivial field automorphism of '''F'''<sub>''q''<sup>2</sup></sub>. Twisting does not change the fact that the algebraic fundamental group of <sup>2</sup>E<sub>6,ad</sub> is '''Z'''/3'''Z''', but it does change those ''q'' for which the covering of <sup>2</sup>E<sub>6,ad</sub> by <sup>2</sup>E<sub>6,sc</sub> is non-trivial on the '''F'''<sub>''q''</sub>-points. Precisely: <sup>2</sup>E<sub>6,sc</sub>(''q'') is a covering of <sup>2</sup>E<sub>6</sub>(''q''), and <sup>2</sup>E<sub>6,ad</sub>(''q'') lies in its automorphism group; when ''q''+1 is not divisible by 3, all three coincide, and otherwise (when ''q'' is congruent to 2 mod 3), the degree of <sup>2</sup>E<sub>6,sc</sub>(''q'') over <sup>2</sup>E<sub>6</sub>(''q'') is 3 and <sup>2</sup>E<sub>6</sub>(''q'') is of index 3 in <sup>2</sup>E<sub>6,ad</sub>(''q''), which explains why <sup>2</sup>E<sub>6,sc</sub>(''q'') and <sup>2</sup>E<sub>6,ad</sub>(''q'') are often written as 3·<sup>2</sup>E<sub>6</sub>(''q'') and <sup>2</sup>E<sub>6</sub>(''q'')·3.
| |
| | |
| Two notational issues should be raised concerning the groups <sup>2</sup>E<sub>6</sub>(''q''). One is that this is sometimes written <sup>2</sup>E<sub>6</sub>(''q''<sup>2</sup>), a notation which has the advantage of transposing more easily to the Suzuki and Ree groups, but the disadvantage of deviating from the notation for the '''F'''<sub>''q''</sub>-points of an algebraic group. Another is that whereas <sup>2</sup>E<sub>6,sc</sub>(''q'') and <sup>2</sup>E<sub>6,ad</sub>(''q'') are the '''F'''<sub>''q''</sub>-points of an algebraic group, the group in question also depends on ''q'' (e.g., the points over '''F'''<sub>''q''<sup>2</sup></sub> of the same group are the untwisted E<sub>6,sc</sub>(''q''<sup>2</sup>) and E<sub>6,ad</sub>(''q''<sup>2</sup>)).
| |
| | |
| The groups E<sub>6</sub>(''q'') and <sup>2</sup>E<sub>6</sub>(''q'') are simple for any ''q'',<ref>{{cite book | first=Roger W. | last=Carter | title=Simple Groups of Lie Type | authorlink=Roger Carter (mathematician) | publisher=John Wiley & Sons | series=Wiley Classics Library | isbn=0-471-50683-4 | year=1989 }}</ref><ref>{{cite book | first=Robert A. | last=Wilson | title=The Finite Simple Groups | authorlink=Robert Arnott Wilson | publisher=[[Springer-Verlag]] | series=[[Graduate Texts in Mathematics]] | volume=251 | isbn=1-84800-987-9 | year=2009 }}</ref> and constitute two of the infinite families in the [[classification of finite simple groups]]. Their order is given by the following formula {{OEIS|id=A008872}}:
| |
| | |
| :<math>|E_6 (q)| = \frac{1}{\mathrm{gcd}(3,q-1)}q^{36}(q^{12}-1)(q^9-1)(q^8-1)(q^6-1)(q^5-1)(q^2-1)</math>
| |
| :<math>|{}^2\!E_6 (q)| = \frac{1}{\mathrm{gcd}(3,q+1)}q^{36}(q^{12}-1)(q^9+1)(q^8-1)(q^6-1)(q^5+1)(q^2-1)</math>
| |
| | |
| {{OEIS|id=A008916}}. The order of E<sub>6,sc</sub>(''q'') or E<sub>6,ad</sub>(''q'') (both are equal) can be obtained by removing the dividing factor gcd(3,''q''−1) from the first formula {{OEIS|id=A008871}}, and the order of <sup>2</sup>E<sub>6,sc</sub>(''q'') or <sup>2</sup>E<sub>6,ad</sub>(''q'') (both are equal) can be obtained by removing the dividing factor gcd(3,''q''+1) from the second {{OEIS|id=A008915}}.
| |
| | |
| The Schur multiplier of E<sub>6</sub>(''q'') is always gcd(3,''q''−1) (i.e., E<sub>6,sc</sub>(''q'') is its Schur cover). The Schur multiplier of <sup>2</sup>E<sub>6</sub>(''q'') is gcd(3,''q''+1) (i.e., <sup>2</sup>E<sub>6,sc</sub>(''q'') is its Schur cover) outside of the exceptional case ''q''=2 where it is 2<sup>2</sup>·3 (i.e., there is an additional 2<sup>2</sup>-fold cover). The outer automorphism group of E<sub>6</sub>(''q'') is the product of the diagonal automorphism group '''Z'''/gcd(3,''q''−1)'''Z''' (given by the action of E<sub>6,ad</sub>(''q'')), the group '''Z'''/2'''Z''' of diagram automorphisms, and the group of field automorphisms (i.e., cyclic of order ''f'' if ''q''=''p<sup>f</sup>'' where ''p'' is prime). The outer automorphism group of <sup>2</sup>E<sub>6</sub>(''q'') is the product of the diagonal automorphism group '''Z'''/gcd(3,''q''+1)'''Z''' (given by the action of <sup>2</sup>E<sub>6,ad</sub>(''q'')) and the group of field automorphisms (i.e., cyclic of order ''f'' if ''q''=''p''<sup>''f''</sup> where ''p'' is prime).
| |
| | |
| ==Importance in physics==
| |
| | |
| [[File:E6GUT.svg|300px|right|thumb|The pattern of [[weak isospin]], W, weaker isospin, W', strong g3 and g8, and baryon minus lepton, B, charges for particles in the [[SO(10)]] [[Grand Unified Theory]], rotated to show the embedding in E<sub>6</sub>.]]
| |
| | |
| N=8 [[supergravity]] in five dimensions, which is a [[dimensional reduction]] from 11 dimensional supergravity, admits an E<sub>6</sub> bosonic global symmetry and an Sp(8) bosonic [[gauge symmetry|local symmetry]]. The fermions are in representations of Sp(8), the gauge fields are in a representation of E<sub>6</sub>, and the scalars are in a representation of both (Gravitons are [[singlet]]s with respect to both). Physical states are in representations of the coset E<sub>6</sub>/Sp(8).
| |
| | |
| In [[Grand unification theory|grand unification theories]], E<sub>6</sub> appears as a possible gauge group which, after its [[symmetry breaking|breaking]], gives rise to the SU(3) × SU(2) × U(1) [[gauge group]] of the [[standard model]] (also see [[E8 (mathematics)#Importance in physics|Importance in physics of E8]]). One way of achieving this is through breaking to SO(10) × U(1). The adjoint 78 representation breaks, as explained above, into an adjoint 45, spinor 16 and <math>\bar{16}</math> as well as a singlet of the SO(10) subalgebra. Including the U(1) charge we have
| |
| | |
| :<math>78 \rightarrow 45_0 \oplus 16_{-3} \oplus \bar{16}_3 + 1_0. </math>
| |
| | |
| Where the subscript denotes the U(1) charge.
| |
| | |
| ==See also==
| |
| *[[En (Lie algebra)]]
| |
| *[[ADE classification]]
| |
| *[[Freudenthal magic square]]
| |
| | |
| ==References==
| |
| *{{Citation | last1=Adams | first1=J. Frank | title=Lectures on exceptional Lie groups | url=http://books.google.com/books?isbn=0226005275 | publisher=[[University of Chicago Press]] | series=Chicago Lectures in Mathematics | isbn=978-0-226-00526-3 | mr=1428422 | year=1996}}
| |
| * {{cite journal|last=Baez|first=John|authorlink=John Baez|year=2002|title=The Octonions, Section 4.4: E<sub>6</sub>|url=http://www.ams.org/bull/2002-39-02/S0273-0979-01-00934-X/home.html|journal=Bull. Amer. Math. Soc.|issn=0273-0979|volume=39|issue=2|pages=145–205|doi=10.1090/S0273-0979-01-00934-X}}. Online HTML version at [http://math.ucr.edu/home/baez/octonions/node17.html].
| |
| * {{cite journal|last=Cremmer|first=E.|coauthors=J. Scherk and J. H. Schwarz|year=1979|title=Spontaneously Broken N=8 Supergravity|url=|journal=Phys. Lett. B|volume=84|issue=1|pages=83–86|doi=10.1016/0370-2693(79)90654-3}}. Online scanned version at [http://ccdb4fs.kek.jp/cgi-bin/img_index?7904075].
| |
| *{{Citation | last1=Dickson | first1=Leonard Eugene | author1-link=Leonard Eugene Dickson | title=A class of groups in an arbitrary realm connected with the configuration of the 27 lines on a cubic surface | url=http://books.google.com/books?id=I_SWAAAAMAAJ&pg=PA145 | id=Reprinted in volume 5 of his collected works | year=1901 | journal=The quarterly journal of pure and applied mathematics | volume=33 | pages=145–173}}
| |
| *{{Citation | last1=Dickson | first1=Leonard Eugene | author1-link=Leonard Eugene Dickson | title=A class of groups in an arbitrary realm connected with the configuration of the 27 lines on a cubic surface (second paper) | url=http://books.google.com/books?id=16J7bgQU65oC&pg=PA145 | id=Reprinted in volume VI of his collected works | year=1908 | journal=The quarterly journal of pure and applied mathematics | volume=39 | pages=205–209}}
| |
| {{Reflist}}
| |
| | |
| {{Exceptional_Lie_groups}}
| |
| | |
| {{DEFAULTSORT:E6 (Mathematics)}}
| |
| [[Category:Algebraic groups]]
| |
| [[Category:Lie groups]]
| |