Generator de grup

Generatorul de grup ( operator infinitezimal ) este un concept folosit în teoria grupurilor Lie . Generatorii unui grup  sunt elementele care formează baza algebrei lui Lie sau, în cazul general, baza algebrei Lie a imaginii unui grup .

Generatorul este derivata reprezentării operatorului (sau matricei) a unui element de grup în raport cu un parametru de reprezentare cu valoare zero a tuturor parametrilor (se presupune, fără pierderi de generalitate, că cu valori zero ale parametrilor, operatorul care reprezintă elementul dat este egal cu operatorul de identitate și corespunde elementului de identitate al grupului). Reprezentarea unui element de grup arbitrar suficient de apropiat de elementul de identitate este exprimată în mod liniar în ceea ce privește generatoarele de grup (generatorii sunt termeni de ordinul întâi în extinderea operatorului de reprezentare într-o serie de puteri în termeni de parametri). Mai mult decât atât, în anumite ipoteze slabe, orice element al grupului (reprezentarea acestuia) poate fi exprimat în termeni de generatori, deoarece termenii de ordinul doi și superior sunt din nou exprimați în termeni de generatori. Pentru o anumită clasă de grupuri Lie conectate, orice element al grupului poate fi reprezentat folosind o mapare exponențială sub forma . În special, o astfel de reprezentare este valabilă pentru grupurile comutative pur și simplu conectate: proprietățile grupului în acest caz rezultă în mod evident din identitatea pentru operatorii de navetă și . Dacă generatoarele nu fac naveta, atunci reprezentarea exponențială pentru elementele grupului, în general, este valabilă doar local într-o vecinătate suficient de mică a identității grupului, chiar dacă grupul este conectat.

Definiția conceptului

Fie ca un element arbitrar al grupului să aibă o reprezentare -parametrică (funcția de operator a parametrilor, operatorii acționează asupra unui spațiu vectorial), iar elementul de identitate al grupului corespunde valorii funcției operator la valorile zero ale parametrilor . Atunci generatorii grupului sunt cantitățile:

Apoi, un element arbitrar din vecinătatea luată în considerare (unde parametrii sunt în mod natural mici) poate fi extins în apropierea transformării identității până la termeni de ordinul doi de micime:

Lie Algebra. Cartografiere exponențială

Fie grupul un grup Lie conectat - un grup de transformări care depind de un set finit de parametri, astfel încât orice element al grupului poate fi conectat la elementul de identitate printr-o cale care se află în întregime în cadrul acestui grup. Să notăm  generatorii grupului. Apoi se poate demonstra că generează o algebră Lie cu relația de comutație:

,

unde  sunt așa-numitele constante de structură ale algebrei Lie (numite și „constante structurale ale grupului”).

Dovada

Legea înmulțirii grupului are forma:

,

unde este o funcție. Deoarece vectorul parametrului zero este luat drept „coordonatele” elementului de identitate, această funcție trebuie să aibă proprietățile . În plus, această funcție poate fi extinsă într-o serie de puteri:

,

în plus, termenii proporționali cu pătratele parametrilor ar încălca proprietatea de mai sus a acestei funcții, deci sunt absenți în expansiune.

Să fie dată reprezentarea grupului . Poate fi extins într-o zonă de zero în ceea ce privește parametrii sub forma următoarelor serii (adăugăm o unitate imaginară pentru abordarea utilizată în fizică):

,

unde sunt operatorii independenti de parametri .

Dacă reprezentarea este unitară, operatorii (generatorii grupului) sunt hermitieni. Se presupune că reprezentarea este neproiectivă, adică obișnuită și, prin urmare, putem scrie:

.

Partea stângă a acestui raport este:

.

Partea dreaptă poate fi reprezentată după cum urmează (folosind descompunerea reprezentării și descompunerea funcției f):

,

unde termenii neamestecati de ordinul doi sunt omisi datorita coincidentei lor evidente cu partea stanga. Evident, și termenii de prim ordin coincid. Relațiile pentru termeni mixți de ordinul doi se dovedesc a fi netriviale. Și anume, pentru egalitatea părților din stânga și din dreapta ale condiției de grup pentru reprezentarea lui U, relația trebuie îndeplinită:

.

Astfel, operatorul de ordinul doi pentru descompunerea reprezentării unui grup s-a dovedit a fi exprimat în termeni de operatori de ordinul întâi, adică în termeni de generatori de grup. Cu toate acestea, consistența deplină necesită ca operatorul să fie simetric față de indici. Folosind expresia în termeni de generatori, cerința de simetrie înseamnă:

.

De aici obținem expresia pentru comutatorul generatoarelor de grup:

,

unde sunt așa-numitele constante de structură ale grupului.

Un astfel de set de relații de comutație este algebra Lie. Astfel, generatoarele de grup generează o algebră Lie.

Aceste relaţii de comutaţie sunt singura condiţie care garantează expresia recursivă a operatorilor care apar în extinderea reprezentării grupului în termeni de ordinul doi şi superior. Astfel, toți termenii de expansiune pot fi exprimați în termeni de generatoare. Aceasta înseamnă că operatorii de reprezentare a grupului, cel puțin într-o anumită vecinătate a elementului de identitate, pot fi exprimați în mod unic în termeni de generatori de grup.

Într-un caz particular, când , relațiile de comutație arată că generatoarele fac naveta în perechi: . Un astfel de grup este abelian. Pentru un astfel de grup, este posibilă exprimarea operatorilor de reprezentare a grupului prin generatoare

.

O astfel de mapare de la o algebră Lie la un grup Lie se numește mapare exponențială.

Dovada

Într-un astfel de grup ; deci . Prin urmare, putem scrie următoarea relație de grup:

;

pentru suficient de mare se poate folosi reprezentarea infinitezimala datorita micimii lui . Primim

.

Trecând la limita în raport cu , obținem expresia dorită pentru reprezentarea grupului pentru parametri arbitrari în termeni de exponent

.

Exemple de generatoare

Link -uri