Добавил:
Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз: Предмет: Файл:

Вайнберг С. Квантовая теория полей. Том 1 (2001)

.pdf
Скачиваний:
240
Добавлен:
15.08.2013
Размер:
49.93 Mб
Скачать

2.7. Проективные представления

119

 

 

 

σ, дает фазовый множитель e2iπσ, и поэтому никак не влияет на

состояние с целым спином и изменяет знак вектора состояния с полуцелым спином. (Два этих случая соответствуют двум неприводимым представлениям первой гомотопической группы Z2.) Итак, (2.7.43) и (2.7.44) выражают правило суперотбора: мы не должны смешивать состояния с целым и полуцелым спином.

Для случая конечных масс ограничения целым или полуцелым спином были ранее выведены чисто алгебраическими методами из хорошо известных представлений генераторов малой группы, которые в данном случае есть просто матрицы углового момента J(j) с целым или полуцелым значением j. С другой стороны, для нулевых масс действие малой группы на физические одночастич- ные состояния сводится к вращению вокруг направления импульса, так что поэтому здесь нет алгебраических причин ограничиваться целыми или полуцелыми значениями спиральности. Однако существует топологическая причина: вращение на угол 4π вокруг направления импульса можно непрерывным образом

продеформировать в тождественное преобразование, так что множитель exp(4πiσ) должен равняться единице, и поэтому величи- на σ должна быть либо целой, либо полуцелой.

Вместо того, чтобы иметь дело с проективными представлениями и накладывать правила суперотбора, можно расширить группу Лоренца, взяв ее равной SL(2,C), а не SL(2,C)/Z2, как ранее. Обычная инвариантность по отношению к вращениям запрещает переходы между состояниями с целым или полуцелым полным спином, так что единственной разницей будет теперь то, что группа односвязна и имеет поэтому только обычные, а не проективные представления, так что теперь нельзя потребовать выполнения правил суперотбора. Это означает не то, что теперь можно реально приготовить физи- ческую систему в виде линейной комбинации состояний целого и полуцелого спина, а лишь то, что наблюдаемая в природе лоренцовская инвариантность не может быть использована для того, чтобы доказать невозможность таких суперпозиций.

Такие же соображения применимы к любой группе симметрии. Если алгебра Ли этой группы допускает существование центральных зарядов, всегда можно расширить такую алгебру, включив в нее генераторы, которые коммутируют с любым элементом алгебры и собственными значениями которых являются центральные заряды. Именно так мы действовали, когда

120 Глава 2. Релятивистская квантовая механика

добавили оператормассы к алгебре Ли группы Галилея в конце раздела 2.4. Расширенная алгебра Ли теперь, конечно, свободна от центральных зарядов, так что часть группы в окрестности единицы имеет только обычные представления, и никаких правил суперотбора не требуется.

Аналогично, даже если группа Ли G не является односвязной, ее всегда можно представить в виде C/H, где С — односвязная группа, которую называют универсальной накрывающей группой группы G, а H — инвариантная подгруппа * группы С. В общем случае, можно взять в качестве группы симметрии вместо G группу C, так как нет никакой разницы в следствиях этого выбора, за исключением того, что G налагает правило суперотбора, а С — нет. Короче говоря, проблема правил суперотбора есть нечто ирреальное: может быть, и можно приготовить физическую систему в виде произвольной суперпозиции состояний, но нельзя решить, так это или нет, ссылаясь на принципы симметрии, поскольку какую бы ни группу симметрии мы не приписывали природе, всегда существует другая группа, приводящая к тем же следствиям, но без правил суперотбора.

Приложение А. Теорема о представлении симметрии

В этом приложении мы дадим доказательство фундаментальной теоремы Вигнера 2, утверждающей, что всякое преобразование симметрии может быть представлено в гильбертовом пространстве физических состояний линейным и унитарным или антилинейным и антиунитарным оператором. При этом главным для нас будет то, что преобразования симметрии являются преобразованиями T лучей, сохраняющими вероятности переходов в том смысле, что если Ψ1 è Ψ2 — векторы состояний, принадлежащие лучам R1 è R2, то любые векторы состояний Ψ′1 è Ψ′2, принадлежа-

