Орбита

точки хотносительно группы G, действующей на множестве X(слева),- множество [img: http://localhost:8080/file/041606-89.jpg] Множество [img: http://localhost:8080/file/041606-90.jpg] является подгруппой в G и наз. стабилизатором, или стационарной подгруппой точки хотносительно G. Отображение [img: http://localhost:8080/file/041606-91.jpg] индуцирует биекцию между G/Gx и орбитой G(x). О. любых двух точек из Xлибо не пересекаются, либо совпадают; иначе говоря, О. определяют разбиение множества X. Фактормножество по отношению эквивалентности, определенному этим разбиением, наз. пространством орбит, или фактормножеством X по G, и обозначается X/G. Сопоставление каждой точке ее О. определяет канонич. отображение [img: http://localhost:8080/file/041606-92.jpg]. Стабилизаторы точек из одной О. сопряжены в G, точнее Gg(X)=gGxg-1. Если в Xимеется только одна О., то X - однородное пространство группы G; говорят также, что G действует на X транзит и вн о. Если G - топологич. группа, X - топологич. пространство и действие непрерывно, то X/G обычно снабжается топологией, в к-рой множество [img: http://localhost:8080/file/041606-93.jpg] открыто в X/G тогда и только тогда, когда множество открыто в X. Примеры. 1) Пусть G - группа [img: http://localhost:8080/file/041606-94.jpg] поворотов плоскости Xвокруг фиксированной точки а. Тогда О.- это всевозможные окружности с центром в а (в том числе и сама точка a). 2) Пусть G - группа всех невырожденных линейных преобразований конечномерного действительного векторного пространства V, X - множество всех симметрич. билинейных форм на V, а действие G на Xопределено формулой (gf)(u, v)=f(g-1(u), g-1(v)).для любых и, [img: http://localhost:8080/file/041606-95.jpg]. Тогда О. группы G на X -множество форм, имеющих фиксированный ранг и сигнатуру. Пусть G - вещественная группа Ли, гладко действующая на дифференцируемом многообразии X(см. Ли группа преобразований). Для любой точки [img: http://localhost:8080/file/041606-96.jpg] орбита G(x).является погруженным подмногообразием в X, диффеоморфным G/Gx (диффеоморфизм индуцирован отображением [img: http://localhost:8080/file/041606-97.jpg]. Это подмногообразие не обязательно замкнуто в X(не обязательно вложено). Классич. примером служит "обмотка тора", то есть О. действия аддитивной группы [img: http://localhost:8080/file/041606-98.jpg] на торе [img: http://localhost:8080/file/041606-99.jpg] заданного формулой [img: http://localhost:8080/file/041606-100.jpg] где a - иррациональное действительное число; замыкание такой О. совпадает с T2. Если G компактна, то все О. являются вложенными подмногообразиями. Если G - алгебраич. группа, X - алгебраич. многообразие над алгебраически замкнутым полем k,a действие регулярно (см. Алгебраическая группа преобразований), то любая орбита G(x).является гладким алгебраич. многообразием, открытым в своем замыкании [img: http://localhost:8080/file/041606-101.jpg] (в топологии Зариского), причем в [img: http://localhost:8080/file/041606-102.jpg] всегда содержится замкнутая О. группы G (см. [5]). В этом случае морфизм [img: http://localhost:8080/file/041606-103.jpg] индуцирует изоморфизм алгебраич. многообразий G/Gx и G(x).тогда и только тогда, когда он сепарабелен (это условие всегда выполнено, если k - поле нулевой характеристики). О. максимальной размерности образуют открытое в Xмножество. Описание структуры О. для данного действия обычно сводится к указанию в каждой О. нек-рого единственного представителя х, к нахождению стабилизатора Gx и к описанию какого-либо - по возможности обозримого - класса функций, постоянных на О. (инвариантов) и разделяющих разные О.; эти функции позволяют описать "расположение" О. в X (О. являются пересечениями их множеств уровня). Эта программа обычно наз. задачей орбитального разложения. К такой задаче часто сводятся многие задачи классификации. Так, в примере 2) это - задача классификации билинейных симметрич. форм с точностью до эквивалентности; инварианты в этом случае "дискретны" - это ранг и сигнатура, а стабилизатор Gf, где f невырождена, является соответствующей псевдоортогональной группой. Классич. теория жордановой формы матриц (также, как и теории других нормальных форм матриц) тоже укладывается в эту схему: жорданова форма - это канонич. представитель (определенный, правда, с точностью до порядка жордановых клеток) в О. полной линейной группы GLn(C) на пространстве всех комплексных (nХn)-матриц при действии, заданном формулой [img: http://localhost:8080/file/041606-104.jpg]; среди инвариантов важное место занимают коэффициенты характеристич. многочлена матрицы Y(к-рые не разделяют, однако, любые две О.). Идея рассмотрения эквивалентных объектов как О. нек-рой группы активно используется в различных задачах классификации, напр. в алгебраич. модулей теории (теория Мамфорда, см. [10]), в теории перечисления графов (см. [2]) и др. Если Gи X конечны, то [img: http://localhost:8080/file/041606-105.jpg] где |Y| - число элементов множества Y, а [img: http://localhost:8080/file/041606-106.jpg] Если G - компактная группа Ли, гладко действующая на связном гладком многообразии X, то структура О. на Xлокально конечна, т. е. у любой точки [img: http://localhost:8080/file/041606-107.jpg] существует такая окрестность U, что число различных стабилизаторов [img: http://localhost:8080/file/041606-108.jpg], с точностью до сопряженности в Gконечно. В частности, если Xкомпактно, то конечно число различных (с точностью до сопряженности в G).стабилизаторов [img: http://localhost:8080/file/041606-109.jpg]. При этом для любой подгруппы H в G каждое из множеств Х (Н) = { [img: http://localhost:8080/file/041606-110.jpg] сопряжена Нв G} является пересечением открытого и замкнутого инвариантных подмножеств в X. Исследование X(H) приводит в этом случае к классификации действий (см. [1]). Аналоги этих результатов получены в геометрич. инвариантов теории (см. [3]). А именно, пусть G - редуктивная алгебраич. группа, регулярно действующая на аффинном алгебраич. многообразии X(основное поле kалгебраически замкнуто и имеет характеристику 0). В замыкании любой О. содержится единственная замкнутая О. Существует разбиение Xв объединение конечного числа локально замкнутых инвариантных непересекающихся подмножеств X=UaXa, обладающее свойствами: а) если x, [img: http://localhost:8080/file/041606-111.jpg] и G(x).замкнута, то стабилизатор Gy сопряжен в G подгруппе в Gx, а если замкнута и G(y), то Gy сопряжен с Gx;б) если [img: http://localhost:8080/file/041606-112.jpg] а G(х).и G(y).замкнуты, то Gx и Gy не сопряжены в G. Если X- гладкое алгебраич. многообразие (напр., в важном случае, когда рассматривается рациональное линейное представление Gв векторном пространстве V=X), то существует такое непустое открытое подмножество W. в X, что Gx и Gy сопряжены в Gдля любых [img: http://localhost:8080/file/041606-113.jpg]. Последний результат является утверждением о свойстве точек общего положения в X, т. е. точек, заполняющих непустое открытое подмножество; имеется и ряд других утверждений такого типа. Напр., для рационального линейного представления полупростой группы Gв векторном пространстве VО. точек общего положения замкнуты тогда и только тогда, когда их стабилизаторы редуктивны (см. [7]); в случае, когда Gнеприводима, найден явный вид стабилизаторов точек общего положения (см. [8], [9]). Вопрос о замкнутости О. является специфическим и важным в этой теории. Так, множество тех точек [img: http://localhost:8080/file/041606-114.jpg], О. к-рых содержит в своем замыкании нуль пространства V, совпадает с многообразием нулей непостоянных инвариантных многочленов на V;во многих случаях, и в частности в применениях теории инвариантов к теории модулей, это многообразие играет существенную роль (см. [10]). Любые две различные замкнутые О. разделяются инвариантными многочленами. Орбита G(х).замкнута тогда и только тогда, когда замкнута О. точки хотносительно нормализатора G(x).в G(см. [4]). Появление незамкнутых О. связано со свойствами G;если Gунипотентна (а Xаффинно), то любая О. замкнута (см. [6]). Одним из направлении теории инвариантов является изучение орбитальных разложений различных конкретных действий (в особенности линейных представлений). Одно из пих - присоединенное представление редуктивной группы G - подробно исследовалось (см., напр., [11]). Его изучение связано с теорией представлений группы G; см. Opбum метод.