В этой ветке Преобразования Лоренца для спиноров В. Моретти сделал следующее утверждение:
«можно доказать, что нетривиальное конечномерное унитарное представление не существует для некомпактной связной группы Ли, которая не включает собственные нетривиальные замкнутые нормальные подгруппы».
Каково математическое доказательство этого утверждения?
Предложение . Позволять — связная некомпактная группа Ли, являющаяся полупростой группой Ли и
(а) не может быть верным.
б) если является простой группой или, в более общем случае, если не содержит нетривиальных собственных нормальных замкнутых подгрупп, то является тривиальным представлением .
Примечания
(1) Обратите внимание, что никаких гипотез о (не)сводимости представления не делается.
(2) Теорема применима к простой группе Ли поскольку она некомпактна, связна и не содержит нетривиальных замкнутых нормальных подгрупп: ее сильно непрерывные унитарные представления бесконечномерны или тривиальны.
(3) Тот же результат справедлив для , которое некомпактно и связно, но не просто. Действительно, единственная нетривиальная собственная нормальная замкнутая подгруппа группы . Конечномерное непрерывное унитарное представление не может быть верным по (а). Поэтому замкнутая нормальная подгруппа не может быть тривиальным и поэтому совпадает либо с , изготовление тривиально, или с . Рассмотрим эту вторую возможность и докажем, что должно быть тривиальным и в этом случае. Как известно, группа Ли является универсальным накрытием группы Ли , и является всего лишь ядром накрывающего гомоморфизма, поэтому диффеоморфен . Легко доказать, что, следовательно, определяет конечномерное непрерывное унитарное представление
Доказательство предложения .
Давайте определим с с помощью ортонормированного базиса. Таким образом, представление можно рассматривать как инъективный непрерывный гомоморфизм групп .
а) Наша конечная цель — доказать, что является компактным вложенным подмногообразием и что инъективный гомоморфизм на самом деле является гомеоморфизмом. Это невозможно, потому что не является компактным по условию.
По известным теоремам о группах Ли является дифференцируемым (аналитическим) и является гомоморфизмом алгебр Ли, который является инъективным, если является верным (поскольку ядро дискретная подгруппа ). При условии, что инъективен (т.е. является точным), рассмотрим подалгебру Ли где является алгеброй Ли . С инъективен, изоморфен . Существует ровно одна связная подгруппа Ли чья алгебра Ли в силу известной теоремы. По определению подгруппы Ли является погруженным подмногообразием . Однако поскольку эта подгруппа имеет полупростую алгебру Ли, из теоремы 14.5.9 из [1] следует, что она замкнута в U(n) и, следовательно, является вложенным подмногообразием как следствие теоремы Картана.
Должно быть ясно, что содержит все однопараметрические подгруппы порожденные элементами потому что эти подгруппы одновременно находятся в И в , в чем читатель может убедиться немедленно. С другой стороны, каждый элемент является конечным произведением элементов, принадлежащих однопараметрическим подгруппам группы и поэтому также является конечным произведением элементов . С является групповым гомоморфизмом, каждый элемент удовлетворяет . Мы пока установили, что . Карта является биективным дифференцируемым отображением из многообразия к вложенному подмногообразию из . С где и являются диффеоморфизмами, поэтому оба и являются биекциями, мы заключаем, что всюду инъективен. Как следствие, если и , то для любого графика вокруг любого есть какая-то диаграмма в вокруг с
б) если не содержит нетривиальных собственных замкнутых нормальных подгрупп, нормальная замкнутая подгруппа из должен равняться либо или . Во втором случае будет верным, что не допускается пунктом (а). Подводя итог, так что . КЭД
[1] Хильгерт, Дж., Ниб, К.-Х.: Структура и геометрия групп Ли. Спрингер, Нью-Йорк (2013).
ДжамалС
Вальтер Моретти
Майк Стоун
Вальтер Моретти
Берни Уотерман
Вальтер Моретти
Берни Уотерман