Take the 2-minute tour ×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

The ADE type Dynkin diagrams seem to come up in seemingly different areas of math. Two places they come up are:

(1) Classification of simply laced complex simple lie algebras.

(2) Finite subgroups of $Sl_2 (\mathbb{C})$

Are there any other objects that they classify?

share|improve this question
16  
A nice quotation from P. Etingof, O. Golberg, S. Hensel, T. Liu, A. Schwendner, E. Udovina and D. Vaintrob: Introduction to representation theory. arXiv:0901.0827: «If we needed to make contact with an alien civilization and show them how sophisticated our civilization is, perhaps showing them Dynkin diagrams would be the best choice!» –  Mariano Suárez-Alvarez Nov 25 '09 at 12:49
add comment

14 Answers 14

Have you read this by John McKay and the 6 editions of This Week's Finds listed at the end? Week 230 gives plenty of ADE appearances.

share|improve this answer
add comment

They classify quivers for which the path algebra is of finite representation type., acording to a famous theorem of P. Gabriel.

share|improve this answer
add comment

They parametrize the finite dimensional preprojective algebras.

share|improve this answer
add comment

They classify the so called "simple singularities" of differential maps, that is, of those types of singularities which involve no parameters. See V. I. Arnolʹd, S. M. Guseĭn-Zade, A. N. Varchenko, Singularities of differentiable maps, Vol. 2, Chap. 15, sect. 1.

share|improve this answer
add comment

They classify the (germs of) isolated rational singular points of two dimensional complex analytic spaces. See A. E. Durfee, Fifteen characterizations of rational double points and simple critical points. Enseign. Math. (2) 25 (1979), no. 1-2, 131--163.

share|improve this answer
add comment

They classify the cluster algebras of finite type (that is, with a finite number of clusters). See S. Fomin, A. Zelevinski, Cluster algebras II: Finite type classification, Invent. Math. 154 (2003), 63--121.

share|improve this answer
4  
ADE correspond to skew-symmetric cluster algebras of finite type; you get the whole Dynkin (ABCDEFG) classification if you include all finite type cluster algebras (i.e., if you include ones that are skew-symmetrizable and not skew-symmetric). –  Hugh Thomas Nov 25 '09 at 16:46
add comment

They classify principal graphs of $II_1$-subfactors with index less than $4$. The principal graph can be $A_n$, $D_{2n}$, $E_6$, or $E_8$, but $D_{odd}$ and $E_7$ do not occur.

share|improve this answer
1  
And extended Dynkin diagrams partially classify the subfactors at index 4. –  Scott Morrison Nov 4 '10 at 11:58
add comment

As Mariano said, the ADE Dynkin diagrams classify quivers of finite representation type. But wait, there's more. If you add one more vertex to a Dynkin diagram (in a particular way, not an arbitrary one), you get an extended Dynkin diagram (aka a Euclidian diagram). The extended ADE diagrams classify quivers of tame representation type. This is related to the fact that the extended ADE diagrams give you a positive semi-definite Tits form, while the ordinary ADE diagrams give you a positive definite Tits form.

share|improve this answer
    
I like the fact that, whereas subdiagrams of the Dynkin diagram classify Levis, subdiagrams of the Euclidean diagram classify semisimple centralisers (often called ‘pseudo-Levis’). –  L Spice May 30 '11 at 2:24
add comment

Let $G$ be a connected graph with the property that all eigenvalues of $G$ lie in $[-2,2]$ (such a $G$ is called cyclotomic). Then $G$ is either one of $\tilde{E}_6,\tilde{E}_7,\tilde{E}_8$, an $\tilde{A}_n$ for $n\ge 2$, a $\tilde{D}_n$ for $n\ge4$, or an induced subgraph of one of these. In other words, the ADE graphs classify the maximal cyclotomic graphs.

share|improve this answer
add comment

They classify certain types of rational conformal field theories, as in this recent review paper.

share|improve this answer
1  
This one is very directly related to the classification of subfactors with index less than 4! –  Scott Morrison Nov 4 '10 at 11:58
add comment

This article gives a nice overview on the "ADE-problem". It is written in the late 1970's, so it does not cover more recent appearences. Where is their appearance is most surprising?

share|improve this answer
add comment

Extended Dynkin diagrams appear naturally in Kodaira classification of singular fibers of an elliptic surface.

share|improve this answer
add comment

You might also take a look at Slodowy, P. (1983), Platonic Solids, Kleinian Singularities and Lie Groups,Lecture Notes in Mathematics, No. 1008, pp. 102- 138,

Arnold's Trinities paper "Polymathematics : is mathematics a single science or a set of arts?", easily found on the net

and

Chapoton's own trinities page (also found on the net).

The last two focus on the "E" part of ADE, but give long lists of intriguing parallels.

share|improve this answer
add comment

I suggest to take a look on a very nice Givental's paper (MR1138519 (92k:58031)):

"Reflection groups in singularity theory."

Here is the review (by V.D. Sedykh): The simple singularities of functions are classified by the Coxeter groups $(A,D,E$-classification). This classification arises in other problems, too (the classifications of the simple Lie algebras, of the finite quaternions groups and so on). The author gives a detailed survey of these results. He also considers the problems connected with the classification of the quasihomogeneous unimodular singularities of functions (the classification of the degenerations of elliptic curves, the theory of automorphic functions and so on) in this paper.

share|improve this answer
add comment

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.