Каков физический смысл двойной связности группового многообразия SO(3)SO(3)\rm SO(3)?

Имеет ли какой-либо физический смысл тот факт, что групповое многообразие (пространство параметров) С О ( 3 ) имеет двойную связь?

Существует два класса эквивалентности путей в групповом многообразии SO(3) или, другими словами, Π 1 ( С О ( 3 ) ) знак равно Z 2 . Следовательно, это пространство двусвязно. Есть пути, которые возвращаются к начальным конфигурациям после вращения 2 π и другие после ротации 4 π , с правильной параметризацией углов.

Можно ли, используя этот факт , показать, что такая топология допускает существование полуцелых спинов и целых спинов? Я понимаю спиноры как объекты , волновые функции которых приобретают отрицательный знак после поворота на 2 π , и возвращается в себя после вращения 4 π . Верно? Но из приведенного выше топологического аргумента мне не ясно, как он приводит к двум типам волновых функций , спинорному типу ( Дж знак равно 1 2 , 3 2 , 5 2 . . . ) и тензорного типа Дж знак равно 0 , 1 , 2 , . . . ?

Не совсем ясно , как эти два типа путей в групповом многообразии SO (3) приведут к таким свойствам преобразования «волновых функций» ?

http://en.wikipedia.org/wiki/SO%283%29#Топология .

Разве ты не задавал вопрос на прошлой неделе?
@IsidoreSeville- Нет.
Комментарий к вопросу (v1): Вы имеете в виду помимо того, что группа Ли С О ( 3 ) не имеет четных размеров (= полуцелое число спинов) повторений?
Связанный вопрос от OP: physics.stackexchange.com/q/96542/2451 Связанный: physics.stackexchange.com/q/13787/2451 , physics.stackexchange.com/q/65767/2451 и ссылки в нем.
Отличные вопросы @IsidoreSeville Roopam Sinha и их превосходные ответы установили, что существуют целые и полуцелые спины и ничего больше , по существу и в конечном счете, потому что односвязное топологическое пространство не имеет нетривиальных покрытий (т.е. не гомеоморфно исходному пространству) (см. доказательство в Мэсси, например, «Алгебраическая топология»). Так что теперь он ищет помощи, чтобы понять теорему о спиновой статистике, которая является совершенно отличным следующим шагом от этого факта, и это не та теорема, которую я чувствую (как не специалист по КТП) понимаю достаточно хорошо, чтобы ответить.
Уважаемый @RoopamSinha! Могу я предложить вам удалить ваше последнее предложение и задать его как отличный отдельный вопрос. Это как бы интуитивно подразумевает, что любое число вращений может быть любым рациональным числом — у вас может быть иррепутация там, где это необходимо. Н полный оборот, чтобы получить 2 π фазы, так что каждый полный ход добавляет 2 π / Н фаза. Отсюда видно, что любая фаза формы м / н возможно.
@WetSavannaAnimalakaRodVance Ну, если честно, я до сих пор не понимаю, о чем он собирается спросить. Название вопроса также вводит в заблуждение, по крайней мере, не соответствует «EDIT» (пост до редактирования содержал только одну строку). Кроме того, если он действительно намеревается спросить о топологическом взгляде на теорему о спиновой статистике, я думаю, что могу дать ответ или какую-нибудь полезную ссылку, но это должно было быть четко указано в посте. Это не только ради OP, но и для других пользователей этого сайта.
@IsidoreSeville Я согласен, что было бы разумно подождать, пока OP прочитает другие ответы в приведенных ссылках, а затем уточнит свой вопрос, чтобы вы не тратили свою работу впустую. Однако, если, как вы говорите, существует топологическая перспектива спиновой статистики, я бы задал вопрос, чтобы увидеть ваш ответ!
Уважаемый WetSavannaAnimal aka Rod Vance- "...*установил, что есть целые и полуцелые спины*..." Я тоже не совсем понял этот факт. Поэтому я повторно отредактировал свои вопросы. Как этот топологический факт связан с двумя типами представлений SO(3): классом, помеченным полуцелыми j-значениями, и другим классом, помеченным целочисленными j-значениями? Это первая проблема, на которой я застрял.

Ответы (1)

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

Если π : грамм ~ грамм универсальный накрывающий гомоморфизм групп Ли, ядро ЧАС из π — дискретная нормальная центральная подгруппа универсального накрытия грамм ~ из грамм знак равно грамм ~ / ЧАС , а также ЧАС изоморфна фундаментальной группе грамм , т.е. π 1 ( грамм ) (который для групп Ли абелев) .

Один элемент этой подгруппы должен быть я (поскольку в группу входит нейтральный элемент). Другой, Дж , необходимо проверить Дж Дж знак равно я и поэтому Дж знак равно Дж 1 знак равно Дж . Непосредственным осмотром видно, что в С U ( 2 ) это возможно только для Дж знак равно я . Так С О ( 3 ) знак равно С U ( 2 ) / { я , я } .

Заметь { я , я } знак равно { е я 4 π н о / 2 , е я 2 π н о / 2 } остается в центре С U ( 2 ) , а именно элементы этой подгруппы коммутируют со всеми элементами группы С U ( 2 ) . Более того { я , я } знак равно Z 2 есть только первая гомотопическая группа С О ( 3 ) как и должно быть ввиду общего утверждения, которое я процитировал выше.

