Симплектическая группа
Симплекти́ческая гру́ппа, группа линейных преобразований конечномерного векторного пространства (вещественного или комплексного), сохраняющих кососкалярное произведение, т. е. невырожденную кососимметричную (в физических приложениях чаще употребляется термин «антисимметричная») билинейную форму.
Пространство, снабжённое кососкалярным произведением, называется симплектическим. Роль симплектической группы в симплектическом пространстве аналогична роли ортогональной группы в евклидовом пространстве.
Примеры. 1) Кососкалярное произведение на плоскости с координатами – это форма площади . Паре векторов она сопоставляет ориентированную площадь натянутого на них параллелограмма и меняет знак при перестановке векторов. Например, кососкалярное произведение пары векторов с декартовыми координатами и можно записать в виде . Симплектическая группа плоскости изоморфна группе -матриц с определителем 1.
2) Прямая сумма симплектических плоскостей несёт кососкалярное произведение , относящее паре векторов сумму площадей проекций на координатные плоскости натянутого на эти векторы параллелограмма. Симплектическая группа содержится в группе линейных преобразований, сохраняющих объём .
3) Мнимая часть невырожденной эрмитовой формы в -мерном комплексном пространстве, рассматриваемом как -мерное вещественное, является кососкалярным произведением. В координатах эрмитова форма имеет мнимую часть . Симплектическая группа содержит унитарную группу – группу комплексных линейных преобразований, сохраняющих эту эрмитову форму. Унитарная группа – максимальная компактная подгруппа в симплектической группе.
Изучение симплектического пространства упрощается благодаря теореме Дарбу – Фробениуса, согласно которой симплектическое пространство чётномерно, а два таких пространства одной размерности симплектически изоморфны.
Два вектора называются косоортогональными, если их кососкалярное произведение равно нулю. Вектор, косоортогональный всему пространству, – нулевой. В этом состоит определение невырожденности кососкалярного произведения. Каждый вектор себе косоортогонален (следствие кососимметричности). Косоортогональное дополнение прямой – гиперплоскость, содержащая эту прямую.
Обратно, косоортогональное дополнение гиперплоскости – прямая в ней. Вообще косоортогональное дополнение подпространства имеет дополнительную размерность. Два подпространства одинаковой размерности переводятся друг в друга преобразованием из симплектической группы, если и только если совпадают размерности их пересечений со своими косоортогональными дополнениями. В частности, любая прямая (гиперплоскость) переводится в любую другую. Таким образом, геометрия симплектического пространства во многом определяется структурой симплектической группы.
Симплектическая группа -мерного симплектического пространства – это простая связная группа Ли, обозначаемая [в комплексном случае ]. Её размерность Алгебра Ли этой группы изоморфна алгебре Ли однородных многочленов степени 2 от переменных со скобкой Пуассона в качестве коммутатора:По этой причине изучение симплектической группы равносильно до некоторой степени изучению линейных гамильтоновых систем дифференциальных уравнений.