Почему преобразования симметрии, связанные с тождеством, обязательно представляются линейными унитарными операторами?

Я просто пытаюсь уложить в голове следующий абзац (взято из «Квантовой теории полей» , Вайнберг, т. 1, гл. 2):

Всегда существует тривиальное преобразование симметрии, р р , представленный тождественным оператором U "=" 1 . Этот оператор, конечно, унитарный и линейный. Затем непрерывность требует, чтобы любая симметрия (например, вращение, перенос или преобразование Лоренца), которую можно сделать тривиальной за счет непрерывного изменения некоторых параметров (например, углов, расстояний или скоростей), должна быть представлена ​​линейным унитарным оператором. U а не тот, который является антилинейным и антиунитарным.

Мое понимание этого таково, что если при указании системы с помощью параметров { Икс } вы обнаружите, что преобразование симметрии тривиально, т.е. оно явно эквивалентно тривиальному преобразованию симметрии U "=" 1 , которая является унитарной и линейной - тогда, если вы укажете эту систему, используя другой набор параметров { у } вы обнаружите, что преобразование симметрии остается линейным и унитарным. Единственным ограничением является то, что новые параметры постоянно связаны со старыми, т.е. у я "=" р я ( { Икс } ) , где р является непрерывной функцией.

Как именно вы это докажете? Я был бы признателен даже за намек на грубое доказательство.

Ответы (2)

Ну, дело не в непрерывности репрезентации (если речь идет о непрерывности репрезентации, см. последний комментарий), а в связанном с ней более глубоком факте, касающемся самой группы (хотя какой-то расплывчатый аргумент, основанный также на непрерывности репрезентации, повторяется в литература).

Следует также помнить, что ( теорема Вигнера ) симметрии представляются унитарными/антиунитарными операторами с точностью до фазы . Это согласуется с основным фактом КМ в гильбертовых пространствах, что (чистые) состояния представляются единичными векторами с точностью до произвольной фазы.

Таким образом, группы симметрий представлены картами г г U г где

(а) U г определяется с точностью до фазы и

б) требование сохранения групповой структуры ослабляется ( е является нейтральным элементом г ):

U е "=" е я γ ( е ) я , U г U ф "=" е я γ ( г , ф ) U г ф
для некоторых фаз, связанных с выбором унитарных/антиунитарных операторов U час .

Подчеркну, что, ввиду теоремы Вигнера, унитарный/антиунитарный характер U г зависит от г только (если гильбертово пространство имеет размерность больше 1 ) итак, оставшаяся неясность в фиксации карты г U г касается только произвольной фазы, а не характера оператора U г .

Отображение, удовлетворяющее условиям (а) и (б) (при точном выборе операторов U г ) называется унитарным проективным представлением г .

В некоторых случаях, особенно когда г снабжен дополнительными структурами, такими как группа Ли , можно переопределить операторы U г с помощью подходящих фаз, U г "=" ю г U г , чтобы получить стандартное групповое представление

U е "=" я , U г U ф "=" U г ф .
Это сложная когомологическая проблема с важными результатами, такими как теорема Баргмана , я не буду здесь касаться (книга Варадараджана по геометрии КМ включает список важных и очень деликатных результатов в этой области теории представления групп).

Возвращаясь к основному вопросу, рассмотрим группу г такой, что каждый элемент г е г можно разложить на произведение г "=" час 2 "=" час час . Тривиальный, но физически фундаментальный пример: р как аддитивная группа.

Далее рассмотрим унитарное проективное представление г г U г связывая каждый г с унитарным/антиунитарным оператором U г .

Отношение г "=" час час , принимая во внимание (b), влечет

U г "=" е я γ ( час , г ) U час U час .

Неважно, если U час унитарна или антиунитарна, композиция U час U час унитарна и фазы не играют никакой роли. U г обязательно унитарный здесь!

В частности, всякое унитарное проективное представление р обязательно состоит из унитарных операторов (даже если фазы не фиксированы и представление не обладает свойством непрерывности). Это одна из отправных точек для формулировки квантовой версии теоремы Нётер .

Подводя итог, если г таков, что г "=" час 2 для каждого г е г и связанный с ним час е г , то каждое представление вплоть до фаз должно состоять только из унитарных операторов.

Тот же аргумент распространяется и на более сложный случай, когда г "=" час 1 2 час Н 2 .

Теперь рассмотрим группу Ли г .

Имеется только один связанный компонент г 0 которая также является подгруппой Ли, содержащей нейтральный элемент е . Например, этот компонент С U ( 2 ) если вся группа U ( 2 ) , ортохронная специальная группа Пуанкаре для группы Пуанкаре , С О ( 3 ) для О ( 3 ) , и так далее.

