О конечномерных унитарных представлениях некомпактных групп Ли

В этой ветке Преобразования Лоренца для спиноров В. Моретти сделал следующее утверждение:

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

Каково математическое доказательство этого утверждения?

Ответы (1)

Предложение . Позволять г — связная некомпактная группа Ли, являющаяся полупростой группой Ли и

U : г г U г е Б ( ЧАС )
( Б ( ЧАС ) множество ограниченных операторов А : ЧАС ЧАС ) непрерывное унитарное представление над конечномерным гильбертовым пространством ЧАС . Имеют место следующие факты.

(а) U не может быть верным.

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

Примечания

(1) Обратите внимание, что никаких гипотез о (не)сводимости представления не делается.

(2) Теорема применима к простой группе Ли С О ( 1 , 3 ) + поскольку она некомпактна, связна и не содержит нетривиальных замкнутых нормальных подгрупп: ее сильно непрерывные унитарные представления бесконечномерны или тривиальны.

(3) Тот же результат справедлив для С л ( 2 , С ) , которое некомпактно и связно, но не просто. Действительно, { ± я } единственная нетривиальная собственная нормальная замкнутая подгруппа группы С л ( 2 , С ) . Конечномерное непрерывное унитарное представление U : С л ( 2 , С ) Б ( ЧАС ) не может быть верным по (а). Поэтому замкнутая нормальная подгруппа U 1 ( я ) не может быть тривиальным и поэтому совпадает либо с С л ( 2 , С ) , изготовление U тривиально, или с { ± я } . Рассмотрим эту вторую возможность и докажем, что U должно быть тривиальным и в этом случае. Как известно, группа Ли С л ( 2 , С ) является универсальным накрытием группы Ли С О ( 1 , 3 ) + , и { ± я } является всего лишь ядром накрывающего гомоморфизма, поэтому С О ( 1 , 3 ) + диффеоморфен С л ( 2 , С ) / { ± я } . Легко доказать, что, следовательно, U : С л ( 2 , С ) Б ( ЧАС ) определяет конечномерное непрерывное унитарное представление

U : С О ( 1 , 3 ) + ± А U А е Б ( ЧАС ) .
Представительство U должно быть тривиальным в силу (b). По очереди, U также должно быть тривиальным, потому что U ( С О ( 1 , 3 ) + ) "=" U ( С л ( 2 , С ) ) и U ( С О ( 1 , 3 ) + ) "=" { я } .

Доказательство предложения .

Давайте определим ЧАС с С н с помощью ортонормированного базиса. Таким образом, представление U можно рассматривать как инъективный непрерывный гомоморфизм групп ф : г U ( н ) .

а) Наша конечная цель — доказать, что ф ( г ) является компактным вложенным подмногообразием U ( н ) и что инъективный гомоморфизм ф : г ф ( г ) на самом деле является гомеоморфизмом. Это невозможно, потому что г не является компактным по условию.

По известным теоремам о группах Ли ф является дифференцируемым (аналитическим) и г ф | е является гомоморфизмом алгебр Ли, который является инъективным, если ф является верным (поскольку ядро ф дискретная подгруппа { е } ). При условии, что ф инъективен (т.е. U является точным), рассмотрим подалгебру Ли а "=" г ф | е Т е г ты ( н ) где ты ( н ) является алгеброй Ли U ( н ) . С г ф | е инъективен, а изоморфен Т е г . Существует ровно одна связная подгруппа Ли К U ( н ) чья алгебра Ли а в силу известной теоремы. По определению подгруппы Ли К является погруженным подмногообразием U ( н ) . Однако поскольку эта подгруппа имеет полупростую алгебру Ли, из теоремы 14.5.9 из [1] следует, что она замкнута в U(n) и, следовательно, является вложенным подмногообразием как следствие теоремы Картана.

