Talk:Dynkin diagram

Changed redirect

The original link was to root systems. I have changed it to Coxeter–Dynkin diagram. Although they do use Coxeter–Dynkin diagrams to classify root system, a root system is not a Coxeter–Dynkin diagram. Dharma6662000 (talk) 19:18, 20 August 2008 (UTC)[reply]

Agreed – I’d even go further and suggest that Dynkin diagrams merit their own page, as they are distinct from but confusingly similar to Coxeter diagrams of finite groups. I’ve accordingly marked the redirect as “with possibilities”. (And significantly expanded the discussion of Dynkin diagrams.)

—Nils von Barth (nbarth) (talk) 08:01, 26 November 2009 (UTC)[reply]

I’ve now done so (moved it to its own page); could use some work, but now it’s no longer threatening to overwhelm the Coxeter group page.

—Nils von Barth (nbarth) (talk) 07:14, 1 December 2009 (UTC)[reply]

Meaning of branches

I'm still verifying this, but added the Cartan matrix and (un)folded simply-connected graph equivalent, These seem to represent a near perfect correspondence to the Dynkins branching notation, AND the Cartan matrix nondiagonal elements seem to correspond to the number of nodes in the folding as well. I don't know if anyone has tried to present it like this before, but it seems very helpful! Tom Ruen (talk) 08:23, 9 January 2011 (UTC)[reply]

I added a column "value graph", apparently primarily used for hyperbolic graphs. It is defined and used in Notes on Coxeter Transformations and the McKay correspondence, Rafael Stekolshchik, 2005 [1]. Tom Ruen (talk) 21:44, 10 January 2011 (UTC)[reply]

I moved the summary table to a new article section, Dynkin diagram#Rank 2 Dynkin_diagrams. More integration is needed in the article, and perhaps it should be moved down, or duplicated into a smaller introductory table? Tom Ruen (talk) 03:23, 11 January 2011 (UTC)[reply]

Rank 2 Dynkin diagrams
Group name	Dynkin diagram		Cartan matrix		Symmetry order	Related simply-laced automorphic group³
Group name	(Standard) multi-edged graph¹	Valued graph²	$\left[{\begin{matrix}2&a_{12}\\a_{21}&2\end{matrix}}\right]$	Determinant (4-a₂₁*a₁₂)	Symmetry order	Related simply-laced automorphic group³
Finite (Determinant>0)
A₁xA₁			$\left[{\begin{smallmatrix}2&0\\0&2\end{smallmatrix}}\right]$	4	2
A₂			$\left[{\begin{smallmatrix}2&-1\\-1&2\end{smallmatrix}}\right]$	3	3
B₂			$\left[{\begin{smallmatrix}2&-2\\-1&2\end{smallmatrix}}\right]$	2	4	${A}_{3}$
C₂			$\left[{\begin{smallmatrix}2&-1\\-2&2\end{smallmatrix}}\right]$	2	4	${A}_{3}$
G₂			$\left[{\begin{smallmatrix}2&-1\\-3&2\end{smallmatrix}}\right]$	1	6	${D}_{4}$
Affine (Determinant=0)
A₁⁽¹⁾			$\left[{\begin{smallmatrix}2&-2\\-2&2\end{smallmatrix}}\right]$	0	∞	${\tilde {A}}_{3}$
A₂⁽²⁾			$\left[{\begin{smallmatrix}2&-1\\-4&2\end{smallmatrix}}\right]$	0	∞	${\tilde {D}}_{4}$
Hyperbolic (Determinant<0)
			$\left[{\begin{smallmatrix}2&-1\\-5&2\end{smallmatrix}}\right]$	-1	∞	H₅⁽⁶⁾
			$\left[{\begin{smallmatrix}2&-b\\-a&2\end{smallmatrix}}\right]$	4-ab	∞
Note¹: The multi-edged diagram correponds to the nondiagonal Cartan matrix elements a₂₁, a₁₂, with the number of edges drawn equal to max(a₂₁, a₁₂), and an arrow pointing towards nonunity element(s). Note²: For hyperbolic groups, (a₁₂*a₂₁>4), the multiedge style is abandoned in favor of an explicit labeling (a₂₁, a₁₂) on the edge. These are usually not applied to finite and affine graphs. Note³: Many multi-edged groups are automorphic via a folding operation with a higher ranked simply-laced group.