В достаточно небольшом районе А (которое можно исправить, чтобы удовлетворить А "=" А 1 ) из е в г 0 , каждый элемент г е А можно записать как г "=" опыт ( т Т ) для некоторого элемента Т алгебры Ли г 0 и немного т 0 . Поэтому г "=" час 2 где час "=" опыт ( ( т / 2 ) Т ) .

Наконец, как и для всякой топологической связной группы, можно доказать, что г е г 0 является произведением конечного числа (в зависимости от г ) элементов в каждой окрестности О нейтрального элемента, так что, взяв А "=" О ,

г "=" час 1 2 час Н 2

Поэтому мы можем сделать вывод, что

ТЕОРЕМА. Представление на гильбертовом пространстве размерности > 1 группа лжи г в терминах унитарных/антиунитарных операторов с точностью до фаз по теореме Вигнера -- т.е. посредством унитарного проективного представления г г U г -- элементы связной компоненты г содержащие тождество, могут быть представлены только унитарными операторами.

Антиунитарные операторы могут возникать при представлении полной группы Ли, если она имеет более связной компоненты. В частности, элементы, соединяющие разные компоненты, могут быть (а могут и не быть) представлены антиунитарными операторами. Типичным примером является операция обращения времени в О ( 3 , 1 ) который не принадлежит С О ( 3 , 1 ) + .

Возможно, упомянутое Вайнбергом свойство непрерывности относится не к представлению, а к элементам группы. Связный компонент г 0 включая нейтральный элемент е точно состоит из элементов г к которому можно подключить е с помощью непрерывной кривой элементов г .

Спасибо за ответ. У меня есть два вопроса. (1) Если U час оказывается антиунитарным, то U час U час все равно будет унитарным, потому что двойное комплексное сопряжение возвращает вас к нормальному состоянию. Это была ваша точка зрения при написании группового элемента г как четное произведение других групповых элементов, верно? (2) Вы сказали, что для любой топологической связной группы любой элемент можно представить в виде конечного произведения квадратных элементов. Есть ли для этого название? Как теорема?
@ArturodonJuan (1) ДА. Теперь я сделал свой ответ более математически точным, пожалуйста, взгляните на эту улучшенную версию моего ответа.
@ArturodonJuan (2) На самом деле, я упомянул два разных результата. (A) Даны связная топологическая группа и окрестность О нейтрального элемента, то для каждого г е г , существует конечное множество элементов час 1 , , час Н е О ( Н зависит от г ) такой, что г "=" час 1 час Н . (Б) если г является группой Ли, то существует окрестность А нейтрального элемента так, что если г е А , затем г "=" час 2 для некоторых час е А . Наконец, я использовал оба результата для группы Ли, взяв О "=" А .
@ArturodonJuan Результат (B) — это стандартный факт, вытекающий из свойств экспоненциальной карты групп Ли. Результат (А) является стандартным результатом теории топологических групп, я не думаю, что этот результат имеет конкретное название.
Вот доказательство (А). Рассмотрим открытое множество О е . Если О О 1 "=" { г 1 | г е О } мы можем заменить О с открытой окрестностью е данный О О 1 . Так что я предполагаю О "=" О 1 . Далее рассмотрим множество г 0 г элементы которого являются конечными произведениями произвольного числа элементов О .
г 0 не пуст, потому что е е г 0 . Также открыто: г U г 0 если г е г 0 . Он окончательно закрыт: если г г 0 , затем г О и г 0 не пересекаются, так как если г ф е г 0 для ф е О , мы бы тоже г "=" г ф ф 1 е г 0 . Так г 0 является связным компонентом г включая нейтральный элемент е . С г подключен, г "=" г 0 .

Теорема Вигнера гласит:

любое преобразование симметрии лучевого пространства представляется линейным и унитарным или антилинейным и антиунитарным преобразованием гильбертова пространства. Представление группы симметрии в гильбертовом пространстве является либо обычным представлением, либо проективным представлением.

Представляется вероятным, что пространство симметрий лучевого пространства распадается на две связные части, одна из которых состоит из унитарных преобразований, а другая — из антиунитарных преобразований. Но это, если честно, переформулировка того, что говорит Вайнберг в показанном отрывке. Фактическое доказательство этого, вероятно, основано на тщательном изучении теоремы Вигнера.

Вот статья Баргмана, доказывающая теорему Вигнера; исходная теорема доказана в книге Вигнера « Теория групп и ее применение к квантовой механике атомных спектров» .