手册

数学

Discovery

Andrius Kulikauskas

  • ms@ms.lt
  • +370 607 27 665
  • My work is in the Public Domain for all to share freely.

Lietuvių kalba

Introduction E9F5FC

Understandable FFFFFF

Questions FFFFC0

Notes EEEEEE

Software


See: Lie theory, Classical Lie groups

Interpret the four classical Lie algebras in terms of the four choice templates.


There are four choice templates:

  • {$ \prod_{i}(\varnothing + \leftrightarrow_{i}) $} Simplexes.
  • {$ \prod_{i}(\varnothing + (\leftarrow_{i} + \rightarrow_{i})) $} Cross-polytopes.
  • {$ \prod_{i}((\leftarrow_{i} + \rightarrow_{i})+\leftrightarrow_{i}) $} Cubes.
  • {$ \prod_{i}(\leftarrow_{i} + \rightarrow_{i}) $} Cube slices.

The root systems of the classical Lie algebras all include the roots of {$A_{n}$}: {$\pm (x_i-x_j)$}. The other root systems all include the additional roots of {$D_{n}$}: {$\pm (x_i+x_j), i\neq j$}. Finally, {$B_{n}$} includes {$\pm x_i$} and {$C_{n}$} includes {$\pm (x_i+x_i)$}.

The Weyl group of a root system is the group generated by the reflections across the hyperplanes of the roots. So the Weyl group is given by the directions of the roots but not their lengths.

Hyperplane = {$\pm$} RootTransposition
{$\pm(e_2-e_1)$}{$e_1 \Leftrightarrow e_2, -e_1 \Leftrightarrow -e_2$}
{$\pm(e_2+e_1)$}{$e_1 \Leftrightarrow -e_2, -e_1 \Leftrightarrow e_2$}
{$\pm(e_1)$}{$e_1 \Leftrightarrow -e_1$}

There are three ways of defining the reflections {$e_1 \Leftrightarrow -e_1$}:

  • {$B_n$}: By swapping with 0. By way of the hyperplane {$\pm(0-e_1)$}. Swapping {$e_1$} with {$0$} as with the cross polytopes. This takes place in the framework {$e_1 - 0$} so the minus sign is a feature of the pairing.
  • {$D_n$}: By swapping with any root {$e_2$}. By composing the hyperplanes {$\pm(e_2-e_1)$} and {$\pm(e_2--e_1)$}. Swapping {$e_1$} with {$e_2$} and then {$e_2$} with {$-e_1$}
  • {$C_n$}: By swapping directly with {$-e_1$}. By way of the hyperplane {$\pm(e_1--e_1)$}. Swapping {$e_1$} with {$-e_1$} directly. Then there is one minus sign in the pairing, and one carried by {$-e_1$}.

Pairing template

The sign can be attributed to the element or to the pairing template. So try to think that through.

Consider {$X-Y$} as a template where the minus sign imposes an ordering.

  • {$A_n$}: {$X, Y$} are taken from {${e_1,e_2 \dots e_n}$} and {$X \neq Y$} is ruled out by {$X-Y=0$}.

Consider {${X,Y}$} as a template where the set indicates inclusion with no ordering.

  • {$B_n$}: {$X, Y$} are taken from {${\dots -e_2,-e_1,e_1,e_2 \dots e_n}$} and {$X$} and {$Y$} may refer to the same number so long as they have the same sign, in which case they are understood to coincide.
  • {$D_n$}: {$X, Y$} are taken from {${\dots -e_2,-e_1,e_1,e_2 \dots e_n}$} and {$X$} and {$Y$} must refer to different numbers.
  • {$C_n$}: {$X, Y$} are taken from {${\dots -e_2,-e_1,e_1,e_2 \dots e_n}$} and {$X$} and {$Y$} may refer to the same number so long as they have the same sign, in which case they are understood to add.

Not satisfactory. :(

Orthogonalities

  • Real (orthogonal), complex (unitary), quaternion (symplectic)

Readings


  • Ask: What is a "globe" and a "globular set"?
  • How are the Weyl groups related to the choice templates? Use the relationships between the choice templates and the Weyl groups, and the Weyl groups and the root systems, to relate the root systems and the choice systems. Note the problematic identification as I had expected to identify the coordinate systems with {$C_n$} but their symmetry group instead may match that of {$D_n$}.
  • Interpret the three ways of defining the reflection {$e_{i} \leftrightarrow -e_{i}$}. How is this related to turning around the counting?
  • What geometrical information do the lengths of the roots carry, above and beyond the Weyl group?
  • What is the geometric relation between {$B_n$} and {$C_n$}?

LieAlgebrasChoiceTemplates


Naujausi pakeitimai


Puslapis paskutinį kartą pakeistas 2019 balandžio 30 d., 14:23
Tweet