ADE classification: Difference between revisions
"this" is out of context |
|||
Line 56: | Line 56: | ||
== Trinities == |
== Trinities == |
||
Arnold has subsequently proposed many further connections in this vein, under the rubric of "mathematical trinities",<ref>Arnold, Vladimir, 1997, Toronto Lectures, ''[http://www.pdmi.ras.ru/~arnsem/Arnold/arn-papers.html Lecture 2: Symplectization, Complexification and Mathematical Trinities],'' June 1997 (last updated August, 1998). [http://www.pdmi.ras.ru/~arnsem/Arnold/a2src.zip TeX], [http://www.pdmi.ras.ru/~arnsem/Arnold/arnlect2.ps.gz PostScript], [http://www.neverendingbooks.org/DATA/ArnoldTrinities.pdf PDF]</ref><ref>''[http://www.pdmi.ras.ru/~arnsem/Arnold/arn-papers.html Polymathematics: is mathematics a single science or a set of arts?]'' On the server since 10-Mar-99, [http://www.pdmi.ras.ru/~arnsem/Arnold/Polymath.txt Abstract], [http://www.pdmi.ras.ru/~arnsem/Arnold/Polymath.tex.gz TeX], [http://www.pdmi.ras.ru/~arnsem/Arnold/Polymath.ps.gz PostScript], [http://www.neverendingbooks.org/DATA/ArnoldPolymathics.pdf PDF]; see table on page 8</ref> and McKay has extended his correspondence along parallel and sometimes overlapping lines. Arnold terms these "[[Trinity|trinities]]" to evoke religion, and suggest that (currently) these parallels rely more on faith than on rigorous proof, though some parallels are elaborated. Further trinities have been suggested by other authors.<ref>''[http://math.univ-lyon1.fr/~chapoton/trinites.html Les trinités remarquables],'' [http://math.univ-lyon1.fr/~chapoton/ Frédéric Chapoton] {{fr icon}}</ref><ref name="arntrin">{{citation | last = le Bruyn | first = Lieven | title = Arnold’s trinities | url = http://www.neverendingbooks.org/index.php/arnolds-trinities.html | date = 17 June 2008 }}</ref><ref>{{citation | last = le Bruyn | first = Lieven | title = Arnold’s trinities version 2.0 | url = http://www.neverendingbooks.org/index.php/arnolds-trinities-version-20.html | date = 20 June 2008 }}</ref> Arnold's trinities begin with '''R'''/'''C'''/'''H''' (the real numbers, complex numbers, and quaternions), which he remarks "everyone knows", and proceeds to imagine the other trinities as "complexifications" and "quaternionifications" of classical (real) mathematics, by analogy with finding symplectic analogs of classic Riemannian geometry, which he had previously proposed in the 1970s. In addition to examples from differential topology (such as [[characteristic class]]es), Arnold considers the three Platonic symmetries (tetrahedral, octahedral, icosahedral) as corresponding to the reals, complexes, and quaternions, which then connects with McKay's more algebraic correspondences, below. |
Arnold has subsequently proposed many further connections in this{{which}} vein, under the rubric of "mathematical trinities",<ref>Arnold, Vladimir, 1997, Toronto Lectures, ''[http://www.pdmi.ras.ru/~arnsem/Arnold/arn-papers.html Lecture 2: Symplectization, Complexification and Mathematical Trinities],'' June 1997 (last updated August, 1998). [http://www.pdmi.ras.ru/~arnsem/Arnold/a2src.zip TeX], [http://www.pdmi.ras.ru/~arnsem/Arnold/arnlect2.ps.gz PostScript], [http://www.neverendingbooks.org/DATA/ArnoldTrinities.pdf PDF]</ref><ref>''[http://www.pdmi.ras.ru/~arnsem/Arnold/arn-papers.html Polymathematics: is mathematics a single science or a set of arts?]'' On the server since 10-Mar-99, [http://www.pdmi.ras.ru/~arnsem/Arnold/Polymath.txt Abstract], [http://www.pdmi.ras.ru/~arnsem/Arnold/Polymath.tex.gz TeX], [http://www.pdmi.ras.ru/~arnsem/Arnold/Polymath.ps.gz PostScript], [http://www.neverendingbooks.org/DATA/ArnoldPolymathics.pdf PDF]; see table on page 8</ref> and McKay has extended his correspondence along parallel and sometimes overlapping lines. Arnold terms these "[[Trinity|trinities]]" to evoke religion, and suggest that (currently) these parallels rely more on faith than on rigorous proof, though some parallels are elaborated. Further trinities have been suggested by other authors.<ref>''[http://math.univ-lyon1.fr/~chapoton/trinites.html Les trinités remarquables],'' [http://math.univ-lyon1.fr/~chapoton/ Frédéric Chapoton] {{fr icon}}</ref><ref name="arntrin">{{citation | last = le Bruyn | first = Lieven | title = Arnold’s trinities | url = http://www.neverendingbooks.org/index.php/arnolds-trinities.html | date = 17 June 2008 }}</ref><ref>{{citation | last = le Bruyn | first = Lieven | title = Arnold’s trinities version 2.0 | url = http://www.neverendingbooks.org/index.php/arnolds-trinities-version-20.html | date = 20 June 2008 }}</ref> Arnold's trinities begin with '''R'''/'''C'''/'''H''' (the real numbers, complex numbers, and quaternions), which he remarks "everyone knows", and proceeds to imagine the other trinities as "complexifications" and "quaternionifications" of classical (real) mathematics, by analogy with finding symplectic analogs of classic Riemannian geometry, which he had previously proposed in the 1970s. In addition to examples from differential topology (such as [[characteristic class]]es), Arnold considers the three Platonic symmetries (tetrahedral, octahedral, icosahedral) as corresponding to the reals, complexes, and quaternions, which then connects with McKay's more algebraic correspondences, below. |
||
[[McKay correspondence|McKay's correspondences]] are easier to describe. Firstly, the extended Dynkin diagrams <math>\tilde E_6, \tilde E_7, \tilde E_8</math> (corresponding to tetrahedral, octahedral, and icosahedral symmetry) have symmetry groups <math>S_3, S_2, S_1,</math> respectively, and the associated [[folding (Dynkin diagram)|foldings]] are the diagrams <math>\tilde G_2, \tilde F_4, \tilde E_8</math> (note that in less careful writing, the extended (tilde) qualifier is often omitted). More significantly, McKay suggests a correspondence between the nodes of the <math>\tilde E_8</math> diagram and certain conjugacy classes of the [[monster group]], which is known as ''McKay's E<sub>8</sub> observation;''<ref>[http://arxiv4.library.cornell.edu/abs/0810.1465 Arithmetic groups and the affine E<sub>8</sub> Dynkin diagram], by John F. Duncan, in ''Groups and symmetries: from Neolithic Scots to John McKay''</ref><ref name="monster">{{citation | last = le Bruyn | first = Lieven | title = the monster graph and McKay’s observation | url = http://www.neverendingbooks.org/index.php/the-monster-graph-and-mckays-observation.html | date = 22 April 2009 }}</ref> see also [[monstrous moonshine]]. McKay further relates the nodes of <math>\tilde E_7</math> to conjugacy classes in 2.''B'' (an order 2 extension of the [[baby monster group]]), and the nodes of <math>\tilde E_6</math> to conjugacy classes in 3.''Fi''<sub>24</sub>' (an order 3 extension of the [[Fischer group]])<ref name="monster" /> – note that these are the three largest [[sporadic group]]s, and that the order of the extension corresponds to the symmetries of the diagram. |
[[McKay correspondence|McKay's correspondences]] are easier to describe. Firstly, the extended Dynkin diagrams <math>\tilde E_6, \tilde E_7, \tilde E_8</math> (corresponding to tetrahedral, octahedral, and icosahedral symmetry) have symmetry groups <math>S_3, S_2, S_1,</math> respectively, and the associated [[folding (Dynkin diagram)|foldings]] are the diagrams <math>\tilde G_2, \tilde F_4, \tilde E_8</math> (note that in less careful writing, the extended (tilde) qualifier is often omitted). More significantly, McKay suggests a correspondence between the nodes of the <math>\tilde E_8</math> diagram and certain conjugacy classes of the [[monster group]], which is known as ''McKay's E<sub>8</sub> observation;''<ref>[http://arxiv4.library.cornell.edu/abs/0810.1465 Arithmetic groups and the affine E<sub>8</sub> Dynkin diagram], by John F. Duncan, in ''Groups and symmetries: from Neolithic Scots to John McKay''</ref><ref name="monster">{{citation | last = le Bruyn | first = Lieven | title = the monster graph and McKay’s observation | url = http://www.neverendingbooks.org/index.php/the-monster-graph-and-mckays-observation.html | date = 22 April 2009 }}</ref> see also [[monstrous moonshine]]. McKay further relates the nodes of <math>\tilde E_7</math> to conjugacy classes in 2.''B'' (an order 2 extension of the [[baby monster group]]), and the nodes of <math>\tilde E_6</math> to conjugacy classes in 3.''Fi''<sub>24</sub>' (an order 3 extension of the [[Fischer group]])<ref name="monster" /> – note that these are the three largest [[sporadic group]]s, and that the order of the extension corresponds to the symmetries of the diagram. |
Revision as of 03:12, 23 July 2012
![](http://upload.wikimedia.org/wikipedia/commons/thumb/0/00/Simply_Laced_Dynkin_Diagrams.svg/220px-Simply_Laced_Dynkin_Diagrams.svg.png)
In mathematics, the ADE classification (originally A-D-E classifications) is the complete list of simply laced Dynkin diagrams or other mathematical objects satisfying analogous axioms; "simply laced" means that there are no multiple edges, which corresponds to all simple roots in the root system forming angles of (no edge between the vertices) or (single edge between the vertices). The list comprises
These comprise two of the four families of Dynkin diagrams (omitting and ), and three of the five exceptional Dynkin diagrams (omitting and ).
This list is non-redundant if one takes for If one extends the families to include redundant terms, one obtains the exceptional isomorphisms
and corresponding isomorphisms of classified objects.
The question of giving a common origin to these classifications, rather than an a posteriori verification of a parallelism, was posed in (Arnold 1976).
The A, D, E nomenclature also yields the simply laced finite Coxeter groups, by the same diagrams: in this case the Dynkin diagrams exactly coincide with the Coxeter diagrams, as there are no multiple edges.
Lie algebras
In terms of complex semisimple Lie algebras:
- corresponds to the special linear Lie algebra of traceless operators,
- corresponds to the even special orthogonal Lie algebra of even dimensional skew-symmetric operators, and
- are three of the five exceptional Lie algebras.
In terms of compact Lie algebras and corresponding simply laced Lie groups:
- corresponds to the algebra of the special unitary group
- corresponds to the algebra of the even projective special orthogonal group , while
- are three of five exceptional compact Lie algebras.
Binary polyhedral groups
The same classification applies to discrete subgroups of , the binary polyhedral groups; properly, binary polyhedral groups correspond to the simply laced affine Dynkin diagrams and the representations of these groups can be understood in terms of these diagrams. This connection is known as the McKay correspondence after John McKay. The connection to Platonic solids is described in (Dickson 1959). The correspondence uses the construction of McKay graph.
Note that the ADE correspondence is not the correspondence of Platonic solids to their reflection group of symmetries: for instance, in the ADE correspondence the tetrahedron, cube/octahedron, and dodecahedron/[[icosahedron] correspond to while the reflection groups of the tetrahedron, cube/octahedron, and dodecahedron/icosahedron are instead representations of the Coxeter groups and
The orbifold of constructed using each discrete subgroup leads to an ADE-type singularity at the origin, termed a du Val singularity.
The McKay correspondence can be extended to multiply laced Dynkin diagrams, by using a pair of binary polyhedral groups. This is known as the Slodowy correspondence – see (Stekolshchik 2008) .
Labeled graphs
The ADE graphs and the extended (affine) ADE graphs can also be characterized in terms of labellings with certain properties,[1] which can be stated in terms of the discrete Laplace operators[2] or Cartan matrices. Proofs in terms of Cartan matrices may be found in (Kac 1990, pp. 47–54).
The affine ADE graphs are the only graphs that admit a positive labeling (labeling of the nodes by positive real numbers) with the following property:
- Twice any label is the sum of the labels on adjacent vertices.
That is, they are the only positive functions with eigenvalue 1 for the discrete Laplacian (sum of adjacent vertices minus value of vertex) – the positive solutions to the homogeneous equation:
Equivalently, the positive functions in the kernel of The resulting numbering is unique up to scale, and if normalized such that the smallest number is 1, consists of small integers – 1 through 6, depending on the graph.
The ordinary ADE graphs are the only graphs that admit a positive labeling with the following property:
- Twice any label minus two is the sum of the labels on adjacent vertices.
In terms of the Laplacian, the positive solutions to the inhomogeneous equation:
The resulting numbering is unique (scale is specified by the "2") and consists of integers; for E8 they range from 58 to 270, and have been observed as early as (Bourbaki 1968).
Other classifications
The elementary catastrophes are also classified by the ADE classification.
The ADE diagrams are exactly the tame quivers, via Gabriel's theorem.
There are deep connections between these objects, hinted at by the classification;[citation needed] some of these connections can be understood via string theory.
Trinities
Arnold has subsequently proposed many further connections in this[which?] vein, under the rubric of "mathematical trinities",[3][4] and McKay has extended his correspondence along parallel and sometimes overlapping lines. Arnold terms these "trinities" to evoke religion, and suggest that (currently) these parallels rely more on faith than on rigorous proof, though some parallels are elaborated. Further trinities have been suggested by other authors.[5][6][7] Arnold's trinities begin with R/C/H (the real numbers, complex numbers, and quaternions), which he remarks "everyone knows", and proceeds to imagine the other trinities as "complexifications" and "quaternionifications" of classical (real) mathematics, by analogy with finding symplectic analogs of classic Riemannian geometry, which he had previously proposed in the 1970s. In addition to examples from differential topology (such as characteristic classes), Arnold considers the three Platonic symmetries (tetrahedral, octahedral, icosahedral) as corresponding to the reals, complexes, and quaternions, which then connects with McKay's more algebraic correspondences, below.
McKay's correspondences are easier to describe. Firstly, the extended Dynkin diagrams (corresponding to tetrahedral, octahedral, and icosahedral symmetry) have symmetry groups respectively, and the associated foldings are the diagrams (note that in less careful writing, the extended (tilde) qualifier is often omitted). More significantly, McKay suggests a correspondence between the nodes of the diagram and certain conjugacy classes of the monster group, which is known as McKay's E8 observation;[8][9] see also monstrous moonshine. McKay further relates the nodes of to conjugacy classes in 2.B (an order 2 extension of the baby monster group), and the nodes of to conjugacy classes in 3.Fi24' (an order 3 extension of the Fischer group)[9] – note that these are the three largest sporadic groups, and that the order of the extension corresponds to the symmetries of the diagram.
Turning from large simple groups to small ones, the corresponding Platonic groups have connections with the projective special linear groups PSL(2,5), PSL(2,7), and PSL(2,11) (orders 60, 168, and 660),[10][11] which is deemed a "McKay correspondence".[12] These groups are the only (simple) values for p such that PSL(2,p) acts non-trivially on p points, a fact dating back to Évariste Galois in the 1830s. In fact, the groups decompose as products of sets (not as products of groups) as: and These groups also are related to various geometries, which dates to Felix Klein in the 1870s; see icosahedral symmetry: related geometries for historical discussion and (Kostant 1995) for more recent exposition. Associated geometries (tilings on Riemann surfaces) in which the action on p points can be seen are as follows: PSL(2,5) is the symmetries of the icosahedron (genus 0) with the compound of five tetrahedra as a 5-element set, PSL(2,7) of the Klein quartic (genus 3) with an embedded (complementary) Fano plane as a 7-element set (order 2 biplane), and PSL(2,11) the buckyball surface (genus 70) with embedded Paley biplane as an 11-element set (order 3 biplane).[13] Of these, the icosahedron dates to antiquity, the Klein quartic to Klein in the 1870s, and the buckyball surface to Pablo Martin and David Singerman in 2008.
Algebro-geometrically, McKay also associates E6, E7, E8 respectively with: the 27 lines on a cubic surface, the 28 bitangents of a plane quartic curve, and the 120 tritangent planes of a canonic sextic curve of genus 4.[14][15] The first of these is well-known, while the second is connected as follows: projecting the cubic from any point not on a line yields a double cover of the plane, branched along a quartic curve, with the 27 lines mapping to 27 of the 28 bitangents, and the 28th line is the image of the exceptional curve of the blowup. Note that the fundamental representations of E6, E7, E8 have dimensions 27, 56 (28·2), and 248 (120+128), while the number of roots is 27+45 = 72, 56+70 = 126, and 112+128 = 240.
See also
References
- ^ (Proctor 1993)
- ^ (Proctor 1993, p. 940)
- ^ Arnold, Vladimir, 1997, Toronto Lectures, Lecture 2: Symplectization, Complexification and Mathematical Trinities, June 1997 (last updated August, 1998). TeX, PostScript, PDF
- ^ Polymathematics: is mathematics a single science or a set of arts? On the server since 10-Mar-99, Abstract, TeX, PostScript, PDF; see table on page 8
- ^ Les trinités remarquables, Frédéric Chapoton Template:Fr icon
- ^ le Bruyn, Lieven (17 June 2008), Arnold’s trinities
- ^ le Bruyn, Lieven (20 June 2008), Arnold’s trinities version 2.0
- ^ Arithmetic groups and the affine E8 Dynkin diagram, by John F. Duncan, in Groups and symmetries: from Neolithic Scots to John McKay
- ^ a b le Bruyn, Lieven (22 April 2009), the monster graph and McKay’s observation
- ^ Kostant, Bertram (1995), "The Graph of the Truncated Icosahedron and the Last Letter of Galois" (PDF), Notices Amer. Math. Soc., 42 (4): 959–968
{{citation}}
:|chapter=
ignored (help) - ^ le Bruyn, Lieven (12 June 2008), Galois’ last letter
- ^ (Kostant 1995, p. 964)
- ^ Martin, Pablo; Singerman, David (April 17, 2008), From Biplanes to the Klein quartic and the Buckyball (PDF)
- ^ Arnold 1997, p. 13
- ^ (McKay, John & Sebbar, Abdellah 2007, p. 11)
- Bourbaki, Nicolas (1968), "Chapters 4–6", Groupes et algebres de Lie, Paris: Hermann
- Arnold, Vladimir (1976), "Problems in present day mathematics", in Felix E. Browder (ed.), Mathematical developments arising from Hilbert problems, Proceedings of symposia in pure mathematics, vol. 28, American Mathematical Society, p. 46, Problem VIII. The A-D-E classifications (V. Arnold).
{{citation}}
: CS1 maint: postscript (link) - Dickson, Leonard E. (1959), "XIII: Groups of the Regular Solids; Quintic Equations", Algebraic Theories, New York: Dover Publications
{{citation}}
: External link in
(help); Unknown parameter|chapterurl=
|chapterurl=
ignored (|chapter-url=
suggested) (help) - Hazewinkel, Michiel; Hesseling, W.; Siersma, JD.; Veldkamp, F. (1977), "The ubiquity of Coxeter Dynkin diagrams. (An introduction of the A-D-E problem)" (PDF), Nieuw Archief v. Wiskunde, 35 (3): 257–307
- McKay, John (1980), "Graphs, singularities and finite groups", Proc. Symp. Pure Math., 37, Amer. Math. Soc.: 183– and 265–
- McKay, John (1982), "Representations and Coxeter Graphs", "The Geometric Vein", Coxeter Festschrift, Berlin: Springer-Verlag, pp. 549–
- Kac, Victor G. (1990), Infinite-Dimensional Lie Algebras (3rd edition ed.), Cambridge: Cambridge University Press, ISBN 0-521-46693-8
{{citation}}
:|edition=
has extra text (help)CS1 maint: extra punctuation (link) - McKay, John (January 1, 2001), A Rapid Introduction to ADE Theory
- Attention: This template ({{cite jstor}}) is deprecated. To cite the publication identified by jstor:2324217, please use {{cite journal}} with
|jstor=2324217
instead. - Attention: This template ({{cite doi}}) is deprecated. To cite the publication identified by doi:10.1007/978-3-540-30308-4_10, please use {{cite journal}} (if it was published in a bona fide academic journal, otherwise {{cite report}} with
|doi=10.1007/978-3-540-30308-4_10
instead. - Attention: This template ({{cite doi}}) is deprecated. To cite the publication identified by doi:10.1007/978-3-540-77398-3, please use {{cite journal}} (if it was published in a bona fide academic journal, otherwise {{cite report}} with
|doi=10.1007/978-3-540-77398-3
instead. - van Hoboken, Joris (2002), Platonic solids, binary polyhedral groups, Kleinian singularities and Lie algebras of type A,D,E (PDF), Master's Thesis, University of Amsterdam
External links
- John Baez, This Week's Finds in Mathematical Physics: Week 62, Week 63, Week 64, Week 65, August 28, 1995 through October 3, 1995, and Week 230, May 4, 2006
- The McKay Correspondence, Tony Smith
- ADE classification, McKay correspondence, and string theory, Luboš Motl, The Reference Frame, May 7, 2006