В продолжение этого вопроса : Вайнберг говорит
В общем, это может быть возможно при использовании подходящих линейных комбинаций выбрать маркирует таким образом, чтобы блочно-диагональный; иными словами, чтобы с внутри любого блока сами по себе представляют неоднородную группу Лоренца.
Но зачем неоднородная группа Лоренца, если, во-первых, мы произвели однородное преобразование Лоренца на состояниях через ? Я также хочу прояснить, что подразумевается под государствами, «обеспечивающими» представительство.
Что касается вышеупомянутой путаницы, тот же сценарий снова проявляется во время обсуждения маленькой группы. Вот небольшая предыстория: является «стандартным» 4-импульсом, так что мы можем выразить любой произвольный 4-импульс как , где является преобразованием Лоренца, зависящим от . Рассмотрим подгруппу преобразований Лоренца которые оставляют инвариант (маленькая группа), и находим, что:
. Затем он говорит:
Коэффициенты _ предоставить изображение маленькой группы; т. е. для любых элементов и , мы получаем .
Так ведь и в первой части о группе Лоренца, матрицы обеспечивают представление, а не ?
Кроме того, для очень упрощенного случая, если является полностью диагональным, был бы я прав, говоря в таком случае следующее, для любого ?
Только в этом случае мне ясно, что образует представление группы Лоренца, так как сопоставляются с .
В неоднородной группе Лоренца , у вас есть группа пространственно-временного перевода , и группа Лоренца .
Вы начинаете находить представление группы перемещения пространства-времени, выбирая импульс . Таким образом, ваше представительство должно иметь индекс,
После этого вам нужно будет получить полное представление, найдя представление группы Лоренца, совместимое с импульсом , это добавит еще один индекс что соответствует поляризации, поэтому у вас будет представление,
что является представлением неоднородной группы Лоренца.
Что касается значения представления, вот определение из лекций Питера Войта «Квантовая механика для математиков» (доступно в Интернете), раздел 1.3:
Определение (Представление). (комплексное) представление ( ) группы является гомоморфизмом
где группа обратимых линейных отображений , с комплексное векторное пространство.Сказать, что карта является гомоморфизмом, означает
Когда конечномерна, и мы выбрали базис , то имеем отождествление линейных отображений и матрицгде группа обратимых к сложные матрицы.
Таким образом, представление есть гомоморфизм (отображение, сохраняющее операцию) из группы матрицам преобразования (C и D Вайнберга), но для этих матриц требуется векторное пространство (матрица с), на что действовать.
В остальном, вот мой ответ (осторожно, я просто медленный ученик):
Этот раздел 2.5 называется «Состояния одной частицы». Если оказывается приводимым (блочно-диагонализуемым), разные блоки не зависят друг от друга (нет смешивания между блоками) и интерпретируются как разные виды частиц. Таким образом, для состояния одной частицы предполагается один неприводимый блок.
В этом аргументе допустимо обобщать однородные преобразования на неоднородные, потому что переводы не смешиваются. и, следовательно, не влияет на блочную структуру :
Наконец, в случае, если вы постулируете полную диагональ , я думаю, что вы остались с кучей видов частиц без -перемешивание вообще, т.е. скаляры, каждый с тривиальной группкой ( ).
Дэвид З.
Виберт
1989189198
Виберт