Я просто пытаюсь уложить в голове следующий абзац (взято из «Квантовой теории полей» , Вайнберг, т. 1, гл. 2):
Всегда существует тривиальное преобразование симметрии, , представленный тождественным оператором . Этот оператор, конечно, унитарный и линейный. Затем непрерывность требует, чтобы любая симметрия (например, вращение, перенос или преобразование Лоренца), которую можно сделать тривиальной за счет непрерывного изменения некоторых параметров (например, углов, расстояний или скоростей), должна быть представлена линейным унитарным оператором. а не тот, который является антилинейным и антиунитарным.
Мое понимание этого таково, что если при указании системы с помощью параметров вы обнаружите, что преобразование симметрии тривиально, т.е. оно явно эквивалентно тривиальному преобразованию симметрии , которая является унитарной и линейной - тогда, если вы укажете эту систему, используя другой набор параметров вы обнаружите, что преобразование симметрии остается линейным и унитарным. Единственным ограничением является то, что новые параметры постоянно связаны со старыми, т.е. , где является непрерывной функцией.
Как именно вы это докажете? Я был бы признателен даже за намек на грубое доказательство.
Ну, дело не в непрерывности репрезентации (если речь идет о непрерывности репрезентации, см. последний комментарий), а в связанном с ней более глубоком факте, касающемся самой группы (хотя какой-то расплывчатый аргумент, основанный также на непрерывности репрезентации, повторяется в литература).
Следует также помнить, что ( теорема Вигнера ) симметрии представляются унитарными/антиунитарными операторами с точностью до фазы . Это согласуется с основным фактом КМ в гильбертовых пространствах, что (чистые) состояния представляются единичными векторами с точностью до произвольной фазы.
Таким образом, группы симметрий представлены картами где
(а) определяется с точностью до фазы и
б) требование сохранения групповой структуры ослабляется ( является нейтральным элементом ):
Подчеркну, что, ввиду теоремы Вигнера, унитарный/антиунитарный характер зависит от только (если гильбертово пространство имеет размерность больше ) итак, оставшаяся неясность в фиксации карты касается только произвольной фазы, а не характера оператора .
Отображение, удовлетворяющее условиям (а) и (б) (при точном выборе операторов ) называется унитарным проективным представлением .
В некоторых случаях, особенно когда снабжен дополнительными структурами, такими как группа Ли , можно переопределить операторы с помощью подходящих фаз, , чтобы получить стандартное групповое представление
Возвращаясь к основному вопросу, рассмотрим группу такой, что каждый элемент можно разложить на произведение . Тривиальный, но физически фундаментальный пример: как аддитивная группа.
Далее рассмотрим унитарное проективное представление связывая каждый с унитарным/антиунитарным оператором .
Отношение , принимая во внимание (b), влечет
Неважно, если унитарна или антиунитарна, композиция унитарна и фазы не играют никакой роли. обязательно унитарный здесь!
В частности, всякое унитарное проективное представление обязательно состоит из унитарных операторов (даже если фазы не фиксированы и представление не обладает свойством непрерывности). Это одна из отправных точек для формулировки квантовой версии теоремы Нётер .
Подводя итог, если таков, что для каждого и связанный с ним , то каждое представление вплоть до фаз должно состоять только из унитарных операторов.
Тот же аргумент распространяется и на более сложный случай, когда .
Теперь рассмотрим группу Ли .
Имеется только один связанный компонент которая также является подгруппой Ли, содержащей нейтральный элемент . Например, этот компонент если вся группа , ортохронная специальная группа Пуанкаре для группы Пуанкаре , для , и так далее.
В достаточно небольшом районе (которое можно исправить, чтобы удовлетворить ) из в , каждый элемент можно записать как для некоторого элемента алгебры Ли и немного . Поэтому где .
Наконец, как и для всякой топологической связной группы, можно доказать, что является произведением конечного числа (в зависимости от ) элементов в каждой окрестности нейтрального элемента, так что, взяв ,
Поэтому мы можем сделать вывод, что
ТЕОРЕМА. Представление на гильбертовом пространстве размерности группа лжи в терминах унитарных/антиунитарных операторов с точностью до фаз по теореме Вигнера -- т.е. посредством унитарного проективного представления -- элементы связной компоненты содержащие тождество, могут быть представлены только унитарными операторами.
Антиунитарные операторы могут возникать при представлении полной группы Ли, если она имеет более связной компоненты. В частности, элементы, соединяющие разные компоненты, могут быть (а могут и не быть) представлены антиунитарными операторами. Типичным примером является операция обращения времени в который не принадлежит .
Возможно, упомянутое Вайнбергом свойство непрерывности относится не к представлению, а к элементам группы. Связный компонент включая нейтральный элемент точно состоит из элементов к которому можно подключить с помощью непрерывной кривой элементов .
Теорема Вигнера гласит:
любое преобразование симметрии лучевого пространства представляется линейным и унитарным или антилинейным и антиунитарным преобразованием гильбертова пространства. Представление группы симметрии в гильбертовом пространстве является либо обычным представлением, либо проективным представлением.
Представляется вероятным, что пространство симметрий лучевого пространства распадается на две связные части, одна из которых состоит из унитарных преобразований, а другая — из антиунитарных преобразований. Но это, если честно, переформулировка того, что говорит Вайнберг в показанном отрывке. Фактическое доказательство этого, вероятно, основано на тщательном изучении теоремы Вигнера.
Вот статья Баргмана, доказывающая теорему Вигнера; исходная теорема доказана в книге Вигнера « Теория групп и ее применение к квантовой механике атомных спектров» .
Артуро дон Хуан
Вальтер Моретти
Вальтер Моретти
Вальтер Моретти
Вальтер Моретти
Вальтер Моретти