Я часто читал, что генераторы для калибровочные теории должны быть матрицы; см., например, эти примечания вверху страницы 3: http://www.staff.science.uu.nl/~wit00103/ftip/Ch12.pdf . Почему это?
Я не думаю, что это необходимо с математической точки зрения. Например, для мы можем рассмотреть генераторы:
Вы также должны указать Representation .
Представление требует SU(N) группы Ли с матрицей N×N и называется фундаментальным представлением . Который используется в стандартной модели U(1) x SU(2) x SU(3).
Вы, конечно, можете иметь группы Ли SU (N) с другим представлением, таким как присоединенное представление , тогда в этом случае SU (N) представлены матрицей с рангом номера ее элемента группы , что ранг- . то есть Икс матрица. В этом случае присоединенное представление для группы Ли G - это способ представления элементов группы как линейных преобразований групповой алгебры Ли. Итак, генератор , принимает свое значение как структурная константа. (здесь .)
Так что никакой загадки нет.
Каждая группа Ли имеет набор образующих, и обычно элемент группы находится путем возведения в степень (линейной комбинации) этих образующих.
Поскольку основное определение сказать [сходным образом ] что-то вроде
Группа унитарных (ортогональных), к матрицы с единичным определителем
тогда фундаментальное представление дается выражением к матрицы.
Однако группа IS порождена алгеброй. Следовательно, любой набор «матриц», удовлетворяющих коммутационным соотношениям, определяющим алгебру, порождает новое ( возможно, неэквивалентное) представление группы.
Тривиальное представление: если все генераторы равны нулю, , любая алгебра Ли выполняется. А групповое представление — это скалярная единица . Это называется тривиальным представлением.
Присоединенное представление: представление размерности, равной размерности группы , т.е. к матрицы, где , можно определить, идентифицируя генераторы со структурными константами группы (как указано @Idear в другом ответе на этот вопрос,
Кроме того, можно «создать» дополнительные представления группы, умножая известные представления (через тензорное произведение) или добавляя их (посредством прямой суммы). Тем не менее, результат этой операции не является обязательным неприводимым представлением (или иррепрезентацией), но это тема для другого поста!
;-)
Охотник
чудесный
чудесный
Охотник
чудесный
ДжеффДрор
Матье Кристиан