群論 2021-07-05

単純ルートとDynkin図

ScienceTime Team
97 views
単純ルートとDynkin図

Introduction

Lie代数は構造定数によってその基本的な構造が決定されるが,Cartan-Weyl基底を用いた形式では,その役割を果たすのがルートである。 そしてまた,負ルートは,単に正ルートの符号を変えたものであるから,結局のところ,適当な正ルートの集まりによって半単純Lie代数の構造が定められてしまう。 ここでは,そうした正ルートの集まりである,ルートの基本系の定義を与える(Dynkin図については準備中)。

ルートの基本系

互いに線形独立で,任意のルートを,すべて負ではない,またはすべて正ではない$l(=\dim \frh)$個の係数$(a_1,...,a_l)$によって

\begin{align} \label{eq:alpha_linear} \alpha=\sum_{i=1}^l a_i \alpha_i \end{align}

の形に表すことができるルート$\alpha_i$の集合$\Pi=\{\alpha_1,...,\alpha_l \}$をルートの基本系(fundamental system)といい,その元を単純ルート(simple root)という。


正(負)ルートと順序

基本系$\Pi$を用いて展開したとき,すべての係数が負でないものを($\Pi$に関する)正ルート,反対に,すべての係数が正でないものを負ルートという。

単純ルートは,(\ref{eq:alpha_linear})において係数のどれか1つだけが1で,それ以外はすべて0であるルートであるから正ルートである。

2つのルート$\alpha,\beta$の差が正ルートになるか負ルートになるかによって,ルートに順序を定める。 すなわち$\alpha-\beta>0$であれば,2つのルートの大小関係は$\alpha>\beta$である。


Cartan行列

ルートの基本系$\Pi=\{\alpha_1,...,\alpha_l \}$に対し,Cartan行列

\begin{align} C_{ij} = \frac{2(\alpha_i,\alpha_j)}{(\alpha_j,\alpha_j)} \end{align}

で定義する。 Killing形式非退化であることから$\det (\alpha_i,\alpha_j)\neq 0$であり,この行列は正則である。


Dynkin図

 

 

References

  • Arvanitogeōrgos, A. (2003). An Introduction to Lie groups and the Geometry of Homogeneous Spaces. American Mathematical Society.
  • Bincer, A. M. (2013). Lie Groups and Lie Algebras: A Physicist's Perspective. Oxford University Press.
  • Das, A., & Okubo, S. (2014). Lie Groups and Lie Algebras for Physicists. World Scientific.
  • Georgi, H. (2018). Lie Algebras in Particle Physics: From Isospin to Unified Theories. CRC Press.
  • 佐藤 肇. (2000). リー代数入門: 線形代数の続編として. 裳華房.
  • 島和久. (1981). 連続群とその表現. 岩波書店.