Questions tagged [dynkin-diagrams]

A Dynkin diagram, named after the russian mathematician Eugen B. Dynkin, is a member of a small family of directed graphs originally used as a shorthand to classify and describe the structure of semi-simple Lie algebras. They are increasingly used and generalized for other mathematical objects having similar combinatorial properties.

The Dynkin diagrams are the undirected graphs drawn in this post.

There are four infinite families of type $A_n$, $B_n$, $C_n$, and $D_n$, and five exceptional diagrams $F_4$, $G_2$, $E_6$, $E_7$, and $E_8$. The diagrams of type $A$, $D$, or $E$ are called the simply-laced Dynkin diagrams since they have no double- or triple- edges.

These diagrams classify a few different mathematical objects, one of note being the root systems of semisimple Lie algebras. Coxeter diagrams allow to enumerate and classify related algebraic or geometric objects such as families of generalized uniform polyhedra (by opposition to only regular ones) and many kinds of tilings in finite dimensional spaces.

Most classical references on Lie theory cover them (Jacobson, Humphreys, Knapp, etc). See John Baez's Week 230 for many references and intriguing connections to many branches of mathematics and physics.

89 questions
9
votes
2 answers

Why do $SU(2)$ and $SL(2,\mathbb{C})$ have the same Lie algebra?

The Lie algebras $su(2)$ and $sl(2,\mathbb C)$ have the same Dynkin Diagram (just a blob) and therefore also have the same structure constants and isomorphic Lie algebras. Additionally, they are both, as one can prove, simple and semisimple. But…
Markus Zetto
  • 1,046
  • 6
  • 17
8
votes
1 answer

Recover Lie algebra bracket from the root system

I have coordinates of the $n$ roots in the $d$-dimensional space forming the root system of the $(n+d)$-dimensional Lie algebra. I want to implement the algorithm to recover the Lie bracket of the algebra. The Lie bracket between the elements of…
6
votes
2 answers

How to descent to smaller groups "by chopping off a node of the Dynkin diagram"?

I read in section 2 of this paper : "There is a well-defined chain to descent from $E_8$ to smaller groups by chopping off a node of the Dynkin diagram." What exactly is here referring to here? What is this process called to descent from a group…
Tim
  • 263
  • 1
  • 6
4
votes
1 answer

Dynkin Diagram $SU(n)$

The goal is to give the Dynkin diagram of $SU(n)$. One can show that the complexification of the Lie algebra $\mathfrak{g}$ of $G$ is given by $\mathfrak{G}_{\mathbb{C}}=\mathfrak{sl}(n,\mathbb{C})$ (thus the traceless matrices). Moreover one can…
4
votes
1 answer

Inducing a Lie Algebra Automorphism From a Dynkin Diagram Automorphism

I wish to consider the automorphism of a Lie algebra induced by considering an automorphism on its Dynkin diagram, in particular the order 3 automorphism on $D_4$. I thought to extend linearly on the root system from how it would act on its simple…
4
votes
1 answer

In what way exactly does a Dynkin diagram encode a type of geometrical incidence structure?

In his talk "Split Octonions and the Rolling Ball," John Baez says that a Dynkin diagram describes a type of geometry, with vertices representing types of objects, and edges representing incidence relations between them. The example he gives is of…
4
votes
1 answer

What graphs arise as the Dynkin diagrams of semisimple Lie algebras?

I am searching in the literature (so far unsuccessfully) the correct notion of "abstract Dynkin diagram" as the one that characterises intrinsically graphs that arise as the Dynkin diagram of a semisimple Lie algebra. In other words: what…
4
votes
2 answers

SU(5) Lie algebra: Derive the 10-dimensional matrix representation, from the given 5-dimensional fundamental matrix representation

My question (Abstractly) If we know how to write the matrix representation of the fundamental representation of SU(N), could we use them to derive the matrix representation of other representations of SU(N)? (adjoint, anti-symmetric, or symmetric,…
4
votes
0 answers

Nilpotent orbits from either Dynkin diagram or Levi subalgebras

Given a nilpotent orbit, $\mathcal{O}_X$, associated to an element, $X$, of a complex semisimple Lie algebra, $\mathfrak{g}$, there are two equivalent classification schemes: Via the Jacobson-Morozov theorem, one can define a triplet $(H, X, Y)$…
4
votes
1 answer

How to understand the Galois *-action on a Dynkin diagram

Let $L/k$ be a (Galois) quadratic field extension, and let $\sigma \in \operatorname{Gal}(L/k)$ be the nontrivial automorphism. Let $h$ be a Hermitian form on $L^{4}$, and let $G = \operatorname{SU}_{4}$ be the special unitary group associated to…
4
votes
1 answer

Symmetry of extended Dynkin diagrams

In a paper I was reading about Kac-Moody algebras there was remark that interested me, but I couldn't really make sense of. When discussing extended Dynkin diagrams the authors dicussed that there is a "gain in symmetry" due to the one extra root…
Sito
  • 620
4
votes
1 answer

For which graphs does this "+1 game", the Sponsor Game, terminate?

Consider this game on simple graphs described by Allen Knutson: Begin by assigning a $1$ to a single node and a $0$ to each other node in the graph. Then, while such a node exists, choose a node with a value strictly less than half the sum of all…
4
votes
0 answers

Reference for reading Dynkin diagrams in Lie theory?

I have learned that given a Dynkin diagram corresponding to a Kac-Moody algebra, I should be able to use the diagram to read off the generators and relations of the Weyl group of that algebra. Each node should correspond to a generator of order 2,…
4
votes
1 answer

What information can I immediately extract from a Dynkin diagram?

I have understood quite well how we construct Dynkin diagrams. My question is the following: What immediate information can I extract just by looking at a Dynkin diagram? Of course I can understand if it is an A,B,C,D,G,E or F type of algebra and…
Marion
  • 2,309
3
votes
0 answers

When does an algebraic group have $PSL_2$ as a quotient?

The context for the question is due to a comment in Milne’s Introduction to Shimura Varieties. I have limited background in algebraic groups (i.e. just enough to know what it is when it is used). Besides the point, how does one determine if an…
user992440
1
2 3 4 5 6