§ 79. Частные случаи

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

Пример 1. Группа Ввиду того, что обозначения, принятые нами для группы несколько отличаются от общих обозначений для нам будет удобно повторить все построение с самого начала. Пусть два произвольных старших веса для Формула

определяет тензорное произведение при условии, что произвольный полином степени не выше по х и не выше по у. Здесь х, у — произвольные комплексные числа и — параметры матрицы (см. § 37). Уравнение для Z-инва-риантов имеет вид

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

Из условия принадлежности к пространству представления вытекает, что Остается вычислить сигнатуру, отвечающую вектору Если диагональная матрица, у которой то из формулы представления вытекает, что вектор имеет вес Следовательно, искомый спектр содержит только старшие веса Минимальным весом является Окончательно

Мы получили для группы хорошо известную формулу. При этом, поскольку каждый старший вектор данного веса определяется однозначно (с точностью до множителя), каждое неприводимое представление содержится в спектре однократно.

Замечание 1. Следуя этому методу, мы не только находим спектральную формулу, но легко получаем и всю остальную информацию о структуре базиса в пространстве представления (см. [84]), в том числе и коэффициенты Клебша — Гордана.

Пример 2. Положим (векторное представление группы и пусть -произвольное неприводимое представление Представление реализуется в классе линейных форм от вектора-строки

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

Пространство всегда одномерно, если Однако подпространство может быть нульмерно. Действительно, пусть Напомним (§ 68), что оператор имеет вид . В частности, оператор есть Если то оператор аннулирует все линейные формы Однако если то форма не аннулируется. Следовательно, если

Полученный результат станет гораздо яснее, если мы запишем сигнатуру с помощью круглых скобок: При этом Равенство означает, что Прибавление к сигнатуре вектора с

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

причем в правой части необходимо вычеркнуть те слагаемые, для которых нарушается условие доминантности Если в исходной сигнатуре все разности были отличны от нуля, то ни одно из слагаемых не вычеркивается.

Замечание 2. Полученный результат позволяет легко получить формулу для кратностей в тензорном произведении сомножителей), которое изучалось в гл. VIII. Действительно, мы имеем

где - искомая кратность. Заметим, что Разлагая представление на неприводимые, мы умножаем каждое из них на пользуясь полученным выше правилом. В результате находим рекуррентную формулу:

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

Пример 3. Положим (поливектор ранга ), и пусть произвольное неприводимое представление группы Пространство

представления мы можем считать натянутым на миноры

где независимые векторные аргументы. Каждый такой минор является весовым вектором с весом Соответствующий инфинитезимальный вес . В силу условия упорядоченности все такие веса различны. Отсюда получаем возможные значения спектра:

Поскольку все веса различны, соответствующие подпространства одномерны. Выясним, когда нульмерно. Операторы входящие в индикаторную систему, в данном случае имеют вид

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

Как и в предыдущем примере, перейдем к обозначению с помощью круглых скобок: Равенство означает, что Добавление вектора в этом случае невозможно (нарушает условие доминантности), если среди индексов содержится индекс

и отсутствует индекс . В результате

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

Замечание 3. Может показаться, что для получения спектра достаточно умножить характер на старший вес полученной сумме вычеркнуть все слагаемые, для которых нарушается условие доминантности. Следующий пример покажет, что в действительности это не так.

Пример 4. Пусть (симметрическая степень векторного представления и пусть -произвольное неприводимое представление Пространство представления натянуто на базисные одночлены

Каждому такому одночлену отвечает инфинитезимальный вес Поскольку все такие веса различны, то соответствующие подпространства одномерны. Операторы входящие в индикаторную систему, имеют тот же вид, что и в примере 2. Условие

возможно только в том случае, когда . В результате получаем следующую спектральную формулу:

Здесь положено

Замечание 4. В последней формуле индексы оказываются недопустимыми, если хотя бы

один из векторов не является сигнатурой.

Пример 5. Найдем произведение двух поливекторов Заметим, что эта задача является частным случаем задачи, рассмотренной в примере 3. Правило умножения, сформулированное в этом примере, перефразируем следующим образом. Пусть характер представления

Умножим эту функцию на старший вес представления равный . Показатели каждого из полученных одночленов удовлетворяют условию доминантности только в том случае, когда первые индексов среди принимают значения а остальные принимают значения В результате получаем

При этом следует отбросить те слагаемые, для которых или Индуктивно применяя эту формулу, получаем та клее следующее простое тождество:

для произведения Юнга двух базисных представлений