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

нечетномерное проективное пространство P2n+1 над полем kс заданной в нем инволюционной корреляцией - нульсистемой; обозначается Sp2n+1. Пусть характеристика поля kни равна 2. Абсолютная нульгсистема в Sp2n+1 всегда может быть записана в виде ui=aijxj, где ||aij|| - кососимметрич. матрица (aij=-aji). В векторной форме абсолютная нуль-система может быть записана в виде и=А x, где А - ко-сосимметрич. оператор, матрица к-рого надлежащим выбором базиса приводится к виду [img: http://localhost:8080/file/041909-76.jpg] В этом случае абсолютная нуль-система принимает канонич. вид: [img: http://localhost:8080/file/041909-77.jpg] Абсолютная нуль-система порождает билинейную форму, к-рая записывается в канонич. виде: [img: http://localhost:8080/file/041909-78.jpg] Коллинеации пространства Sp2n+1, перестановочные с его нуль-системой, наз. симплектическими преобразованиями; операторы, определяющие эти коллинеации,- симплектическими. Для указанной выше канонич. формы матрицы ||A|| определяется (2n+2)-матрица симплектич. оператора U, элементы к-рой удовлетворяют условиям [img: http://localhost:8080/file/041909-79.jpg] где da,b - символ Кронекера, а матрица такого оператора Uназ. симплектической; ее определитель равен единице. Симплектич. преобразования образуют группу, являющуюся группой Ли. Всякая точка пространства Sp2n+1 лежит в (2п-1) плоскости, соответствующей ей в абсолютной нуль-системе. Можно определить также и нулевые m-плоскости в Sp2n+1. Многообразие нулевых прямых пространства Sp2n+1 наз. его абсолютным линейным комплексом. В связи с этим симплектич. группа наз. также группой линейного комплекса, или комплекс-группой. Всякая пара прямых и соответствующих в нуль-системе двух (2n-1)-плоскостей определяют единственный в пространстве Sp2n+1 симплектич. инвариант относительно группы симплектич. преобразований этого пространства. Через каждую точку обеих прямых проходит трансверсаль этих прямых и (2n-1)-плоскостей так, что определяет проективные четверки точек. Это составляет геометрический смысл симплектического инварианта, который утверждает равенство двойных отношений получаемых четверок точек. Симплектич. 3-пространство допускает интерпретацию в гиперболич. пространстве, что указывает, в частности, на связь симплектич. пространств с гиперболическими. Так, группа симплектич. преобразований пространства Sp3 изоморфна группе движений гиперболич. пространства 2S4. В этой интерпретации симплектич. инвариант связан с расстоянием между точками гиперболич. пространства. Лит.; [1] Розенфельд Б. А., Неевклидовы пространства, М., 1969. Л. А. Сидоров.