proof of existence of opposite roots in semisimple algebras?


by naima
Tags: algebras, existence, opposite, proof, roots, semisimple
naima
naima is offline
#1
Jan4-12, 09:02 AM
PF Gold
P: 310
Happy new year from France.

I am reading books on elementary particle and i see that their
gauge bosons may be neutral or have opposite charge. They live
in semisimple Lie algebras. So I searched in math books how to prove
that in a semisimple Lie algebra if α is a root so is -α.
I found that it is related to the fact that the killing form is not degenerate.

Could you comment this:

If α is a root the space gα is not nul and orthogonal to Ʃλ ≠- α g λ. Since the Killing form is non degenerate g must be ≠ 0 then -α is a root.

Here g λ = {x ∈ g |∃n ∈ N ∀h ∈ h , (π(h) − λ(h))n (x) = 0}.
Phys.Org News Partner Science news on Phys.org
SensaBubble: It's a bubble, but not as we know it (w/ video)
The hemihelix: Scientists discover a new shape using rubber bands (w/ video)
Microbes provide insights into evolution of human language
morphism
morphism is offline
#2
Jan7-12, 07:53 PM
Sci Advisor
HW Helper
P: 2,020
That is certainly a correct proof, but be sure that you're not using anything you're not allowed to (i.e. that you're not being circular).
naima
naima is offline
#3
Jan15-12, 10:04 AM
PF Gold
P: 310
I found it in a book.

the main thing is to see that [gα , gβ ] ⊂ gα+β
by definition the killing form K(x,y) = trace (ad x ad y) where ad y (z) = [y,z].

We have ad x ad y (z) = [x,[y,z]]
if x ∈ g α y ∈ g β and z ∈ g γ then [x,[y,z]] is in g α+β+γ
so if α+β not null gγ is mapped on another space and does not participate to the trace (outside the diagonal)
x is orthogonal to y (K =0) if β not = -α
it cannot be orthogonal to all the vectors (K not degenerate) so -α is a root.

Could you give me an example where gα (eigenvectors) is strictly included in gα

morphism
morphism is offline
#4
Jan15-12, 11:24 AM
Sci Advisor
HW Helper
P: 2,020

proof of existence of opposite roots in semisimple algebras?


For a complex semisimple g, what you denote by g^\alpha ("generalized" eigenvectors) is always equal to g_\alpha.


Register to reply

Related Discussions
Roots of Lie algebras Linear & Abstract Algebra 0
The opposite slope means the opposite fraction, or opposite sign? Precalculus Mathematics Homework 4
for those who want proof of god's existence General Discussion 1
No proof of existence exists General Discussion 2
A proof for the existence of God? General Discussion 338