SU(2)SU(2)SU(2) Симметрия модели Хаббарда

я путаюсь с С U ( 2 ) спин-вращательная симметрия фермионного гамильтониана Хаббарда. Если модель Хаббарда имеет С U ( 2 ) вращательной симметрии, это означает, что гамильтониан Хаббарда коммутирует с оператором глобального спина во всех направлениях:

[ С , ЧАС ] "=" 0     ,     С "=" 1 2 я ( с я с я ) о ( с я с я )
Где о — матрицы Паули в векторной форме. Мое замешательство в том, что ли [ С , ЧАС ] "=" 0 подразумевает [ С Икс , ЧАС ] "=" [ С у , ЧАС ] "=" [ С г , ЧАС ] "=" 0 . Я доказал, что они равны нулю, но подумал, что мой расчет неверен. Причина, по которой я думаю, что мой расчет неверен, поскольку, если оба С Икс , С у , С г коммутирует с ЧАС , это означает, что они одновременно имеют одни и те же собственные состояния и [ С Икс , С у ] "=" 0 . Однако мы знаем, что из начального курса QM:
[ С я , С Дж ] "=" я ϵ я Дж к С к     ,     я Дж к "=" Икс у г
По моему мнению, [ С Икс , ЧАС ] "=" [ С у , ЧАС ] "=" [ С г , ЧАС ] "=" 0 неверно, потому что они не могут удовлетворить С U ( 2 ) коммутационное отношение, если все коммутирует с ЧАС . Могу ли я узнать, правда ли, что [ С , ЧАС ] "=" 0 подразумевает [ С Икс , ЧАС ] "=" [ С у , ЧАС ] "=" [ С г , ЧАС ] "=" 0 ?

В общем, неправда, что если [ А , Б ] "=" [ Б , С ] "=" 0 , что [ А , С ] "=" 0 ! Например, возьмите Б "=" я тождественная матрица. Все коммутирует с тождеством, но не обязательно друг с другом.
Спасибо за ваш комментарий . Да, ты прав. Я изначально думал, что в коммутаторе есть транзитивность. Я понимаю, что они разделяют одновременные собственные состояния, если все коммутаторы равны нулю (например, [ ЧАС , С Икс , у , г ] "=" 0 и [ С я , С Дж ] "=" 0 . Однако из-за группового свойства SU (2) они не могут образовывать одновременные инициации, поскольку [ С я , С Дж ] 0 .

Ответы (1)

Из того, что я понимаю в стандартных обозначениях, утверждение, что

[ С , ЧАС ] "=" 0
это то же самое, что сказать
[ С Дж , ЧАС ] "=" 0
для всех Дж . Тогда доказательство того, что векторный оператор коммутирует с некоторым оператором, равносильно доказательству того, что каждый компонент коммутирует с данным оператором.