Должно быть ясно, что ф ( г ) К содержит все однопараметрические подгруппы U ( н ) порожденные элементами а потому что эти подгруппы одновременно находятся в К И в ф ( г ) , в чем читатель может убедиться немедленно. С другой стороны, каждый элемент час е К является конечным произведением элементов, принадлежащих однопараметрическим подгруппам группы К и поэтому час также является конечным произведением элементов ф ( г ) . С ф является групповым гомоморфизмом, каждый элемент час е К удовлетворяет час е ф ( г ) . Мы пока установили, что К "=" ф ( г ) . Карта ф : г К является биективным дифференцируемым отображением из многообразия г к вложенному подмногообразию К из U ( н ) . С г ф | г "=" г л г 1 г ф | е г р г где р г : г час час г е г и л к : U ( н ) р к р е U ( н ) являются диффеоморфизмами, поэтому оба г л г 1 и г р г являются биекциями, мы заключаем, что г ф | г всюду инъективен. Как следствие, если п "=" тусклый г и д "=" тусклый U ( н ) п , то для любого графика ( С г , ф ) вокруг любого г е г есть какая-то диаграмма ( В г , ψ ) в U ( н ) вокруг ф ( г ) с

ψ ф ф 1 ( Икс 1 , , Икс п ) "=" ( Икс 1 , , Икс п , 0 , , 0 )
где ( Икс 1 , , Икс п ) принадлежит открытому множеству ф ( В г ) р д . С ф ( г ) "=" К является вложенным подмногообразием U ( н ) , у нас есть это В г ф ( г ) "=" ф ( С г ) возможно ограничение В г вокруг ф ( г ) . Другими словами ф ( С г ) открыто в индуцированной топологии ф ( г ) U ( н ) . С г е г произвольно, а свойство выполняется заменой С г с любым меньшим открытым набором, содержащим г , инъективность ф доказывает, что ф : г К "=" ф ( г ) открыто: каждое открытое множество А г является объединением открытых множеств А "=" г е г А С г ; с ф биективен на К у нас тоже есть такое ф ( А ) "=" г е г ф ( А С г ) , который открыт из-за объединения открытых множеств. Обратное ф 1 : К г который, опять же, существует, потому что ф биективен на К , следовательно, непрерывна. К замкнут и, следовательно, компактен ( U ( н ) компактен). Это невозможно, потому что ф 1 ( К ) "=" г не компактно по предположениям и ф 1 является непрерывной функцией. Мы заключаем, что ф : г U ( н ) не может быть инъективным, т. U : г Б ( ЧАС ) не может быть верным.

б) если г не содержит нетривиальных собственных замкнутых нормальных подгрупп, нормальная замкнутая подгруппа U 1 ( я ) из г должен равняться либо г или { е } . Во втором случае U будет верным, что не допускается пунктом (а). Подводя итог, U 1 ( я ) "=" г так что U ( г ) "=" { я } . КЭД

[1] Хильгерт, Дж., Ниб, К.-Х.: Структура и геометрия групп Ли. Спрингер, Нью-Йорк (2013).

Что Б ( ЧАС ) здесь?
Множество ограниченных операторов над гильбертовым пространством ЧАС .
Ответ, по-видимому, доказывает, что никакие нетривиальные конечномерные унитарного представления .... Вопрос, кажется, требует доказательства того, что нетривиальное унитарное представление не существует - конечномерное или нет.
Вы правы, но мы просто забыли написать конечномерные. Спасибо за исправление. DanielC извлек слишком короткое утверждение из исходного сообщения, из которого возник вопрос.
Для любого иррационального α > 0 , иррациональная обмотка р U ( 1 ) × U ( 1 ) U ( 2 ) , заданный Икс ( е 2 π я Икс , е 2 π я α Икс ) определяет гладкое, точное унитарное представление некомпактной вещественной линии, не так ли? Так как же заявление ( а ) будь настоящим ?
@ Берни Уотерман Вы определенно правы! Я понял пробел несколько месяцев назад, но забыл исправить этот ответ. На самом деле я вообще забыл о существовании этого моего ответа! Итак, большое спасибо. На самом деле я опустил важную гипотезу: G также должна быть полупростой группой Ли. Теорема 14.5.9 в книге Хильгерт Дж., Ниб К.-Х.: Структура и геометрия групп Ли. Спрингер, Нью-Йорк, (2013) подразумевает, что его представление в U (n) должно быть вложенной подгруппой Ли и, следовательно, компактной подгруппой. Твой только погруженный.
Спасибо за эту ссылку. Я придумал очень похожий аргумент на math.stackexchange, пытаясь показать то же самое утверждение, где другой пользователь любезно напомнил мне об этом примере (я искренне желаю, чтобы мы жили в мире, где все инъективные погружения были бы на самом деле честными вложения). В отличие от вас, я не смог исправить свое доказательство.