* Первая гомотопическая группа C/H есть H. Мы видели, что накрывающая группа однородной группы Лоренца есть SL(2, C), а накрывающая группа трехмерной группы вращений есть SU(2). Подобная связь групп SL и SU справедлива для случая трех, четырех или шести измерений. Для общего случая d измерений накрывающая группа SO(d) носит специальное наименование Spin(d).

Приложение А

121

 

 

щие преобразованным лучам TR1 è TR2, удовлетворяют условию

| (Y¢, Y¢) |2

= | (Y

, Y ) |2.

(2.À.1)

1

2

1

2

 

Мы требуем также, чтобы преобразование симметрии имело обратное преобразование, сохраняющее вероятности переходов в указанном выше смысле.

Для начала рассмотрим некоторую полную ортонормированную систему векторов состояний Yk, принадлежащих лучам Rk, причем

(Ψk , Ψl ) = δkl .

(2.À.2)

Пусть k — некоторая произвольная выборка векторов состояний,

принадлежащих преобразованным лучам TRk. Из (2.А.1) имеем:

 

 

 

 

2

=| (Ψk

, Ψl )|

2

= δkl .

 

 

 

| (Ψk

, Ψl )|

 

 

Но величина

(

Ψ′ Ψ′

автоматически

действительна и положи-

k ,

k )

тельна, так что отсюда вытекает, что она должна иметь значе- ние, равное единице. Поэтому

(Ψ′

, Ψ′) = δ

kl

.

(2.À.3)

k

l

 

 

Легко видеть, что преобразованные

состояния

Y ¢k также обра-

зуют полную систему, так как если бы существовал какой-ни- будь ненулевой вектор состояния , который был бы ортогонален ко всем k, то луч, полученный обратным преобразованием луча, к которому принадлежит , состоял бы из ненулевых векторов Y¢¢, для которых

| (Ψk , Ψ

′′

2

2

= 0

)|

 

=| (Ψk

, Ψ )|

 

для всех k. Это невозможно, так как предполагалось, что Yk

образуют полную систему.

Теперь следует принять соглашение о фазах для состояний k. С этой целью выделим одно из состояний Yk, например, Y1, è

рассмотрим векторы состояний

 

ϒk

1

 

bΨ1 + Ψk g ,

(2.À.4)

 

 

 

2

 

 

 

 

принадлежащие некоторым

лучам Sk c

k ¹ 1. Любой вектор

122

Глава 2. Релятивистская квантовая механика

 

 

состояния ¡¢k, принадлежащий преобразованному лучу TSk, может быть разложен по векторам состояний l:

ϒ′

=

ål

c

 

Ψ′.

 

k

 

 

kl

 

l

Из (2.А.1) следует, что

 

 

 

 

 

 

 

 

 

 

| c

 

| = | c

 

| =

1

 

,

kk

k1

 

 

 

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

à äëÿ l ¹ k è l ¹ 1

ckl = 0.

Ясно, что для любого данного k подходящим выбором фаз двух векторов состояний ¡¢k è l можно так настроить фазы двух ненулевых коэффициентов ckk è ñk1, чтобы они равнялись 12 . С этого момента векторы состояний ¡¢k è k, выбранные подобным образом, будут обозначаться U¡k è UYk. Как было показано,

U

1

 

bΨk + Ψ1 g = UΥk =

1

 

bUΨk + UΨ1 g.

(2.À.5)

 

 

 

 

 

 

2

2

 

 

 

 

 

Однако нужно еще определить UY для произвольных векторов состояний Y.

Рассмотрим произвольный вектор состояния Y, принадлежащий произвольному лучу R, и разложим его по Yk:

Y = åCkYk .

(2.À.6)

k

 

Любой вектор состояния , принадлежащий преобразо-

ванному лучу TR, может быть аналогичным образом разложен по полной ортонормированной системе векторов UYk:

 

 

Y¢ = åCk¢ UYk .

(2.À.7)

 

 

 

 

 

k

 

 

 

 

 

 

 

 

 

 

Из равенства величин

 

bΨk , Ψg

 

2

 

è

 

 

bUΨk , Ψ′g

 

2

