В математике , А симплектическое векторное пространство является векторным пространством V над полем F (например , действительные числа R ) , снабженным симплектической билинейной формой .
Симплектическая билинейная форма является отображение ω : V × V → F , который
Если основное поле имеет характеристику, отличную от 2, чередование эквивалентно кососимметрии . Если характеристика равна 2, асимметрия подразумевается, но не подразумевает чередование. В этом случае каждая симплектическая форма является симметричной , но не наоборот.
Работая в фиксированном базисе , ω можно представить в виде матрицы . Приведенные выше условия эквивалентны тому, что эта матрица является кососимметричной , невырожденной и полой . Это не следует путать с симплектической матрицей , которая представляет собой симплектическое преобразование space.Powered изменения этой страницы : If V является конечномерным , то ее размерностью обязательно должна быть даже так как каждый кососимметрична, полая матрица нечетного размера имеет определительнуль. Обратите внимание, что условие, что матрица должна быть полой, не является избыточным, если характеристика поля равна 2. Симплектическая форма ведет себя совершенно иначе, чем симметричная форма, например, скалярное произведение на евклидовых векторных пространствах.
Стандартное симплектическое пространство R 2 л с симплектической формой , заданной невырожденной , кососимметрической матрицей . Обычно ω выбирается в качестве блочной матрицы
где I n - единичная матрица размера n × n . В терминах базисных векторов ( x 1 , ..., x n , y 1 , ..., y n ) :
Модифицированная версия процесса Грама – Шмидта показывает, что любое конечномерное симплектическое векторное пространство имеет такой базис, что ω принимает эту форму, часто называемый базисом Дарбу или симплектическим базисом .
Есть другой способ интерпретации этой стандартной симплектической формы. Поскольку использованное выше модельное пространство R 2 n несет в себе много канонической структуры, которая может легко привести к неправильной интерпретации, вместо этого мы будем использовать «анонимные» векторные пространства. Пусть V - вещественное векторное пространство размерности n, а V ∗ - его сопряженное пространство . Теперь рассмотрим прямую сумму W = V ⊕ V ∗ этих пространств, имеющую следующий вид:
Теперь выберем любой базис ( v 1 , ..., v n ) в V и рассмотрим его дуальный базис
Мы можем интерпретировать базисные векторы как лежащие в W, если написать x i = ( v i , 0) и y i = (0, v i ∗ ) . Взятые вместе, они составляют полную основу W ,
Можно показать, что определенная здесь форма ω имеет те же свойства, что и в начале этого раздела. С другой стороны, любая симплектическая структура изоморфна одной из форм V ⊕ V ∗ . Подпространство V не единственно, и выбор подпространства V называется поляризацией . Подпространства, дающие такой изоморфизм, называются лагранжевыми подпространствами или просто лагранжианами .
Явно, учитывая лагранжево подпространство (как определено ниже), тогда выбор базиса ( x 1 , ..., x n ) определяет двойственный базис для дополнения по формуле ω ( x i , y j ) = δ ij .
Подобно тому , как каждая симплектическая структура изоморфна одной из форм V ⊕ V * , каждая комплексная структура на векторном пространстве изоморфна одной из форм V ⊕ V . Используя эти структуры, то касательное расслоение из п -многообразия, рассматриваемое как 2 н -многообразия, имеет почти комплексную структуру , и совместно касательное расслоение в качестве п -многообразия, рассматриваемую как 2 н -многообразия, имеет симплектическую структуру : T ∗ ( T ∗ M ) p= T p ( M ) ⊕ ( T p ( M )) ∗ .
Комплекс аналог лагранжево подпространством является реальным подпространством , подпространство которого комплексификация есть все пространство: W = V ⊕ J V . Как видно из приведенной выше стандартной симплектической формы, каждая симплектическая форма на R 2 n изоморфна мнимой части стандартного комплексного (эрмитова) скалярного произведения на C n (с условием, что первый аргумент антилинейен).
Пусть ω - знакопеременная билинейная форма на n -мерном вещественном векторном пространстве V , ω ∈ Λ 2 ( V ) . Тогда ω невырождена тогда и только тогда, когда n четно и ω n / 2 = ω ∧ ... ∧ ω - форма объема . Форма объема на n -мерном векторном пространстве V ненулевое кратное n- форме e 1 ∗ ∧ ... ∧ e n ∗где е 1 , е 2 , ..., е п является основой V .
Для стандартного базиса, определенного в предыдущем разделе, мы имеем
Переупорядочив, можно написать
Авторы по-разному определяют ω n или (−1) n / 2 ω n как стандартную форму объема . Случайный множитель n ! может также появиться, в зависимости от того, содержит ли определение чередующегося продукта множитель n ! или не. Форма объема определяет ориентацию на симплектическом векторном пространстве ( V , ω ) .
Предположим, что ( V , ω ) и ( W , ρ ) симплектические векторные пространства. Тогда линейное отображение f : V → W называется симплектическим отображением, если обратный образ сохраняет симплектическую форму, т. Е. F ∗ ρ = ω , где обратная форма определяется формулой ( f ∗ ρ ) ( u , v ) = ρ ( f ( u ), f (v )) . Симплектические карты сохраняют объем и ориентацию.
Если V = W , то симплектическое отображение называется линейное симплектическое преобразование из V . В частности, в этом случае ω ( f ( u ), f ( v )) = ω ( u , v ) , и поэтому линейное преобразование f сохраняет симплектическую форму. Множество всех симплектических преобразований образует группу и, в частности, группу Ли , называемую симплектической группой и обозначаемую Sp ( V ) или иногдаSp ( V , ω ) . В матричной форме симплектические преобразования задаются симплектическими матрицами .
Пусть W является линейное подпространство в V . Определим симплектическое дополнение к W как подпространство
Симплектическое дополнение удовлетворяет:
Однако, в отличие от ортогональных дополнений , W ⊥ ∩ W не обязательно равно 0. Мы различаем четыре случая:
Ссылаясь на каноническое векторное пространство R 2 n выше,
Группа Гейзенберга может быть определена для любого симплектического векторного пространства, и это типичный способ возникновения групп Гейзенберга .
Векторное пространство можно рассматривать как коммутативную группу Ли (при сложении) или, что то же самое, как коммутативную алгебру Ли , то есть с тривиальной скобкой Ли. Группа Гейзенберга является центральным расширением такой коммутативной группы / алгебры Ли: симплектическая форма определяет коммутацию, аналогично каноническим коммутационным соотношениям (CCR), а базис Дарбу соответствует каноническим координатам - с точки зрения физики, операторам импульса и позиционные операторы .
В самом деле, по теореме Стоуна – фон Неймана каждое представление, удовлетворяющее CCR (каждое представление группы Гейзенберга), имеет эту форму или, точнее говоря, унитарно сопряжено со стандартной.
Кроме того, групповая алгебра (двойственного к) векторного пространства - это симметрическая алгебра , а групповая алгебра группы Гейзенберга (двойственного) - это алгебра Вейля : можно думать о центральном расширении как о соответствующем квантованию или деформации .
Формально симметрическая алгебра векторного пространства V над полем F - это групповая алгебра двойственного, Sym ( V ): = F [ V ∗ ] , а алгебра Вейля - это групповая алгебра (двойственной) группы Гейзенберга W ( V ) = F [ H ( V ∗ )] . Поскольку переход к групповым алгебрам является контравариантным функтором , центральное отображение расширения H ( V ) → V становится включением Sym ( V ) → W ( V) .