Sistema d'arrels

En matemàtiques, un sistema arrel és una configuració de vectors en un espai euclidià que satisfà determinades propietats geomètriques. El concepte és fonamental en la teoria de grups de Lie i àlgebres de Lie, especialment en la teoria de la classificació i representació de les àlgebres de Lie semisimples. Atès que els grups de Lie (i alguns anàlegs com els grups algebraics) i les àlgebres de Lie han esdevingut importants en moltes parts de les matemàtiques durant el segle XX, la naturalesa aparentment especial dels sistemes arrels desmenteix el nombre d'àrees en què s'apliquen. A més, l'esquema de classificació dels sistemes arrels, mitjançant diagrames de Dynkin, es produeix en parts de les matemàtiques sense connexió oberta amb la teoria de Lie (com ara la teoria de la singularitat). Finalment, els sistemes arrels són importants per si mateixos, com en la teoria de grafs espectrals.

Els sis vectors del sistema arrel A₂

Història

El concepte de sistema arrel va ser introduït originalment per Wilhelm Killing al voltant de 1889 (en alemany, Wurzelsystem). Els va utilitzar en el seu intent de classificar totes les àlgebres simples de Lie sobre el camp dels nombres complexos. Killing originalment va cometre un error en la classificació, enumerant dos sistemes arrels excepcionals de rang 4, quan de fet només n'hi ha un, ara conegut com F₄. Cartan va corregir més tard aquest error, mostrant que els dos sistemes arrels de Killing eren isomòrfics.

Killing va investigar l'estructura d'una àlgebra de Lie $L$, tenint en compte el que ara s'anomena subàlgebra de Cartan ${\mathfrak {h}}$. Després va estudiar les arrels del polinomi característic $\det(\operatorname {ad} _{L}x-t)$, on $x\in {\mathfrak {h}}$. Aquí es considera una arrel en funció de ${\mathfrak {h}}$, o de fet com un element de l'espai vectorial dual ${\mathfrak {h}}^{*}$. Aquest conjunt d'arrels formen un sistema radicular a l'interior ${\mathfrak {h}}^{*}$, tal com s'ha definit anteriorment, on el producte interior és la forma Killing.

Definicions i exemples

Com a primer exemple, considereu els sis vectors de l'espai euclidià bidimensional, R², tal com es mostra a la imatge de la dreta; anomenar-los arrels. Aquests vectors abasten tot l'espai. Si considereu la recta perpendicular a qualsevol arrel, per exemple β, aleshores la reflexió de R² en aquesta línia envia qualsevol altra arrel, per exemple α, a una altra arrel. A més, l'arrel a la qual s'envia és igual a α + nβ, on n és un nombre enter (en aquest cas, n és igual a 1). Aquests sis vectors compleixen la definició següent i, per tant, formen un sistema arrel; aquest es coneix com A₂.

Sistema arrel $A_{1}\times A_{1}$	Sistema arrel $D_{2}$
Sistema arrel $A_{2}$	Sistema arrel $G_{2}$
Sistema arrel $B_{2}$	Sistema arrel $C_{2}$

Definició

Sigui E un espai vectorial euclidià de dimensió finita, amb el producte interior euclidià estàndard denotat per $(\cdot ,\cdot )$. Un sistema arrel $\Phi$ a E és un conjunt finit de vectors diferents de zero (anomenades arrels) que compleixen les condicions següents:

1. Les arrels abasten E.
2. Els únics múltiples escalars d'una arrel $\alpha \in \Phi$ que pertanyen a $\Phi$ són $\alpha$ i $-\alpha$.
3. Per cada arrel $\alpha \in \Phi$, el conjunt $\Phi$ es tanca sota la reflexió a través de l'hiperplà perpendicular a $\alpha$.
4. (Integralitat) Si $\alpha$ i $\beta$ són arrels a $\Phi$ , llavors la projecció de $\beta$ a la línia a través $\alpha$ és un múltiple enter o mig enter d'$\alpha$.

Una manera equivalent d'escriure les condicions 3 i 4 és la següent:

1. Per a dues arrels qualsevol $\alpha ,\beta \in \Phi$ , el conjunt $\Phi$ conté l'element $\sigma _{\alpha }(\beta ):=\beta -2{\frac {(\alpha ,\beta )}{(\alpha ,\alpha )}}\alpha .$
2. Per a dues arrels qualsevol $\alpha ,\beta \in \Phi$ , el nombre $\langle \beta ,\alpha \rangle :=2{\frac {(\alpha ,\beta )}{(\alpha ,\alpha )}}$ és un nombre enter.

Alguns autors només inclouen les condicions 1 – 3 en la definició d'un sistema arrel. En aquest context, un sistema arrel que també compleix la condició d'integració es coneix com a sistema arrel cristal·logràfic. Altres autors ometen la condició 2; llavors anomenen sistemes arrels que satisfan la condició 2 reduïda. En aquest article, se suposa que tots els sistemes arrels són reduïts i cristal·logràfics.

A la vista de la propietat 3, la condició d'integralitat equival a afirmar que β i la seva reflexió σ _α ( β ) difereixen en un múltiple enter de α. Tingueu en compte que l'operador $$\langle \cdot ,\cdot \rangle \colon \Phi \times \Phi \to \mathbb {Z}$$ definit per la propietat 4 no és un producte intern. No és necessàriament simètric i només és lineal en el primer argument.