вытекает, что для

 

 

 

 

 

всех k (включая k = 1)

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

|

C

k |

2

=

|

C

2

,

 

 

(2.À.8)

 

 

 

 

 

 

 

k |

 

 

 

 

Приложение А

 

 

 

 

 

 

 

 

 

 

 

 

123

 

 

 

 

 

 

 

 

 

в то время как из равенства

 

bϒk , Ψg

 

2 è

 

 

 

bUϒk , Ψ′g

 

2 вытекает, что

 

 

 

 

 

 

äëÿ âñåõ k ¹ 1

 

+

C |2

= | C

+ C|

2 .

 

 

| C

k

(2.À.9)

 

 

 

1

k

 

1

 

 

Разделив (2.А.9) на (2.А.8), получаем соотношение

 

 

Re(C

 

/ C ) = Re(C/ C) ,

(2.À.10)

 

k

 

1

 

 

k

 

 

1

 

 

а с учетом (2.А.8)

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Im(C

/ C )

= ± Im(C

/ C) .

(2.À.11)

 

k

 

 

1

 

 

k

 

 

1

 

 

Поэтому либо

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

C

/ C

= C

/ C

,

 

 

(2.À.12)

 

 

k

 

1

k

1

 

 

 

 

 

 

ëèáî

 

 

 

 

 

 

*

 

 

 

 

 

 

 

 

 

 

 

.

(2.À.13)

Ck / C1 = (Ck / C1)

 

Далее можно показать, что при всех k выбор должен быть один и тот же. (Этот этап доказательства был пропущен Вигнером.) Для этого предположим, что при некотором k имеем Ck/C1 = Ck/C¢1, а при некотором l ¹ k, напротив, Cl/C1 = (C¢l/C¢1)*. Предположим

также, что оба отношения комплексны, так что мы рассматриваем действительно два разных случая. (Это изначально требует, чтобы k ¹ 1 è l ¹ 1, а также k ¹ l.) Покажем, что такое невозмîæíî.

Определим вектор состояния F º bY1 + Yk + Yl g / 3 . Òàê êàê

все отношения коэффициентов в этом векторе состояния действительны, мы должны получить те же отношения в любом векторе состояния , принадлежащем преобразованному лучу:

Φ′ ≡ α bUΨ1 + UΨk + UΨl g , 3

ãäå a — фазовый множитель, |a| = 1. Но тогда из равенства

вероятностей перехода

 

aΦ, Ψf

 

2

è

 

 

aΦ′, Ψ′f

 

2 вытекает, что

 

 

 

 

 

 

1 +

Ck¢

+

Cl¢

 

2

=

 

1 +

Ck

+

Cl

 

 

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

,

 

C

C

 

 

 

1

 

1

 

 

 

 

 

 

 

 

 

1

 

 

 

1

 

 

 

124 Глава 2. Релятивистская квантовая механика

и поэтому

 

 

C

C*

 

2

 

 

 

 

C

k

 

 

 

C

 

 

2

 

 

 

 

 

 

 

 

 

 

 

 

1 +

k

+

 

 

 

l

 

 

 

=

1 +

 

 

 

 

+

 

l

 

 

.

 

 

C*

 

 

 

 

 

 

 

 

 

 

 

 

 

C1

 

 

 

 

 

 

 

 

C1

 

 

 

C1

 

 

 

 

 

 

 

 

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Это возможно только в том случае, если

 

 

 

 

 

 

 

F Ck Cl* I

 

 

 

F Ck

 

 

Cl

I

 

 

 

 

ReG

 

 

 

 

 

 

J

= ReG

 

 

 

 

 

 

 

J

 

 

 

 

 

 

 

*

 

 

 

 

 

 

 

 

 

 

 

 

H C1

 

 

C1 K

 

 

 

H C1

 

 

C1 K

 

 

 

или, иными словами,

åñëè

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Imçæ

Ck

÷ö Imçæ

Cl

÷ö

= 0.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

è C1 ø

è C1 ø

 

 

 

 

 

 

 

 

 

 

