Унипотентный элемент

элемент. линейной алгебраич. группы G, совпадающий с унипотентной компонентой gu своего Жордана разложения в группе G. Если реализовать G как замкнутую подгруппу группы GL(V)автоморфизмов конечномерного векторного пространства Vнад основным алгебраически замкнутым полем К, то У. э. g - это в точности такие элементы, что (1-g)n=0, n=dim V, или, что их матрицы в нек-ром базисе пространства Vявляются верхне-треугольными с единицами на диагонали. Множество U(G)всех У. э. в G замкнуто в топологии Зариского, а если G определена над подполем [img: http://localhost:8080/file/052106-31.jpg] то и U(G) определено над k. Если char К=0, то всякий У. э. gимеет бесконечный порядок. В этом случае наименьшая алгебраич. подгруппа в G, содержащая g, является одномерной унипотентной группой. Если же char K=p>0, то gбудет У. э. в точности тогда, когда он имеет конечный порядок, равный р t для нек-рого [img: http://localhost:8080/file/052106-32.jpg] Связная группа не содержит У. э. [img: http://localhost:8080/file/052106-33.jpg] тогда и только тогда, когда она является алгебраическим тором. В терминах У. э. может быть дан критерий анизотропности (см. Анизотропная группа). У. э. играют важную роль в теории дискретных подгрупп алгебраич. групп и групп Ли. Наличие У. э. в дискретных группах Г движений симметрических пространств, имеющих некомпактную фундаментальную область конечного объема, является важным средством изучения структуры таких групп и их канонических фундаментальных областей (см. [5]); существование У. э. в таких Г доказано в [4]. Многообразие U(G) инвариантно относительно внутренних автоморфизмов группы G. Пусть G связна и полупроста. Тогда число классов сопряженных У. э. конечно и для каждой простой G известно полное их описание (а также описание централизаторов У. э.), см. [7]. В классич. группах такое описание получается с использованием жордановой формы матрицы [2]. Напр., для группы G=SLn(K)существует биекция между классами сопряженных У. э. и разбиениями (т 1,..., ms)числа пв сумму положительных целых слагаемых [img: http://localhost:8080/file/052106-34.jpg] Если [img: http://localhost:8080/file/052106-35.jpg] и [img: http://localhost:8080/file/052106-36.jpg] It) - два разбиения числа п, то класс, отвечающий [img: http://localhost:8080/file/052106-37.jpg] содержит в своем замыкании класс, отвечающий [img: http://localhost:8080/file/052106-38.jpg] в точности тогда, когда [img: http://localhost:8080/file/052106-39.jpg] li для всех j. Размерность класса, отвечающего разбиению (т 1,..., ms)(как алгебраического многообразия), равна [img: http://localhost:8080/file/052106-40.jpg] Множество всех простых точек алгебраического многообразия U(G) образует один класс сопряженных У. э.- регулярные У. э. Если G проста, то многообразие особых точек многообразия U(G) также содержит открытый в топологии Зариского класс сопряженных У. э.- субрегулярные У. э. По поводу изучения особых точек многообразия U(G) см. также [6].