В контексте теории групп (в моем случае приложений к физике) я часто сталкиваюсь с фразой группы», например, «а из " или из " (целое число обычно выделено жирным шрифтом).
Мои познания в теории групп довольно ограничены. Я знаю основы, например, какие свойства составляют группу, и я знаком с простыми случаями, которые происходят в физике (например, группы вращения , , группа Лоренца, с матрицами Паули в качестве представления), но не более того. У меня есть пара связанных вопросов:
ОП написал (v1):
Что это группы» имеется в виду?
1) Физики имеют в виду неприводимое представление (irrep) для любой группы мы говорим о. Число относится к размерности ирресп. Дело в том, что невозвраты настолько редки, что невозвраты часто однозначно определяются их размерностью (изоморфизмы по модулю). (В общем случае это не совсем так, и затем физики начинают украшать выделенный жирным шрифтом символ измерения другими орнаментами, например а также или например а также а также и т. д., чтобы различать.)
2) Кстати, по поводу группового представления , куда это группа, где поле (обычно или же ), куда это -векторное пространство и где является групповым гомоморфизмом ; имейте в виду, что физики ссылаются как на карту и векторное пространство как «представление».
Что подразумевается под " группы"?
The группы на самом деле является сокращением для -мерное неприводимое представление этой группы.
Это просто сокращение для представление? Если да, то что именно представление данной группы?
Элементы группы — это абстрактные операции, определяемые тем, как они действуют на заданные объекты. Например, группа вращения в трех измерениях, , образован элементами, которые поворачивают системы координат таким образом, что длина любого вектора остается неизменной. Чтобы сделать вещи более явными, мы присваиваем этим группам линейные представления, т. е. мы отображаем элементы группы в матрицы, действующие в некотором векторном пространстве. . Если является -мерный, так что это групповое представление.
Я упал -мерные матрицы, представляющие элементы группы, могут - с помощью преобразования подобия - быть записаны в блочно-диагональной форме, тогда представление называется приводимым . В противном случае он называется неприводимым (или просто иррепрезентативным ) и может быть помечен что обозначает его размерность. Например, общие вращения в плоскости, составляющие группу , можно записать просто как дающее одномерное неприводимое представление. С другой стороны, двумерное представление
- Как конкретно выработать/записать такое представление, как матрицы Паули для ? Буду признателен за простой пример.
- Что это значит, когда что-то «трансформируется, как "?
Чтобы разработать неприводимые представления, нам нужно иметь дело с алгеброй, а не с группой. Среди всех элементов группы Ли есть специальные, из которых можно порождать любые другие. Их называют генераторами группы, и они удовлетворяют определенной структуре, называемой алгеброй Ли . Например, группа имеет алгебру Ли чьи генераторы , , удовлетворяющий
Из алгебры Ли можно получить все возможные представления. Обычно это делается путем записи образующих в так называемом базисе Картана-Вейля, который разлагает алгебру на подалгебру Картана (максимальный набор самокоммутирующих или диагонализируемых генераторов) и ступенчатые или лестничные операторы. Тогда состояния данного неприводимого представления задаются собственными векторами образующих Картана. Ясно, что эти состояния -мерные векторы при условии, что представление алгебры -размерный. Поэтому, когда мы говорим, что что-то — например, поле — трансформируется подобно алгебры мы имеем в виду, что этот объект отображается в матрицу-столбец с элементы, базис которых задается упомянутыми выше собственными векторами. Например, алгебра имеет только один оператор шага, . Для двумерного ирресп. матрица имеет два собственных вектора. Поле, преобразующееся подобно - или просто как дублет - это , такой, что
Например, можно показать, что алгебра -мерные представления для любого целого числа . Классические алгебры , а также имеют по крайней мере синглетное, определяющее и присоединенное представления. Синглет – это одномерное представление, т.е. это всего лишь числа. Обратите внимание, что единственное возможное число, которое может удовлетворять нетривиальной алгебре, состоит в том, что все они равны нулю. Они полезны в физике, когда что-то вообще не трансформируется. Определяющим представлением является -мерное, например трехмерное представление кварка, трансформирующегося под ароматом . Когда векторное поле является самой алгеброй, представление называется присоединенным. В этом случае размерность алгебры равна размерности представления. Калибровочные поля преобразуются при таком представлении калибровочных групп. Например, алгебра имеет генераторы, поэтому является присоединенным представлением .
Когда мы знаем представление для алгебры Ли мы можем индуцировать ее в группу с помощью экспоненциальной операции,
Хотя есть некоторые тонкости при переходе от алгебры к группе . Начиная с данной алгебры Ли и присваивая данное представление, можно получить разные группы Ли. Итак, для присоединенного представления сгенерированная группа оказывается вместо .
'' группы '' относится к -мерное неприводимое (проективное) представление (обычно полупростой) группы . Представление является гомоморфизмом из в пространство линейных отображений векторного пространства в себя (в проективном случае, действующем на лучи); оно неприводимо, если нет основы, в которой все являются блочно-треугольными. Размерность представления – это размерность .
Например, теория представлений подразумевает, что существует ровно одно неприводимое проективное представление каждой размерности . Двумерное представление — это спинорное представление, трехмерное — обычное векторное представление.
Если объект трансформируется как тогда является общим элементом из -мерное пространство с представлением , а значит, преобразуется относительно группового элемента посредством . Например, в случае , если трансформируется как то это спинор, если он трансформируется как тогда это вектор и т.д.
Во многих случаях размерность определяет представление с точностью до изоморфизма, отсюда и жаргон. (Иначе представления можно назвать а также и т. д., чтобы различать их.) Например, размерность SU (5) равна 24, а 24 характеризует присоединенное представление (которое имеет размерность 24).
МБН
Цяочу Юань
Прахар