Унитарные представления С О ( 3 ) также является представлением С U ( 2 ) через проекционный гомоморфизм группы Ли π : С U ( 2 ) С U ( 2 ) / { я , я } знак равно С О ( 3 ) . Итак, изучая унитарные повторения С U ( 2 ) охватывает весь класс унитарных повторений С О ( 3 ) . Давайте изучим эти повторения.

Рассмотрим унитарное представление U из С U ( 2 ) в гильбертовом пространстве ЧАС . Центральная подгруппа { я , я } должен быть представлен U ( я ) знак равно я ЧАС а также U ( я ) знак равно Дж ЧАС , но Дж ЧАС Дж ЧАС знак равно я ЧАС так, как прежде, Дж ЧАС знак равно Дж ЧАС 1 знак равно Дж ЧАС .

В качестве Дж ЧАС является унитарным и самосопряженным одновременно, его спектр должен быть включен в р { λ е С | | λ | знак равно 1 } . Итак, а) он сделан из ± 1 не более чем и (b) спектр является чисто точечным спектром , и поэтому в его спектральном разложении возникают только собственные собственные виды.

Если 1 не присутствует в спектре, единственное собственное значение 1 и поэтому U ( я ) знак равно я ЧАС . Если только собственное значение 1 вместо этого присутствует U ( я ) знак равно я ЧАС .

Если представление неприводимо ± 1 не могут быть одновременно собственными значениями. В противном случае ЧАС будет разбит на ортогональную прямую сумму собственных пространств ЧАС + 1 ЧАС 1 . В качестве U ( 1 ) знак равно Дж ЧАС коммутирует со всеми U ( грамм ) (потому что я находится в центре С U ( 2 ) а также U является представлением), ЧАС + 1 а также ЧАС 1 были бы инвариантными подпространствами для всех представлений, и это запрещено, поскольку U является неприводимым .

Мы заключаем, что

если U является неприводимым унитарным представлением С U ( 2 ) , дискретная нормальная подгруппа { я , я } может быть представлен только либо { я ЧАС } или же { я ЧАС , я ЧАС } .

Более того:

С С О ( 3 ) знак равно С U ( 2 ) / { я , я } , в первом случае U также является представлением С О ( 3 ) . Это означает, что я знак равно е я 4 π н о а также е я 2 π н о / 2 знак равно я оба превращаются в я ЧАС по U .

В последнем случае вместо U не является истинным представлением С О ( 3 ) , как раз ввиду знака, появляющегося после 2 π , потому что е я 2 π н о / 2 знак равно я превращается в я ЧАС и только я знак равно е я 4 π н о / 2 превращается в я по U .

@ В. Моретти - Удивительно. Этот ответ очень проницателен. Но мне все же интересно, какое место в этом деле занимает топология группового многообразия SO(3) (которое я упомянул в вопросе)? Мне кажется, что приведенный выше ответ использует тот факт, что существует гомоморфизм 2-к-1 между SU (2) и SO (3). Или я пропускаю связь?
SO(3) — группа Ли с фундаментальной гомотопической группой Z 2 . Поэтому его универсальная накрывающая группа является односвязной группой Ли и С О ( 2 ) получается путем факторизации последней и дискретной нормальной подгруппы с двумя элементами. Эти два являются «топологической» информацией: она запоминает структуру первой гомотопической группы многообразия. С О ( 3 ) . Зная, что универсальное покрытие есть С U ( 2 ) нужно искать дискретную подгруппу, содержащую только два элемента...
@V.Moretti- Хорошо, я понимаю. Теперь это абсолютно ясно. Спасибо.
Я уточнил соответствующее топологическое отношение в тексте, просто расширив комментарий.
@ В. Моретти Я уверен, что вы хотели сказать это в своем комментарии выше, но в целом вам нужно искать дискретную нормальную подгруппу, содержащую только два элемента. Тогда по теореме Шрайера они должны быть подгруппами центра. Только будучи педантичным, потому что ОП явно очень заинтересован в деталях, иначе я бы не упомянул об этом.
@RoopamSinha Комментарий В. Моретти тоже предназначался для вас. И я должен извиниться за то, что не ответил мне на ваш вопрос под вашим первоначальным постом — должно быть, я каким-то образом получил сразу несколько пингов и потерял их все. К сожалению, маленький красный индикатор загорается только один раз — возможно, он должен гореть до тех пор, пока вы не нажмете на все непрочитанные пинги.
@RoopamSinha Теорема, которую я процитировал, - это не то, чем наиболее известен Шрайер - сейчас я ищу для вас онлайн-справку.
@WetSavannaAnimal, также известный как Род Вэнс, спасибо за ваш комментарий. Да, я написал в спешке и написал что-то совсем сумбурно "дискретная нормальная подгруппа с двумя элементами" (<<с двумя элементами>> не имеет особого смысла: Вместо этого Вы правильно написали: "дискретная нормальная подгруппа, содержащая только два элемента" . Спасибо.
@Roopam Посмотрите вверху страницы 70 этого (теорема изложена внизу стр. 69, и вы должны увидеть, что метод этой маленькой жемчужины доказательства работает для любой связанной группы Ли, хотя Стиллвелл цитирует «путь связная матрица группа Ли") ohkawa.cc.it-hiroshima.ac.jp/AoPS.pdf/MathTextBook/…