Ortogonalna symetryczna algebra Liego

W matematyce ortogonalna symetryczna to para składająca z rzędu sol rzędu { , że przestrzeń własna u s odpowiadające 1 (tj. zbiór stałych ) zwartą podalgebrą . Jeśli pominie się „zwartość”, nazywa się to symetryczną algebrą Liego . się ortogonalna symetryczna algebra Liego jest skuteczna jeśli trywialnie przecina środek . W praktyce często zakłada się skuteczność; robimy to również w tym artykule.

Liego przestrzeni symetrycznej , będąca różniczką symetrii.

Niech będzie efektywną ortogonalną symetryczną algebrą Lie i niech -1 przestrzeń własną . Mówimy, że typu zwartego jeśli jest zwarty i półprosty ( . Jeśli i jeśli rozkładem Cartana, jest typu niekompaktowego . Jeśli abelowym ideałem , to jest typu euklidesowego .

Każda efektywna, ortogonalna symetryczna algebra Liego rozkłada się na bezpośrednią sumę ideałów , i każdy niezmiennik pod i ortogonalny w stosunku do formy zabijania sol { i takie że - i oznaczają ograniczenie do , i odpowiednio sol , i są efektywnymi ortogonalnymi symetrycznymi algebrami Liego typu euklidesowego, zwartego i niezwartego.

  •   Helgason, Sigurdur (2001). Geometria różniczkowa, grupy Lie i przestrzenie symetryczne . Amerykańskie Towarzystwo Matematyczne. ISBN 978-0-8218-2848-9 .