Отсюда, в противоречии с нашими предположениями, либо Ck/ C1, ëèáî Cl/C1 должны быть действительны для любой пары k, l. Видим, что для заданного преобразования симметрии T, примененного к данному вектору состояний, для всех k должно быть выполнено либо условие (2.А.12), либо условие (2.А.13).

Вигнер исключил вторую возможность (2.А.13), поскольку, как он показал, всякое преобразование симметрии, для которого эта возможность реализуется, должно включать обращение времени, а в представленном доказательстве он рассматривал только симметрии типа вращений, не влияющие на направление времени. Мы изучаем здесь симметрии, включающие обращение времени на равных основаниях с другими симметриями, так что нам следует считать, что для каждого преобразования симметрии T и вектора состояния åkCkYk

выполнены либо (2.А.12), либо (2.А.13). В зависимости от того, какая из этих альтернатив выполняется, определим UY как тот из векторов состояний Y', принадлежащих лучу TR, фаза которого выбрана так, что либо C1 = C¢1, ëèáî C1 = C¢1*. Тогда либо

F

 

I

= åCkUYk ,

UG

åCkYk J

H

k

K

k

ëèáî

 

I

 

F

 

= åCk* UYk .

UG

åCkYk J

H

k

K

k

(2.À.14)

(2.À.15)

Приложение А

125

 

 

Осталось доказать, что для данного преобразования симметрии мы должны сделать тот же выбор между формулами (2.А.14) и (2.А.15) в случае произвольных значений коэффициентов Сk. Предположим, что (2.А.14) выполнено для вектора состояния åkAkYk, а (2.А.15) — для вектора состояния åkBkYk. Тогда из

инвариантности вероятностей переходов вытекает, что

2

2

å Bk* Ak

= å BkAk .

kk

или эквивалентно

åImcAk* Al h ImcBk* Bl h = 0 .

(2.À.16)

kl

 

Нельзя исключить, что (2.А.16) выполнено для пары векторов состояний åkAkYk è åkBkYk, принадлежащих разным лучам. Од-

нако для любой пары таких векторов состояний, у которых ни Ak, íè Bk не имеют все одинаковой фазы (так что (2.А.14) и (2.А.15) не одинаковы), всегда можно найти третий вектор состояния, для которого *

åImcCk* Cl h ImcAk* Al h ¹ 0 ,

(2.À.17)

kl

 

и также

 

åImcCk* Cl h ImcBk* Bl h ¹ 0 .

(2.À.18)

kl

*Åñëè äëÿ какой-то пары k, l и A*kAl, è B*kBl комплексны, выбираем все

Ñравными нулю, за исключением Ck è Cl, а эти коэффициенты выбираем с разными фазами. Если для какой-то пары k, l величина A*kAl комплексна, а B*kBl действительна, то должна существовать другая пара m, n (либо m, либо n, но не оба сразу, могут при этом равняться k или l), для которой

B*mBn комплексна. Если к тому же A*mAn комплексна, выбираем все С равными нулю, за исключением Cm è Cn, а у этих коэффициентов выбираем разные фазы. Если A*mAn действительна, то выбираем все С равными нулю, за исключением Ck, Cl, Cm è Cn, а у этих четырех коэффициентов выбираем разные фазы. Случай, когда B*kBl комплексна, а A*kAl действительна, разбирается аналогично.

126

Глава 2. Релятивистская квантовая механика

Как мы видели, из (2.А.17) следует, что для åkAkYk è åkCkYk

должен быть сделан выбор между (2.А.14) и (2.А.15), а из (2.А.18) следует, что один и тот же выбор должен быть сделан и для åkBkYk è åkCkYk. Таким образом, один и тот же выбор между

(2.А.14) и (2.А.15) должен быть сделан для двух исходных векторов состояния åkAkYk è åkBkYk. Итак, показано, что для данного

преобразования симметрии T все векторы состояний удовлетворяют либо (2.А.14), либо (2.А.15).

Теперь нетрудно доказать, что квантово-механический оператор U может быть либо линейным и унитарным, либо антилинейным и антиунитарным. Сначала предположим, что для всех векторов состояний удовлетворяется (2.А.14). Любые два вектора состояния Y è F можно разложить по полной системе:

Y = å AkYk , F =å BkYk ,

kk

