Симплектическое Пространство

нечетномерное проективное пространство P2n+1 над полем kс заданной в нем инволюционной корреляцией - нульсистемой. Обозначается Sp2n+1. Пусть характеристика поля kни равна 2. Абсолютная нульгсистема в Sp2n+1 всегда может быть записана в виде ui=aijxj, где ||aij|| - кососимметрич. Матрица (aij=-aji). В векторной форме абсолютная нуль-система может быть записана в виде и=А x, где А - ко-сосимметрич. Оператор, матрица к-рого надлежащим выбором базиса приводится к виду В этом случае абсолютная нуль-система принимает канонич. Вид. Абсолютная нуль-система порождает билинейную форму, к-рая записывается в канонич. Виде. Коллинеации пространства Sp2n+1, перестановочные с его нуль-системой, наз. Симплектическими преобразованиями.

Операторы, определяющие эти коллинеации,- симплектическими. Для указанной выше канонич. Формы матрицы ||A|| определяется (2n+2)-матрица симплектич. Оператора U, элементы к-рой удовлетворяют условиям где da,b - символ Кронекера, а матрица такого оператора Uназ. Симплектической. Ее определитель равен единице. Симплектич. Преобразования образуют группу, являющуюся группой Ли. Всякая точка пространства Sp2n+1 лежит в (2п-1) плоскости, соответствующей ей в абсолютной нуль-системе. Можно определить также и нулевые m-плоскости в Sp2n+1. Многообразие нулевых прямых пространства Sp2n+1 наз. Его абсолютным линейным комплексом. В связи с этим симплектич. Группа наз. Также группой линейного комплекса, или комплекс-группой. Всякая пара прямых и соответствующих в нуль-системе двух (2n-1)-плоскостей определяют единственный в пространстве Sp2n+1 симплектич.

Инвариант относительно группы симплектич. Преобразований этого пространства. Через каждую точку обеих прямых проходит трансверсаль этих прямых и (2n-1)-плоскостей так, что определяет проективные четверки точек. Это составляет геометрический смысл симплектического инварианта, который утверждает равенство двойных отношений получаемых четверок точек. Симплектич. 3-пространство допускает интерпретацию в гиперболич. Пространстве, что указывает, в частности, на связь симплектич. Пространств с гиперболическими. Так, группа симплектич. Преобразований пространства Sp3 изоморфна группе движений гиперболич. Пространства 2S4. В этой интерпретации симплектич. Инвариант связан с расстоянием между точками гиперболич. Пространства. Лит.

[1] Розенфельд Б. А., Неевклидовы пространства, М., 1969. Л. А. Сидоров.