Я пошел по пути классификации представлений групп Лоренца из Сексла, Урбантке, Относительности, групп и частиц (Нем. изд. 1975). Но я не понимаю этого, как я обрисовываю в следующем:
В вещественной алгебре Ли группы Лоренца справедливы следующие коммутационные соотношения: , и .
Бесконечно малый элемент группы Лоренца определяется выражением , и (вектор вращения и вектор скорости, скорость света c=1) являются действительными параметрами. Если выбран другой базис коммутационные соотношения переходят в следующие соотношения:
, и .
Это алгебра Ли прямой суммы (или если хотите) или, следовательно, все неприводимые представления группы Лоренца задаются неприводимыми представлениями группы . Моя проблема заключается в том, что для того, чтобы сделать этот аргумент, необходимо пройти через комплексные представления группы Лоренца, поскольку разложение алгебры Ли группы Лоренца работает только с комплексными числами. Теперь бесконечно малый элемент группы Лоренца определяется выражением но теперь параметры сложные. Делая это таким образом, это не меняет сводимости представлений по Секслу, Урбантке.
На самом деле у меня есть контрпример: посмотрите на следующий пример группы Лоренца.
Это реальное неприводимое представление группы Лоренца. Однако если теперь рассматривать комплексные представления, то базис можно заменить на комплексный базис и в рамках этого базиса представление сводимо и распадается на 2 неприводимых комплексных представления:
С вещественными параметрами представление неприводимо, тогда как при использовании комплексных чисел оно приводимо. Это означает, что использование действительных или комплексных чисел меняет теорию представлений.
Поэтому я не могу понять, почему представления группы Лоренца могут быть (так легко) классифицированы в соответствии с данным аргументом.
Тем временем я узнал, что использование комплексных чисел в теории групп Ли довольно удобно, но в физике почти все группы Ли являются группы и представления должны быть классифицированы и поняты. Я надеюсь, что кто-то здесь имеет более глубокое понимание, чем я, и может объяснить это мне.
Итак, вы, кажется, наткнулись на унитарный трюк Вейля , который подтверждает маневры комплексификации, поэтому я не буду на нем останавливаться. Неунитарное приводимое представление 6dim, с которого вы начали, является присоединенным к этой группе . Но затем, усложняя, вы получаете 3dim самодвойственную форму s, вместе складывающуюся в эквивалентную форму кривизны rep.
Предположим, вы комплексно сопряжены со своим вторым выражением. Это меняет местами блок 1,2,3 с блоком 4,5,6 как в векторах, так и в матрицах. Сокращенная матрица 6x6 может быть преобразована в эквивалентную комплексно-сопряженную матрицу с помощью симметричной матрицы подобия, которая имеет трехмерные единичные матрицы в 2-диагональных подблоках 3x3 и 0 в диагональных блоках 2 3x3. (это явно соответствует тождеству).
Сравнивая со статьей WP , вы видите, что вы объединяете два 3dim иррепа в 6dim...
Отредактируйте , чтобы соответствовать действительной точке @ACuriousMind ниже. Действительно. Вы можете увидеть, что усложнение вряд ли имеет значение, если вы рассматриваете сложное преобразование подобия, преобразующее ваше 1-е выражение во 2-е, векторы и матрицы,
Любопытный Разум
Фредерик Томас
Космас Захос
Космас Захос
Фредерик Томас
Фредерик Томас
Космас Захос
Космас Захос