Are all root systems defined with respect to a bilinear form?

  • Context: Graduate 
  • Thread starter Thread starter jostpuur
  • Start date Start date
  • Tags Tags
    Root Systems
Click For Summary
SUMMARY

Root systems are defined on vector spaces using a bilinear form, specifically through the equation \langle x,y\rangle = 2\frac{(x,y)}{\|y\|^2}, where (\cdot,\cdot) denotes the inner product. In the context of semisimple Lie algebras, roots are represented as linear forms \gamma\in\mathfrak{h}^*, and the Killing form is utilized to establish a bilinear form on \mathfrak{h}^*. However, this bilinear form does not constitute an inner product, leading to ambiguity in the interpretation of the numbers \langle \gamma_1, \gamma_2\rangle concerning reflections. Thus, root systems are indeed defined with respect to a bilinear form, which may not always be an inner product.

PREREQUISITES
  • Understanding of vector spaces and bilinear forms
  • Familiarity with semisimple Lie algebras
  • Knowledge of the Killing form and its properties
  • Basic concepts of linear forms and their applications in algebra
NEXT STEPS
  • Study the properties of the Killing form in detail
  • Explore the relationship between root systems and bilinear forms in Lie algebras
  • Read "Lie Algebras: A Walkthrough the Basics" by Humphreys for comprehensive insights
  • Investigate the applications of root systems in the theory of buildings
USEFUL FOR

Mathematicians, physicists, and graduate students focusing on algebraic structures, particularly those studying Lie algebras and their applications in theoretical physics.

jostpuur
Messages
2,112
Reaction score
19
When root system is defined on some vector space [tex]V[/tex], the definition uses numbers

[tex] \langle x,y\rangle = 2\frac{(x,y)}{\|y\|^2},\quad x,y\in V[/tex]

where [tex](\cdot,\cdot)[/tex] is the inner product. This number is handy, because a reflection of vector [tex]y[/tex] with respect to a hyper plane orthogonal to [tex]x[/tex] is given by

[tex] y\mapsto y - \langle y,x\rangle x.[/tex]

This all makes sense, but when the root system is defined in context of Lie algebras, I'm getting a bit lost with notations. When [tex]\mathfrak{g}[/tex] is some semisimple Lie group, and [tex]\mathfrak{h}[/tex] is a Cartan subalgebra, the roots are linear forms [tex]\gamma\in\mathfrak{h}^*[/tex]. Since the Killing form is nondegenerate, for each root [tex]\gamma[/tex] there exists a vector [tex]h_{\lambda}\in\mathfrak{h}[/tex] so that [tex]\gamma(x)=(h_{\gamma},x)[/tex], where [tex](\cdot,\cdot)[/tex] is the Killing form. This is then used to define a bilinear form onto [tex]\mathfrak{h}^*[/tex] by setting [tex](\gamma_1,\gamma_2)=(h_{\gamma_1},h_{\gamma_2})[/tex]. However, this does not define an inner product, so the numbers [tex]\langle \gamma_1, \gamma_2\rangle[/tex] don't seem to have an interpretation with reflections now.

Have I now understood something incorrectly, or is it the case that root systems are always defined with respect to some bilinear form, which is not necessarily an inner product?
 
Physics news on Phys.org

Similar threads

  • · Replies 4 ·
Replies
4
Views
3K
  • · Replies 26 ·
Replies
26
Views
2K
  • · Replies 7 ·
Replies
7
Views
2K
  • · Replies 20 ·
Replies
20
Views
4K
  • · Replies 12 ·
Replies
12
Views
3K
  • · Replies 7 ·
Replies
7
Views
3K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 43 ·
2
Replies
43
Views
5K
  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 1 ·
Replies
1
Views
2K