Chevalley basis

In mathematics, a Chevalley basis for a simple complex Lie algebra is a basis constructed by Claude Chevalley with the property that all structure constants are integers. Chevalley used these bases to construct analogues of Lie groups over finite fields, called Chevalley groups.

The generators of a Lie group are split into the generators H and E indexed by simple roots and their negatives \pm\alpha_i. The relations among the generators are the following:

[H_{\alpha_i},H_{\alpha_j}]=0
[H_{\alpha_i},E_{\alpha_j}]=\alpha_j(H_{\alpha_i}) E_{\alpha_j}
[E_{-\alpha_i},E_{\alpha_i}] = H_{\alpha_i}
[E_{\beta},E_{\gamma}]=\pm(p+1)E_{\beta+\gamma}

where in the last relation p is the greatest positive integer such that \gamma -p\beta is a root and we consider E_{\beta + \gamma} = 0 if \beta + \gamma is not a root.

For determining the sign in the last relation one fixes an ordering of roots which respects addition, i.e., if \beta \prec \gamma then \beta + \alpha \prec \gamma + \alpha provided that all four are roots. We then call (\beta, \gamma) an extraspecial pair of roots if they are both positive and \beta is minimal among all \beta_0 that occur in pairs of positive roots (\beta_0, \gamma_0) satisfying \beta_0 + \gamma_0 = \beta + \gamma. The sign in the last relation can be chosen arbitrarily whenever (\beta, \gamma) is an extraspecial pair of roots. This then determines the signs for all remaining pairs of roots.

References


This article is issued from Wikipedia - version of the Tuesday, February 24, 2015. The text is available under the Creative Commons Attribution/Share Alike but additional terms may apply for the media files.