ГЛАВА VII. НЕПРИВОДИМЫЕ ПРЕДСТАВЛЕНИЯ ГРУППЫ U(n)

В этой главе будет получено полное описание неприводимых представлений группы Следуя идее аналитического продолжения, мы рассматриваем эти представления аналитически продолженными на Тем самым возникает также полное описание неприводимых аналитических представлений Полагая получаем те же результаты для . В действительности метод, применяемый при решении этой задачи, позволяет столь же просто получить описание и всех вещественных (конечномерных) неприводимых представлений комплексной группы . В дальнейшем условие конечномерности специально не оговаривается.

Глобальный метод решения, предлагаемый в этой главе, совершенно не зависит от всей предыдущей теории. Иногда мы пользуемся инфинитезимальными построениями, но это делается лишь из соображений наглядности. Что же касается теории компактных групп Ли (глобальная теорема), то мы лишь однажды — при описании пространства представления — пользуемся принципом полной приводимости. В действительности этот принцип может быть непосредственно доказан для комплексной группы (при помощи инфиннтезимального метода).

Таким образом, теория конечномерных представлений комплексной группы может быть построена независимо от теории компактных групп Ли. Мы будем использовать лишь элементарные методы линейной алгебры («разложение Гаусса», описанное в § 9).

§ 46. Существование старшего веса

Положим Элементы группы G предполагаются записанными в виде матриц относительно фиксированного базиса Упорядоченность этого

базиса позволяет выделить в группе G специальные подгруппы, входящие в разложение Гаусса:

Здесь подгруппы в группе составленные соответственно из всех нижних треугольных с единицами на диагонали, диагональных и верхних треугольных с единицами на диагонали матриц Множество состоит из всех произведений

Как известно из линейной алгебры (см. § 9), множество всюду плотно в G. Если главный диагональный минор, составленный из первых строк и первых столбцов матрицы то тогда и только тогда, когда

Пусть представление группы G в векторном пространстве Вектор мы называем весовым, если он является собственным относительно всех преобразований подгруппы

Собственное значение называем весом (относительно подгруппы Очевидно, является одномерным представлением («характером») группы Если представление аналитично, то где — собственные значения матрицы

Определение 1. Вектор мы называем старшим вектором представления если он является инвариантом группы и весовым относительно

Заметим, что группа G является односвязной; следовательно, все ее представления однозначны. Из условия однозначности следует, в частности, что показатели всякого веса являются целыми. Вектор мы будем называть инфинитезимальным весом представления Вес а (6), отвечающий старшему вектору, будет называться старшим

весом. Если в определении 1 рассматривать вместо то аналогично вводятся понятия младшего вектора и младшего веса.

Заметим также, что Z является связной (и односвязной) подгруппой, алгеброй Ли для которой является подалгебра введенная в § 44. Следовательно, старший вектор удовлетворяет системе уравнений

Как мы видели в § 44, всякое аналитическое представление группы G обладает таким вектором. Однако при этом мы пользовались «унитарным трюком» Вейля (диа-гонализация операторов подгруппы Здесь будет предложено иное независимое доказательство, которое пригодно также и для вещественных представлений группы G.

Теорема 1. Всякое (конечномерное) представление группы (или обладает хотя бы одним (ненулевым) старшим вектором.

Доказательство. Положим Группа состоит из всех треугольных невырожденных матриц Нижеследующая лемма является частным случаем одной общей теоремы, принадлежащей Софусу Ли. Эта лемма допускает глобальное доказательство (§ 88), однако из соображений наглядности мы докажем ее инфинитезимальным способом.

Лемм а. Всякое неприводимое представление группы в комплексном векторном пространстве одномерно.

Доказательство леммы. Вместо группы будем рассматривать ее алгебру Ли где натянуто на диагональные матрицы натянуто на верхние треугольные матрицы Пусть неприводимое представление алгебры в пространстве

Пусть подпространство, неприводимое относительно Заметим, что оператор перестановочен со всеми операциями Следовательно, согласно лемме Шура кратно единице на Из соотношения при заключаем, что Действительно, след коммутатора равен нулю. Заменяя оператор нулем, замечаем, что теперь оператор перестановочен со всеми операциями алгебры Если то, рассуждая, как и выше, получаем, что Продолжая это построение, заключаем, что все операторы обращаются в

нуль на и оператор кратен единичному. Точно так же поступаем с элементами . В результате получаем, что операторы являются скалярами на и все остальные операторы обращаются в нуль на Поскольку скаляры взаимно перестановочны, то отсюда заключаем, что одномерно. Мы доказали аналог нашей леммы для подалгебры

Далее, вернемся ко всему пространству Пусть собственный вектор относительно с собственным значением Согласно сказанному выше такие векторы всегда существуют очевидно, является линейной формой над Цепочку векторов назовем присоединенной к вектору если

т. е. если применение к вектору сводится к умножению на с точностью до некоторой линейной комбинации предшествующих векторов Пусть максимальная присоединенная цепочка и линейная оболочка векторов Очевидно, инвариантна относительно Несложная проверка убеждает нас в том, что инвариантна также относительно всей алгебры Следовательно, ввиду неприводимости

Заметим теперь, что всякий оператор может быть записан в виде коммутатора Поскольку след коммутатора равен нулю и след пропорционален с ненулевым коэффициентом пропорциональности то для всех значений Следовательно, на подалгебре Наконец, операторы перестановочны между собой, и согласно лемме Шура пространство V одномерно. Лемма доказана.

Вернемся к доказательству теоремы. Пусть вектор определяет направление, неприводимо инвариантное относительно подгруппы Тогда, как мы видели при доказательстве леммы, Кроме того, вектор является собственным относительно всей подгруппы в частности, относительно подгруппы Следовательно,

Теорема доказана.

Замечание. При доказательстве теоремы 1 мы получили также значительную информацию относительно представлений треугольной группы Мы видим, что всякое неприводимое представление этой группы одномерно. Следовательно, в пространстве всякого представления содержится вектор, собственный относительно всей группы Следовательно, также всякое представление группы приводится в некотором базисе к

треугольному виду. Последнее утверждение легко доказывается обычным методом индукции.

Следовательно, свойство треугольности восстанавливается в каждом (конечномерном, комплексном) представлении группы .