Комплексная группа Ли - Complex Lie group

В геометрия, а комплексная группа Ли это Группа Ли над комплексными числами; т.е. это комплексно-аналитическое многообразие это тоже группа в таком случае является голоморфный. Основные примеры: , то общие линейные группы над сложные числа. Связная компактная комплексная группа Ли - это в точности комплексный тор (не путать с комплексной группой Ли ). Любой конечной группе можно дать структуру комплексной группы Ли. Комплекс полупростая группа Ли это линейная алгебраическая группа.

Алгебра Ли комплексной группы Ли - это комплексная алгебра Ли.

Примеры

  • Конечномерное векторное пространство над комплексными числами (в частности, комплексная алгебра Ли) очевидным образом является комплексной группой Ли.
  • Связная компактная комплексная группа Ли А измерения грамм имеет форму куда L дискретная подгруппа. В самом деле, ее алгебра Ли можно показать как абелев и тогда это сюръективный морфизм комплексных групп Ли, показывающих А имеет описанную форму.
  • является примером морфизма комплексных групп Ли, который не происходит из морфизма алгебраических групп. С , это также пример представления комплексной группы Ли, не являющейся алгебраической.
  • Позволять Икс - компактное комплексное многообразие. Тогда, как и в реальном случае, комплексная группа Ли, алгебра Ли которой .
  • Позволять K быть связанным компактная группа Ли. Тогда существует единственная связная комплексная группа Ли грамм такой, что (я) , и (ii) K - максимальная компактная подгруппа в грамм. Это называется комплексирование из K. Например, усложнение унитарная группа. Если K действует на компактном Кэлерово многообразие Икс, то действие K распространяется на грамм.[1]

Линейная алгебраическая группа, ассоциированная с комплексной полупростой группой Ли

Позволять грамм - комплексная полупростая группа Ли. потом грамм допускает естественную структуру линейной алгебраической группы следующим образом:[2] позволять кольцо голоморфных функций ж на грамм такой, что охватывает конечномерное векторное пространство внутри кольца голоморфных функций на грамм (здесь грамм действует левым переводом: ). потом является линейной алгебраической группой, которая, если рассматривать ее как комплексное многообразие, является исходной грамм. Более конкретно, выберите верное представление из грамм. потом закрыто по Зарискому в .[требуется разъяснение ]

Рекомендации

  1. ^ Гийемен, Виктор; Штернберг, Шломо (1982). «Геометрическое квантование и кратности представлений групп». Inventiones Mathematicae. 67 (3): 515–538. Дои:10.1007 / bf01398934.
  2. ^ Серр и Ч. VIII. Теорема 10.