Введение к работе
Хорошо известно, что всякое коммутативное кольцо полезно представлять геометрически как кольцо функций на подходящем многообразии (спектре кольца). Эта точка зрения широко применяется как в алгебре (алгебраическая геометрия), так и в анализе (теория банаховых алгебр). Многочисленные достижения упомянутых дисциплин подтверждают целесообразность геометрического подхода. Поэтому хотелось бы распространить этот подход и на некоммутативную алгебру. В настоящее время адекватного, геометрического языка для задач некоммутативной алгебры не известно. Однако, имеется целый ряд как физических, так и математических аргументов, указывающих на его существование. В частности, одной из целей данной работы является попытка разобраться в геометрии, лежащей в основе раздела некоммутативной алгебры, относящегося к теории представлений групп и алгебр Ли.
Напомним основные моменты этой теории. Одной из ее важнейших задач является описание всех неприводимых,(вообще говоря, бесконечномерных) представлений заданной группы Ли G .
Обратимся сначала к случаю, когда группа G компактна. Неприводимые представления такой группы обязательно конечномерны. Их полное описание было получено в классических работах Софуса Ли, Эли Картана и Германа Вейля. Пусть Т - максимальный тор в группе (В . Согласно картановской теории; старших весов, неприводимое представление однозначно определяется своим старшим весом -- гомоморфизмом ) Т— С тора Т в группу комплексных чисел. Соответствующее представление реализуется в виде подпространства в пространстве сечений одномерного расслоения на однородном многообразии Q/T Именно, рассмотрим главное Т -расслоение G — (у/Г
Пусть - ассоциированное линейное расслоение, отвечающее одномерному представлению Я тора Т, Группа G естественно действует на сечениях #д. Далее, на многообразии (?/Т имеется естественная комплексная структура, при которой #д превращается в голоморфное расслоение. Ввиду компактности G/T пространство голоморфных сечений расслоения д конечномерно. Можно показать, что представление группы G в этом пространстве неприводимо и имеет старший вес, равный А.
Следующим шагом явилось построение в начале пятидесятых годов неприводимых представлений группы Лоренца (т.е. группы G= SL (С) комплексных 2 Z -матриц с определителем І. ) и его обобщение на другие комплексные полупростые группы Ли /5/. Именно, в группе SL ((С ) рассмотрим подгруппу 6- верхнетреугольных матриц и подгруппу Т с В диагональных матриц. Так же как и в случае компактных групп, представление G связывается с каж-дым гомоморфизмом Л : Т — С . Гомоморфизм /) прежде всего тривиально продолжается на треугольную подгруппу & . По этому одномерному представлению группы В строится линейное расслоение Jfc . на G/fe , ассоциированное с главным В -расслоением G»—+ G/B. Естественное действие группы G в пространстве всех квадратично--интегрируемых сечений расслоения д задает искомое представление . Оно называется индуцированным представлением с подгруппы В , а также представлением основной серии. Пространство этого представления естественно отождествляется с пространством функций на G , удовлетворяющих условию : і?(і = A(l) (s) ,
Можно показать, что для общих значений параметра j) представление І\ неприводимо. Однако, для некоторых вырожденных Д оно становится приводимым и распадается на конечное число не - 4 приводимых подпредставлений. Далее?в случае группы Лоренца G L д С С ) , доказывается, что получающиеся таким образом неприводимые представления (при всевозможных Я » включая и вырожденные) исчерпывают список неприводимых представлений. Для более общих комплексных полупростых групп G Ф S/CC) это уже не так. Однако, как показал Хариш-Чандра /33/, представлений основной серии с невырожденными Я всегда достаточно для разложения регулярного представления (т.е. представления группы G в L (G) посредством левых сдвигов). Это означает, в частности, что представления еч с невырожденными Л образуют подмножество полной меры в множестве всех неприводимых представлений (на котором имеется естественная мера Планшереля).
Дальнейшее продвижение в теории неприводимых представлений связано с методом орбит. В своей диссертации /14/ А.А.Кириллов впервые применил этот метод для классификации неприводимых унитарных представлений произвольной нильпотентной группы &. Так же. как в случае комплексных полупростых групп, неприводимые представления группы G строятся в виде представлений ?(J? ;)) , индуцированных с одномерных характеров А • С некоторых подгрупп Р cGi Роль метода состоит в точном указании необходимых подгрупп JP и характеров Л. Именно, рассмотрим алгебру Ли 01 группы G и произвольный линейный функционал на векторном пространстве W, По функционалу выбирается подалгебра Ли f с 01 t обладающая свойством •flrdihi 0 и в определенном смысле максимальная среди подалгебр с этим свойством. Подалгебра h называется поляризацией it Группа 2 , участвующая при построении индуцированного представления X ( Р 3), по определению есть подгруппа в G , алгебра Ли которой совпадает с h , а ха - 5 рактер Я - суть характер і? , дифференциал которого равен 2JrL В /14/ доказано, что представление &(Е А) - неприводимо и что его класс не зависит от выбора (вообще говоря, не единственной) поляризации h точки . Кроме того, при замене функционала J на сопряженный, класс представления также не меняется. Таким образом, множество неприводимых унитарных представлений группы G может быть отождествлено с множеством орбит группы G в пространстве (и , двойственном К Oj.
Полученная параметризация, примечательна, своей универсальностью: ответ дается исключительно в терминах самой группы G. В частности, промежуточные объекты В и А в ответе не участвуют. Таким образом, по крайней мере формально, можно пытаться переносить этот ответ на другие классы групп. Например, для орбит общего положения в двойственном пространстве к комплексной полупростой алгебре Ли он сводится к описанной выше конструкции.
В последнее десятилетие развитие метода орбит происходило в основном в двух направлениях. Прежде всего была открыта геометрическая конструкция унитарных представлений, эквивалентная методу орбит /16/. Обнаружилась тесная связь этой конструкции с физикой, в особенности с теорией квантования механических систем /40/\ а также с теорией фейнмановских интегралов по траекториям.
Второе направление, развиваемое в основном в работах французских математиков, состоит в создании алгебраической версии метода орбит, предназначенной для исследования алгебраически-неприводимых представлений алгебр Ли. Основным объектом этих исследований являются универсальные обертывающие алгебры алгебр Ли. В частности, М.Дюфло /ЗІ/ построил запас неприводимых представлений обертывающей алгебры произвольной комплексной алгебры Ли, аннуля - 6 торы которых образуют плотное подмножество примитивного спектра этой алгебры. (Напомним, что примитивным спектром алгебры называется множество аннуляторов всевозможных ее неприводимых представлений; сами аннуляторы называются примитивными идеалами). Большая часть относящихся сюда результатов изложена в книге Ж.Диксмье/12/
Резюмируя вышесказанное а также на основе ряда других результатов, см. /21/, /22/, /26/), можно сделать следующие выводы:
A. для представлений комплексных алгебр Ли имеется соответствие между орбитами в ft общего положения и точками общего положения в примитивном спектре обертывающей алгебры.
При переходе от алгебр Ли к группам Ли ситуация усложняется. Тем не менее, для широких классов групп (компактные, разрешимые, полупростые, ...) известно, что:
Б. по любой орбите общего положения в ty , удовлетворяющей определенным условиям целочисленности, можно построить, вообще говоря, несколько неприводимых унитарных представлений рассматриваемой группы G» , причем полученные представления образуют подмножество полной меры в множестве всех неприводимых унитарных представлений.
Далее, имеются примеры, показывающие, что:
B. существующих конструкций метода орбит заведомо недостаточно для построения всех неприводимых представлений (даже на уровне примитивных идеалов в обертывающей алгебре).;
Г. существуют такие вырожденные орбиты в ot , точки которых не имеют никаких поляризаций. По этим орбитам известными до настоящего времени способами невозможно построить какое-либо представление (ни алгебры Ли, ни, тем более, группы Ли).
Данная диссертация состоит из шести глав. Она может быть условно разделена на три части. В первых трех главах исследуется случай общего положения: между орбитами и представлениями общего положения имеется хорошее соответствие и наша цель состоит в изучении его свойств. Основной результат этой части диссертации состоит, по существу, в том, что показано,как при помощи выбора подходящих координат на орбите соответствующее представление приводится к стандартному виду, не зависящему ни от орбиты,ни от представления, ни даже от рассматриваемой алгебры Ли.
В следующих двух главах мы переходим к изучению вырожденных орбит. Развиваемый в главе ІУ аппарат симплектической геометрии применяется в главе У для построения новых неприводимых представлений, ассоциированных с любыми, сколь угодно вырожденными, орбитами коприсоединенного представления. Насколько известно.автору, никаких общих конструкций для построения представлений по вырожденным орбитам ранее не существовало.
Наконец, в главе УІ доказывается формула, выражающая интеграл по нильпотентной орбите в комплексной полупростой алгебре Ли в виде предела комбинаций интегралов по орбитам общего положения. Хотя формально этот результат и независим от предыдущего, фактически он оказывается важен при описании асимптотического поведения характеров вырожденных представлений соответствующей группы вблизи особых точек. Таким образом, можно считать, что последняя глава есть более детальное исследование вырожденных представлений, построенных в предыдущей главе, в важном специальном случае полупростых групп.
Перейдем к изложению результатов каждой из глав. В §1 главы I, носящем вводный характер, вводится симплектическая структура (Кириллова) на орбитах коприсоединенного представления в двойственном пространстве л произвольной алгебры Ли Of. Рассматриваются лагранжевы G -инвариантные слоения на орбитах. При этом существенную роль играет
Определение 1.4. Подалгебра Ли Ь с а , являющаяся в то же время максимальным изотропным подпространством кососимметрической формы X, ч і— Л(С ,ч])на ч , называется поляризацией функционала Й € «J .
Показано, что выбор поляризации однозначно определяет лаг-ранжево слоение на соответствующей орбите. Изучены канонические системы координат на орбитах, согласованные с заданным лагранже-вым слоением. Оказывается (см. предложение 1.6), элементы алгебры Ли принимают в этих координатах особенно простой вид.
В §2 рассматриваются два класса поляризаций. Во-первых, го-ворят, что поляризация Ь точки удовлетворяет условию Пуканского, если \ + р с G A (см. п.2.1). Такие поляризации особенно важны в теории представлений (см., например, /13/ и /26/), В этой связи представляет интерес
Теорема 2.1. Всякая точка общего положения в Of обладает разрешимой поляризацией, удовлетворяющей условию Пуканского.
Если в формулировке теоремы слова "точка общего положения" заменить на "регулярная точка", то утверждение перестает быть верным. Чтобы получить аналогичный результат для всех регулярных точек,вводится
Определение 2.4. Разрешимую поляризацию р назовем допустимой, если Vх € к ненулевые собственные значения оператора ad х в пространствах р и oj/t противоположны по знаку (с учетом кратностей).
- 9 Условие допустимости является более гибким, чем условие Пуканского. С одной стороны, имеет место
Теорема 2.4. Если от - алгебраическая алгебра Ли и Л -- регулярная точка в л , то всякая разрешимая поляризация J , удовлетворяющая условию Пуканского, допустима.
С другой стороны, "допустимость" сохраняется при предельном переходе, так что справедливо
Предложение 2.4.2. Любая регулярная точка в с/ обладает допустимой поляризацией.
Отметим важное для теории вполне интегрируемых систем утверждение, вытекающее из теоремы 2.1:
Предложение 2.2. Любые два полуинварианта на ot находятся в инволюции.
Глава П посвящена изучению представлений, ассоциированных с регулярными орбитами.
В §1 доказываются необходимые в дальнейшем результаты о суммируемости функций на алгебраических многообразиях. Предлагается . такое
Определение (п.1.1 гл.П). Непрерывная функция на вещественная алгебраическом многообразии называется быстро убывающей, если ее произведение с любой регулярной функцией ограничено.
Теорема I.I. Каждая быстро убывающая функция на неособом ориентируемом алгебраическом многообразии суммируема относительно любой регулярной формы объема.
Из этой теоремы вытекает положительное решение проблемы, поставленной в /26/ и /32/
Теорема 1.4. Пусть ох. - алгебра Ли вещественной алгебраической группы и СҐ - замкнутая орбита в 0] . Тогда любая быстро убы - 10 вающая функция на см суммируема относительно симплектической формы объема на СҐШ
В §2 главы П определяется представление X , ассоциированное с точкой Л е / и ее поляризацией Ь. Приводится геометрическая интерпретация этого представления и его явный вид в канонических координатах (предложение 2.1). Отмечается, что представление Л получается естественной процедурой квантования механической системы, связанной о орбитой GO.
Наконец, в последней главе, где лагранжевы многообразия не появляются явно, при выводе ключевого равенства (3.5.3) используется оценка размерностей (следствие 2.6.2) из главы У. Доказательство этой оценки основано на лагранжевости определенных подмногообразий.
Результаты диссертации неоднократно докладывались в 1980--1984 годах на семинаре по теории представлений механико-математического факультета МГУ. Б 1982 г. они докладывались в ЛГУ и ЛОМИ АН СССР, а в 1983 г. - на семинаре по теории особенностей кафедры дифференциальных уравнений МГУ и на заседании Московского математического общества.
Автор выражает глубокую благодарность своему научному руководителю, профессору А.А. Кириллову, за постоянное внимание, помощь при выборе темы исследований, ценные советы и многочисленные полезные замечания.