В теории групп Ли экспоненциальное отображение — это отображение алгебры Ли группы Ли в группу, которое позволяет восстановить структуру локальной группы из алгебры Ли. Существование экспоненциального отображения является одной из основных причин того, что алгебры Ли являются полезным инструментом для изучения групп Ли.
Обычная показательная функция математического анализа представляет собой частный случай экспоненциального отображения, когда – мультипликативная группа положительных действительных чисел (алгебра Ли которой является аддитивной группой всех действительных чисел). Экспоненциальное отображение группы Ли обладает многими свойствами, аналогичными свойствам обычной показательной функции, однако оно также отличается во многих важных отношениях.
Из цепного правила легко следует , что . Карта может быть построена как интегральная кривая либо право-, либо левоинвариантного векторного поля , связанного с . То, что интегральная кривая существует для всех действительных параметров, следует из перевода решения вправо или влево около нуля.
Более конкретное определение имеется в случае матричной группы Ли . Экспоненциальное отображение совпадает с матричной экспонентой и определяется разложением в обычный ряд:
,
где единичная матрица . Таким образом, в случае матричных групп Ли экспоненциальное отображение является ограничением матричной экспоненты на алгебру Ли .
Сравнение с римановой экспоненциальной картой
Если G компактна, она имеет риманову метрику, инвариантную относительно левого и правого сдвигов, и теоретико-лиевое экспоненциальное отображение для G совпадает с экспоненциальным отображением этой римановой метрики .
Для общего G не будет существовать римановой метрики, инвариантной как при левом, так и при правом сдвиге. Хотя всегда существует риманова метрика, инвариантная, скажем, относительно левых сдвигов, экспоненциальное отображение в смысле римановой геометрии для левоинвариантной метрики в общем случае не будет согласовываться с экспоненциальным отображением в смысле группы Ли. То есть, если G — группа Ли , снабженная левоинвариантной, но не правоинвариантной метрикой, геодезические через тождество не будут однопараметрическими подгруппами G.
Другие определения
Другие эквивалентные определения экспоненты группы Ли следующие:
Это экспоненциальное отображение канонической левоинвариантной аффинной связности на G , такой, что параллельная транспортировка задается левым сдвигом. То есть, где находится уникальная геодезическая с начальной точкой в единичном элементе и начальной скоростью X (которая рассматривается как касательный вектор).
Это экспоненциальное отображение канонической правоинвариантной аффинной связности на G . Обычно это отличается от канонического левоинвариантного соединения, но оба соединения имеют одинаковые геодезические (орбиты однопараметрических подгрупп, действующих путем левого или правого умножения), поэтому дают одно и то же экспоненциальное отображение.
Соответствие группа Ли – алгебра Ли также дает определение: для X в – единственный гомоморфизм группы Ли, соответствующий гомоморфизму алгебры Ли (примечание: .)
Примеры
Единичная окружность с центром в точке 0 в комплексной плоскости представляет собой группу Ли (называемую группой окружности ), касательное пространство которой в точке 1 можно отождествить с воображаемой линией в комплексной плоскости. Экспоненциальное отображение для этой группы Ли задается выражением
из фактора по решетке. Поскольку оно локально изоморфно комплексным многообразиям , мы можем отождествить его с касательным пространством и отображением
соответствует экспоненциальному отображению комплексной группы Ли .
В кватернионах набор кватернионов единичной длины образует группу Ли (изоморфную специальной унитарной группе SU (2) ), касательное пространство которой в точке 1 можно отождествить с пространством чисто мнимых кватернионов. Экспоненциальное отображение для этой группы Ли дан кем-то
Эта карта переносит 2-сферу радиуса R внутри чисто мнимых кватернионов в 2-сферу радиуса (см. Экспоненту вектора Паули ). Сравните это с первым примером выше.
Пусть V — конечномерное вещественное векторное пространство и рассматриваем его как группу Ли при операции сложения векторов. Затем посредством отождествления V с его касательным пространством в точке 0 и экспоненциального отображения
Важно подчеркнуть, что предыдущее тождество вообще не выполняется; предположение, что и поездка на работу важна.
Образ экспоненциального отображения всегда лежит в единичной составляющей .
Экспонента вблизи тождества
Экспоненциальная карта является гладкой картой . Его дифференциал в нуле, , является тождественным отображением (с обычными отождествлениями).
Из теоремы об обратной функции следует, что экспоненциальное отображение, следовательно, ограничивается диффеоморфизмом из некоторой окрестности 0 в окрестность 1 в . [2]
Тогда нетрудно показать, что если G связен, каждый элемент g из G является произведением экспонент элементов из : [3] .
В глобальном масштабе экспоненциальная карта не обязательно сюръективна. Более того, экспоненциальное отображение не может быть локальным диффеоморфизмом во всех точках. Например, экспоненциальное отображение (3) в SO(3) не является локальным диффеоморфизмом; см. также вырезание локуса об этой неудаче. См. производную экспоненциальной карты для получения дополнительной информации.
Сюръективность экспоненты
Известно, что в этих важных особых случаях экспоненциальное отображение всегда сюръективно:
G связна и компактна, [4]
G связен и нильпотентен (например, G связен и абелев), или
. [5]
Для групп, не удовлетворяющих ни одному из вышеперечисленных условий, экспоненциальное отображение может быть или не быть сюръективным.
Образ экспоненциального отображения связной, но некомпактной группы SL 2 ( R ) не является всей группой. Ее образ состоит из C -диагонализуемых матриц с собственными значениями либо положительными, либо с модулем 1, а также недиагонализуемых матриц с повторяющимся собственным значением 1 и матрицы . (Таким образом, изображение исключает матрицы с действительными отрицательными собственными значениями, отличными от .) [6]
Экспоненциальное отображение и гомоморфизмы
Пусть – гомоморфизм группы Ли, – его производная в единице. Тогда следующая диаграмма коммутирует : [7]
В частности, применительно к присоединенному действию группы Ли , поскольку , мы имеем полезное тождество: [8]
.
Логарифмические координаты
Учитывая группу Ли с алгеброй Ли , каждый выбор базиса определяет систему координат рядом с единичным элементом e для G следующим образом. По теореме об обратной функции экспоненциальное отображение является диффеоморфизмом некоторой окрестности начала координат в окрестность . Его обратное:
тогда является системой координат на U . Его называют разными именами, такими как логарифмические координаты, экспоненциальные координаты или нормальные координаты. См. теорему о замкнутой подгруппе для примера того, как они используются в приложениях.
Замечание : открытое покрытие дает G такую структуру вещественно-аналитического многообразия , что групповая операция является вещественно-аналитической. [9]
Холл, Брайан К. (2015), Группы Ли, алгебры Ли и представления: элементарное введение , Тексты для аспирантов по математике, том. 222 (2-е изд.), Спрингер, ISBN 978-3319134666.