соответственно, используя (2.А.14), получаем:

UaaY + bFf = UåbaAk + bBk gYk =åbaAk + bBk gUYk

k k

= aå AkUYk + bå BkUYk .

kk

Вновь используя (2.А.14), находим:

UaαΨ + βΦf = αUΨ + βUΦ ,

(2.À.19)

так что оператор U линеен. Пользуясь (2.А.2) и (2.А.3), находим, что скалярное произведение преобразованных состояний равно

(UY, UF) = å Ak* Bl (UYk , UYl ) = å Ak* Bk ,

kl

k

и, следовательно,

 

(UΨ, UΦ) = (Ψ, Φ),

(2.À.20)

так что оператор U унитарен.

 

Приложение Б

127

Случай симметрии, которая удовлетворяет (2.А.15) для всех векторов состояний, разбирается во многом аналогично. Возможно, читатель сам, без посторонней помощи воспроизведет доказательство. Однако, поскольку антилинейные операторы могут быть не слишком привычны, все же приведем здесь необходимые детали. Пусть (2.А.15) удовлетворяется для всех векторов состояний åkCkYk. Любые два вектора Y è F могут быть разложены как и ранее, так что

UaaY + bFf = UåbaAk + bBk gYk =åca* Ak* + b* Bk* hUYk

k k

= a* å Ak* UYk + b* å Bk* UYk .

kk

Вновь пользуясь (2.А.15), находим:

 

aaY + bFf = a

Y + b

F

 

(2.À.21)

U

 

*U

*U

,

так что U антилинеен. Используя (2.А.2) и (2.А.3), получаем, что скалярное произведение преобразованных состояний

(UY, UF) = å AkBl* (UYk , UYl ) = å AkBk* ,

kl

k

и поэтому

 

(UΨ, UΦ) = (Ψ, Φ)* ,

(2.À.22)

так что оператор U антиунитарен.

 

Приложение Б. Групповые операторы

èгомотопические классы

Âэтом приложении мы докажем упомянутую в разделе 2.7 теорему, согласно которой фазы операторов U(T) для конечных преобразований симметрии T можно выбрать так, чтобы эти операторы образовывали представление группы симметрии, а не проективное представление, если только: а) генераторы группы можно определить так, чтобы в алгебре Ли не было цент-

128

Глава 2. Релятивистская квантовая механика

ральных зарядов; б) сама группа односвязна. Кроме того, обсудим проективные представления для неодносвязных групп и связь этих представлений с гомотопическими классами группы.

Для доказательства теоремы вспомним метод, с помощью которого были построены операторы, соответствующие преобразованиям симметрии. Как описано в разделе 2.2, для параметризации этих преобразований мы вводим набор действительных переменных θa, так чтобы сами преобразования удовлетворяли

закону композиции (2.2.15):

T(θ)T(θ) = Td f(θ, θ)i .

Мы хотим построить операторы U(T(θ)) U[θ], удовлетво-

ряющие соответствующему условию *:

U[

 

]U[θ] = U[ f(

 

, θ)] .

(2.Á.1)

θ

θ

Чтобы сделать это, проведем произвольные «стандартные» пути Θθa (s)

в пространстве групповых параметров, идущие из начала в каждую точку θ, причем Θθa (0) = 0 , Θθa (1) = θa , и определим Uθ(s) вдоль каж-

дого такого пути с помощью дифференциального уравнения

 

d

a

 

dΘθb (s)

 

 

 

Uθ (s) = itaUθ (s)hb

(Θθ (s))

 

(2.Á.2)

 

 

ds

 

ds

 

 

 

с начальным условием

 

 

 

 

 

 

 

Uθ (0) = 1,

 

(2.Á.3)

ãäå

 

L

 

 

 

 

θ

O

 

 

a

(

θ

 

[h1

]ba (θ) M

f

 

 

 

, )

P

 

 

.

 

 

 

 

 

 

 

∂θb

 

N

 

Qθ =0

 

 

 

 

 

 

 

 

 

Мы намерены в конце концов отождествить Uθ(1), но прежде следует выяснить некоторые

(2.Á.4)

операторы U[θ] с свойства Uθ(s).

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