09.05.2013 Views

Algebre di Lie semisemplici, sistemi di radici e loro classificazione

Algebre di Lie semisemplici, sistemi di radici e loro classificazione

Algebre di Lie semisemplici, sistemi di radici e loro classificazione

SHOW MORE
SHOW LESS

You also want an ePaper? Increase the reach of your titles

YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.

4.8. LA MATRICE DI CARTAN 91<br />

j l’intero (αi, αj). Dato che le entrate della matrice <strong>di</strong> Cartan sono degli interi, esse prendono il nome<br />

<strong>di</strong> interi <strong>di</strong> Cartan <strong>di</strong> Φ.<br />

Ovviamente la matrice <strong>di</strong> Cartan <strong>di</strong>pende dalla scelta della base e dall’or<strong>di</strong>ne fissato in essa.<br />

Se ∆ ′ è un’altra base <strong>di</strong> Φ allora esiste un unico automorfismo σ ∈ W tale che σ(∆) = ∆ ′ . Ricordando<br />

che gli elementi <strong>di</strong> W conservano il prodotto scalare, se numeriamo le ra<strong>di</strong>ci <strong>di</strong> ∆ ′ secondo l’or<strong>di</strong>ne<br />

fissato in ∆, ossia α ′ 1 = σ(α1), ..., α ′ l = σ(αl) allora abbiamo:<br />

(σ ′ i, σ ′ j) = (σ(αi), σ(αj)) = 2 < σ(αi), σ(αj) ><br />

< σ(αj), σ(αj) > = 2 < αi, αj ><br />

< αj, αj > = (αi, αj) (4.88)<br />

e dunque la matrice <strong>di</strong> Cartan associata alle due basi è la stessa.<br />

La matrice <strong>di</strong> Cartan è non singolare : se vogliamo calcolarne il determinante possiamo osservare che<br />

dalla colonna j-esima possiamo mettere in evidenza 2/ < αj, αj > il quale è, per ogni αj un fattore<br />

positivo, in quanto il prodotto scalare è definito positivo. Quin<strong>di</strong> il determinante della matrice <strong>di</strong><br />

Cartan concide, a meno <strong>di</strong> un fattore non nullo (ossia il prodotto, al variare delle ra<strong>di</strong>ci semplici αj,<br />

<strong>di</strong> 2/ < αj, αj >), con il determinante della matrice associata al prodotto scalare <strong>di</strong> E rispetto a ∆.<br />

Questo determinante è non nullo in quanto il prodotto scalare è una forma bilineare non degenere.<br />

Calcoliamo ora le matrici <strong>di</strong> Cartan associate ai <strong>sistemi</strong> <strong>di</strong> ra<strong>di</strong>ci A1×Ai, A2, B2 e G2 visti nel paragrafo<br />

4.3 : la base che consideriamo per ognuno è quella vista in conclusione dello stesso paragrafo. Ponendo<br />

sempre α come prima ra<strong>di</strong>ce, utilizziamo le tabelle viste per ogni singolo esempio per dedurre :<br />

⎛ ⎞<br />

2 0<br />

A1 × A1 = ⎝ ⎠<br />

0 2<br />

⎛ ⎞<br />

2 −1<br />

A2 = ⎝ ⎠<br />

−1 2<br />

⎛ ⎞<br />

2 −1<br />

B2 = ⎝ ⎠<br />

−2 2<br />

⎛ ⎞<br />

2 −1<br />

G2 = ⎝ ⎠<br />

−3 2

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!