Computation of folding

It looks to me that geometric folding can be defined by multiplication of a Cartan matrix by a mapping function. For example this shows the mapping of the D₄ group into G₂. The 4x2 mapping matrix defines which nodes map into the same lower dimensional node. The last step removes the 3rd and 4th rows which are the same as the first row. If someone has some documentation for this process it would be nice to write up in the article section on folding. Tom Ruen (talk) 04:11, 16 January 2011 (UTC)[reply]

D₄		Fold mapping 3,4-->1		D₄		G₂
		Fold mapping 3,4-->1
$\left[{\begin{matrix}2&-1&0&0\\-1&2&-1&-1\\0&-1&2&0\\0&-1&0&2\end{matrix}}\right]$	x	$\left[{\begin{matrix}1&0\\0&1\\1&0\\1&0\end{matrix}}\right]$	=	$\left[{\begin{matrix}2&-1\\-3&2\\2&-1\\2&-1\end{matrix}}\right]$	-->	$\left[{\begin{matrix}2&-1\\-3&2\end{matrix}}\right]$

Arrow direction

There is a severe unclearity concerning the decoration of the Dynkin diagram arrow direction: While the top of the page shows the arrow pointing to the shorter root (e.g. in B_n "outwards" to the unique short root), the diagrams later have an arrow on top of the line pointing to the longer root (e.g. "inwards" for B_n), and the similarly-looking diagrams below on this discussion page again have the arrow pointing to the short root according to the Cartan matrix (e.g. B_2 left-to-right), while the folding in the last column is again flipped (the split node becomes longer, i.e. should stand left in B_2). The latter seems to be a "consequence-error" from using the former diagrams. Please crosscheck this observation and adapt the pictures accordingly! (resigned with newly created account) Pacman 2.0 (talk)

Thanks for the note. There was an arrow confusion from different sources, so all should have been corrected to the standard. I changed in the folding section and associated diagram. Tom Ruen (talk) 23:29, 30 May 2011 (UTC)[reply]

Twisted affine type A diagrams

I don't think the indexing of the twisted affine type A diagrams (i.e., A⁽²⁾_2k and A⁽²⁾_2k-1) are correct in the figure.

A⁽²⁾_2k-1 is dual to B⁽¹⁾_k, which is the diagram now labelled by A⁽²⁾_2k. Also note that this diagram will have k+1 vertices (or, k yellow vertices) contrary to what the text below the diagram says (that it will have k vertices).

A⁽²⁾_2k then corresponds to the other diagram. I think it also corresponds to a diagram with k yellow vertices (k+1 in total) but I don't have a good reference for that.

Ctourneur (talk) 18:44, 19 May 2012 (UTC)[reply]

Found the reference: Kac, Infinite dimensional Lie algebras, the table on page 55. (Previewable on Google books.) It confirms what I said.

Ctourneur (talk) 18:58, 19 May 2012 (UTC)[reply]

The Kac reference also makes clear that D⁽²⁾_k+1 also gives a diagram with k yellow nodes (k+1 in total).

I am going to go ahead and make the change from "k nodes" to "k yellow nodes"; since the other change requires changing the diagram, which I can't easily do, I'm going to hold off on that.

Ctourneur (talk) 19:23, 19 May 2012 (UTC)[reply]

Classification of semisimple Lie algebra: Bn ~ so(2n+1)

Shouldn't it be so(2n-1)? As written, B1 would correspond to so(3), but then B1 would only have one simple root, which might only correspond to R, while so(3) perhaps has a higher dimension as a vector space. B2 would correspond to SO(5). This also would need to be changed elsewhere. 173.48.167.65 (talk) 13:11, 5 January 2023 (UTC)[reply]

Typo in figure

In the fiɡure of "Affine Coxeter ɡroup foldinɡs", one diaɡram's row has its Kac-style label ɡiven as D(2)[4]; but the D(2) series all have a subscript matchinɡ the number of nodes, and this one has three nodes, so it should be D(2)[3]. Octavo (talk) 22:47, 23 March 2023 (UTC)[reply]