Register to reply

Proof of existence of opposite roots in semisimple algebras?

Share this thread:
naima
#1
Jan4-12, 09:02 AM
PF Gold
P: 354
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
Wildfires and other burns play bigger role in climate change, professor finds
SR Labs research to expose BadUSB next week in Vegas
New study advances 'DNA revolution,' tells butterflies' evolutionary history
morphism
#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
#3
Jan15-12, 10:04 AM
PF Gold
P: 354
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
#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